[论文解读] On the construction of a triangle from the feet of its angle bisectors

Alexey V. Ustinov|ArXiv.org|Oct 6, 2009

Advanced Theoretical and Applied Studies in Material Sciences and Geometry参考文献 4被引用 6

一句话总结

本文利用重心坐标与代数几何方法，研究了从三角形内角平分线的垂足构造三角形的问题。研究证明，由于内心位置由一个不可约的三次方程决定，而该方程无法通过经典尺规作图方法求解，因此一般情况下，此类构造在尺规作图下是不可能实现的，尽管代数上存在解。

ABSTRACT

We study the problem of construction of a triangle from the feet of its internal angle bisectors. It is proved that in general case ruler-and-compass solution of this problem is impossible.

研究动机与目标

• 确定是否能仅使用经典几何作图工具（圆规和直尺）从三角形的内角平分线垂足重构该三角形。
• 分析此类三角形存在的代数条件，重点关注内心在重心坐标下的表示。
• 在可作数的背景下，研究所得方程组的可解性。
• 区分所导出的三次方程中内心与旁心解的差异。
• 确立代数可解性与几何可作性之间在三角形重构问题中的理论边界。

提出的方法

• 使用重心坐标，将目标三角形 $A'B'C'$ 的顶点用参考三角形 $ABC$ 下的内心坐标 $(x:y:z)$ 表示。
• 推导出边长 $a$、$b$、$c$ 与内心重心坐标 $x$、$y$、$z$ 之间的三个对称方程组。
• 通过前两个方程将方程组约化为关于比值 $t = z/(3y)$ 的单个不可约三次方程。
• 分析三次方程 $t^3 + 74t^2 + 259t - 570 = 0$ 的根，以识别哪些对应内心，哪些对应旁心。
• 应用经典域论（伽罗瓦理论）得出结论：实正根 $t_1 \approx 1.52$ 无法用圆规和直尺作图。
• 利用该三次方程在有理数域上不可约且伽罗瓦群非可解的事实，推导出其不可作图性。

实验结果

研究问题

• RQ1 若已知三角形的内角平分线垂足，能否仅用圆规和直尺作出该三角形？
• RQ2 内心重心坐标相对于参考三角形边长需满足何种代数条件？
• RQ3 所导出的三次方程的根如何与潜在解三角形的内心和旁心相关？
• RQ4 为何该三角形重构问题在代数上可解，却在经典工具下几何上不可作图？
• RQ5 该三次方程的不可约性在决定从角平分线垂足作图构造三角形的可作性中起何作用？

主要发现

• 从三角形内角平分线垂足出发，仅用圆规和直尺构造该三角形在一般情况下是不可能的。
• 目标三角形内心坐标满足一组由角平分线几何性质与边长关系导出的对称方程。
• 在特定情形 $a=2$，$b=3$，$c=\sqrt{7}$ 下，方程组约化为不可约三次方程 $t^3 + 74t^2 + 259t - 570 = 0$。
• 在三个实根中，仅 $t_1 \approx 1.52$ 对应该有效三角形的内心，其余两个根对应不同三角形的旁心。
• 根 $t_1$ 无法用圆规和直尺作图，因为该三次方程不可约，且其伽罗瓦群非可解。
• 因此，尽管代数上存在解，但在经典作图约束下，该几何构造仍为不可能。