职业数学家在民间
大家好！这里是微信公众号《职业数学家在民间》的专栏《高等数学》第八期，这一期我们将澄清上一期的一个问题：勾股定理的本质究竟是什么？传播数学是我们的神圣使命，敬请扫描?关注我们！
第一期：行列式的几何意义
第二期：为什么0.9999.....会等于1
第三期：世界著名数学难题——圆内格点问题
第四期：欧拉公式——上帝创造的数学公式
第五期：巴塞尔问题
第六期：布劳威尔(Brouwer)不动点定理
第七期：勾股定理的内蕴证明和内蕴推广
一、能绕过面积证明勾股定理吗
上期的文章《勾股定理的内蕴证明和内蕴推广》发布之后，有位群友指出：
勾股定理的证明不可能绕过面积的概念！
他认为，比如上期文章中的这个几何证明用到了三角形相似，边长成比例的定理，但这个定理的证明一定要用到面积的概念。这位群友还认为，凡是涉及到线段长度相乘(除)的定理(比如三角形相似，边长成比例的定理，平行线分线段成比例定理，勾股定理)都不可能绕开面积概念！
这个观点确实很有意思！上期文章《勾股定理的内蕴证明和内蕴推广》中的向量证明要用到内积运算的分配律，而分配律之所以会成立，要用到直角三角形两边的余弦比例性质，而这个性质又是用到了(直角)三角形相似，边长成比例的定理。
所以我们要面对的第一个问题是：
能否绕开面积概念，证明三角形相似，边长成比例的定理？
注意了，利用全等三角形，我们可以证明：三角形相似，边长成比例的定理， 和平行线分线段成比例定理是，等价的。
所以我们的问题可以归结为：
能否绕开面积概念，证明平行线分线段成比例定理？
二、平行线分线段成比例定理的经典证明
平行线分线段成比例定理的经典证明，确实用到面积的概念和性质，下面是《几何原本》中的证明，这个证明直到今天还被奉为标准证明：
《原本》中的这个证明确实非常巧妙。但是这个证明绝非简洁，里面用到了夹在平行线之间两个三角形等高的结论，还用到了三角形面积公式，但三角形面积公式是从平行四边形面积公式推导出来的，而平行四边形面积公式是从矩形面积公式推导出来的。更严重的问题是，平面几何中面积的概念非常含糊，几乎只是直观地告诉你有面积这样一个概念。还有三角形面积公式推导过程中要用到面积相加的性质，为什么面积相加的性质会成立呢？
比如多边形面积的计算，可以将它划分成若干个三角形计算面积，再相加。但是，这种划分是非常任意的，如何保证结果是唯一的？这本身是一个非常复杂的问题。如果涉及到其他图形的面积，比如圆的面积，那就更复杂了，要划分成无数多个长方形，三角形，然后求极限和？
大家也可以参考希尔伯特的《几何基础》，里面的方法是直接从“平行线分线段成比例”出发，定义两个长度的乘积，然后再利用长度的乘积定义多边形的面积。
所以即使在希尔伯特《几何基础》的公理化框架中，面积也只是长度乘积派生的概念
鉴于这些原因，我认为在平行线分线段成比例定理的本质中，在勾股定理的本质中，不应该有面积概念！
当然了，我这么认为还有一个原因：
平行线分线段成比例定理本身有一个不用面积概念的证明
二、平行线分线段成比例定理的另一个证明
有个群友利用向量给出平行线分线段成比例定理一个证明，但是他的证明用到了向量数乘运算的分配律，而这个分配律实质上就是平行线分线段成比例定理。另外有个群友想建立坐标系给出一个解析证明，但是她用到了两点距离公式，这个距离公式就是勾股定理，而勾股定理的证明，如果不用面积概念，也是绕不开平行线分线段成比例定理，所以还是陷入了循环论证的泥潭。
其实，平行线分线段成比例定理在初等几何中是相当不平凡的，这个定理预设了一个背景结论：
每个线段的长度都可以用唯一的一个正实数刻画。
另外，这个定理的陈述还涉及实数的乘除运算(不像全等三角形的定理仅涉及到角度，长度作为数的相等关系，也不像大角对大边，小角对小边定理只涉及到数大小关系)。实数的理论(包括加减乘除运算)的严格化，要从有理数(和它的加减乘除运算)出发，这是属于高等数学的范畴(参见我的文章《高等数学自学指南(附书单)》《为什么0.9999.....会等于1——实数的逻辑基础介绍》)。
所以平行线分线段成比例定理稍微严肃一些的证明，都不可能绕开有理数和实数的关系。下面我给出平行线分线段成比例定理的一个证明，证明要用到下面这个引理：
现在已经有了充分准备可以证明平行线分线段成比例定理了
三、面积，长度，角度，向量，内积，究竟哪个概念更本原？
如果说在勾股定理的本质中，没有面积概念，那么长度，角度概念呢？我们上篇文章是用长度和方向来定义向量，用长度和角度来定义向量内积运算。就有群友指出这种定义根本就是不严格的。
我当然知道，这些都是不严格的。其实在初等几何中，面积概念，和面积证明方法都只是教学之法，权宜之计，一旦上升到向量的高度，这些概念和方法都要消退，包括我给出的平行线分线段成比例定理的证明。
我们引入向量的方法也还是拘泥于初等几何，利用了长度和角度的概念，甚至还利用了平行线分线段成比例定理。这，也是教学之法，权宜之计，让站在初等几何高度的人可以明白，向量的思想是脱胎于初等几何。
但是，一旦继续往上走，这种引入向量的方法，包括长度，角度的概念也要消退。最终，绝对严格的处理方式是引入向量空间和内积空间的概念。什么是内积空间，就是有加法运算，数乘运算，内积运算的集合，这些运算满足各种公理，比如加法和内积的交换律，各种结合律，各种分配律，以及内积运算的正定性。至于长度，角度等概念都可以用内积来定义，而平行线分线段成比例定理实质上就是数乘和加法运算分配律，勾股定理实质上就是内积和加法运算分配律的一个推论。所以：
只要有内积空间，就有长度，角度，就有比例定理，勾股定理，就有几何学！
所以，一旦到了这个高度，给你一个空间(集合)，我们要做的，就不是拘泥于初等几何的各种你来我往的论证，只需验证这个空间(集合)有 加法运算，数乘运算，内积运算，这些运算满足相关的公理，换句话说，只需验证这个空间(集合)有内积空间的结构，这样，后面的几何内容，比如长度，角度，比例定理，勾股定理，就都有了！比如，所有n元实数组就构成了一个内积空间， 加法运算，数乘运算，内积运算分别是：
五、最后说说面积概念
那么，一旦到了这个高度，我们能否讲清楚面积概念呢？不好意思，到了这个高度，离讲清楚面积概念，还有十分遥远的距离。很多人认为面积概念的严格处理只需要用到微积分，特别是定积分，这也是一个误区。定积分可以计算面积，但要想彻底讲清楚面积概念，特别是面积相加的性质，要用的实分析中的测度论，包括开集，闭集，Borel集，无限交，无限并，外测度，内测度等等等等，这里涉及的概念更多，又比内积空间抽象多了！这也再次说明，一旦上升到高等数学，面积的初始概念首先要消退！数学交流群已满100，请加微信fengyun_19拉群，已加入公众号官方群的朋友请不要再重复加群，谢谢！
近期热门文章：
1，数学建模竞赛在中国的蝗虫式增长
2，奥数和真正的数学，中间隔着十万八千里！
3，奥数培训和奥数教练这类职业应当扫入历史垃圾堆！
4，职业数学家推荐的数学专业书单(完整版)
5，职业数学家推荐给中小学生的数学名著(上)
6，儿童适合学珠心算吗？职业数学家写给家长们的第一封公开信
7，当“数学竞赛”成为一门显学时，中学数学教育已经严重畸形了！
8，今年国际奥数竞赛的最大亮点不是中美并列夺冠，而是...
内容为【职业数学家在民间】公众号原创，
转载请加微信fengyun_19备注「转载」
传播数学是我们的神圣使命！
扫一扫
1212
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
