RETIVE GEOMETRY LEXNDER SKUTIN arxiv:1802.03543v1 [math.ho] 10 Feb 2018 1. Introduction This work is a continuation of [1]. s in the previous article, here we will describe some interesting ideas and a lot of new theorems in plane geometry related to them. 2. Deformation of equilateral triangle 2.1. Deformation principle for equilateral triangle. If some triangle points lie on a circle (line) or are equivalent in the case of an equilateral triangle, then in the general case of an arbitrary triangle they are connected by some natural relations. Thus, triangle geometry can be seen as a deformation of the equilateral triangle geometry. This principle partially describes why there exists so many relations between the Kimberling centers X i. Further we will present several examples of the facts arising from this principle. 2.2. Fermat points. Theorem 2.1. Given a triangle with the first Fermat point F. Let be the cevian triangle of F wrt. Let F be the second Fermat point of F. Similarly define F, F. Let M be the midpoint of F. Similarly define M and M. Then the triangles F F F and M M M are perspective. Theorem 2.2. Given a triangle with the first Fermat point F. Let F be the second Fermat point of F. Similarly define F, F. Let F be the second Fermat point of F F F. Similarly define F, F. Then (1) F F, F F, F F are concurrent at the first Fermat point F of F F F. (2) The second Fermat point of F F F lies on (F F F ). (3) Let F, F, F, F be the first Fermat points of FF F, FF F, F F F, F F F, respectively. Similarly define F, F, F, F, F, F, F, F. Then F, F, F are collinear and same for other similar triples. (4) Let F F meet F F at X. Similarly define X, X. Then X, X, X, F, F are collinear. (5) (Miquel point) ircles (F X X ), (F X X ), (F X X ), (F F F ) are concurrent. Theorem 2.3. Given a triangle with the first Fermat point F 1 and the second Fermat point F 2, let be the pedal triangle of F 1 wrt. onsider the isogonal conjugations, of wrt F 1, F 1, respectively. Let F be the second Fermat point of F 1. Similarly define F, F. Then F 2 F F F is cyclic. 2010 Mathematics Subject lassification. 51M04, 51N20. Key words and phrases. Plane geometry, nalytic geometry. 1
2 LEXNDER SKUTIN 2.3. Nine-point circles. Theorem 2.4. onsider any triangle with the nine - point center N and centroid G. Let N be the nine - point center of G. Similarly define N, N. Then N coincides with the centroid of N N N. lso G lies on the nine - point circle of N N N. 2.4. Tangent circles. Theorem 2.5. Given a triangle with the orthocenter H. Let the circle ω is tangent to, and is externally tangent to (H) at. Similarly define,, ω, ω. (1) Points,,, H lie on the same circle. (2) Let the circle Ω is externally tangent to ω, ω, ω. Then H lies on Ω. Theorem 2.6. Given a triangle with the incircle ω. Let the circle through, is tangent to ω at T. Let the circle π is tangent to ω at T and passes through. Let the circle ψ is tangent to, and passes through T. Similarly define π, π, ψ, ψ. (1) There exists a circle which is tangent to π, π, π, (). (2) There exists a circle which is tangent to ψ, ψ, ψ, ω. 2.5. Isogonal conjugations. Theorem 2.7. onsider any triangle with the first Fermat point F and let be the cevian triangle of F wrt. Let F be isogonal to F wrt and let F be isogonal to F wrt. Similarly define F, F. Then the points F, F, F form an equilateral triangle with the center at F. Theorem 2.8. onsider any triangle with the first Fermat point F and let be the cevian triangle of F wrt. Let F be isogonal to wrt F and let F be isogonal to F wrt. Let F be the reflection of F wrt. Similarly define F, F. Then F coincides with the first Fermat point of F F F. Theorem 2.9. Given a triangle with the incenter I and the incircle ω which is tangent to,, at,,, respectively. Let, be the isogonal conjugations of wrt I, I, respectively. Similarly define,,,. Then the midpoints of,, lie on ω. 2.6. Three equal circles. Theorem 2.10. onsider any triangle with the incircle ω. Let 1 1 1 be the midpoint triangle of and,, be the midpoints of smaller arcs,, of (), respectively. Let r a be the radical line of the circle with diameter 1 and ω. Similarly define r b, r c. Then the nine - point circle of a triangle formed by r a, r b, r c goes through the Feuerbach point of. Theorem 2.11. onsider any triangle with the circumcenter O. onsider three points a, a, a outside wrt such that a a a O. Let,, be the reflections of a, a, a wrt O, O, O, respectively. Let Ω be the circumcircle of. Similarly define Ω, Ω. Then in the case when Ω, Ω, Ω passes through the same point we will get that they are coaxial. Remark 2.1. In all theorems from this section consider the case of an equilateral triangle.
RETIVE GEOMETRY 3 3. onstruction of midpoint analog Definition 3.1. For any pairs of points, and, D denote M(,D) as the Miquel point of the complete quadrilateral formed by the four lines, D,, D. onsider any two segments and D, then the point M(,D) can be seen as midpoint between the segments, D. Remark 3.1. In the case when = and = D we will get that the point M(,D) is midpoint of. Theorem 3.1. onsider any eight lines l j i, where 1 i 4, j = 1,2. Let given that li 1 l2 i for any 1 i 4. Let M j be the Miquel point for l j 1, lj 2, lj 3, lj 4, j = 1,2. y definition let Ppq j = lp j lq j and let Q pq = M(M 1 M 2,Ppq 1 P2 pq ). Then the circles (Q 12Q 23 Q 31 ), (Q 12 Q 24 Q 41 ), (Q 13 Q 34 Q 41 ), (Q 23 Q 34 Q 42 ) passes through the same point. 4. ombination of different facts Here we will build combinations of some well-known constructions from geometry. Theorem 4.1 (Pappus and Mixtilinear circles). Given a triangle, let its mixtilinear incircle ω is tangent to () at 1 and mixtilinear excircle Ω is tangent to () at 2. Similarly define 1, 2, 1, 2 and ω, ω, Ω, Ω. Let the radical line of ω, ω meet 1 1 at X and the radical line of Ω, Ω meet 2 2 at Y. Let l be the line through the points 1 Y 2 X, 1 2 2 1 and X 2 Y 1. Similarly define l, l. Then the triangle formed by the lines l, l, l is perspective to. Theorem 4.2 (onics and Japanese theorem). Given a cyclic quadrilateral D. Let I, I, I, I D be the incenters of D,, D, D, respectively. onsider any point P on (D) and two conics, D through I I D P, DI I P, respectively. Then the conics, D meet on (D) at two different points. Theorem 4.3 (onics and Japanese theorem 2). Given a cyclic quadrilateral D. onsider the point E = D. Then the incenters of the triangles, D, D, D, E, E, ED, DE lie on the same conic. 4.1. ombinations with radical lines. Theorem 4.4 (Japanese theorem and radical lines). Given a cyclic quadrilateral D. Let I, I, I, I D be the incenters of D,, D, D, respectively. Then the circles with diameters I, I, I, DI D have the same radical center. Theorem 4.5 (Japanese theorem and radical lines 2). Given a cyclic quadrilateral D. Let I, I, I, I D be the incenters of D,, D, D, respectively. Define the points = I I D, D = D I I. Similarly define,,, D, D, D. Then the circles ( D ), ( ), ( D ), (DD D ) have the same radical center. Theorem 4.6 (Japanese theorem and radical lines 3). Given a cyclic quadrilateral D. Let I, I, I, I D be the incenters of D,, D, D, respectively. Define the points = I I D, D = D I I. Similarly define,,, D, D, D. Then the circles (D), (I I I I D ), ( D D ), ( D D ) have the same radical center.
4 LEXNDER SKUTIN Theorem 4.7 (Gauss line theorem and radical lines). onsider any cyclic quadrilateral D. Let the circle ω is tanget to, D and is internally tangent to the smaller arc of (D). Similarly define ω, ω D, ω D. Let r a be the radical line of ω, ω D. Similarly define r b, r c, r d. Then the circumcenter of D lies on the Gauss line of r a, r b, r c, r d. Theorem 4.8 (Gauss line theorem and radical lines 2). onsider any six points P 1, P 2,..., P 6 such that P 4 P 5 P 6 lie on the same line and similarly P 1 P 4 P 2, P 1 P 5 P 3, P 2 P 3 P 6 lie on the same lines. Let M 25 be the midpoint of P 2 P 5, similarly define M 61, M 43. Let R 153 be the radical center of (P 1 M 25 M 43 ), (P 5 M 61 M 43 ) and (P 3 M 61 M 25 ). Similarly define R 142, R 236, R 456. Then in the case when M 61 lies on R 456 R 153 we get that M 61 = R 456 R 153 R 142 R 236 and M 25 = R 153 R 142 R 236 R 456. Theorem 4.9 (Gauss line theorem and radical lines 3). onsider any four points,,, D. Let D = E, D = F and let the perpendicular bisectors of the segments, D, EF form a triangle PQR. Let L F be the radical line of (F) and (PQR). Similarly define L DF, L E, L DE. onsider the Gauss line L of L F, L DF, L E, L DE. Then in the limiting case when the lines L F, L DF, L E, L DE are concurrent we get that L is parallel to the Gauss line of,, D, D. Theorem 4.10 (Morley s theorem and radical lines). onsider any triangle and its three external Morley s triangles,, (see picture below for more details). Let l be the radical line of ( ) and ( ). Similarly define l, l. Then the lines l, l, l form a triangle which is perspective to.
RETIVE GEOMETRY 5 5. Facts related to the set of confocal conics For any two conics 1, 2 with same focus F, define L F ( 1, 2 ) as in [1, Definition 13.1]. Theorem 5.1. In a tangential quadrilateral D, let E be the intersection of the diagonals, D. Let I, I, I D, I D be the incenters of E, E, ED, DE, respectively. Let be a conic with focuses and, passing through I. Similarly define the conics, D, D. Let X = L ( D, ) L (, ), similarly define X, X D, X D. Then the lines, D, X X D are concurrent. Next fact can be seen also as a fact which is related to [1, Section 6]. Theorem 5.2. onsider any triangle with the orthocenter H. Let H be the reflection of H wrt. Similarly define H and H. Let I H be the incenter of a triangle formed by, H H and H. nd let H be a conic with focuses, H and which goes through I H. Similarly define the conics H, H, H, H, H. Let be the second intersection point of L ( H, H ) with (). Similarly define,. (1) Line L H ( H, H ) is tangent to () at H. (2) Lines H, H, H are concurrent. H H H H
6 LEXNDER SKUTIN 6. Fun with triangle centers In this section we will construct some nice theorems which include some famous triangle centers. Note that the isogonal conjugation can be considered as a conjugation which is related to the incenter and the isotomic conjugation can be considered as a conjugation which is related to the centroid of. Further, it will be useful to use the notation P G for the isotomic conjugation of the point P wrt and PI for the isogonal conjugation of P wrt. Theorem 6.1. Given a triangle. Let I be the incenter of and G be the centroid of. Let X = II G GGI, then (1) Points G, I, X I, XG are collinear. (2) X G coincides with the Spieker center of. (3) Triangles and XGI G XG GI XG GI are perspective. Theorem 6.2. Given a triangle. Let H be the orthocenter of and G be the centroid of. Let G be the midpoint triangle of and H be its orthic triangle. onsider the point X = HH G G GG I H. Then the point X G G coincides with the circumcenter of. Theorem 6.3. Given a triangle. Let I be the incenter of and G be the centroid of. Let G be the midpoint triangle of and I be the cevian triangle of I wrt. onsider the point X = II G G GG I I. Then XG = 1 3 XGI I. 7. Orthogonal facts from orthogonal constructions onsider any situation which is related to some orthogonal objects (name such situation as Orthogonal ). Then one can try to add some more orthogonal objects to this situation and try to find relations between them. In the next examples we will add orthogonal hyperbolas to some well-known orthogonal situations. Theorem 7.1 (Two orthogonal circles). onsider any two orthogonal circles ω 1 and ω 2 with centers O 1, O 2, respectively. Let the external common tangent to ω 1 and ω 2 is tangent to ω i at X i. Let O 1 X 2 intersects ω 2 second time at Y 1, similarly define Y 2 on ω 1. onsider an orthogonal hyperbola H through X 1 X 2 Y 1 Y 2. Let the line X 1 O 1 meet H second time at Z 1. Similarly define Z 2. Then X 1O 1 O 1 Z 1 = X 2O 2 O 2 Z 2. Theorem 7.2 (Three orthogonal circles). onsider any three pairwise orthogonal circles ω 1, ω 2, ω 3 with centers O 1, O 2, O 3, respectively. Let 1, 1 be two intersection points of ω 2, ω 3. Similarly define 2, 2, 3, 3. onsider an orthogonal hyperbola H 1 through 2 2 3 3. Similarly define H 2 and H 3. Let 1, 1 be two intersection points of H 2 and H 3 different from 1, 1. Similarly define 2, 2, 3, 3. Then (1) Lines 1 1, 2 2, 3 3 are concurrent. (2) Points 1, 1, 2, 2, 3, 3 lie on the same circle. (3) Lines 1 1 and 1 1 are orthogonal. Theorem 7.3 (Orthocenter construction). onsider any triangle with the orthocenter H and altitudes,,. Let H be an orthogonal hyperbola through H. Similarly define H, H. Let 1 1 1 be the midpoint triangle of. Then the lines 1 1, 1 1, 1 1 pass through some intersection points of H, H, H.
RETIVE GEOMETRY 7 Theorem 7.4 (Perpendiculars through the orthocenter). onsider any triangle with the orthocenter H and let P be any point on the plane. Let l 1, l 2 be two perpendicular lines through H. onsider the intersection points 1, 1, 1 of l 1 with,,, respectively. Similarly define 2, 2, 2. Let H be an orthogonal hyperbola through 1 2 HP. Similarly define H, H. Then H, H, H intersect at four different points. Theorem 7.5 (Two parabolas with orthogonal directrices). onsider any two parabolas P 1, P 2 with orthogonal directrices d 1, d 2, respectively. Let F 1, F 2 be the focuses of P 1, P 2, respectively. onsider the four intersection points,,, D of P 1, P 2. Let H be an orthogonal hyperbola through D. Let P i be a pole of d i wrt H. Then P 1 P 2 F 1 F 2. Theorem 7.6 (Square). onsider a square D and any point P inside it. Let l 1, l 2 be two orthogonal lines through P. Let X = l 1, Y = D l 1, Z = D l 2, T = l 2. onsider an orthogonal hyperbola H PXZ through PXZ, similarly define H PYT. Then the internal angle bisector of XPZ passes through the intersection point of H PXZ and H PYT different from P. 8. ombination of several ideas The next fact shows how it is possible to combine the following three ideas : (1) ombination of Gauss line theorem with radical lines. (2) Midpoint analog. (3) low-ups with circles. Theorem 8.1. onsider any six circles ω 1, ω 2,..., ω 6. nd let O i be the center of ω i. Let given that ω 4, ω 5, ω 6 share the same two external tangents. lso let given a similar property for triples of circles ω 1, ω 4, ω 2 ; ω 1, ω 5, ω 3 and ω 2, ω 3, ω 6. Let T1 1, T2 1 be the common external tangents to ω 1, ω 2 and L 1 1, L2 1 be the common external tangents to ω 1, ω 3. onsider X 1 = T1 1 L1 1 and Y 1 = T1 2 L2 1. Similarly define X i, Y i (see picture below for more details). Let M 25 = M(X 2 Y 2,X 5 Y 5 ), similarly define M 61, M 43 (see definition of M in Section 3). Let R 153 be the radical center of (O 1 M 25 M 43 ), (O 5 M 61 M 43 ) and (O 3 M 61 M 25 ). Similarly define R 142, R 236, R 456. Then in the case when M 61 lies on R 456 R 153, we get that M 61 = R 456 R 153 R 142 R 236 and M 25 = R 153 R 142 R 236 R 456. X 1 O 1 Y 1 Y O 4 4 X 4 O 5 Y 5 Y 2 X 5 Y 3 Y 6 X 2 O 2 O 3 O 6 X 3 X 6 The next fact shows how it is possible to combine the following three ideas : (1) Deformation of equilateral triangle. (2) Midpoint analog. (3) ombination of Morley s theorem with radical lines.
8 LEXNDER SKUTIN Theorem 8.2. onsider any triangle and its internal and external Morley s triangles 1 1 1, 2 2 2, respectively (see picture below for more details). Let M = M( 1 2, 1 2 ) (see definition of M in Section 3). Similarly define M, M. Let R be the radical line of ( 2 2 M ) and ( 2 M M ). Similarly define R, R. Let Q = 1 1 R, similarly define Q, Q. Then the triangles 1 1 1 and Q Q Q are perspective at a point on ( 1 1 1 ). 2 2 Q Q 1 Q 1 1 2 Remark 8.1. In the previous theorem, consider the case of an equilateral triangle. 9. Some new line and its properties 9.1. onstruction. onsider any two (oriented) segments 1 2 and 1 2, let the circle ω is tangent to 1 2, 1 1 and 2 2. lso let the circle ω is tangent to 1 1, 1 2, 2 2. onsider the radical line R 1 2, 1 2 of ω, ω. Next we will introduce some nice-looking situations with different pairs of (oriented) segments i α, j α and lines R iα,j α.
RETIVE GEOMETRY 9 Theorem 9.1. Given a triangle with the circumcircle (). Let,, be the diameters of (). Then the lines R,, R,, R, are concurrent. Theorem 9.2. onsider any triangle. Let the incircle of is tangent to its sides at,,. Then the lines R,, R,, R, are concurrent. Theorem 9.3. onsider any two segments PP, QQ and let X = PQ P Q. onsider the case when X lies on R PP,QQ. Let Y be any other point on R PP,QQ and R = PY P Q, R = P Y PQ. Then R PP,QQ = R PP,RR. Theorem 9.4. Given a cyclic quadrilateral D. Let W, W, W D, W D be the midpoints of smaller arcs,, D, D of (D). Then the circumcenter of D, point R,D R,D and the point W W D W W D are collinear.
10 LEXNDER SKUTIN 10. On the symmedian points in the incircle construction Themain idea of this section is to construct a lot of nice facts which includethe incenter and the symmedian points. Theorem 10.1. Given a triangle with the incenter I and let S, S, S be the symmedian points of I, I, I, respectively. Let the lines I, I, I meet the sides of S S S at,,, respectively. Then S, S, S are concurrent on SI where S is the symmedian point of. Theorem 10.2. Given a triangle with the incenter I. Let be the circumcevian triangle of I wrt. Let S, S be the symmedian points of I, I, respectively. Let l be the median of S S, similarly define l, l. Then l, l, l are concurrent. Theorem 10.3. onsider any triangle with the incenter I and let be the cevian triangle of I wrt. (1) Let the line l goes through the symmedian points of and. Similarly define l, l. Then l, l, l form a triangle which is perspective to. (2) Let the line µ goes through the symmedian points of I and I. Similarly define µ, µ. Then µ, µ, µ form a triangle which is perspective to XYZ, where X, Y, Z are the midpoints of I, I, I, respectively. Theorem 10.4. onsider any triangle with the incenter I and let be the circumcevian triangle of I wrt. Let meet and at,, respectively. Similarly define,,,. (1) Let S be the symmedian point of I. Similarly define S, S. Then S S S is perspective to both and. (2) onsider the intersection point P of (), ( ) different from. Let l be the line through the symmedian points of, P. Similarly define l, l. Then l, l, l form a triangle which is perspective to. (3) Let η be the line through the symmedian points of P, P. Similarly define η, η. Then η, η, η form a triangle which is perspective to. Theorem 10.5. Let I be the incenter of. Let the perpendicular line to I through I intersect, at,, respectively. Similarly define,,,. (1) Let the line L goes through the symmedian points of,. Similarly define L, L. Then L, L, L are concurrent. (2) Let S and S be the symmedian points of I and, respectively. Similarly define S, S, S, S. Then the perpendiculars from S, S, S to S S, S S, S S are concurrent. Theorem 10.6. Given a triangle and let I, I, I, I be the incenter and,, excenters of, respectively. onsider any point P and let S PXY be the symmedian point of PXY, for arbitrary points X, Y. Then the triangles S PI S PI S PI and S PII S PII S PII are perspective. Theorem 10.7 (Quadrilateral version). onsider any tangental quadrilateral D which has circumcircle ω. Let P = D and I, I, I D, I D be the incenters of P, P, PD, PD. Let l be the line through the symmedian points of I I D, I D I. Similarly define l, l, l D. Then P, l l, l l D are collinear.
RETIVE GEOMETRY 11 11. Orthocenter, ircumcenter and Isogonal conjugate points It is well-known that the orthocenter is isogonal conjugated to the circumcenter of a triangle. Here we will introduce more sophisticated facts which are related to the orthocenter circumcenter pair and to the isogonal conjugation. Theorem 11.1. Given a triangle with the orthocenter H and the circumcenter O. Let P, Q be some isogonal conjugated points wrt. Let H, H, H be the isogonal conjugations of H wrt P, P, P, respectively. Let O, O, O be the isogonal conjugations of O wrt Q, Q, Q, respectively. Then the circles (H H H ), (O O O ) have the same radiuses. Theorem 11.2. onsider any triangle with the orthocenter H and the circumcenter O. Let be the conic with focuses H, O and which is tangent to the sides of. Let the perpendicular bisector of OH meet at X, Y. onsider the isogonal conjugations X, Y of X, Y wrt, respectively. Then (1) The lines XY, X Y meet on (). (2) XY X Y Definition 11.1. For any two segments, D, let KH(, D) be the Kantor - Hervey point of the complete quadrilateral formed by the lines, D,, D. Theorem 11.3. onsider any quadrilateral D and let E = D, F = D. onsider a conic with focuses P, Q which is inscribed in D. Then the points KH(PQ,), KH(PQ,D), KH(PQ,EF) are collinear. Theorem 11.4. onsider any triangle with the orthocenter H and the circumcenter O. Let OH meet the sides of at,,, respectively. Let 1, 1, 1 be the altitudes of. onsider the isogonal conjugation 2 of 1 wrt. Similarly define 2, 2. Then the points O, H, 2, 2, 2 lie on the same circle. 12. Magic triangle of facts onsider some geometric fact F, so we can build a triangle F 1 F 2 F 3 from three copies of this fact and look on the nice properties of the resulting configuration. F 1 F 2 F 1 = F2 = F3 = F F 3
12 LEXNDER SKUTIN Theorem 12.1 (Feuerbach s Magic Triangle). Given a triangle and let be the reflection of wrt midpoint of. Similarly define,. Let ω, ω, ω be the incircles of,, and π, π, π be its nine - point circles. onsider the circle ω which is internally tangent to ω, ω, ω. onsider the circle π which is internally tangent to π, π, π. Then ω is tangent to π. Theorem 12.2 (Magic Triangle related to the Simson lines). onsider any triangle and let,, be a points outside of such that,, lie on the sides of. onsider any line l. Let P, Q be the intersection points of l with ( ). Let the Simson lines of P, Q wrt meet at X. Similarly define X, X. (1) Points X, X, X are collinear. (2) Let ( ), ( ), ( ) are concurrent at P and 1 1 1 be the pedal triangle of P wrt. Then the midpoints of 1 X, 1 X, 1 X are collinear. Theorem 12.3 (Magic Triangle related to the IMO 2011 G8). onsider any triangle and let be the reflection of wrt midpoint of. Similarly define,. Let H be the orthocenter of, so H lies on ( ). Let l be the tangent line through H to ( ). Let the reflections of l wrt sides of form a triangle with the circumcircle ω. onsider the tangent point T of ( ) with ω (they are tangent because of IMO 2011 Problem G8). Similarly define T, T. Then (T T T ) is tangent to ( ). 13. Incircles in some famous constructions In this section we will consider some famous configurations from plane geometry and add some incircles to them. Theorem 13.1 (Mixtilinear circles). Given a triangle with the incenter I. Let mixtilinear incircle is tangent to, at,, respectively. Similarly define the points,,,. Let I be the incenter of I and W be the midpoint of smaller arc of (). Similarly define the points I, I, W, W. Then I W, I W, I W are concurrent. Theorem 13.2 (Reim s theorem). onsider two arbitrary lines l 1, l 2 and let the points,, lie on l 1 and the points D, E, F lie on l 2. Let also given that DE, EF are cyclic. onsider the incenters I 1, I 2, I 3, I 4, I 5, I 6, I 7, I 8 of the triangles D, ED, E, ED, E, FE, F, EF, respectively. Let P = I 1 I 8 I 2 I 7, Q = I 4 I 5 I 3 I 6. Then the lines l 1, l 2, PQ are concurrent. Theorem 13.3 (Projectivity). onsider two arbitrary lines l 1, l 2 and let the points,, lie on l 1 and the points D, E, F lie on l 2. lso let given that D, E, F are concurrent. Let X = E D, Y = F D, Z = F E. onsider the incenters I 1, I 2, I 3, I 4 of X, Z, DXE, EZF, respectively. Then in the case when l 1, l 2, I 1 I 2 are concurrent at P we get that P lies on I 3 I 4. Theorem 13.4 (Feuerbach s theorem). onsider any triangle with the Feuerbach point F. Let, 1 1 1 be the midpoint triangle and the orthic triangle of, respectively. Let the incircle of is tangent to its sides at 0, 0, 0. Then (1) The incenters of F 1, F 1, F 1 lie on a circle which goes through F. (2) The incenters of F 0, F 0, F 0 lie on a circle which goes through F.
RETIVE GEOMETRY 13 Theorem 13.5 (Touching circles). Given a triangle, let the circle ω through, is tangent to the incircle of and meet, second time at,, respectively. onsider the intersection = and let I be the incenter of. Similarly define I, I. Then I, I, I are concurrent. Theorem 13.6. Given a cyclic quadrilateral D. Let P = D, Q = D. Let l P be the angle bisector of PD and l Q be the angle bisector of Q. Let l P meet D, at X, Y and l Q meet, D at Z, W, respectively. Then the external homothety center of the incircles of the triangles DXW, YZ lies on PQ. Q Z X Y D W P
14 LEXNDER SKUTIN Theorem 13.7 (Isogonal conjugation). onsider two isogonal conjugated points P, Q of a triangle. Let H a be the external homothety center of the incircles of P, Q. Similarly define H b, H c. Then H a, H b, H c are collinear. Theorem 13.8 (rbelos). onsider any three collinear points,, ( lies between and ) and let Ω, Ω, Ω be the circles with diameters,,, respectively. Let the circle ω is tangent to Ω, Ω, Ω at,,, respectively. onsider a triangle 1 1 1 formed by the tangent lines from,, to ω. Then the common external tangent line to the 1 excircle of 1 1 1 and to Ω is parallel to. Theorem 13.9 (onfocal conics). onsider two ellipses E 1 and E 2 which share the same focuses F 1, F 2 and let H 1, H 2 be two hyperbolas with the same focuses F 1, F 2. Let D be a quadrilateral formed by the four intersection points of E i and H j (, lie on H 1 and, D lie on H 2, respectively). onsider the incircles ω 1, ω 2 of the triangles F 1 and F 2 D. Then the external tangents to ω 1, ω 2 meet on F 1 F 2. H 1 H 2 F 1 F 2 E 1 E 2
RETIVE GEOMETRY 15 Theorem 13.10 (pollonian gasket). Let given three circles Ω a, Ω b, Ω c, which are pairwise tangent at,,. Let the circle Ω is internally tangent to Ω a, Ω b, Ω c at,,. Let be the second intersection point of with Ω b, similarly define,,,,. Let the line l goes through the incenters of,, similarly define l, l. Then the triangle formed by l, l, l is perspective to.
16 LEXNDER SKUTIN 14. Looks like a crown Here we will create some crown looking-like facts. Theorem 14.1 (rown related to the orthocenters). Let, be the altitudes of triangle. Let the perpendicular from to meet at 1 and the perpendicular from to meet at 1. onsider the orthocenters H, H of 1, 1, respectively. Let H, H be the orthocenters of and H H. Then the lines, H H meet on the perpendicular line from to HH. Theorem 14.2 (rown related to the incircles). Given a triangle, let its incircle is tangent to its sides at,,, respectively. Let the circle ω with center at I is tangent to at T and also is tangent to, (see the picture below). Let the second tangent line from to ω meet at 1. Similarly define ω, T, I and 1. Let I be the incenter of. Then 1 T, 1 T, I I, I are concurrent. Theorem 14.3 (rown related to the tangent circles). Given a triangle with the incircle ω. Let the circle Ω goes through, and is tangent to ω. Let Ω meet, second time at,, respectively. onsider the circle ω which is tangent to, and is internally tangent to Ω. Let the second tangent line from to ω meet at 1 and also meet Ω second time at 2. Similarly define 1, 2. Then, 1 1, 2 2 are concurrent. Theorem 14.4 (rown related to the isogonal conjugation). Given a triangle and let P be any point on its Neuberg cubic. Let 1 be the isogonal conjugation of wrt P. onsider the intersection point of, P 1. Similarly define 1,. onsider the intersection points 2, 2 of with 1, 1, respectively. Let 1, 1, 2, 2 be the isogonal conjugations of 1, 1, 2, 2 wrt. Let P = 1 1 2 2, similarly define P, P. Then P, P, P are collinear. 1 1 ORTHOENTERS H H H H
RETIVE GEOMETRY 17 1 1 I T INIRLES T I I 1 1 TNGENT IRLES 2 2 1 1 2 2 ISOGONL POINTS P References [1]. Skutin, Some new theorems in plane geometry https://arxiv.org/abs/1704.04923