趣题：四边形的最长三边之和一定大于两对角线长度之和吗？

众所周知，三角形当中的任意两边之和始终大于第三边。在四边形中，我们还有类似的结论吗？ 2015 年 2 月的 UyHiP 谜题就是：证明或推翻，四边形的三条最长边之和始终大于两条对角线的长度之和。

 

这个结论是正确的。下面的证明是由 Daniel Bitin 给出的。

首先，让我们先来证明一个引理：若 △ABC 中， ∠C ≥ 90° ，则 AB + CH > AC + BC ，其中 CH 是 AB 边上的高。不妨先来考虑 ∠C = 90° 的情况。

由勾股定理可知：

AB2 = AC2 + BC2

另外，由于这个三角形的面积有两种不同的计算方法，于是我们有：

AB · CH = AC · BC

前一个式子加上后一个式子的两倍，于是得到：

AB2 + 2 · AB · CH = AC2 + 2 · AC · BC + BC2

所以说

AB2 + 2 · AB · CH + CH2 > AC2 + 2 · AC · BC + BC2

即

(AB + CH)2 > (AC + BC)2

因此

AB + CH > AC + BC

如果 ∠C > 90° 呢？我们可以在 AB 边上找一个点 B′ ，使得 ∠ACB′ = 90° 。

我们已经证明了

AB′ + CH > AC + B′C

而由于三角形两边之和大于第三边，我们有

BB′ + B′C > BC

两个不等式相加，于是得到

AB′ + CH + BB′ + B′C > AC + B′C + BC

即

AB + CH > AC + BC

引理也就证到了。

 

接下来就让我们来证明，在四边形 ABCD 中，三条最长边之和始终大于两条对角线的长度之和。

作平行四边形 ABDE 和 BCFD 。由于四边形 ABDE 是平行四边形，因而 AE 和 BD 是平行且相等的；由于四边形 BCFD 是平行四边形，因而 BD 和 CF 也是平行且相等的。因此， AE 和 CF 也就是平行且相等的了。这说明，四边形 ACFE 也是一个平行四边形。

注意，在平行四边形 ACFE 中， D 点到各个顶点的距离正好分别等于四边形 ABCD 的四边之长，并且 AE 和 CF 的长度都等于 BD ， EF 的长度则等于 AC 。为了证明本文最开头的结论，我们只需要说明，在 DA 、 DC 、 DF 和 DE 中，其中三条边的长度之和大于平行四边形 ACFE 的两条邻边之和。由于这个平行四边形的两组对角分别相等，因而其中一组对角必然都是大于等于 90° 的，比如例图中的 ∠AEF 和 ∠ACF 。连接 AF 后，这个四边形就会被分割成两个直角三角形或者两个钝角三角形。在这两个三角形中，找出那个不含 D 点的三角形（如果 D 点在 AF 上，则随便选取一个三角形），比如例图中的 △ACF ，并作出该三角形 AF 边上的高 CH 。根据引理可得：

AF + CH > AC + FC

由于 △ADF 中两边之和大于第三边，因此 AD + DF > AF ；由于 H 点已经是线段 AF 上距离 C 点最近的点了，而 D 点还在线段 AF 的另一侧，因此 CD > CH 。所以，我们有

AD + DF + CD > AF + CH > AC + FC

即原四边形 ABCD 中，其中三条边的长度之和大于两条对角线的长度之和。

37 条评论

发表评论




Enter Captcha Here :