Brute-forcing Langley’s geometry problem with field extensions
a day ago
- 兰利的不定角是一个经典的几何问题，旨在寻找特定图形中的一个角度，通常通过巧妙的构造来解决。
- 该问题之所以困难，是因为标准的角追迹会导致未知角在方程中相互抵消，暗示解的非唯一性。
- 该角度由几何唯一确定，但近似方法（绘图、三角学）只能给出近似答案。
- 本文提出了一种系统方法，使用复数和多项式代数来计算精确答案，无需巧妙洞察。
- 该方法将点表示为 t = e^(2πi/36)（10°旋转）的多项式，并在最小多项式 t^12 - t^6 + 1 下进行模算术运算。
- 所有运算（加法、乘法、除法、共轭）都通过多项式算术精确执行，从而得到最终角度的精确结果。
- 对于原始的80°-80°-20°三角形，计算出的角度正好是30°，多项式计算返回 q = t^6 验证了这一点。
- 该方法可以处理变体（例如不同的初始角度），并仍然给出精确的代数表达式，尽管最终角度可能是无理数。
- 该方法避免了三角学，基于域扩张和伽罗瓦理论，是一种可重用的系统化技术。