兰利的不定角度问题

右|缩略图|431x431像素|兰利的80-80-20三角形问题解决方案
兰利的不定角度问题（）是于1922年在《》中提出的数学问题。 .

 问题 
以其原始形式存在的问题如下：

 在等腰三角形中，

 ，

 作使交于

 作使交于

 证明：。 .

James Mercer在1923年发现了一种解决方案。 该解决方案通过画一条辅助线，然后重复利用三角形的内角和为180°的定理，证明了在大三角形内绘制的几个三角形都是等腰的。

 画使交于，连接（请参见右下方的图。 ）

 因为且，所以并且三角形等腰，

 因为且，所以并且三角形等腰，

 因为且，所以三角形等边。

 因为且，所以并且三角形等腰，

 因此，图中所有红线都相等。

 因为，因此三角形等腰，。

 因此

也有许多其他解决方案。在相同的80-80-20三角形但内角不同的情况下，Cut the Knot列出了十二种不同解决方案和几个替代问题。

 概括 
缩略图|不定四边形问题
对角线和边之间的角度均为有理角度的四边形（例如BCEF）称为不定四边形，当以度数或其他单位（以整圆为有理数）进行测量时，这些角度是有理数。除了兰利难题中出现的四边形外，还有其他许多的不定四边形。它们形成了几个无限的族和另外的零星集。 .

对不定形四边形（不必是凸面的）进行分类，等同于对规则多边形中对角线的所有三重交集进行分类。这是由Gerrit Bol在1936年解决的（Beantwoording van prijsvraag＃17，新乌奇维斯肯德18岁，第14-66页）。实际上，他对正多边形中的所有多个对角线交点进行了分类（尽管有一些错误）。 Bjorn Poonen和Michael Rubinstein在1998年用计算机确认了他的结果（全部由人工完成），并纠正了错误。 .这篇文章包含了问题的历史以及一张以规则三角和对角线为特征的图片。

2015年，一位匿名的日本女性使用笔名“aerile re”发布了第一个已知方法（3个外心的方法），以针对特殊类别的不定四边形问题构造基本几何的证明。.. - English translation of the article from Gendaisūgaku (現代数学).这项工作解决了里格比（Rigby）在1978年的论文中列出的三个尚未解决的问题中的第一个。 

 参考文献 

 外部链接 
 Angular Angst , MathPages

Category:包含证明的条目