112:
712:
452:
707:{\displaystyle {\begin{aligned}\angle DIA&=180^{\circ }-\angle AIB\\&=180^{\circ }-(180^{\circ }-\angle IAB-\angle IBA)\\&=\angle IAB+\angle IBA\\&=\angle IAC+\angle DAC\\&=\angle IAD\\\implies AD&=DI.\end{aligned}}}
102:
is the circumcircle of the original triangle. The theorem is helpful for solving competitive
Euclidean geometry problems, and can be used to reconstruct a triangle starting from one vertex, the incenter, and the circumcenter.
350:
442:
457:
375:
1375:
807:
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
1353:
1289:
1132:
930:
275:
1069:
989:
826:
Other triangle reconstruction problems, such as the reconstruction of a triangle from a vertex, incenter, and center of its
380:
1051:
1222:
1086:
Garcia, Ronaldo; Odehnal, Boris; Reznik, Dan (2022). "Loci of poncelet triangles in the general closure case".
1171:
899:
36:
722:
This theorem can be used to reconstruct a triangle starting from the locations only of one vertex, the
162:
1150:
1252:
1248:
1218:
95:
1188:
1095:
981:
977:
225:
878:
as the (internal) angle bisector of one of the triangle's angles. However, it is also true when
1349:
1343:
1285:
1128:
1045:
985:
926:
827:
99:
56:
1279:
1007:
1003:
830:, can be solved by reducing the problem to the case of a vertex, incenter, and circumcenter.
1180:
1149:
1105:
1329:
1325:
1022:
846:
be any two of the four points given by the incenter and the three excenters of a triangle
269:
862:
as diameter passes through the other two vertices and is centered on the circumcircle of
811:
is an excenter rather than the incenter. In these cases, there can be no triangle having
357:
151:
209:. In particular, this implies that the center of this circle lies on the circumcircle.
1369:
1311:"Conic construction of a triangle from its incenter, nine-point center, and a vertex"
1075:(in Russian). СУНЦ МГУ им. М. В. Ломоносова - школа им. А.Н. Колмогорова. 2014-10-29.
94:
These relationships arise because the incenter and excenters of any triangle form an
1034:
1257:
1227:
727:
60:
32:
174:
111:
1109:
742:
be the circumcenter. This information allows the successive construction of:
998:
1169:
Morris, Richard (1928), "Circles through notable points of the triangle",
1184:
723:
241:
139:
131:
84:
40:
20:
1192:
1310:
858:
are collinear with one of the three triangle vertices. The circle with
88:
28:
44:
1100:
16:
A statement about properties of inscribed and circumscribed circles
1028:(in Russian). Ф7 (Теорема трилистника), page 34; proof on page 36.
746:
the circumcircle of the given triangle, as the circle with center
110:
1348:. World Scientific. Examples 6.145 and 6.146, pp. 328–329.
890:
is the external angle bisector of one of the triangle's angles.
950:
63:. This theorem is best known in Russia, where it is called the
1033:Р. Н. Карасёв; В. Л. Дольников; И. И. Богданов; А. В. Акопян.
345:{\displaystyle \angle IBA=\angle DCA,\ \angle IBC=\angle DAC.}
1342:
Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jingzhong (1994).
1196:. See in particular the discussion on p. 65 of circles
91:; these names have sometimes also been adopted in English.
874:
is the incenter, this is the trillium theorem, with line
921:
Chen, Evan (2016). "§1.4 The
Incenter/Excenter Lemma".
951:"Incenter Symmetry, Euler Lines, and Schiffler Points"
925:. Mathematical Association of America. pp. 9–10.
455:
383:
360:
278:
1123:
Zaslavsky, Alexey A.; Skopenkov, Mikhail B. (2021).
437:{\displaystyle \angle DCA=\angle DAC\implies AD=CD.}
83:), based on the geometric figure's resemblance to a
1253:"Midpoints of the Lines Joining In- and Excenters"
803:, this construction may fail, either because line
761:as the intersection of the circumcircle with line
706:
436:
369:
344:
39:of a triangle, or between two excenters, is the
787:as the intersection points of the two circles.
1127:. American Mathematical Society. p. 15.
1035:"Задачи для школьного математического кружка"
1023:"Это открытие - золотой ключ Леонарда Эйлера"
78:
68:
8:
1281:Problems and Solutions in Euclidean Geometry
923:Euclidean Geometry in Mathematical Olympiads
1223:"A Property of Circle Through the Incenter"
1125:Mathematics via Problems. Part 2: Geometry
1064:
1062:
677:
673:
415:
411:
1099:
534:
518:
483:
456:
454:
382:
359:
277:
974:CRC Concise Encyclopedia of Mathematics
949:Le, Nguyen; Wildberger, Norman (2016).
910:
886:are both excenters; in this case, line
768:the circle of the theorem, with center
1304:
1302:
1278:Aref, M. N.; Wernick, William (1968).
1043:
916:
914:
718:Application to triangle reconstruction
252:, also lies at the same distance from
115:incenter–excenter lemma with incenter
1158:. Houghton Mifflin. pp. 182–194.
1040:(in Russian). Problem 1.2. p. 4.
7:
1376:Theorems about triangles and circles
944:
942:
791:However, for some triples of points
55:) also passing through two triangle
1151:"X. Inscribed and Escribed Circles"
657:
635:
620:
598:
583:
558:
543:
492:
460:
399:
384:
327:
312:
294:
279:
14:
1318:Journal for Geometry and Graphics
169:. Then, the theorem states that
674:
570:
527:
412:
256:, diametrically opposite from
1:
1284:. Dover. 3.3(i), p. 68.
972:Weisstein, Eric W. (1999).
1392:
1345:Machine Proofs in Geometry
1148:Johnson, Roger A. (1929).
1110:10.1007/s00022-022-00629-3
1008:"Incenter–Excenter Circle"
1004:"Excenter–Excenter Circle"
982:"Incenter–Excenter Circle"
978:"Excenter–Excenter Circle"
730:of the triangle. For, let
79:
69:
37:incenter and any excenter
1050:: CS1 maint: location (
146:be the point where line
53:excenter–excenter circle
1172:The Mathematics Teacher
270:inscribed angle theorem
59:with its center on the
25:incenter–excenter lemma
900:Angle bisector theorem
708:
438:
377:is an angle bisector,
371:
346:
123:
1070:"6. Лемма о трезубце"
738:be the incenter, and
734:be the given vertex,
709:
439:
372:
347:
114:
1249:Bogomolny, Alexander
1219:Bogomolny, Alexander
1208:, and their centers.
1185:10.5951/MT.21.2.0069
453:
381:
358:
276:
212:The three triangles
1088:Journal of Geometry
193:The circle through
96:orthocentric system
70:теорема трилистника
1309:Yiu, Paul (2012),
1019:Trillium theorem:
704:
702:
434:
370:{\displaystyle BI}
367:
342:
205:has its center at
124:
828:nine-point circle
823:as circumcenter.
819:as incenter, and
311:
100:nine-point circle
49:incenter–excenter
1383:
1361:
1359:
1339:
1333:
1332:
1315:
1306:
1297:
1295:
1275:
1269:
1268:
1266:
1265:
1245:
1239:
1238:
1236:
1235:
1215:
1209:
1207:
1203:
1199:
1195:
1166:
1160:
1159:
1153:
1145:
1139:
1138:
1120:
1114:
1113:
1103:
1083:
1077:
1076:
1074:
1066:
1057:
1055:
1049:
1041:
1039:
1029:
1027:
1017:
1011:
995:
969:
963:
962:
946:
937:
936:
918:
889:
885:
881:
877:
873:
869:
865:
861:
857:
853:
849:
845:
841:
822:
818:
814:
810:
806:
802:
798:
794:
786:
782:
775:
771:
764:
760:
753:
749:
741:
737:
733:
713:
711:
710:
705:
703:
650:
613:
576:
539:
538:
523:
522:
507:
488:
487:
443:
441:
440:
435:
376:
374:
373:
368:
351:
349:
348:
343:
309:
259:
255:
251:
247:
239:
231:
223:
219:
215:
208:
204:
200:
196:
189:. Equivalently:
188:
184:
180:
172:
168:
160:
149:
145:
137:
130:be an arbitrary
129:
122:
118:
82:
81:
80:лемма о трезубце
72:
71:
65:trillium theorem
1391:
1390:
1386:
1385:
1384:
1382:
1381:
1380:
1366:
1365:
1364:
1356:
1341:
1340:
1336:
1313:
1308:
1307:
1300:
1292:
1277:
1276:
1272:
1263:
1261:
1247:
1246:
1242:
1233:
1231:
1217:
1216:
1212:
1205:
1201:
1197:
1168:
1167:
1163:
1156:Modern Geometry
1147:
1146:
1142:
1135:
1122:
1121:
1117:
1085:
1084:
1080:
1072:
1068:
1067:
1060:
1042:
1037:
1032:
1031:Trident lemma:
1025:
1020:
1018:
1014:
996:Republished at
992:
971:
970:
966:
948:
947:
940:
933:
920:
919:
912:
908:
896:
887:
883:
879:
875:
871:
867:
863:
859:
855:
851:
847:
843:
839:
836:
820:
816:
812:
808:
804:
800:
796:
792:
784:
780:
773:
769:
762:
758:
751:
747:
739:
735:
731:
720:
701:
700:
684:
670:
669:
648:
647:
611:
610:
574:
573:
530:
514:
505:
504:
479:
472:
451:
450:
379:
378:
356:
355:
274:
273:
266:
257:
253:
249:
245:
237:
236:A fourth point
229:
221:
217:
213:
206:
202:
198:
194:
186:
182:
178:
170:
166:
155:
147:
143:
135:
127:
120:
116:
109:
17:
12:
11:
5:
1389:
1387:
1379:
1378:
1368:
1367:
1363:
1362:
1354:
1334:
1324:(2): 171–183,
1298:
1290:
1270:
1240:
1210:
1161:
1140:
1133:
1115:
1078:
1058:
1021:И. А. Кушнир.
1012:
990:
964:
938:
931:
909:
907:
904:
903:
902:
895:
892:
866:. When one of
835:
834:Generalization
832:
789:
788:
777:
766:
755:
719:
716:
715:
714:
699:
696:
693:
690:
687:
685:
683:
680:
676:
672:
671:
668:
665:
662:
659:
656:
653:
651:
649:
646:
643:
640:
637:
634:
631:
628:
625:
622:
619:
616:
614:
612:
609:
606:
603:
600:
597:
594:
591:
588:
585:
582:
579:
577:
575:
572:
569:
566:
563:
560:
557:
554:
551:
548:
545:
542:
537:
533:
529:
526:
521:
517:
513:
510:
508:
506:
503:
500:
497:
494:
491:
486:
482:
478:
475:
473:
471:
468:
465:
462:
459:
458:
433:
430:
427:
424:
421:
418:
414:
410:
407:
404:
401:
398:
395:
392:
389:
386:
366:
363:
341:
338:
335:
332:
329:
326:
323:
320:
317:
314:
308:
305:
302:
299:
296:
293:
290:
287:
284:
281:
265:
262:
234:
233:
232:as their apex.
210:
161:) crosses the
152:angle bisector
108:
105:
15:
13:
10:
9:
6:
4:
3:
2:
1388:
1377:
1374:
1373:
1371:
1357:
1355:9789810215842
1351:
1347:
1346:
1338:
1335:
1331:
1327:
1323:
1319:
1312:
1305:
1303:
1299:
1293:
1291:9780486477206
1287:
1283:
1282:
1274:
1271:
1260:
1259:
1254:
1250:
1244:
1241:
1230:
1229:
1224:
1220:
1214:
1211:
1194:
1190:
1186:
1182:
1178:
1174:
1173:
1165:
1162:
1157:
1152:
1144:
1141:
1136:
1134:9781470448790
1130:
1126:
1119:
1116:
1111:
1107:
1102:
1097:
1093:
1089:
1082:
1079:
1071:
1065:
1063:
1059:
1056:
1053:
1047:
1036:
1024:
1016:
1013:
1009:
1005:
1001:
1000:
993:
987:
983:
979:
976:. CRC Press.
975:
968:
965:
960:
956:
952:
945:
943:
939:
934:
932:9780883858394
928:
924:
917:
915:
911:
905:
901:
898:
897:
893:
891:
833:
831:
829:
824:
778:
767:
756:
745:
744:
743:
729:
725:
717:
697:
694:
691:
688:
686:
681:
678:
666:
663:
660:
654:
652:
644:
641:
638:
632:
629:
626:
623:
617:
615:
607:
604:
601:
595:
592:
589:
586:
580:
578:
567:
564:
561:
555:
552:
549:
546:
540:
535:
531:
524:
519:
515:
511:
509:
501:
498:
495:
489:
484:
480:
476:
474:
469:
466:
463:
449:
448:
447:
444:
431:
428:
425:
422:
419:
416:
408:
405:
402:
396:
393:
390:
387:
364:
361:
352:
339:
336:
333:
330:
324:
321:
318:
315:
306:
303:
300:
297:
291:
288:
285:
282:
271:
263:
261:
243:
227:
211:
192:
191:
190:
176:
164:
159:
153:
141:
133:
119:and excenter
113:
106:
104:
101:
97:
92:
90:
86:
76:
75:trident lemma
66:
62:
58:
54:
50:
46:
42:
38:
34:
30:
26:
22:
1344:
1337:
1321:
1317:
1280:
1273:
1262:. Retrieved
1258:Cut-the-Knot
1256:
1243:
1232:. Retrieved
1228:Cut-the-Knot
1226:
1213:
1179:(2): 63–71,
1176:
1170:
1164:
1155:
1143:
1124:
1118:
1091:
1087:
1081:
1030:
1015:
997:
973:
967:
961:(20): 22–30.
958:
954:
922:
837:
825:
790:
728:circumcenter
721:
446:We also get
445:
353:
267:
248:relative to
235:
163:circumcircle
157:
125:
93:
74:
64:
61:circumcircle
52:
48:
35:between the
33:line segment
24:
18:
815:as vertex,
772:and radius
750:and radius
175:equidistant
1264:2016-01-26
1234:2016-01-26
1101:2108.05430
991:0849396409
906:References
726:, and the
87:flower or
1094:(1): 17.
999:MathWorld
779:vertices
675:⟹
658:∠
636:∠
621:∠
599:∠
584:∠
559:∠
556:−
544:∠
541:−
536:∘
525:−
520:∘
493:∠
490:−
485:∘
461:∠
413:⟹
400:∠
385:∠
328:∠
313:∠
295:∠
280:∠
226:isosceles
107:Statement
31:that the
1370:Category
1193:27951001
1046:cite web
984:p. 894.
980:p. 591,
894:See also
724:incenter
242:excenter
142:and let
140:incenter
132:triangle
85:trillium
57:vertices
41:diameter
21:geometry
1330:3088369
850:. Then
268:By the
228:, with
138:be its
134:. Let
89:trident
29:theorem
27:is the
1352:
1328:
1288:
1191:
1131:
988:
929:
799:, and
757:point
354:Since
310:
240:, the
220:, and
201:, and
185:, and
98:whose
45:circle
23:, the
1314:(PDF)
1189:JSTOR
1096:arXiv
1073:(PDF)
1038:(PDF)
1026:(PDF)
776:, and
264:Proof
177:from
150:(the
73:) or
43:of a
1350:ISBN
1286:ISBN
1129:ISBN
1052:link
986:ISBN
927:ISBN
882:and
854:and
842:and
838:Let
783:and
224:are
126:Let
47:(an
1206:AIB
1202:CIA
1198:BIC
1181:doi
1106:doi
1092:113
955:KoG
870:or
864:ABC
848:ABC
532:180
516:180
481:180
246:ABC
244:of
222:ACD
218:CID
214:AID
173:is
167:ABC
165:of
158:ABC
154:of
128:ABC
51:or
19:In
1372::
1326:MR
1322:16
1320:,
1316:,
1301:^
1255:.
1251:.
1225:.
1221:.
1204:,
1200:,
1187:,
1177:21
1175:,
1154:.
1104:.
1090:.
1061:^
1048:}}
1044:{{
1006:,
1002::
959:20
957:.
953:.
941:^
913:^
888:IJ
876:IJ
860:IJ
805:IB
795:,
774:DI
763:BI
752:OB
272:,
260:.
216:,
197:,
181:,
148:BI
1360:.
1358:.
1296:.
1294:.
1267:.
1237:.
1183::
1137:.
1112:.
1108::
1098::
1054:)
1010:.
994:.
935:.
884:J
880:I
872:J
868:I
856:J
852:I
844:J
840:I
821:O
817:I
813:B
809:I
801:O
797:I
793:B
785:C
781:A
770:D
765:,
759:D
754:,
748:O
740:O
736:I
732:B
698:.
695:I
692:D
689:=
682:D
679:A
667:D
664:A
661:I
655:=
645:C
642:A
639:D
633:+
630:C
627:A
624:I
618:=
608:A
605:B
602:I
596:+
593:B
590:A
587:I
581:=
571:)
568:A
565:B
562:I
553:B
550:A
547:I
528:(
512:=
502:B
499:I
496:A
477:=
470:A
467:I
464:D
432:.
429:D
426:C
423:=
420:D
417:A
409:C
406:A
403:D
397:=
394:A
391:C
388:D
365:I
362:B
340:.
337:C
334:A
331:D
325:=
322:C
319:B
316:I
307:,
304:A
301:C
298:D
292:=
289:A
286:B
283:I
258:I
254:D
250:B
238:E
230:D
207:D
203:I
199:C
195:A
187:I
183:C
179:A
171:D
156:∠
144:D
136:I
121:E
117:I
77:(
67:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.