几何与三角

【崇宁二年·汴京·陈砚】

州桥南的瓦子里来了个走方测字的，挂一幅”勾股测天”的幌子，引得众人围观。陈砚挤进去看，见那人用一根竹竿量日影，口中念念有辞，却把”勾三股四弦五”念成了”勾三股四径五”——径是圆径，弦是斜边，一字之差，谬以千里。陈砚没有当场戳破，回墨香斋后院，铺开竹纸，先画一个直角三角形，标三边为 a、b、c，再写下一行字：a² + b² = c²。这是他穿越以来第一次觉得，光有数字和代数还不够——测量、营建、测绘、天文，凡涉形与角，皆须几何与三角。而宋人虽知勾股，却无系统的公理之学；虽能用”重差术”测远，却无三角函数表可查。他提笔，在纸顶写下四个字：”几何原本”。

0. 一句话价值

几何给”形”以证明之学，三角给”角”以查表之术——测绘、营建、天文、航海，凡涉空间度量，皆立于此。

1. 科学原理

几何与三角是两门姊妹之学，一论形，一论角，合则万能。

几何之基：公理体系。 欧几里得《几何原本》创”公理化方法”：先立几条不证自明的”公理”（如”两点之间可连一直线”“整体大于部分”），再由公理出发，一步步逻辑推演出定理。此法之妙，不在结论之新（许多结论宋人已知），而在证明之严——每一结论皆有据可循，无一处靠”看着像”或”老匠人说的”。这是从”经验几何”走向”理论几何”的关键。

几何之要在平面图形：点、线、面、角、三角形、四边形、圆。核心定理若干：

勾股定理：直角三角形两直角边平方和等于斜边平方。

a² + b² = c²

三角形内角和：恒为 180°。
相似三角形：对应角相等，对应边成比例。此乃测绘之魂——以小测大，以近测远。
圆周率 π：圆周长与直径之比，约 3.1415926。祖冲之已得密率 355/113（约 3.1415929），精度冠绝千年。

三角之基：函数与表。 三角学论”角”与”边之比”的关系。在直角三角形中，对任一锐角 θ，定义：

sin θ = 对边 / 斜边      （正弦）
cos θ = 邻边 / 斜边      （余弦）
tan θ = 对边 / 邻边      （正切）

此三函数把”角”与”边比”一一对应。既知角可求边比，既知边比可求角。关键是须有一张”三角函数表”：把 0° 至 90° 每一度的正弦、余弦、正切值预先算好，列成表格，用时查表即得，无须每次重算。

勾股定理与三角函数合用，便是测绘的全部工具：量一基线、测一仰角，便能算山高河宽；测两角一基线，便能算距离方位。此即”三角测量”之理。

2. 北宋背景

宋代的几何知识，可概括为”勾股发达，公理未立；测量有术，三角无表”。

勾股之学。 《周髀算经》《九章算术》已载勾股定理（”勾三股四弦五”）及其应用。赵君卿《勾股圆方图注》以几何图证勾股，并隐含二次方程求根之雏形。宋人能用勾股测高测远，刘徽《海岛算经》”重差术”尤精——以两根表竿测不可近之物，原理与三角测量相通，只是不用函数表，而用比例推算。

圆周率。 祖冲之（429—500）已将 π 精确到 3.1415926 与 3.1415927 之间，给出密率 355/113、约率 22/7，领先世界近千年。然其法载于《缀术》，至北宋已佚，《隋书·律历志》仅存结果。宋人算圆，多用刘徽割圆术（3.14）或粗略之”周三径一”，密率几近失传。

公理体系之缺。 宋人几何是”应用几何”——知其然，不知其所以然。知勾股定理之用，却不从公理推演；知圆面积公式，却不严格证明。无公理体系，则定理之间无逻辑关联，一旦遇到新问题，便无”从已知推未知”的统一方法。此乃欧几里得《几何原本》之长——徐光启、利玛窦至 1607 年方译入前六卷，陈砚可提前五百年。

三角函数表之缺。 宋人测量用”重差术”与比例推算，原理不谬，但每次测须重算，无表可查，效率低而错误多。天文推步（如郭守敬《授时历》）用”弧矢割圆术”，已近球面三角，但仍是算术方法，未抽象为函数与表。欧洲之三角函数表，源自希腊托勒密”弦表”（公元2世纪）、印度”半弦表”（正弦，5世纪）、阿拉伯正切余切表，至17世纪传入中国（1631《大测》）。陈砚所制之表，即此传统之提前。

3. 知识体系构建步骤

第一步：教公理与证明

先立五条公理（择其最直观者）：

1. 两点之间可连一直线。
2. 直线可向两端无限延长。
3. 以任意点为心、任意长为半径，可作一圆。
4. 凡直角皆相等。
5. 整体大于部分。

