论文部分内容阅读
【摘要】 对斯图尔特定理中的切氏线进行特定设置，用面积系数建立起以勾股定理为范式适用于任意三角形三边的度量关系式;丰富了三角形的长度公式，感悟数学美.
【关键词】 切氏线;中线;内等腰线;面积系数;勾股定理
悠久的勾股定理奠定了几何学基石.译著《几何原本》[1]第Ⅰ卷47命题中，欧几里得用面积法证明了勾股定理（毕达哥拉斯定理）谱写了直角三角形三边度量的精美关系式（图1左）：
a2 b2=c2. （1）
在第Ⅱ卷12，13命题中，又证明了现行余弦定理之原型.余弦定理之原型是四条线段的度量关系式，其数学表达式为（参见图1右，中）：
余弦定理原型（2）（3）两式的出现，证明一切三角形均具有三边间的度量关系式，揭示了同类事物存在共性和个性的哲学原理.
余弦定理原型用“矩形面积修正项”[2]添加在勾股定理等式的一边，建立了非直角三角形的三边度量关系.尽管（2）和（3）式均内含了直角三角形（CD=0）的特例，但“±”运算的差异使两式不能统一.千余年后有了三角函数，才使（2）和（3）式统一.但现行的余弦定理超越了长度定理范畴[3].
回到长度定理范畴来思考，从数学美的视角来看，余弦定理原型由于存在“面积修正项”，使（2）（3）两式的美感度与二次三项等式的勾股定理之“简洁美”“对称美”相比存在明显的差距，尤其是两式不能合一的问题对数学追求“统一美”而言是个遗憾.联想到一个圆锥曲线方程能融合三种相异的圆锥曲线[4]，故从类比思维来考量以上遗憾时，就会让人萌发出去寻找一个能融合（1）（2）（3）式的尝试.
具体思路是以勾股定理为范式，选择合适的第四长度参数，用“面积修正系数”替代“面积修正项”，建立适于任意三角形三边间的度量关系式.
所幸的是斯图尔特定理为此提供了现成的平台.1745年苏格兰人斯图尔特（M.Stewart）推出了斯图尔特定理[4]：图2中由三角形顶点C任意引一条切氏线（Cevian）CD交对边AB于D点，则有下列等式成立：
AD·BC2 BD·AC2=AB·CD2 AB·BD·AD. （4）
此公式可用余弦定理原型推出.它将原三角形线间二维关系升格为三维关系等式，蕴含丰富内容，成为导出多个几何公式的公用平台[5].
如图2中切氏线CD是AB边的中线，其长记为mc，用AD=BD= c 2 ，代入（4）式，整理后就是中线公式：
a2 b2= c2 2 2m2c. （5）
现改写为如下“系数式”：a2 b2=
【关键词】 切氏线;中线;内等腰线;面积系数;勾股定理
悠久的勾股定理奠定了几何学基石.译著《几何原本》[1]第Ⅰ卷47命题中，欧几里得用面积法证明了勾股定理（毕达哥拉斯定理）谱写了直角三角形三边度量的精美关系式（图1左）：
a2 b2=c2. （1）
在第Ⅱ卷12，13命题中，又证明了现行余弦定理之原型.余弦定理之原型是四条线段的度量关系式，其数学表达式为（参见图1右，中）：
余弦定理原型（2）（3）两式的出现，证明一切三角形均具有三边间的度量关系式，揭示了同类事物存在共性和个性的哲学原理.
余弦定理原型用“矩形面积修正项”[2]添加在勾股定理等式的一边，建立了非直角三角形的三边度量关系.尽管（2）和（3）式均内含了直角三角形（CD=0）的特例，但“±”运算的差异使两式不能统一.千余年后有了三角函数，才使（2）和（3）式统一.但现行的余弦定理超越了长度定理范畴[3].
回到长度定理范畴来思考，从数学美的视角来看，余弦定理原型由于存在“面积修正项”，使（2）（3）两式的美感度与二次三项等式的勾股定理之“简洁美”“对称美”相比存在明显的差距，尤其是两式不能合一的问题对数学追求“统一美”而言是个遗憾.联想到一个圆锥曲线方程能融合三种相异的圆锥曲线[4]，故从类比思维来考量以上遗憾时，就会让人萌发出去寻找一个能融合（1）（2）（3）式的尝试.
具体思路是以勾股定理为范式，选择合适的第四长度参数，用“面积修正系数”替代“面积修正项”，建立适于任意三角形三边间的度量关系式.
所幸的是斯图尔特定理为此提供了现成的平台.1745年苏格兰人斯图尔特（M.Stewart）推出了斯图尔特定理[4]：图2中由三角形顶点C任意引一条切氏线（Cevian）CD交对边AB于D点，则有下列等式成立：
AD·BC2 BD·AC2=AB·CD2 AB·BD·AD. （4）
此公式可用余弦定理原型推出.它将原三角形线间二维关系升格为三维关系等式，蕴含丰富内容，成为导出多个几何公式的公用平台[5].
如图2中切氏线CD是AB边的中线，其长记为mc，用AD=BD= c 2 ，代入（4）式，整理后就是中线公式：
a2 b2= c2 2 2m2c. （5）
现改写为如下“系数式”：a2 b2=