[论文解读] Steinhaus' problem on partition of a triangle

Apoloniusz Tyszka|arXiv (Cornell University)|Dec 12, 2006

Art, Technology, and Culture参考文献 2被引用 4

一句话总结

本文解决了斯坦豪斯长期悬而未决的问题：任意锐角三角形是否都存在一个点，使得从该点向三边作垂线，将三角形分成三个面积相等的区域。作者运用测度论与几何论证，通过连续分割定理证明了该点的存在性，并给出了该点位置的显式三角公式，其表达式以三角形的内角与边长为参数，确认在所有锐角情形下该分割均可实现，并通过几何构造将结果推广至钝角情形。

ABSTRACT

H. Steinhaus asked a question whether inside each acute triangle there is a point from which perpendiculars to the sides divide the triangle into three parts with equal areas. We present two methods of solving Steinhaus' problem.

研究动机与目标

• 解决H. 斯坦豪斯在1950年代提出的问题：任意锐角三角形是否都包含一个点，使得从该点向三边作垂线可将三角形划分为三个面积相等的部分。
• 通过三角形的平移，建立三角形被测度划分成三个指定面积区域的一般存在性结果。
• 为锐角与钝角三角形中的该分割点提供显式的几何与三角构造，包括该点位于三角形外部的情形。
• 通过作辅助线垂直于各边，证明即使垂足落在三角形外部，三等分面积的分割依然总是可行。

提出的方法

• 应用R²中的广义质量分割定理，证明对任意有界可测集T及任意三个非负测度之和等于|T|，存在T的平移，使得其与三个角形区域的交集恰好对应这些测度。
• 利用三角形内角的正切函数三角恒等式，推导出顶点A与B到分割点X₀在边AB上的距离的显式表达式。
• 构造两条垂线：一条垂直于边AC，一条垂直于边BC，每条线均截取面积为|△ABC|/3的区域。
• 证明当角A与角B满足某一涉及正切函数的不等式时，两条垂线的交点位于三角形外部，但仍能定义出有效的等面积分割。
• 通过几何推理验证，所形成的三个区域——一个以A为顶点的三角形、一个以B为顶点的三角形、一个四边形——每个区域的面积恰好为总面积的三分之一。
• 通过代数验证，利用推导出的|AX₀|与|BX₀|的表达式，确认面积相等关系成立。

实验结果

研究问题

• RQ1 任意锐角三角形是否都存在一个点，使得从该点向三边作垂线可将三角形划分为三个面积相等的区域？
• RQ2 能否通过平面中的测度论与连续分割论证，证明此类点的存在性？
• RQ3 该点的精确几何位置如何用三角形的内角与边长表示？
• RQ4 当三角形为钝角时，特别是当该点位于三角形外部时，该构造行为如何变化？
• RQ5 即使两条垂线的交点位于三角形外部，是否仍能仅通过向三边作垂线来实现该分割？

主要发现

• 本文证明，对任意锐角三角形，均存在一个位于其内部的点，使得从该点向三边作垂线可将三角形划分为三个面积相等的区域。
• 推导出边AB上分割点X₀位置的显式公式：|AX₀|与|BX₀|以角A与角B的正切函数及|AB|的长度表示。
• 当三角形为钝角（角C > π/2）时，只要满足正切函数相关的不等式，该构造依然有效，且两条垂线的交点位于三角形外部。
• 所形成的三个区域为：以A为顶点的三角形、以B为顶点的三角形、一个四边形，每个区域的面积恰好为总面积的三分之一。
• 证明依赖于面积函数关于点位置的连续依赖性，通过介值定理确保解的存在性。
• 结果肯定地证实了斯坦豪斯的猜想，并提供了一种利用初等三角学与几何方法定位所需点的构造性方法。