四边形最长三边之和大于两对角线之和.docxVIP

四边形的最长三边之和一定大于两对角线长度之和吗？ 众所周知，三角形当中的任意两边之和始终大于第三边。在四边形中，我们还有类似的结论吗？ 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 中，其中三条边的长度之和大于两条对角线的长度之和。