查看“︁兰利的不定角度问题”︁的源代码

[[File:Adventitious_Angles.svg|缩略图|475x475像素|兰利的不定角度问题]]
[[File:Langleys adventitious angles.svg|右|缩略图|431x431像素|兰利的80-80-20三角形问题解决方案]]
'''兰利的不定角度问题'''（{{lang-en|Langley’s Adventitious Angles}}）是{{le|爱德华·曼·兰利|Edward Mann Langley}}于1922年在《{{le|数学公报|The Mathematical Gazette}}》中提出的数学问题。 <ref name="MG">{{Citation |last=Langley |first=E. M. |title=Problem 644 |year=1922 |authorlink=Edward Mann Langley |journal=[[The Mathematical Gazette]] |volume=11 |page=173}}</ref><ref name="Darling">{{Citation |last=Darling |first=David |title=The Universal Book of Mathematics: From Abracadabra to Zeno's Paradoxes |url=https://books.google.com/books?id=nnpChqstvg0C&pg=PA180 |year=2004 |authorlink=David J. Darling |page=180 |publisher=John Wiley & Sons |accessdate=2021-01-02 |archive-date=2016-04-28 |archive-url=https://web.archive.org/web/20160428222928/https://books.google.com/books?id=nnpChqstvg0C&pg=PA180 }}.</ref>

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

:: 在[[等腰三角形]]<math>ABC</math>中，

:: <math>\angle{B}=\angle{C}=80^\circ</math>，

:: 作<math>CF</math>使<math>\angle{ACF}=30^\circ</math>交<math>AB</math>于<math>F</math>

:: 作<math>BE</math>使<math>\angle{ABE}=20^\circ</math>交<math>AC</math>于<math>E</math>

:: 证明：<math>\angle{BEF}=30^\circ</math>。 <ref name="MG"/><ref name="Darling" /><ref>{{Citation |last=Tripp |first=Colin |title=Adventitious angles |year=1975 |journal=[[The Mathematical Gazette]] |volume=59 |pages=98–106 |jstor=3616644}}.</ref>

[[詹姆斯·默瑟（数学家）|James Mercer]]在1923年发现了一种解决方案。 <ref name="Darling" />该解决方案通过画一条辅助线，然后重复利用三角形的内角和为180°的定理，证明了在大三角形内绘制的几个三角形都是等腰的。

:: 画<math>BG</math>使<math>\angle{GBC}=20^\circ</math>交<math>AC</math>于<math>G</math>，连接<math>FG</math>（请参见右下方的图。 ）

:: 因为<math>\angle{BCG}=80^\circ</math>且<math>\angle{CBG}=20^\circ</math>，所以<math>\angle{BGC}=80^\circ</math>并且三角形<math>BCG</math>等腰，<math>BC=BG</math>

:: 因为<math>\angle{BCF}=50^\circ</math>且<math>\angle{CBF}=80^\circ</math>，所以<math>\angle{BFC}=50^\circ</math>并且三角形<math>BCF</math>等腰，<math>BC=BF.</math>

:: 因为<math>\angle{FBG}=60^\circ</math>且<math>BF=BG</math>，所以三角形<math>BGF</math>[[正三角形|等边]]。

:: 因为<math>\angle{BGE}=100^\circ</math>且<math>\angle{GBE}=40^\circ</math>，所以<math>\angle{GEB}=40^\circ</math>并且三角形<math>BGE</math>等腰，<math>GB=GE.</math>

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

:: 因为<math>GE=GF</math>，因此三角形<math>EFG</math>等腰，<math>\angle{GEF}=70^\circ</math>。

:: 因此<math>\angle{BEF}=30^\circ.</math>

也有许多其他解决方案。在相同的80-80-20三角形但内角不同的情况下，Cut the Knot列出了十二种不同解决方案和几个替代问题。<ref>{{Cite web |title=The 80-80-20 Triangle |url=https://www.cut-the-knot.org/triangle/80-80-20/index.shtml |access-date=2018-06-03 |last=Bogomolny |first=Alexander |authorlink=Alexander Bogomolny |work=www.cut-the-knot.org |archive-date=2021-01-01 |archive-url=https://web.archive.org/web/20210101141452/https://www.cut-the-knot.org/triangle/80-80-20/index.shtml }}</ref>

== 概括 ==
[[File:Adventitious quadrangles2.svg|缩略图|不定四边形问题]]
对角线和边之间的角度均为有理角度的四边形（例如BCEF）称为'''不定四边形，'''当以度数或其他单位（以整圆为有理数）进行测量时，这些角度是[[有理数]]。除了兰利难题中出现的四边形外，还有其他许多的不定四边形。它们形成了几个无限的族和另外的零星集。 <ref name=":0">{{Citation |last=Rigby |first=J. F. |title=Adventitious quadrangles: a geometrical approach |year=1978 |journal=[[The Mathematical Gazette]] |volume=62 |issue=421 |pages=183–191 |doi=10.2307/3616687 |mr=513855}}.</ref>

对不定形四边形（不必是凸面的）进行分类，等同于对规则多边形中对角线的所有三重交集进行分类。这是由Gerrit Bol在1936年解决的（Beantwoording van prijsvraag＃17，新乌奇维斯肯德18岁，第14-66页）。实际上，他对正多边形中的所有多个对角线交点进行了分类（尽管有一些错误）。 Bjorn Poonen和Michael Rubinstein在1998年用计算机确认了他的结果（全部由人工完成），并纠正了错误。 <ref>{{Citation |title=The number of intersection points made by the diagonals of a regular polygon |url=http://www-math.mit.edu/~poonen/papers/ngon.pdf |year=1998 |last1=Poonen |last2=Rubinstein |first1=Bjorn |first2=Michael |journal=SIAM Journal on Discrete Mathematics |volume=11 |issue=1 |pages=135-156 |accessdate=2021-01-02 |archive-date=2021-02-04 |archive-url=https://web.archive.org/web/20210204073923/http://www-math.mit.edu/~poonen/papers/ngon.pdf }}.</ref>这篇文章包含了问题的历史以及一张以规则三角和对角线为特征的图片。

2015年，一位匿名的日本女性使用笔名“aerile re”发布了第一个已知方法（3个外心的方法），以针对特殊类别的不定四边形问题构造基本几何的证明。<ref>{{Citation |last=Saito |first=Hiroshi |title=The adventitious quadrangles was solved completely by the elementary solution |url=http://www.gensu.co.jp/gekkan_print.cgi?date=201602 |year=2016 |journal=Gendaisūgaku (現代数学) |volume=49 |issue=590 |pages=66–73 |language=ja |issn=2187-6495 |accessdate=2021-01-02 |archive-date=2020-11-26 |archive-url=https://web.archive.org/web/20201126121605/http://www.gensu.co.jp/gekkan_print.cgi?date=201602 }}.</ref><ref>{{Citation |title=The last challenge from Geometry the Great |date=2015-10-27 |url=http://note.chiebukuro.yahoo.co.jp/detail/n365238 |author=aerile_re |archiveurl=https://web.archive.org/web/20160416025436/http://note.chiebukuro.yahoo.co.jp/detail/n365238 |language=ja |archivedate=2016-04-16}}.</ref><ref>{{Citation |last=Saito |first=Hiroshi |title=Introducing "3 circumcenter method" |date=2016-12-11 |url=http://www.gensu.co.jp/saito/challenge/3circumcenter_en.html |language=en |accessdate=2021-01-02 |archive-date=2016-12-20 |archive-url=https://web.archive.org/web/20161220134154/http://www.gensu.co.jp/saito/challenge/3circumcenter_en.html }} - English translation of the article from ''Gendaisūgaku'' (現代数学).</ref>这项工作解决了里格比（Rigby）在1978年的论文中列出的三个尚未解决的问题中的第一个。 <ref name=":0"/>

== 参考文献 ==
{{Reflist}}

== 外部链接 ==
* [http://www.mathpages.com/home/kmath277/kmath277.htm Angular Angst] {{Wayback|url=http://www.mathpages.com/home/kmath277/kmath277.htm |date=20240118125945 }}, MathPages

[[Category:包含证明的条目]]