兰利的不定角度问题()是于1922年在《》中提出的数学问题。
问题
以其原始形式存在的问题如下:
:: 在等腰三角形ABC中,
:: \angle{B}=\angle{C}=80^\circ,
:: 作CF使\angle{ACF}=30^\circ交AB于F
:: 作BE使\angle{ABE}=20^\circ交AC于E
:: 证明:\angle{BEF}=30^\circ。
James Mercer在1923年发现了一种解决方案。
概括
对角线和边之间的角度均为有理角度的四边形(例如BCEF)称为不定四边形,当以度数或其他单位(以整圆为有理数)进行测量时,这些角度是有理数。除了兰利难题中出现的四边形外,还有其他许多的不定四边形。它们形成了几个无限的族和另外的零星集。
对不定形四边形(不必是凸面的)进行分类,等同于对规则多边形中对角线的所有三重交集进行分类。这是由Gerrit Bol在1936年解决的(Beantwoording van prijsvraag#17,新乌奇维斯肯德18岁,第14-66页)。实际上,他对正多边形中的所有多个对角线交点进行了分类(尽管有一些错误)。 Bjorn Poonen和Michael Rubinstein在1998年用计算机确认了他的结果(全部由人工完成),并纠正了错误。 这篇文章包含了问题的历史以及一张以规则三角和对角线为特征的图片。
2015年,一位匿名的日本女性使用笔名“aerile re”发布了第一个已知方法(3个外心的方法),以针对特殊类别的不定四边形问题构造基本几何的证明。这项工作解决了里格比(Rigby)在1978年的论文中列出的三个尚未解决的问题中的第一个。
参考文献
外部链接
- [http://www.mathpages.com/home/kmath277/kmath277.htm Angular Angst] , MathPages
评论 (0)