罗巴切夫斯基 · 另起一行
尼古拉·伊万诺维奇·罗巴切夫斯基（1792—1856），生在伏尔加河畔的下诺夫哥罗德，一生几乎全在喀山度过。他十四岁进大学，二十三岁当正教授，三十四岁做大学校长；他在讲堂里讲了二十年几何，做了一件两千年来没人敢做的事——把欧几里得那条画了两千年圆不了的「第五公设」另起一行，从一条要证明的真理，改成了一条可以不取的假设。几何学从此不止一种。
他一生做了三件事。第一件立假设：把「平行线只有一条」这条人人信了两千年的公设划掉，公开宣布换一种假设照样能推——1826 年他在喀山讲出这套新几何，比任何同类公开出版都早。第二件建新世界：他把新假设一路推到底，立起平行角函数，改写整部三角学，连圆的周长账都重算了一遍。第三件求真：他不宣布胜利，而是提议用天文测量检验新几何——几何学的真伪，交给实在去裁决。
明线四样：平行线（两千年的那行字）、平行角（一把新尺）、新三角学（内角和与周长账）、求真（几何与实在的对账）。
暗线一句：另起一行。前人推到怪结论就停笔、退稿；他偏不——怪不是错，怪是没去过的国境。本册五幕，都在写同一支笔：把写不下去的那一行划掉，另起一行往下写。这支笔最后写出的，是几何学的复数时代。
五幕：第一幕讲少年与那行字（p.6—p.12）；第二幕讲 1826 年的另起一行（p.13—p.19）；第三幕讲几何新世界（p.20—p.26）；第四幕讲被漠视的岁月（p.27—p.33）；第五幕讲身后回声（p.34—p.40）。
三层读法照旧：故事层无需预备知识；数学层只用到加、减、乘、除、开方与几张小表（p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37），每一步都从头算起；注疏层给出原文、版本与研究文献，逐页可查。
先看出生地。1792 年，尼古拉·罗巴切夫斯基生在伏尔加河与奥卡河交汇处的下诺夫哥罗德——一座坐落在河岸高坡上的俄国古城。父亲是地方上的土地测量小职员，家底薄；尼古拉七岁上下丧父，母亲普拉斯科维娅带着三个儿子，迁往四百公里外的喀山。
再看书桌。1802 年，十岁的尼古拉凭国家奖学金进了喀山中学——学费全免，对一个没有父亲的孩子，这是一张救命的课桌。喀山在伏尔加河中游，是沙俄向东开的门户：河运、集市、鞑靼人的老城与新起的俄式街坊，混在一处。这座边城后来成了他的城：上学、教书、做校长、写书、终老，一生没再离开。
这份家业的起点同样没有名师在侧。喀山远离彼得堡与莫斯科，中学里的算学与文法都算不得拔尖；少年罗巴切夫斯基的运气，落在一个时点上——1804 年，沙皇的一纸敕令把喀山中学升格处所变成了大学，这座边城凭空长出一所大学。两年之后，十四岁的中学毕业生报了名。
本册的题目就从这张课桌上开始。他进大学学的那门课里，有一行字已经画了整整两千年圆不了：欧几里得的第五公设——关于平行线的那句话。少年还不知道，他往后三十年的功课，就是把这一行字另起一行。
下一页，先看清这一行字是什么、为什么人人都想驯服它。
1807 年，十四岁的罗巴切夫斯基进喀山大学。头一年他在医科学堂里点过名——大学初创，章程还没理顺，学生先按名额分派；第二年他转入物理数学系，从此定下方向。大学尽管新，却给他配来一位分量极重的老师：马丁·巴特尔斯，德意志来的数学教授。
这位老师的来历要说清。巴特尔斯在不伦瑞克教过书的年代，私下带过一个钟表匠人家的小学徒，领他读代数、看星空，还写信把他荐去了卡罗琳学院——那个小学徒名叫高斯。巴特尔斯到喀山任教，恰是高斯成名的年代；高斯的名字与方法，经由这位老师早早传进了伏尔加河边的讲堂。天才与天才的两位少年，隔着一个时代，共用过同一位引路人。
进度条很陡。1811 年，十九岁的罗巴切夫斯基拿到硕士学位，论文写的是行星的椭圆运动；1814 年任编外副教授，1816 年升副教授，二十三岁已站上大学正教授的讲席。开课单上排着：算术、代数、三角、几何、力学、天文——一个人撑起半所大学的数学课。
而讲义里最扎手的地方，年年都是同一处。1815—1817 年间的几何讲义残稿留到今天：里面一遍一遍起草第五公设的证明，换一条路起草一遍，又涂掉。两千年来的证明者排成的长队里，添了一个二十出头的喀山青年。这一段排队的岁月，本册第一幕细讲。
下一页，把这门学问里最要紧的三样东西摆上桌面。
这本册子要处理三样东西。三样看起来毫不相干：一行画不圆的公设、一把量距离的新尺、一个三角形内角和不足一百八十度的新世界。
第一样，那行字。欧几里得《几何原本》开卷立了五条公设，前四条三两行写完；第五条拖了长长一句，讲两条直线何时相交。两千年来，数学家总疑心它是定理不是公设——一定想把它证出来。证不出来。两千年里最聪明的头脑接力上阵，队尾站着喀山的这位青年。
第二样，那把尺。在旧几何里，「平行」只有一个样子；在新几何里，一点到一条线有多远，决定了平行线有几条。罗巴切夫斯基把这件事写成一把尺：给一个距离，尺上就报出一个角度——平行角。距离越大，角越小；把距离缩到零，尺上恰报出旧几何。一把新尺，量出了一族新几何，旧几何是其中最贴地的一件。
第三样，新世界。换上那条新假设，往下推到底：三角形内角和不足一百八十度，差多少与面积挂钩；圆的周长比旧几何算出的更长；过线外一点，与已知线不相交的线有无数条。这不是乱想——每一条都推得动、算得出、对得上账；1826 年，他把这个世界讲给同僚听。
三样东西有一个共同点。它们都从同一个动作开始：把「写不下去」的那一行划掉，另起一行往下写。本册给这份工作方式的概括，一句话：另起一行。
先看清旧世界里那行字的本相：下一幕从讲义残稿讲起。
1810 年代的喀山大学讲堂。二十来岁的青年教师讲几何，讲到第五公设，照例先念一遍原文，再照例向学生解释：这一条与别条不同，两千年来一直有人想把它变成定理。他讲得愈多，疑心愈重——1815 到 1817 年的几何讲义残稿里，留着他自己的起稿：一次一次换路数，一次一次涂掉。
他在讲义里排的不是自己的队。从古代的注释家，到近代的每一位大几何学家，凡写过平行线问题的人，他一个一个核对过。这份名单后来进了他的公开论文：两千年、几十位、几百种「证明」——每一种都倒了，不是这里漏一步，就是那里偷偷用回了要证的东西本身。
这道题为什么这么难？难在它长得不像难题。别的公设一眼看出「这是立规矩」：过两点能画一条直线，直线能无限延长——谁也不去证这些。唯独第五公设句子长、内容实，像一条定理混进了公设的队伍。混进队伍的东西最讨人嫌：它站在不该站的位置上，两千年来人人想把它请出去。
请不出去的根源也清楚：它与前四条公设不矛盾——拿它当真的几何，推不出内伤；不拿它当真的几何，头几十年也没人推到底过。它像一道装了插销的门：推一下，纹丝不动，门后有没有路，没人知道。罗巴切夫斯基要做的事，就是推开门。
下一页先看清那行字本身：它说了什么、长成什么样、与别的公设如何挂钩。
先读原文。欧几里得的第五公设，大意是：一条直线与两条直线相交，若一侧的两个内角之和小于两个直角，则这两条直线在这一侧延长后必定相交。句子长，讲的全是「何时相交」；与「过两点画直线」那样的开门公设摆在一起，像一张路条混进了一叠凭证。
它有好几个替身，个个更顺手。后世数学家把这条公设改写成等价的说法，最流行的一条出自十八世纪：过直线外一点，恰有唯一一条直线与已知线平行——人称「唯一平行公理」。它与原文能互相推出：信哪个，等于信全部。替身还有几个，排成一张表：
替身一：过线外一点，恰有一条平行线
替身二：三角形三内角之和恰为两直角
替身三：存在两个相似而不全等的三角形
替身四：存在一个四边形，四角皆直角
读这张表要看门道：四个替身，说的都不是「平行线」，说的是三角形、相似形、矩形——整部几何的骨架。替身四尤其是要害：矩形一旦存在，空间就是「平的」。所以第五公设不是关于某一条线的局部规矩，它是整座欧几里得大厦的地基条款。
这也解释了两千年的执念。证掉第五公设，等于证明几何的全部真理能从更少的假设里长出来——地更净，楼更稳。可证了两千年证不动，就只剩两种可能：要么法子还没找到，要么它根本不是定理，而是真公设。前一种可能养活了两千年的长队；后一种可能，要到换一种问法之后才轮到出场。
下一页看长队怎么排的：两千年的证明接力，与接力棒上最先露头的「三岔口」。
长队的第一棒是古希腊的注释家。普罗克鲁斯在五世纪评注《几何原本》，把话说在了明处：这条公设应当从公设的名单里划掉，它是定理；他还顺手批了一句要害话——后人证明它时，若偷偷用进与它等价的断言，等于什么也没证。这句警告，后来成了检验一切「证明」的尺。
真正的转折在十八世纪。1733 年，耶稣会士萨凯里出版《欧几里得无懈可击》：他不直接证公设，改走反证法——先假设第五公设不真，然后往下推，专等推出矛盾。他立起一个四边形，底角取直角，另两个顶角只剩三种可能：都是直角、都是钝角、都是锐角。直角情形就是旧几何；钝角情形很快推倒了；锐角情形，他推了几十个命题，一个矛盾也没等到。
萨凯里在第四十号命题附近停了笔。锐角情形推出的结论太「怪」：平行线会两两渐近、三角形内角和不足两直角——他把这判定为「与直线的本性不合」，宣布敌情已清，收了兵。五十年后，兰伯特接着推（1766 年成稿）：他把锐角情形的面积账算了个开头，发现三角形内角和的亏欠随面积涨落，越推越像在描写另一个真实的世界。他也停了笔——但停笔前的笔记里，第一次出现了那个念头：这个「怪世界」也许真能自洽。
把接力棒排成一行：普罗克鲁斯立尺，萨凯里立起三岔口并推通了两个岔路，兰伯特在第三岔路上看到「怪结论成串、自相矛盾一个不来」。三岔口的第三条路——锐角假设——就是新几何的洞口。差最后一步：把「怪」从罪状改写成路标。
这一步谁迈的、怎么迈的，下一页回到喀山的讲堂。
把喀山大学的起点排成账。1804 年沙皇敕令设校，1805 年开学——教师多半从德意志聘来，章程抄的是西方的模板；边城一夜之间有了大学，中学的优秀毕业生就近升学。1807 年，十四岁的罗巴切夫斯基进来；此后他的每一个台阶都踩在这所学校上：
1807 入学（年十四）
1811 硕士毕业，留校任教
1814 编外副教授
1816 副教授（年二十三）
1820 物理数学系系主任
1827 校长（连任六任，至 1846）
这份履历要配上工作量才见分量。初创的大学什么都缺：缺教室、缺仪器、缺章程、缺人。罗巴切夫斯基一边开课——算术、代数、几何、三角、力学、天文一人挑大梁——一边管建设：图书馆新馆由他督办落成，仪器清单由他亲笔编订。讲课、建馆、管系、治校，与夜里那张画不圆的平行线图纸，并行了整整三十多年。
教学与研究的账也要算清楚。他不是书斋里的纯研究者：几何是他每学期都要讲的课，讲义年年改。两千年证明史的长队，他是从讲台上入的队——1815—1817 年的残稿里已经站满前人的影子。学科的事，一半长在纸上，一半长在讲台上：这决定了往后他的文章总要先把前人的队排一遍再开新篇。
到了 1820 年代，长队该收尾了。下一页，看这位青年教授怎样把队尾那一行划掉。
两千年的长队，全在回答同一个问题：「第五公设怎么证？」——问题本身就把自己圈死了。圈死的缘由藏在问法里：要「证」，就得从更少的假设出发；可前四条公设偏偏不够用，于是每一次「证明」都只好从后门溜进一条与第五公设等价的断言，被普罗克鲁斯的尺当场量出破绽。长队不是输在人，是输在问法。
罗巴切夫斯基做的第一件事，是把问题倒过来写：不问「公设怎么证」，改问「假设它不真，推下去会怎样」。这一改，任务从「找出矛盾」变成「把后果写完」——推得出矛盾，第五公设就得救；推不出矛盾，就得承认另一种几何存在。萨凯里 1733 年立起的三岔口，本来就是为这个问法搭的台；可萨凯里把「怪结论」当了败诉的供词，兰伯特把「怪结论」当了存疑的悬案——喀山的青年教师决定把「怪结论」当新大陆的地理志，一页一页往下写。
这就是本册暗线的第一笔：另起一行——写不下去的那一行，不是纸的问题，是行文方向的问题。证明长队朝一个方向挤了两千年，他把笔尖掉了个头。方向一换，题目就换了：旧题「它对不对」无人能答；新题「它推不推得动」立刻开工。
后面几幕会反复看到这笔暗线：第二幕把新行写到出版（p.13—p.19）；第三幕把新世界整片推完（p.20—p.26）；第四幕在退稿与冷眼里年年重写（p.27—p.33）；第五幕世界回头补上这一行（p.34—p.40）。每一步都是同一个动作：往前写不动时，另起一行。
把第一幕放回它的时代，有两条线头值得拉一拉。一条通向德意志，一条通向哲学讲坛。两条都与喀山的讲堂相交，相交处站着同一个青年教师。
第一条线头是师生链。巴特尔斯教过少年高斯，又教了喀山的罗巴切夫斯基——两位几何天才共用过同一位引路人。这条链在思想上留没留痕，史料没有下断语；但有一条账是实的：罗巴切夫斯基的起点题（第五公设）正是高斯少年时代也啃过的题，而德意志学圈在平行线问题上的积累（兰伯特的笔记、后起学人的讨论）经由喀山的德籍教授们一路在场。青年教师在讲义里核对前人长队时，脚边就摆着最全的书目。
第二条线头更沉。那个年代的欧洲哲学讲坛，把欧几里得几何当作「先天知识」的头号展品：空间的形式是人类认知自带的模子，平行公理因此必然为真、不容更换。这套口径风行全欧，大学里的几何课都在它的影子里授课。向第五公设开刀，等于向时代哲学开刀——后来新几何招来的冷眼，一大半是哲学账不是数学账。罗巴切夫斯基的回击在第五幕（p.37）：真理不由讲坛钦定，由测量裁决。
两条线头合出一个局面：材料、书目、问题意识，边城大学一样不缺；缺的只是把笔尖掉头的勇气与把后果写完的耐心。1820 年代中期，这两样在喀山凑齐了。下一幕，讲那场开了就再也收不回的报告。
一、那行字看清了。第五公设管的是两条直线何时相交；它的替身管的是三角形、相似形与矩形——整座欧几里得大厦的地基条款（p.7）。证掉它，等于把地基条款省下来。
二、长队看清了。普罗克鲁斯立尺，萨凯里立起三岔口并推通两条岔路，兰伯特在第三岔路上看到怪结论成串、矛盾一个不来——「锐角世界」的洞口已经打开（p.8）。差一步：把「怪」从罪状改写为路标。
三、边城的讲台看清了。喀山大学 1804 年设校，罗巴切夫斯基十四岁入学、二十三岁当副教授、三十五岁做校长，讲台、建馆、治校与那张平行线图纸并行三十多年（p.9）。长队是从讲台上入的。
四、暗线立了纲。两千年的「证明」输在问法上；他把「怎么证」划掉，另起「假设不真，写完后果」——暗线「另起一行」的第一笔：把笔尖掉头（p.10）。
下一幕，1826 年 2 月，喀山大学的讲堂。一支笔尖已经掉头的笔，当众写下新几何的第一行——世界没有回头路了。
1826 年 2 月 11 日（儒略历），喀山大学物理教室。三十三岁的校长站上讲台，题目是几何。他没有宣布「证明完成」——恰恰相反，他当众抛掉了那个目标：两千年来人人要证的那条公设，他宣布换一条假设照样能推。同僚们听到的是一个前所未有的说法：几何可以不止一种。
报告有一份书面的凭据。当日（一说数日内）他提交了一份法文写的摘要，题目的大意是：几何原理的简述，附平行线定理的一个严格证明——题名里的「证明」是旧世界的词，内容却已是新世界的开场。这份摘要此后沉在档案里近百年，直到二十世纪初被传记作者从故纸堆里翻出。1826 年 2 月 11 日，成了新几何的生日。
讲堂里的反应，史料没有留下热烈的记录。没有辩论纪要，没有刊印的计划，没有同僚的批注传世——报告像一颗石子落进冬天的河：水面上有一圈纹，岸边无风无浪。往后三年，他在等回声；回声不来，他就自己接着写。1829—1830 年，他把报告的内容写成完整论文，刊在大学的《喀山通报》上。
这一幕往后，本册按新几何自身的顺序走：先立新假设（p.14），再造那把新尺（p.15），再算新世界最要紧的账——三角形的内角和（p.16）。两千年长队的队尾，从这里起换了方向。
把新假设立起来。旧几何说：过直线外一点，恰有一条平行线。新假设反着写：过这一点，至少有两条直线与已知线不相交——按罗巴切夫斯基的推法，这一开闸，与已知线不相交的直线立刻涌成一片：整片「角内」的线，一支一支数下去，无穷多条。旧几何的「唯一一条」，在新世界里是数不过来的少数派。
但新世界不是一锅粥，它有边界。过这点把直线一支一支转：转到某两个方向为止——再往外偏一点点，线就与底线相交了。这两个「恰好不交」的临界方向，罗巴切夫斯基称为平行线（边界平行）；夹在两条边界平行之间的整片角内，每一条线都与底线永不相交。于是账目清楚：边界平行两条，永不相交的线无穷多条。
边界两条还有一个脾气。往远处看，两条边界平行会各自贴近底线，越走越近，却永远差着一线——像两条渐近的河。旧几何里平行线处处等距；新几何里「平行」是边界上的事，等距的线另有其人，而且不是直线。空间在这里换了一种弯曲的脾气——后文的表会把它量出来。
现在，把「点离线多远」请进来。离得越近，边界夹角越开阔；离得越远，边界夹角收得越窄。这个角是距离的函数——罗巴切夫斯基给它起了名号，记作 Π。它是整座新几何的尺：下一页，把它的读数一张一张算出来。
上页留了一个函数没写完：点到底线的距离 a 定了，两条边界平行夹出的角就定了。罗巴切夫斯基把这个角记作 Π(a)，把距离换成角度的这把尺，就是新几何的心跳表。他没有只给定义——他把表算了出来（本章取距离单位为一的几何，注疏层给出公式）：
a = 0：Π = 90.0°
a = 0.25：Π = 75.8°
a = 0.5：Π = 62.5°
a = 1：Π = 40.4°
a = 2：Π = 15.4°
a = 3：Π = 5.7°
读表有四层。其一，a 越大角越小：站得越远，边界平行收得越窄——无穷远处角趋于零。其二，a 缩到零，角恰为直角：旧几何回来了，平行角九十度、不多不少。其三，表是连续的：从 90° 到 0°，每一格都有人住——新几何不是一种，是一族，旧几何是贴地的那一层。其四，表的两端各贴着一种「极限情形」：贴地是欧氏，贴天是边界线退化。
尺的用法立刻见效。小距离处（a = 0.1 的量级），Π ≈ 84°—90°，与直角只差一两度——旧几何的一切结论在小尺度上几乎分毫不差。这回答了一个要紧的疑问：既然三角形内角和不足一百八十度，为什么两千年没人量出来？因为身边的三角形太小，亏的角小到任何尺都量不出。新几何与日常经验的账，就此对上。
尺已立，表已算。下一页用它去量新世界最出名的东西：三角形的内角和。
新几何最出名的定理一句就能说完：三角形三内角之和小于两直角。但真正立得住的写法要更精细：和比两直角亏欠多少，恰与三角形的面积成正比。兰伯特五十年前摸到的面积账（p.8），在这里成了定理：亏欠小，面积小；亏欠大，面积大。三角形从此自带一张账页。
用一把现成的尺把账算实。取等腰直角三角形，两条直角边等长，边长依次取 0.25、0.5、1、1.5、2（距离单位与 p.15 的表相同），内角和一张一张算出来：
边 0.25：内角和 178.2°，亏 1.8°
边 0.5：内角和 173.1°，亏 6.9°
边 1：内角和 155.9°，亏 24.1°
边 1.5：内角和 136.1°，亏 43.9°
边 2：内角和 119.8°，亏 60.2°
读表有三层。其一，边越小和越贴一百八十度：边 0.25 的三角形只亏一点八度——身边的三角形几乎查不出破绽，旧几何是它的近影。其二，亏欠随边长猛涨：边翻一倍，亏欠远不止翻倍——新几何在远处越走越不像旧几何。其三，亏欠与面积同步涨落：账页两栏，左栏是角，右栏是面积，一一对应。
这张表还顺手回答了一个老问题。萨凯里推锐角情形时看到内角和不足两直角，判定「与直线的本性不合」——他的错不在算术，在裁断：他把「怪」当成了「假」。表摆在这里：怪，但一格格算得动、对得上。下一页，把这笔判词记进暗线。
第二幕的账摊开看，每一个数字都「怪」：边界平行渐近不交，平行角随距离缩水，三角形内角和亏欠成串。把这些数字摆在 1733 年的萨凯里面前，他会照旧合上卷宗——「与直线的本性不合」。摆在 1766 年的兰伯特面前，他会照旧写下「存疑」——然后搁笔。罗巴切夫斯基做的是第三件事：把「怪」原样收下，当作答案往下用。
这一步小得容易看漏，大得改换门庭。前人把怪结论当门闩：见到怪，门就关。他把怪结论当门轴：见到怪，门就开。差别只在一句判词——「怪」不等于「假」。数学里能断言的对错只有一种：推不推得动、对不对得上账。怪结论一格格算、一条条对，账面干干净净——那就没有资格宣布它假。裁断权从直觉手里收回，交还给推演。
这就是暗线的第二笔：另起一行——行首写的不是新公理，是新的裁断规矩。旧那一行写「这与常识不合，故不取」；新这一行写「这与常识不合，故往下看」。一字之差，几何学从「一门」变成「一族」：凡推得动、对得上账的假设，都有资格立国。
这笔暗线往后的两处呼应，本册会逐一点到：第三幕把新世界整片推完，怪结论越积越多、账面越对越齐（p.20—p.26）；第五幕贝尔特拉米给怪世界造出模型，「怪」字就此摘牌（p.35—p.36）。
1826 年的报告停在口头。此后三年，喀山没有等来讨论，也没有等来反驳——沉默本身成了需要回应的问题。罗巴切夫斯基的回答是把报告写成完整的论文：〈几何学原理〉，1829—1830 年分部连载于大学的《喀山通报》。新几何从此有了铅字：这是人类历史上第一次，一套不取唯一平行公理的几何被完整公开出版。
把它放回世界的钟面上对时。同样的思想，匈牙利军官波尔约·亚诺什在数年间独立推得，1832 年以附录形式随父著作刊出；高斯的手稿与信件显示他更早抵达，但终生未发表。钟面排开：1826 年喀山报告，1829—1830 年喀山刊文，1832 年附录刊出——公开出版一项，罗巴切夫斯基最先过线。「非欧几何之父」的通行名分，落在最早公开的人身上，账目清楚。
出版之后呢？还是冷。《喀山通报》是地方刊物，彼得堡与柏林的同行几乎读不到；读到的少数人，把它当古怪的新谈资。1830 年代的学界还握着另一套裁判权：哲学讲坛裁定几何只有一种，欧几里得那一种。新几何的铅字印出来了，路还没通。第四幕，讲这条路走得有多冷、他走了多少遍。
一、报告开过，铅字跟上。1826 年 2 月 11 日喀山报告；1829—1830 年〈几何学原理〉连载刊出——公开出版一项最先过线（p.13、p.18）。新几何有了出生证。
二、新假设立住了。过一点至少两条不交线，于是边界平行两条、角内无穷多线——「唯一平行」从真理降格为一种选择（p.14）。门开了。
三、尺造好了，账算实了。平行角 Π(a) 连续从 90° 走向 0°，旧几何贴在零距离处；三角形内角和亏欠与面积挂钩，身边的小三角形只亏一点点——两千年量不出破绽的原因找到了（p.15、p.16）。怪，但账对得上。
四、暗线添了第二笔。前人把「怪」当败诉的供词，他把「怪」当新大陆的地理志——暗线「另起一行」的第二笔：裁断权从直觉交还推演（p.17）。
下一幕，把新世界整片推完。圆的周长、三角学的全表、天上的星——旧几何在哪里松手，新几何就在哪里接笔。
1827 年，罗巴切夫斯基当选喀山大学校长，此后连任近二十年。校长不是闲职：建图书馆、修观测台、编章程、管财务、防瘟疫、救火灾——喀山大学的每一块砖都过他的手。白天他是治校的人，夜里他是写几何的人；《几何学原理》之后的大部头，一部一部全在这张夜桌上的稿纸里。
两桩治校的实绩，后世记得最牢。1830 年霍乱扑到喀山，他把大学圈成一座小城：封校门、断往来、储备粮药，师生几乎无人折损——城外疫气正盛，校园里账目照记、功课照上。1842 年喀山大火，半个城烧成白地，火头卷向校园：他组织人手连夜把图书与仪器抢运出来，观测台的家底保住了。治校的账与几何的账，在同一个人手里都是实打实的工程。
这套「先把骨架立稳、再谈其余」的脾气，也长在他的几何里。新几何不能只立一条新假设就收工——它要被推成一套完整的世界：三角学会不会塌？圆的周长怎么算？旧几何里背熟的那些公式，哪些要改写、哪些原样能留？第三幕干的就是这件事：把新世界整片量一遍。
下一页先量最结实的那根梁：直角三角形的勾股定理，在新几何里换成了什么。
旧几何里最硬的一条定理是勾股定理：直角三角形，两直角边的平方和等于斜边的平方——边 1 与边 1，斜边必是 1.4142。这条定理在新几何里站不站得住？答案是：换了站姿。罗巴切夫斯基把整部三角学改写了一遍：正弦、余弦配上「新函数」成对登场，勾股定理也换了模样——直角边的双曲余弦相乘，得到斜边的双曲余弦。旧式子用平方相加，新式子用相乘，各管各的世界。
新式子算出的账，先看一笔小的。直角边取 0.5 与 0.5：按新式子，斜边是 0.7212；旧几何给 0.7071——新世界里的斜边更长，长出 0.014。再看一笔大的。直角边取 1 与 1：新几何斜边 1.5134，旧几何 1.4142——长出 0.099。直角边取 1.5 与 1.5：新几何 2.3958，旧几何 2.1213——长出 0.275。排成一张表：
直角边 0.5、0.5：斜边 0.7212（旧 0.7071）
直角边 1、1：斜边 1.5134（旧 1.4142）
直角边 1.5、1.5：斜边 2.3958（旧 2.1213）
读表看一个方向：三角形越小，新旧斜边越贴——0.5 的边长只差百分之一；越大差得越远，而且新几何总是更长。这不是「算错」，是空间的性情：在弯得厉害的新世界里，「直」的路上长满坡度，同样的两条直角边，斜边要走得更远。距离在大尺度上变「贵」了——这张表就是「贵」的账目。
斜边变长只是第一笔。下一页量一件更日常的东西：圆的周长——新世界的圆，围一圈要多走多少路。
旧几何里，圆的周长是一句人人背熟的话：周长等于半径乘以二再乘以圆周率。这句话在欧氏平面里是定理，在新几何里要重立——罗巴切夫斯基的圆周公式同样一句说尽：周长等于半径的两倍圆周率，再乘上一个「放大因子」。放大因子随半径涨，涨法是指数的：半径翻一倍，因子不止翻一倍。把账排开（距离单位同前）：
r = 0.25：周长 1.59（旧 1.57）
r = 0.5：周长 3.27（旧 3.14）
r = 1：周长 7.38（旧 6.28）
r = 2：周长 22.79（旧 12.57）
r = 3：周长 62.94（旧 18.85）
读表的老规矩，先看小头：半径 0.25 的圆，新旧周长只差百分之一；半径 0.5 的圆差百分之四——身边的圆，两本账几乎重叠。再看大头：半径 3 的圆，新账是旧账的三倍多；半径再往上走，放大因子指数起飞——大圆的周长在旧几何里按直线增长，在新几何里按指数增长，两条账在中距离上分道扬镳。
这笔账还牵出一个有趣的差事。圆周率怎么办？圆的周长与直径之比，在旧几何里是与圆无关的常数；在新几何里，这个比值随圆变大——小圆时贴着旧圆周率，大圆时一路涨上去。新世界里没有「一个」圆周率，只有一张随半径变化的表。旧几何的那一个数，是这张表在零半径处的极限值。
把勾股表与周长表并排放：一个说斜边更贵，一个说大圈更长——两张账说的是同一件事：新空间在大尺度上「装得多」。下一页把这件事收进一句概念：空间的曲率。
两张表指向同一个结论，需要一句话把它们收拢。曲面是有性情的：球面向里抱，马鞍面向外张，平面两边都不偏。量这个性情的数，后人叫它曲率——平面的曲率是零，球面的曲率是正数，马鞍面的曲率是负数。罗巴切夫斯基的新几何，恰是曲率为负的空间里「直线与圆」的账本：三角形内角和亏欠、斜边变贵、大圆变长，全是同一份负曲率在三处露头。
曲率一立，几何的家族谱系就清楚了。曲率为零：欧氏几何，内角和恰两直角，周长照旧公式。曲率为正：球面那一族，内角和超出两直角（球面上一个大三角形，内角和能到二百七十度）。曲率为负：罗巴切夫斯基那一族，内角和亏欠、周长放大。三种几何各管一种曲率，谁也不掌全局——「几何」从此是复数名词。这份谱系在第五幕有模型坐实（p.36），此处先记账。
还有一笔日常的账要清。既然新几何处处是负曲率的账（亏欠、放大、渐近平行），为什么人类两千年没发现？因为曲率是一个「每单位长度」的量：空间就算真弯，弯得极缓，身边的三角形、圆、斜边照旧贴着欧氏账本——p.15 的平行角表与 p.16 的内角和表都验证过这一点：尺度越小，新旧越贴。破绽不在身边，在远处。
于是问题换了一个提法：不问「空间是哪种几何」，改问「空间弯得多厉害、往哪边弯」。这问题谁也答不了——除非去量。量什么、怎么量，下一页看他把账摊到天上。
第三幕的账摊开看，有一种读法会把成就读小：几条公式、几张表——好像只是旧几何的换算法。但把页码连起来看：勾股、正弦、周长、面积、平行角，新几何把三角学的每一根梁都重立了一遍。这不是「换算法」，这是一门完整的新几何学：从一条新假设出发，不改一个字地推，推到了旧几何全部领地的边界之外。
这就是暗线的第三笔：另起一行——行写开了，就要写到行尾。新假设立起之后，最容易的走法是见好就收：立个新尺、算几个例子、宣布开辟。罗巴切夫斯基没有收笔：他把新几何推到三角学、推到面积、推到测量——一直推到「这门学问还能不能回答实在问题」的边界上。新世界不是展品，是疆土；疆土要量到边，才算占住。
推到边上，就撞上最后一个问题：这门新几何与实在的关系。旧几何稳坐两千年，靠的不是证明，是「它显然就是空间的规矩」——这句显然，被另起的一行动摇了。动摇之后，几何的真理性悬在半空：谁说了算？罗巴切夫斯基的答案硬得出奇：测量说了算。下一页，看他把账摊到星星上去。
「测量说了算」不是一句口号，他真的去算了。天上有一把现成的尺：视差——地球绕日，天文台在轨道两端看同一颗星，视线方向的差角。星越远，差角越小；把观测到的视差数字摆进新几何的公式，空间的曲率若有破绽，账目就对不上。罗巴切夫斯基把当时的视差观测资料逐项代入：若空间真按新几何弯曲，曲率小到什么程度，观测才察觉不出——他把上界算了出来。
结果是一个「软钉子」。算出来的界表明：即便空间真是弯的，弯的程度也小于当时一切仪器能察觉的范围。星表没有裁决出新几何，也没有裁决出旧几何——两本账在天文观测的精度里同分。这份「悬而未决」他要的正是它：它证明了一个更要紧的事——几何的真伪从此是可以被测量追查的经验问题，不再是讲坛上的先验条款。
这一页是全册明线的合龙处。「平行线、平行角、新三角学」三条线，在视差表上拧成一股：新几何立得住（推得动）、算得实（表对得上）、问得出真伪（可以检验）——「求真」两个字，从第一条公设起就在排队，在这里报数。至于答案本身：十九世纪的仪器太钝；答案要等半个多世纪后的物理学开口（p.37）。
新世界的疆土量到了边。下一幕回到人间：一篇接一篇的文章，一路的冷眼，与一位最重量的读者。
一、三角学换了骨架。勾股定理改写成余弦相乘：直角边 1 与 1，斜边 1.5134 对旧账 1.4142——同样的两条边，新世界里斜边更贵（p.21）。梁没塌，梁换料了。
二、圆的账重立了。周长乘上随半径指数涨的放大因子：半径 3 的圆，新账 62.94 对旧账 18.85——大尺度上，新空间「装得多」（p.22）。圆周率也从「一个数」变成「一张表」。
三、谱系立起来了。曲率为负是罗氏一族、为零是欧氏一族、为正是球面一族——「几何」成了复数名词；身边量不出破绽，因为曲率是每单位长度的量（p.23）。破绽在远处。
四、真伪交了出去。视差资料代入公式，曲率上界算出：观测分辨不出，但从此可查——暗线「另起一行」的第三笔：疆土量到边，真伪交测量（p.24、p.25）。
下一幕，回到人间。文章一年来一篇，回声一年比一年冷——直到柏林一位最重的读者翻开了那份德文小册。
铅字有了，回声没有来。〈几何学原理〉印在地方刊物上，彼得堡的同行几乎见不到；他往后把稿子送去帝都学界，等来的多是冷的处理——有的评审读不懂，把新几何当作根基不牢的臆说退了回来。越是位高名重的人，越难接受「平行线可以另算」：在他们的账上，这不是一篇论文的得失，是整门几何的地基被人动了。
冷眼有两个来源，要分清。一个是数学的：审稿人拿「与常识不合」当硬伤——这恰是罗巴切夫斯基已经裁决过的问题（p.17），怪不算错。另一个是哲学的：先验空间学说给整个时代定了调——欧氏几何不是一种几何，是「几何」这个词的本义；另立一种，在词法上就说不通。数学账好翻案，哲学账难翻——翻案要等模型与物理先后出手（p.35—p.37）。
他怎么接招？答案是继续写。整个 1830 年代与 1840 年代，他的新几何文章一年接着一年：俄文的长篇、俄文的短文、法文的节本、德文的小册——同一套思想换着语言、换着篇幅、换着深度反复立。没人喝彩，就当没人听得懂第一遍；听不懂，就再讲一遍。这份出版清单本身就是答案，下一页把它排成表。
十年冷眼，一年一稿。下一页先看这张不被喝彩的出版清单。
把 1830 至 1850 年代的著作排成一张表，冷眼年代的功夫就看得见了。同一套新几何，短文立骨架、长篇立全楼、法文面向西欧、德文小册直奔最重的读者——每一步都是一次「再讲一遍」：
1829—1830 〈几何学原理〉（《喀山通报》连载）——新几何最早的公开出版
1835 〈想象几何〉（单篇论文）——避开平行线之争，直接立账
1835—1838 《几何新原理》（俄文长篇）——全楼落成，附经验检验
1837 〈想象几何〉法文节本（德意志数学名刊）——面向全欧
1840 《平行线理论的几何研究》（德文小册，柏林）——六十一页，直寄名家
1855 《泛几何学》——口述成书（p.31）
这张表要读出两个细节。其一，〈想象几何〉的法文节本登在当时欧洲最重要的数学杂志上——喀山的地方学者把稿子递进了全欧的核心刊物；登出来了，回应依旧寥寥。其二，1840 年的德文小册只有薄薄六十来页：这是他精心压缩的「敲门砖」，专为写给不读俄文、不读法文的德意志名家看——这本小册，下一页就要发光。
还有一层要读出来：清单里的每一部都完整、都自成一体——从公设到三角学全表，一步不缺。冷眼没有降低成色，反而逼出了更清楚的写法：给听不懂的人写书，是几何学里最难的文体，他写了十五年。
清单递出去了。下一页，柏林终于有人接了——那位读者，是全欧名分最重的几何学家。
1840 年的德文小册，柏林收到了。读者之中分量最重的，是格丁根的高斯——欧洲数学的名义首座。高斯读完，在私人信里给了毫不打折的评价：那本小册写得极好，作者以真正几何学家的手法处理了这个题目；他还补了一句更重的话——他自己五十四年前起就怀着同样的信念，只是一直没有说出口。格丁根皇家学会 1842 年按高斯的提名，选罗巴切夫斯基做了通讯会员。
赞许是真的，沉默也是真的。高斯早在 1829 年就向友人解释过自己为何不发表：怕惹起比奥细亚人的叫嚷——他用当时的一句俗语，指庸众的鼓噪。新几何他推了几十年，结论与喀山相同；他选择把结论锁进抽屉。于是出现了几何学史最奇特的一幕：全欧唯一读懂、也最早读懂这套几何的人，公开场合一字不提，私人信件里盛赞——他替罗巴切夫斯基高兴，却不敢陪他站在台上。
这笔账要两面记。记负的一页：高斯的公开沉默，让新几何在 1840 年代少了一座最重的靠山——若他当时公开发声，冷眼年代会短得多。记正的一页：他提名通讯会员、向友人荐书，这些私下动作在身后成了新几何最早、最权威的背书——因为他没有抢说，赞许的分量才完完整整落在了喀山一边。名与实，两不亏欠（p.48 再算一遍）。
柏林之外还有一户人家要访问。多瑙河边的匈牙利军营里，一位年轻军官推得了同一套几何——他父亲收到的回信，是这段历史里最沉的一封。下一页过河去读。
故事要从父亲说起。波尔约·法尔卡什，特兰西瓦尼亚的数学教师，一生磕磕绊绊地搞平行线问题——被这道题磨了一辈子，深知其毒。他给儿子立下家训，语气近乎哀求：看在上帝份上，放弃它；它夺走一切闲暇，损害健康，耗尽安宁……这个无底的黑暗，也许要吞掉一千座牛顿之塔。父亲把这道题叫做黑暗，儿子偏朝黑暗里走。
儿子是军官。波尔约·亚诺什，奥匈军中的年轻军官，操练之余把平行线问题从头推了一遍——推出了与喀山同样的结论。1823 年他写信禀告父亲：从虚无中，造出了一个崭新而奇妙的世界。1832 年，这篇二十来页的〈绝对空间的科学〉作为附录，随父亲的数学大书一并刊出。父子二人，一个把此题叫黑暗，一个把答案叫世界。
附录刊出前后，父亲把儿子的稿子寄给老同学高斯求评。高斯回信盛赞：称赞这篇附录，等于称赞我自己——同样的思路，我几十年来已在心中展开。这句话对父亲是一枚奖章，对儿子却近乎一柄刀：亚诺什读后多年消沉，疑心自己被前辈抢了先。这桩心结有一笔清楚的史笔：高斯锁在抽屉里的是手稿与私信；铅字账上，附录 1832 年，喀山的刊文 1829—1830 年——两处的独立完成，谁也不欠谁。
三处的发现就此对齐：喀山先行公开，匈牙利独立完成，格丁根未刊先得。同一道两千年的老题，三个人各自把它另起了一行——这就是思想史的时辰：门到了该开的时候，不止一把钥匙插进锁孔。下一页把这份「年年另起一行」记进暗线。
把 1830 到 1855 年的处境摊平看：文章年年写，回声年年冷；评审把稿子退回来，讲坛把学说挡在外头；唯一读懂的同代人，公开场合一字不提。换个方位想：这份履历表上，没有任何一项回报是按期到账的。常人写到第三年，多半把稿纸折进箱底——「世界还没准备好」这句话，能为任何人挡掉一切耻辱。
他没有折稿，他做的是第四笔：被退回，就换一种写法另起——俄文长篇没人接，就压成法文短文递进核心刊物；核心刊物没人应，就改写成德文小册直送柏林；小册等来的是私下的赞许与公开的冷场，他就接着写第五遍。出版清单（p.28）每一行的背后，都是前一行落空之后另起的那一行。另起一行在头两幕是方法（掉头、收下怪结论），在这一幕成了毅力：把同一个动作做了二十五年。
最后一遍另起一行，最重。1850 年代中期，他的眼睛不行了——视界蒙翳，直至全盲。六十多岁、双目失明、卸任校长，按常理账已经结了。他把最后一部书口述给记录的人：《泛几何学》，1855 年刊行——全书把新几何从公设到测量完整再立一遍，等于给这门学问亲手写了遗嘱。次年开春，他去世了。这本书口述的每一个字，都是那句暗线的最后一次落笔：写不动了，就说；说不动了，就托付。
这笔暗线在下一幕兑付：他身后不到二十年，世界把这一行接上了——模型的钟、物理的尺，一起响（p.34—p.40）。
治校那条线，结尾不算体面。1846 年，教育部一纸命令免去了他的校长职务，连教授席位也一并撤下——按新颁的资历条文，他「年满限龄」。他申诉：讲台我还能站。申诉没有结果。名义上他改任学区督学的副手，实际上从此离开执教三十九年的讲堂。同一座校园：他救过它的火、防过它的疫、管过它的砖；它替他记下的最后一笔，是一纸免令。
几何那条线，结尾没有光。卸任后的十年，他把最后的岁月全给了《泛几何学》；学界这边，一份正式的回应也等不来。1870 年代的数学史家后来追认：从 1826 到 1856，罗巴切夫斯基在新几何上孤军三十年——查遍当年的期刊与信件，公开支持者几乎无人。冷眼不是一记闷棍，是一间慢慢抽空的屋子。
但两条线有一处交集，值得记下。晚年的他依旧问真伪：几何账本对不对，量了才算——这份求真的脾气，他带到了最后一页。身后不到二十年，事情起变化：法译流传，模型出现，物理开口。第四幕的冷，是第五幕回声的前奏。下一幕，先记 1856 年那个冬天，再听回声。
一、冷眼看清了来路。数学的冷来自「怪不算错」尚未立住，哲学的冷来自先验空间的时代定调——他提前翻掉了第一本账，第二本要等模型与物理（p.27）。回声冷，不是账错。
二、出版清单立住了。从 1829 到 1855，六部著作换语言、换篇幅、换深度，同一套几何讲了十五遍以上——地方刊行、核心期刊登载、德文小册直送柏林（p.28）。无人喝彩，成色不减。
三、最重要的读者表态了。高斯私信盛赞、提名通讯会员，却终生不公开发声——负的一页与正的一页两面记全（p.29）；波尔约父子一叫黑暗、一叫世界，三人独立完成的史笔分账清楚（p.30）。时辰到了，门不止一把钥匙。
四、暗线添了第四笔。退稿换语言再写，盲了就口述成书——暗线「另起一行」的第四笔：把同一个动作做了二十五年，直到托付（p.31）。
下一幕，1856 年之后的岁月。他没能等到的回声，在法译本里、在伪球面上、在引力方程里，一桩一桩地到账。
1856 年 2 月 12 日（儒略历），喀山。六十三岁的罗巴切夫斯基去世——他没能等到一声正式的回音。送葬的队伍里坐着大学旧部与城里敬他的人；学界方面，讣告简短，评论几乎没有。他身后留下的，是六部著作、三十年的讲台，和一套当时无人肯接的几何。若故事到此为止，这就是一篇常见的天才委屈录。
转机来得很安静。1860 年代，西欧的数学杂志上开始出现新几何的法译与评介：1866 年，波尔多的数学家乌埃勒把 1840 年那本德文小册全文译成法文——薄薄六十页，此刻才在真正意义上「出版」：喀山的行文，第一次被全欧的同行逐行读到。读的人里，有人将做出接下来十年最要紧的一步。
这一幕讲的不是委屈的平反，是回声的到账顺序：先有法译（p.34—p.35），再有模型（p.35—p.36），再有物理（p.37），最后有名字与纪念（p.39）。回声不是一阵，是一串——每一声都把第四幕的某笔冷账结清一角。串起回声的那根线，还是暗线那一行：世界把另起的这一行，接上了。
下一页，先看第一声与第二声：一篇译本，与一张会自转的假球面。
1868 年，意大利数学家贝尔特拉米发表了一篇短论。他造了一张曲面：取一条名叫曳物线的曲线，让它绕轴自转，转出一座喇叭口的曲面——人称伪球面。这张曲面处处向同一侧弯，弯得处处均匀。贝尔特拉米算出了一件惊人的事：在伪球面上，把「直线」定义为曲面上最短的路，量出来的角度、长度、面积，与罗巴切夫斯基的公式一一对上——三角形内角和亏欠、平行角缩水，账目分毫不差。
这一步的分量要说透。新几何推得动、对得上账（p.16—p.23），可冷眼始终有最后一问：「推得动」就一定不自相矛盾——万一推到一万步，冒出一个真正的矛盾呢？这一问无法靠多推一万步回答。模型的妙处在于换了个答法：伪球面本身立在欧氏空间里——若新几何内部真有矛盾，矛盾立刻会化成欧氏空间里这张曲面的几何病。病没出现：矛盾问不出来。这就是「相对无矛盾」：新几何的账，由旧几何作保。
门从此再也关不上了。1871 年，克莱因给出圆盘上的射影模型：整个罗氏平面摊在一张圆盘里，直线是弦，界圆内侧自成一界；1882 年，庞加莱给出圆盘与上半平面的另两款模型，把这门几何与复分析接上。三款模型都在欧氏世界里造，都把新几何的账原样兑出——「怪世界」从臆说降格为模型，从模型升格为几何（p.23 的谱系，至此坐实）。
「怪」字摘了牌，还有更硬的一笔在后面：物理开口。下一页，看世纪的钟摆怎样替他作证。
把伪球面的弯，量成一个数。曲面的曲率，量的是它偏离平面的性情：球面向里抱，曲率为正；平面不偏，曲率为零；伪球面向外张，曲率为负。取喇叭口最细处的半径作长度单位，伪球面的曲率处处等于负一——每一处都一样，不多不少。罗巴切夫斯基公式里的距离单位（p.15 注），从这时起有了脸：它就是「曲率负一」的曲面上一段的长度。
数字对上，还得把两张表并排验一遍。在曲率负一的面或圆盘模型里：平行角 Π(a) 的读数与 p.15 的表一致；直角边 1 与 1 的三角形，斜边 1.5134、内角和 155.9°，与 p.16、p.21 的表一致；半径 3 的圆，周长 62.94，与 p.22 的表一致。三张表、三个出处、一套数字——模型不是比喻，是逐项兑付的账本。
模型的代价也要记清。伪球面只装得下罗氏平面的一部分：喇叭口虽长，终归是一张有限的片——它证明的是「局部对账无误」。把整片新几何一寸不落装进欧氏世界的，是克莱因与庞加莱的圆盘模型：盘内「直线」的长度要按一把随位置变化的尺来量——在盘里越靠边，尺越长，边界在盘内永远走不到。用欧氏的眼看圆盘是畸变的；用圆盘自己的尺量，处处是罗氏的直。两种几何谁也不是谁的幻影——平起平坐，各记各的账。
至此，本册明线四样的最后一笔落下：求真——几何的真伪交还给测量与模型。下一页，物理开口。
回声的最后一串，来自物理学。1854 年，高斯的学生黎曼在格丁根作就职讲演，把「空间的曲率」立成可以取任意值的量：弯多少、怎么弯，不归讲坛定，归测量定。半个多世纪后，广义相对论把这套口径推到底：物质安在哪，时空就在哪弯；光走「最直的路」，账目按弯曲的几何算——星光的偏折、水星近日点的进动，一笔一笔实测对上。空间的几何，从先验条款变成了物理实验的对象。
这一笔要回到 1826 年的讲堂才能读完。罗巴切夫斯基当年把视差资料代入公式，算出曲率的观测上界（p.25）——那笔账在当时是软钉子：仪器太钝，分辨不出。但它立下了一个不曾倒过的原则：几何的账本对不对，不问讲坛，问测量。相对论验光的那一笔，用的正是同一原则——只是仪器换成了望远镜、 Gravity 换成了质量。喀山的求真立场，隔着七十年被物理界原样接走。
要说清边界，也要说清顺序。相对论用的时空几何，与罗巴切夫斯基的平面几何不是一回事：它是四维的、曲率可变的、随物质分布变化的——比「处处均匀的负曲率」复杂得多。罗巴切夫斯基的几何没有直接成为引力方程；它立下的先例直接成了引力学说：公理可以另起、账本可以重立、真伪交给测量。这一先例的分量，比任何一张表都重。
明线到账，暗线也该结账了。下一页，把「另起一行」的五笔一起清点。
把五笔暗线一次清点。第一笔（p.10）：把「怎么证」划掉，反着写——笔尖掉头，方向换了。第二笔（p.17）：把「怪」收下当答案——裁断规矩换了。第三笔（p.24）：把新世界推到边、真伪交测量——学问的疆界换了。第四笔（p.31）：退稿换语言、盲了就口述——个人把动作做了二十五年。第五笔：身后不到二十年，法译流传、模型立起、物理开口——世界把喀山另起的那一行，接上了。第五笔不是他写的，是接笔；但没有前四笔，无笔可接。
五笔连起来看，是一句话的三次变形。在他自己那里，另起一行是勇气：写不下去，掉头写。在接笔的数学家那里，另起一行是方法：模型立起，新几何成了标准工具，往后每一代几何学者都靠「换公理、造模型」这门手艺吃饭——它是二十世纪数学的开山镐之一。在编教科书的人那里，另起一行成了常识：今天的数学课程里，公理体系与模型方法是从中学延伸到研究生院的一整条路。勇气写成方法，方法写成常识——暗线的利息，付到了每一个课堂。
还有最后一层要记。他另起的那一行，写上的不是一个新结论，是一种新地位：假设不再天然有罪，常识不再终审。这门地位后来长进了整门数学——凡立体系者，先问「换一条假设会怎样」。本册暗线至此收束；下一页，把名与实的账最后清一遍。
新几何的名字，账面上有三个。「非欧几何」：高斯私信里用过的说法，后来成了这门学问的统称——它只说「不是欧几里得」，像给一间新屋挂了块「非此地」的门牌。另两个名字都从人起：「罗巴切夫斯基几何」与「波尔约几何」——通行文献里两个叫法并存，还有把两人并称的。名字怎么叫是一回事，账怎么记是另一回事：公开出版喀山最先（1829—1830），独立完成匈牙利并立（1832），未刊先得格丁根更早——名从通行，实从史笔。
名与实的第二笔，落在喀山。他身后，母校把他的名字接回了校园：大学以他命名，讲堂前立起纪念像；以他命名的几何学奖金按期颁发，奖章流转在一代代几何学者手里。天上也有一块：月球背面一座环形山用他的名字标记。边城的讲台、退回的稿纸、盲眼口述的最后一部书——都刻进了这些名字的来历。
第三笔最小，也最重。今天的中学生知道三角形内角和可以不等于一百八十度；今天的大学生做的每一套公理化练习，都在重复 1826 年那个动作的一小截。他生前没有等到的承认，最后没有停在纪念碑上——它变成了常识。承认的最高形式，是没有人再觉得需要为它惊讶。
回声一串到账，名实两讫。下一幕收束全册。
一、译本先行，模特跟上。1866 年法译让全欧读到 1840 年的小册；1868 年贝尔特拉米的伪球面把新几何的账逐项兑出，「相对无矛盾」落地（p.34—p.35）。怪世界有了模特。
二、模型立起，谱系坐实。克莱因与庞加莱的模型把整片新几何装进欧氏世界的圆盘——曲率负一坐实为几何的一种性情，「几何」正式成为复数（p.36）。「怪」字摘牌。
三、物理开口，立场胜诉。黎曼立任意曲率，相对论把几何交还测量——喀山「测量说了算」的求真立场，隔着七十年被接走（p.37）。软钉子等来了硬答案。
四、暗线五笔结清。掉头、收下怪、推到边、年年另起、世界接笔——暗线「另起一行」收束：勇气写成方法，方法写成常识（p.38）；名与实两讫（p.39）。
全册收束在后面三页：先把一生的节点排成年表，再按三层读法各取所需——最后，留三个没有答案的问题给合上册子的时刻。
把一生的节点排成一行。
1792 生于下诺夫哥罗德（伏尔加河与奥卡河交汇处）
1802 以公费入喀山中学（年十岁，父亡后随母迁居喀山）
1807 入喀山大学（年十四；巴特尔斯在堂授课）
1811 硕士毕业，留校任教
1814 / 1816 编外副教授 / 副教授（年二十三）
1820 物理数学系系主任
1826 2 月 11 日（儒略历）公开报告新几何
1827 当选校长（连任至 1846）
八行之外，补著作与身后：
1829—30 〈几何学原理〉（《喀山通报》）——新几何最早的公开出版
1830 / 1842 霍乱封校防疫 / 喀山大火抢运图书仪器
1835—38 〈想象几何〉、《几何新原理》；1837 年法文节本入德意志数学名刊
1840 《平行线理论的几何研究》（德文小册，柏林）
1842 经高斯提名当选格丁根皇家学会通讯会员
1846 免校长与教授职；晚年目疾渐进至全盲
1855 《泛几何学》口述成书刊行
1856 2 月 12 日（儒略历）卒于喀山（年六十三）
再补身后四行：
1866 1840 年小册法译刊于波尔多
1868 贝尔特拉米伪球面模型；1871 / 1882 克莱因、庞加莱模型
1890s 喀山冠名与纪念像；以他命名的几何学奖金设立
二十世纪 月球环形山命名；弯曲时空的物理学接走「测量说了算」
寿数六十三岁。生前十八个节点，散在边城的一张课桌、一间讲堂与一座校园；身后一百多年，几何学换了门庭——那一行另起的字，如今印在每一本讲公理的书的开头。
小读者的读法：一个点与一片扇面。记住两件事就够——过线外一点，能散出无穷多条不相交的线（p.14 的扇面）；球面上的三角形，内角和会超过一百八十度（p.44 亲手量过）。玩一遍 p.44 的球面画三角，玩一遍 p.45 的鞍面找亏欠，亲眼看见「三角形有三副面孔」。
中学生的读法：两张实算表。抓两张表：平行角表（p.15 的 90.0° → 5.7°）与内角和表（p.16 的 178.2° → 119.8°）。它们只用加减乘除与开方（双曲函数按 p.49 的式子代入即可），各亲手推一遍，胜过读十篇介绍；p.22 的圆周长表（7.38 对 6.28）则是「大尺度变贵」的第一课。
成年读者的读法：一支笔与五行字。一个人把「写不下去」处理成五笔动作：掉头、收下怪、推到边、年年另起、世界接笔（p.10、p.17、p.24、p.31、p.38）——总纲一句「另起一行」。今天从公理体系到模型方法，数学的通用语法里有这支笔的笔画；p.25 与 p.37 的两笔天文账，则是「求真」最重的那一笔。
三层可以叠读。那行字是引信，那把尺是弹药，那五笔是射程——任何一层读顺了，另外两层会自己跟上来。
一、「无矛盾」能证到底吗？伪球面与圆盘模型给的是「相对无矛盾」：新几何的账由旧几何作保（p.35—p.36）。可旧几何自己的无矛盾，又要找下家作保——作保的链条一环扣一环，没有尽头；后来数理逻辑把这个「尽头」的问题彻底改写，证明有些地基没法在自己内部验明。新几何提出了问题，逻辑学把问题变成了定理——「另起一行」这回轮到了逻辑自己。
二、宇宙到底怎么弯？p.25 的视差账在十九世纪是软钉子，今天换成了整个宇宙学：大尺度上空间的曲率，由星图、微波背景与超新星的资料逐年收紧误差——平直、正弯、负弯的选项摆着，数据说了算。罗巴切夫斯基的提法原封未动：不问「空间是哪种几何」，改问「弯得多厉害、往哪边弯」——问法活了两百年。
三、「公理可以换」还能换出什么？第五公设换过之后，数学家把「换假设」做成了常规手艺：交换律可以不取、平行线可以多取少取、连续性可以松紧——每换一次，推到底，看落进哪个新世界。这门手艺今天叫公理化方法与模型方法（p.38）；它的尽头没有记账——凡有公理处，都可以另起一行，而公理永远在被重新审视。
三个问题共享一个出身：都诞生于「把写不下去的那一行划掉」之后——先有另起的一行，后有追上来的答案。罗巴切夫斯基留下遗产的方式与他留下稿纸的方式如出一辙：不宣布终点，只把下一行写到任何人都能接着写的地方。
器材：一个圆滚滚的橘子（或篮球、地球仪）、一段细绳、纸剪的直角与量角器。目标：亲手量出「球面上的三角形，内角和超过一百八十度」——曲率为正的那一族（p.23）。
任务一：画一个「三直角三角形」。在橘子腰部（当赤道）用绳摆一段四分之一圈，再取两条从「北极」出发、彼此成直角的经线，让它们各走四分之一圈到赤道——三条大圆弧围出一个三角形。量它：三个角都是直角，内角和二百七十度，整整多出九十度。这块三角形恰好占掉球面的八分之一（p.49 注有面积账）。
任务二：画一个小三角形，再量一次。换橘子顶端一小块地方，用绳摆一个小小的三角形（每边不到球面大圆的十分之一）。内角和比一百八十度只大一点点——大出来的零头，不凑近量根本看不见。这与 p.16 的表是同一件事的镜像：尺度越小，越贴旧账；只是球面往「多」里贴，罗氏世界往「少」里贴。
任务三（挑战）：验证「越大越离谱」。把三角形的边一步一步扩大：四分之一球面、三分之一球面……每画一次量一次内角和。内角和一路涨：多出来的度数与三角形的面积一起涨——「盈角」与面积挂钩，方向与罗氏的「亏角」相反、脾气相同。p.49 的球面小表可以拿来对答案。
做完三题，曲率的直观就到手了：同一个「三角形」，在平面上恰得一百八十度，在球上盈，在鞍面上亏——三副面孔，三种曲率。三角形内角和不是天条，是所在空间报出的读数。
器材：一片完整的鞍状薯片（或一片硬纸折出的马鞍面）、细毛线两段、胶带、量角器。目标：亲手摸到曲率为负的那一族（p.23）——罗巴切夫斯基几何的近亲。
任务一：先认「直线」。在薯片上取两点，把毛线绷在两点之间轻轻贴住曲面——毛线自动躺出的就是这条「最短路」，即曲面上的「直线」。两头一换位置再摆一次，读数不变：这种「绷出来的线」就是本册各张表里的「直」。罗氏世界里管平行角、算内角和，用的全是它。
任务二：摆一个三角形，量内角和。用毛线在薯片平坦处绷出三段「直线」，围成一个三角形，量三内角。和会小于一百八十度——亏出一点零头。这片薯片弯得并不均匀，读数只是示意；换到曲率处处均匀的「真鞍面」，亏多少就按 p.16 的表走：边 1 的直角等腰三角形，亏二十四度多。
任务三（挑战）：把三张账并排。平纸上的三角形（一百八十度）、p.44 球面上的三角形（大于一百八十度）、薯片上的三角形（小于一百八十度）——三张内角和账摆成一排。中间一张处处成立，左右两张各站一个方向；「三角形内角和等于多少」这个问题本身，从「天条」降格成了「读数」——这正是 p.23 那句话：几何是复数名词。
做完三题，另起一行的第一课就体验完了：公设不是不证自明的天书，是空间的一份脾气；换一个面，就得重读一遍。两千年长队停在门外的那个世界，一片薯片就开了门缝。
第五公设 《几何原本》卷一关于两直线何时相交的公设；两千年证明史的主角（p.7）。
唯一平行公理 第五公设的通行替身：过线外一点恰有一条平行线；与原文等价（p.7）。
三岔口 萨凯里的三种假设：底角之外的顶角为直角、钝角、锐角；锐角岔路通向新几何（p.8）。
边界平行 过线外一点「恰好不与已知线相交」的两个临界方向；夹角内不交线无穷多（p.14）。
平行角 Π(a) 边界平行夹角随距离变化的函数；新几何的心跳表（p.15、p.49）。
亏角 三角形内角和欠两直角之数；与面积成正比（罗氏口径），球面一侧为「盈角」（p.16、p.44）。
罗氏三角学 新假设下的三角学改写：勾股式换余弦相乘，圆周长乘放大因子（p.21—p.22）。
曲率 量曲面弯曲性情的数：平为零、球为正、鞍为负；负曲率对应罗氏一族（p.23、p.36）。
伪球面 曳物线绕轴旋转出的喇叭形曲面；曲率处处为负常数，罗氏几何的模特（p.35—p.36）。
相对无矛盾 新几何的无矛盾由旧几何的模型作保；作保链条不封顶（p.35、p.43）。
罗巴切夫斯基（1792—1856） 本册主角；最早公开出版新几何的人，「另起一行」的执笔者（p.2 起）。
欧几里得（约公元前 300 年） 《几何原本》的编者；第五公设的立户人（p.7）。
普罗克鲁斯（约 412—485） 注释家；给证明长队立尺的人（p.8）。
萨凯里（1667—1733） 《欧几里得无懈可击》的作者；三岔口的搭建者（p.8）。
兰伯特（1728—1777） 在锐角岔路上看到面积账、半步之遥的接棒人（p.8）。
巴特尔斯（1769—1836） 喀山的教授；少年高斯与青年罗巴切夫斯基的共同的引路人（p.4、p.11）。
高斯（1777—1855） 未刊先得的第一读者；1842 年提名通讯会员、私信盛赞而公开沉默（p.29）。
波尔约·亚诺什（1802—1860） 匈牙利军官；独立完成并刊出附录，「从虚无中造出世界」（p.30）。
波尔约·法尔卡什（1775—1856） 亚诺什之父；把平行线问题叫作「黑暗」的老教师（p.30）。
贝尔特拉米（1835—1900） 伪球面模型的立户人；「怪世界」的造模特者（p.35）。
第一桩：这门几何该姓谁？今天的通行叫法把三家人都记了：统称「非欧几何」（源自高斯私信的用词），专名「罗巴切夫斯基几何」与「波尔约几何」并存。史笔的账是三栏：格丁根未刊先得、喀山公开最先、匈牙利独立并立——名从通行，实从史笔；谁最早把铅字拿出来，谁的名字就在通行叫法里排前面。这不是奖惩，是出版纪年。
第二桩：「内角和亏欠与面积成正比」该记谁？兰伯特 1766 年摸到了半步（p.8）；结论由罗巴切夫斯基、波尔约与高斯各自推得——高斯在未刊的手稿与信里，另两位在刊行的书里。通行文献把这组公式与三人并列记账，没有单独冠名。一处结果三处独立：两千年的老题到了时辰，答案总是成批到来（p.30 的钥匙与锁）。
第三桩最小，也最见功夫：「新几何的生日」凭什么定在 1826 年？凭一份档案。当日报告的法文摘要沉在喀山档案里近百年，二十世纪初经传记作者整理确认为 1826 年之书面记录，「生日」才有了凭据。此前流行的是另一笔账：以 1829—1830 年的刊文为准。两个日期都对：一个记开口讲的，一个记印出来的——史笔记账，凭据到哪一栏，日期就立在哪一栏。
三桩合出一套规矩：名从通行，实从史笔——通行的名字方便今天的人说话，史笔的账目方便明天的人查证。罗巴切夫斯基生前吃了「史笔不彰」的亏：他的每一步都有日期与刊名，可惜当时没人来对账。身后对账的人来了，账目一清二楚——这也是冷屋三十年换来的运气：稿子干干净净，从无含糊。
全册的账都从一把尺出发，这里把尺的细账补全。平行角函数的公式：Π(a) = 2·arctan(e−a)（曲率负一、距离单位为一的几何；罗氏原记法见 p.15 注）。距离每加一，角就折半不止——把 a 从零排到四：
a = 0：90.00° a = 1：40.40° a = 2：15.41° a = 3：5.70° a = 4：2.10°
a = 0.25：75.82° a = 0.5：62.48° a = 1.5：25.16°（补格：a 越大，角掉得越狠）
第二张表是内角和。直角等腰三角形（直角边 a），斜边与内角和并排记（内角和 = 180° − 2·arcsin(sinh a ÷ sinh c)，其中 cosh c = cosh2 a）：
a = 0.25：c 0.3554，内角和 178.23°
a = 0.5：c 0.7212，内角和 173.13°
a = 1：c 1.5134，内角和 155.89°
a = 1.5：c 2.3958，内角和 136.06°
a = 2：c 3.3419，内角和 119.77°
第三、四张表并排放。圆的周长 C = 2π·sinh r：r = 0.5 时 3.27（旧 3.14）、r = 1 时 7.38（旧 6.28）、r = 2 时 22.79（旧 12.57）、r = 3 时 62.94（旧 18.85）。球面一侧（曲率为正的对照）：单位球上等边三角形，边 0.5 时内角和 186.4°、边 1 时 208.4°、三直角的八分球 270.0°——盈角与面积成正比，方向与亏角相反。
这页也照例挂一笔本行：四张表同出一根公式链——平行角定距离，距离定三角形，三角形定面积，圆与球面各占谱系一头。一根线从 p.15 一路通到天上的视差。下一页留给家长：怎样陪孩子读完这一册。
本册的三层各有入口。小学低年级：只读故事页，配 p.44 的球面画三角——一个橘子一段绳就能玩，「三角形内角和会变」的体感一玩就懂；p.45 的薯片当加餐，找到「亏了一点」会是最兴奋的一刻。
小学高年级到初中：加读 p.15 与 p.16 的实算。平行角表与内角和表都只用加减乘除（双曲函数值按 p.49 的式子代入即可），家长可以陪孩子一格一格算；p.16 的「边越小越贴一百八十度」与 p.45 的任务三相互印证——「表格上的亏欠」与「薯片上的手感」对上号，新几何就算进门了。
高中及以上：全册可读。p.14—p.16 的假设与双表、p.21—p.23 的三角学与曲率、p.25 与 p.37 的两笔天文账，是大学几何课程的完整预告；注疏层的文献路径（p.2 注起）可供检索。
三处提示给家长。其一，「怪」字不必回避：本册的立场恰恰是「怪不等于假」（p.17），孩子若问「这套几何是真的吗」，最诚实的回答是「推得动、对得上、能检验——检验见 p.25 与 p.37」。其二，p.44—p.45 的两件动手做先家长自试一遍再陪读：摆大圆弧与绷毛线各有手法，见该两页注。其三，本册主角生前几乎无掌声，p.31 的二十五年与 p.34 的身后回声是全册的情感重心——别急着安慰，先陪孩子把「为什么没人信」聊明白。
读完这一册，值得留下一句话给孩子：写不下去的那一行，不一定是死路——掉个头另起一行的人，常常第一个看见新大陆。
一、「第五公设最终被证明了。」没有。两千年长队全部倒下；结局不是「证出来了」，而是「换了假设照样推」——公设被替换，不是被驯服（p.8、p.14）。把结局说成证明，等于把这场革命讲成了续篇。
二、「罗氏几何是错的几何。」它自洽（推到底无矛盾）、可用（模型逐项兑付）、可检（天文与物理接手真伪）——「错」字没有落点（p.35—p.37）。与日常经验不合不是错，只是它的曲率在身边小得量不出（p.23）。
三、「所以三角形内角和真的不是一百八十度。」要看在哪张曲率上：欧氏账面里恰是一百八十度；罗氏账面里亏、球面账面里盈——身边的三角形亏盈都小到量不出（p.16 的表与 p.44 的任务二）。把「几何是复数」读成「一百八十度是错的」，恰好把谱系读反了。
四、「他证明了新几何没有矛盾。」严格说：他推到底没有遇到矛盾，并立起了完整账本；「无矛盾」的凭证（模型）出自他身后贝尔特拉米等人的手，而且是「相对无矛盾」——由旧几何作保（p.35—p.36、p.43）。把两种「没有矛盾」混为一谈，会看漏这一环扣一环的地基工程。
五、「高斯抢了他的成果。」高斯的手稿与信未发表、生前公开不置一词；铅字账上喀山 1829—1830 最先、匈牙利 1832 并立——三人独立，史笔分账（p.18、p.29—p.30、p.48）。高斯的公开沉默可议，抢名不成立；把三个人的独立各记各的，才是对这场「时辰」的尊重。
五条误区有一致的解药：把「听说」换回「在哪一页、依据什么」。这本册子每一处重要断言都留了页码与文献——这正是那位老校长立身的规矩：账目一笔一笔落在纸上。
《数学家的故事》第五辑 第 44 册
罗巴切夫斯基 · 另起一行
体例：五幕 · 52 页 · 三层可读（故事／数学／注疏）
插画：40 幅（留白线体）
数值：全册关键数值实算复核
本册为「格物致知」系列数学通识读物之一，面向全龄读者。
故事层无需预备知识；数学层对应高中至大学初年级；注疏层供检索与延伸。
格式 · 格物致知 · JUST FOR FUN