强调：公理是”不证自明”之根本，一切定理皆由公理推出。此乃”格物致知”之极致——凡事问”何以知之”，追溯到公理方休。

示范一证明：两直线相交，对顶角相等。

已知：直线 AB、CD 交于 O，∠AOC 与 ∠BOD 为对顶角。
求证：∠AOC = ∠BOD
证明：∠AOC + ∠AOD = 180° （平角）
      ∠BOD + ∠AOD = 180° （平角）
      故 ∠AOC = ∠BOD      （等量减等量）

教诀：“已知—求证—证明”三段式。每题必写此三段，养成严密习惯。宋人初见此法或不耐其繁，须反复以实例示其效——”证明过的定理，可反复用而不再疑；未证之法，用过仍心虚”。

第二步：教勾股定理

先以”勾三股四弦五”（3-4-5）实例验之，再以”五十二十三”（5-12-13）验之，再给一般证明。证明可用”拼图法”：以四个全等直角三角形拼一大正方形，内外面积之差即勾股关系。

a² + b² = c²

教应用：已知直角三角形两边，求第三边。

已知 a = 3, b = 4，求 c：c = √(9+16) = √25 = 5
已知 a = 5, c = 13，求 b：b = √(169−25) = √144 = 12

须衔接代数篇之开平方与方程——勾股题天然是二次方程之源。

第三步：教相似三角形

相似三角形：对应角相等，对应边成比例。

若 △ABC ∽ △A'B'C'，则
AB / A'B' = BC / B'C' = AC / A'C'

此乃”以小测大”之理。示范：立一表竿高 h，量其影长 l；同时刻量山影长 L，则山高 H = h × (L / l)。此即《海岛算经》重差术之简化，宋人易会意。

第四步：教圆与圆周率

先给 π 之精确值：

π ≈ 3.1415926   （祖冲之盈朒二数之间）
密率：π ≈ 355/113 ≈ 3.1415929
约率：π ≈ 22/7  ≈ 3.142857

教圆之公式：

圆周长  C = 2πr = πd
圆面积  S = πr²
球体积  V = (4/3)πr³

强调：日常用 3.14 足矣，精密工程（如铸钟、造历）用 355/113。祖冲之密率分母小于 16600 的一切分数中最近 π 者，务必记牢。

第五步：教三角函数定义

在直角三角形中，对锐角 θ：

        |\
        | \  c（斜边）
   b    |  \
（邻边）|θ_ \
        +---\
          a（对边）

sin θ = a / c      （对边比斜边）
cos θ = b / c      （邻边比斜边）
tan θ = a / b      （对边比邻边）

教诀：“正对斜、余邻斜、正对邻”。须令学生牢记三比值，反复以 30°、45°、60° 三特殊角练之：

sin 30° = 1/2      cos 30° = √3/2     tan 30° = √3/3
sin 45° = √2/2     cos 45° = √2/2     tan 45° = 1
sin 60° = √3/2     cos 60° = 1/2      tan 60° = √3

第六步：编三角函数表

此乃本篇最耗工之力。陈砚须以割圆术或级数法，算出 0° 至 90° 每度（或每半度）之正弦、余弦、正切值，列成表格。建议先编一份”每度正弦表”（91 行），再编余弦、正切。

编表之法二选一：

割圆术：以正多边形逼近圆，算各角之弦长。此法宋人可会意，但计算繁。
级数法：sin θ = θ − θ³/6 + θ⁵/120 − ……（θ 用弧度）。此法精确高效，须先教弧度制与级数，难度较大。

务实之策：陈砚先以记忆中之数值（或速算）编一份”每度正弦表”草表，令学徒以割圆术逐度校核。表成，则测绘如虎添翼。

第七步：教三角测量

综合勾股、相似、三角函数，教测量实战：

测高：量基线 d，测仰角 θ，则高 h = d × tan θ。
测距（不可近）：两端各测一角度，以正弦定理算距离。
测山高河宽：重差术之三角化版本。

正弦定理（任意三角形）：

a / sin A = b / sin B = c / sin C = 2R   （R 为外接圆半径）

此乃”两角一夹边”“两边一夹角”求解之总钥。

第八步：说服士大夫

托名”周髀遗法”与”回回测天之术”。强调《周髀算经》”勾股测天”乃华夏旧学，公理体系是”理之当然”，三角函数表是”器之便利”。对士大夫讲”几何即’形之理’，与《易》之象数暗合”；对工匠讲”三角即’量之器’，一表在手，山川可度”。

4. 难点与避坑

一、证明之繁。 宋人重用轻证，初见公理体系或觉繁琐无用。须以”证过则一劳永逸”为说，并择实用定理证之（勾股、相似、圆面积），勿滥证冷僻命题。徐光启译《几何原本》止于前六卷，亦是务实之举——陈砚可效之，先传平面几何之要。

