Trillium theorem
In geometry, the incenter–excenter lemma is the theorem that the line segment between the incenter and any excenter of a triangle, or between two excenters, is the diameter of a circle (an incenter–excenter or excenter–excenter circle) also passing through two triangle vertices with its center on the circumcircle.[1][2][3] This theorem is best known in Russia, where it is called the trillium theorem (теорема трилистника) or trident lemma (лемма о трезубце), based on the geometric figure's resemblance to a trillium flower or trident;[4][5] these names have sometimes also been adopted in English.[6][7]
These relationships arise because the incenter and excenters of any triangle form an orthocentric system whose nine-point circle is the circumcircle of the original triangle.[8][2] The theorem is helpful for solving competitive Euclidean geometry problems,[1] and can be used to reconstruct a triangle starting from one vertex, the incenter, and the circumcenter.
Statement
[edit]![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/41/Trillium_theorem2.svg/260px-Trillium_theorem2.svg.png)
Let ABC be an arbitrary triangle. Let I be its incenter and let D be the point where line BI (the angle bisector of ∠ABC) crosses the circumcircle of ABC. Then, the theorem states that D is equidistant from A, C, and I. Equivalently:
- The circle through A, C, and I has its center at D. In particular, this implies that the center of this circle lies on the circumcircle.[9][10]
- The three triangles AID, CID, and ACD are isosceles, with D as their apex.
A fourth point E, the excenter of ABC relative to B, also lies at the same distance from D, diametrically opposite from I.[5][11]
Proof
[edit]By the inscribed angle theorem,
Since is an angle bisector,
We also get
Application to triangle reconstruction
[edit]This theorem can be used to reconstruct a triangle starting from the locations only of one vertex, the incenter, and the circumcenter of the triangle. For, let B be the given vertex, I be the incenter, and O be the circumcenter. This information allows the successive construction of:
- the circumcircle of the given triangle, as the circle with center O and radius OB,
- point D as the intersection of the circumcircle with line BI,
- the circle of the theorem, with center D and radius DI, and
- vertices A and C as the intersection points of the two circles.[12]
However, for some triples of points B, I, and O, this construction may fail, either because line IB is tangent to the circumcircle or because the two circles do not have two crossing points. It may also produce a triangle for which the given point I is an excenter rather than the incenter. In these cases, there can be no triangle having B as vertex, I as incenter, and O as circumcenter.[13]
Other triangle reconstruction problems, such as the reconstruction of a triangle from a vertex, incenter, and center of its nine-point circle, can be solved by reducing the problem to the case of a vertex, incenter, and circumcenter.[13]
Generalization
[edit]Let I and J be any two of the four points given by the incenter and the three excenters of a triangle ABC. Then I and J are collinear with one of the three triangle vertices. The circle with IJ as diameter passes through the other two vertices and is centered on the circumcircle of ABC. When one of I or J is the incenter, this is the trillium theorem, with line IJ as the (internal) angle bisector of one of the triangle's angles. However, it is also true when I and J are both excenters; in this case, line IJ is the external angle bisector of one of the triangle's angles.[14]
See also
[edit]References
[edit]- ^ a b Chen, Evan (2016). "§1.4 The Incenter/Excenter Lemma". Euclidean Geometry in Mathematical Olympiads. Mathematical Association of America. pp. 9–10. ISBN 9780883858394.
- ^ a b Le, Nguyen; Wildberger, Norman (2016). "Incenter Symmetry, Euler Lines, and Schiffler Points". KoG. 20 (20): 22–30.
- ^ Weisstein, Eric W. (1999). CRC Concise Encyclopedia of Mathematics. CRC Press. "Excenter–Excenter Circle" p. 591, "Incenter–Excenter Circle" p. 894. ISBN 0849396409. Republished at MathWorld: "Excenter–Excenter Circle", "Incenter–Excenter Circle".
- ^
Trillium theorem: И. А. Кушнир. "Это открытие - золотой ключ Леонарда Эйлера" (PDF) (in Russian). Ф7 (Теорема трилистника), page 34; proof on page 36.
Trident lemma: Р. Н. Карасёв; В. Л. Дольников; И. И. Богданов; А. В. Акопян. "Задачи для школьного математического кружка" (PDF) (in Russian). Problem 1.2. p. 4.
{{cite web}}
: CS1 maint: location (link) - ^ a b "6. Лемма о трезубце" (PDF) (in Russian). СУНЦ МГУ им. М. В. Ломоносова - школа им. А.Н. Колмогорова. 2014-10-29.
- ^ Garcia, Ronaldo; Odehnal, Boris; Reznik, Dan (2022). "Loci of poncelet triangles in the general closure case". Journal of Geometry. 113 (1): 17. arXiv:2108.05430. doi:10.1007/s00022-022-00629-3.
- ^ Zaslavsky, Alexey A.; Skopenkov, Mikhail B. (2021). Mathematics via Problems. Part 2: Geometry. American Mathematical Society. p. 15. ISBN 9781470448790.
- ^ Johnson, Roger A. (1929). "X. Inscribed and Escribed Circles". Modern Geometry. Houghton Mifflin. pp. 182–194.
- ^ Morris, Richard (1928), "Circles through notable points of the triangle", The Mathematics Teacher, 21 (2): 63–71, doi:10.5951/MT.21.2.0069, JSTOR 27951001. See in particular the discussion on p. 65 of circles BIC, CIA, AIB, and their centers.
- ^ Bogomolny, Alexander. "A Property of Circle Through the Incenter". Cut-the-Knot. Retrieved 2016-01-26.
- ^ Bogomolny, Alexander. "Midpoints of the Lines Joining In- and Excenters". Cut-the-Knot. Retrieved 2016-01-26.
- ^ Aref, M. N.; Wernick, William (1968). Problems and Solutions in Euclidean Geometry. Dover. 3.3(i), p. 68. ISBN 9780486477206..
- ^ a b Yiu, Paul (2012), "Conic construction of a triangle from its incenter, nine-point center, and a vertex" (PDF), Journal for Geometry and Graphics, 16 (2): 171–183, MR 3088369
- ^ Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jingzhong (1994). Machine Proofs in Geometry. World Scientific. Examples 6.145 and 6.146, pp. 328–329. ISBN 9789810215842..