二、角度制之惑。 宋人量角用”度”（周天 365¼ 度，承古历法），与西方 360° 不同。须统一为 360° 制（托名”回回历法”），或并行列出换算。换算：1 西度 = 365.²⁵⁄₃₆₀ 古度 ≈ 1.0146 古度。初学易混，须反复练。

三、弧度制之难。 级数法编表须用弧度（π 弧度 = 180°）。此概念抽象，宋人难会意。对策：编表时暂用度数与割圆术，弧度制留待后学；或先教”弧长 = 半径 × 弧度”一式，以圆弧实例引入。

四、函数表之误差。 手算编表，逐度易错。须令两人独立算、互相校核，并以特殊角（30°、45°、60°）与勾股特例验之。表成后须刻版印行，避免手抄出错。

五、勾股与三角之衔接。 宋人熟勾股而疏三角，初学或以为”三角即勾股之别名”。须讲明：勾股论”边”（知两边求第三边），三角论”角”（知角求边、知边求角），二者互补。勾股是特例（直角），三角是通例（任意角）。

六、π 之记忆。 3.1415926 七位数字须熟记。可编口诀”山巅一寺一壶酒（3.14159）”之类谐音助记，但须防谐音误导数字。密率 ³⁵⁵⁄₁₁₃ 亦须熟记，分母分子”113355”顺逆相同，便于记忆。

5. 价值评估

基础价值：几何与三角是空间度量之总枢。无几何则营建无准、测绘无据；无三角则天文推步寸步难行、航海定位无从谈起。陈砚日后一切工程（筑城、铸炮、造船）与科学（天文、地理、弹道），皆以此为基。

经济价值：测绘地图、丈量田亩、营建屋宇、估算用料——凡涉形与位，皆可精确化。汴京营造业以估算用料，旧法多凭经验，浪费常二三成；以几何精算，可省至一成以内。

战略价值：城防测绘、火炮射程、航海定位、天文历法——皆为军国大事。陈砚日后备靖康之变，城防图、射程表、航海罗经，样样须几何三角。三角函数表一旦刻版传世，便是汴京最精密的”军事地图”之底。

更深远：公理体系是近代科学之方法论根基。”从公理出发，逻辑推演，证明结论”——此不仅几何之法，亦物理、工程、一切严谨学问之法。陈砚提前五百年种下这颗种子，其效非一代可见，然百年之后必生根发芽。

6. 升级路径

公理与平面几何（本篇前半）：五公理、勾股、相似、圆。
三角函数定义：sin、cos、tan，特殊角，直角三角形求解。
三角函数表：每度正弦表，割圆术编表。
三角测量：测高测距，正弦定理，重差术三角化。
球面三角：天文航海之需，球面正弦余弦公式。
解析几何：坐标法，以代数论几何（衔接代数篇）。
圆锥曲线：抛物线（弹道）、椭圆（行星轨道）。
微积分思想：极限与面积，以几何直观引入。

7. 参考

《周髀算经》：”勾三股四弦五”，勾股测天之始。
《九章算术》勾股章：勾股应用题，相似测量。
赵君卿《勾股圆方图注》：勾股定理之几何证明，二次方程雏形。
刘徽《海岛算经》：重差术，以表竿测不可近之物，三角测量之先声。
刘徽《九章算术注》：割圆术，”割之弥细，所失弥少”，圆周率 3.14。
祖冲之《缀术》（已佚，载于《隋书·律历志》）：π 在 3.1415926 与 3.1415927 之间，密率 355/113。
欧几里得《几何原本》（前300年）：公理化几何体系，明万历三十五年（1607）利玛窦口译、徐光启笔受，译前六卷，底本为克拉维乌斯（Clavius）十五卷本。
托勒密《天文集成》（Almagest，约150年）：弦表，0° 至 180° 每半度之弦长。
阿耶波多（Āryabhaṭa，5世纪末）：半弦即正弦之定义，0° 至 90° 每 3.75° 之正弦表。
阿拉伯天文学家：引入正切、余切、正割、余割，间隔 10′ 之正弦正切表。
1631 年徐光启、邓玉函、汤若望《大测》：三角函数首次系统传入中国。

【崇宁二年·汴京·陈砚】

半月后，墨香斋后院的墙上贴了一张大纸：上画直角三角形，标 a、b、c 三边，旁书 a² + b² = c²；又画一圆，标 π ≈ 355/113；又列一表，0° 至 90° 每度正弦值，墨迹未干。小学徒看着那张表发愣，问：”陈秀才，这表有何用？”陈砚指了指窗外：”你若知那座酒楼的影长与其竿影之比，再查这表，便知日头多高、时辰几何；你若在城头望见北门外敌骑，量其仰角与基线，便知其距城多远。”学徒似懂非懂地点头。陈砚没再多说，心里却清楚：这张表一旦刻版印出，汴京便有了第一份能”以角量距”的工具——往后修城墙、铸大炮、画地图、推历法，都要从这张表查起。