Maths Olympiad Prep

Library / /21 of 27

Geometry Difficulty 6.8 National olympiad Prove it Romania

Let A1A2A3A4A_1A_2A_3A_4 be a convex quadrilateral with no pair of parallel sides. For each i=1,2,3,4i = 1, 2, 3, 4, define ωi\omega_i to be the circle touching the quadrilateral externally, and which is tangent to the lines Ai1AiA_{i-1}A_i, AiAi+1A_iA_{i+1} and Ai+1Ai+2A_{i+1}A_{i+2} (indices are considered modulo 4, so A0=A4A_0 = A_4, A5=A1A_5 = A_1 and A6=A2A_6 = A_2). Let TiT_i be the point of tangency of ωi\omega_i with the side AiAi+1A_iA_{i+1}. Prove that the lines A1A2,A3A4A_1A_2, A_3A_4 and T2T4T_2T_4 are concurrent if and only if the lines A2A3,A4A1A_2A_3, A_4A_1 and T1T3T_1T_3 are concurrent.
(Russia) Pavel Kozhevnikov

Solutions — 2

Solution 1

We start with a reformulation of a well-known statement on harmonic cyclic quadruples (K1,K2,K3,K4)(K_1, K_2, K_3, K_4), also provable by polar transformation (projective methods).
LEMMA. Being given four pairwise non-parallel lines i\ell_i, i=1,2,3,4i = 1, 2, 3, 4, tangent to a circle ω\omega at points KiK_i, and such that lines 1,3\ell_1, \ell_3 and K2K4K_2K_4 are concurrent, then lines 2,4\ell_2, \ell_4 and K1K3K_1K_3 are also concurrent.

Proof. Let OO be the center of ω\omega, X=13K2K4X = \ell_1 \cap \ell_3 \cap K_2K_4, Y=24Y = \ell_2 \cap \ell_4. We have OXK1K3OX \perp K_1K_3 and OYK2K4OY \perp K_2K_4. Let Z=OXK1K3Z = OX \cap K_1K_3, T=OYK2K4T = OY \cap K_2K_4. Notice that triangles OK3X\triangle OK_3X and OZK3\triangle OZK_3 are similar, and also similar are triangles OK4Y\triangle OK_4Y and OTK4\triangle OTK_4, hence OYOT=OK42=OK32=OXOZOY \cdot OT = OK_4^2 = OK_3^2 = OX \cdot OZ.
This means that triangles OXT\triangle OXT and OYZ\triangle OYZ are similar, hence YZOXYZ \perp OX, and so YK1K3Y \in K_1K_3. \square

Suppose now lines A2A3A_2A_3, A4A1A_4A_1 and T1T3T_1T_3 are concurrent at a point PP. Let T4,T2T'_4, T'_2 be the tangency points of lines A4A1A_4A_1, respectively A2A3A_2A_3, to circle ω1\omega_1, and let T3T'_3 be the second meeting point of line T1T3T_1T_3 and circle ω1\omega_1. Let the tangent to ω1\omega_1 at T3T'_3 meet the lines A4A1A_4A_1, A2A3A_2A_3 at points A4A'_4, respectively A3A'_3. The (direct) homothety of center PP that takes ω1\omega_1 to ω3\omega_3 maps T3T'_3 to T3T_3, hence A3A4A3A4A_3A_4 \parallel A'_3A'_4.
Let Q=A1A2A3A4Q = A_1A_2 \cap A_3A_4, Q=A1A2A3A4Q' = A_1A_2 \cap A'_3A'_4. Applying the LEMMA to circle ω1\omega_1 and lines A2A3A_2A_3, A3A4A'_3A'_4, A4A1A_4A_1, A1A2A_1A_2, yields that points QQ', T2T'_2, T4T'_4 are collinear. The (inverse) homothety of center A1A_1 that takes QA1A4\triangle QA_1A_4 to QA1A4\triangle Q'A_1A'_4 maps ω4\omega_4 to ω1\omega_1, so maps T4T_4 to T4T'_4, hence QT4QT4Q'T'_4 \parallel QT_4. Similarly, the (inverse) homothety of center A2A_2 that takes QA2A3\triangle QA_2A_3 to QA2A3\triangle Q'A_2A'_3 maps ω2\omega_2 to ω1\omega_1, so maps T2T_2 to T2T'_2, hence also QT2QT2Q'T'_2 \parallel QT_2. Since points QQ', T2T'_2, T4T'_4 are collinear, it follows points Q,T2,T4Q, T_2, T_4 are also collinear.

The converse implication is done in a similar way, due to the cyclic nature of the notations used (just increase each index by 1).

Solution 2

Alternative Solution. (D. Şerbănescu) Suppose Q,T2,T4Q, T_2, T_4 are collinear. We will show P,T1,T3P, T_1, T_3 are collinear. We will use the notations of the solution above, but also let S1,S1S'_1, S''_1 be the tangency points of line A1A2A_1A_2 to circle ω2\omega_2, respectively ω4\omega_4, and let S3,S3S'_3, S''_3 be the tangency points of line A3A4A_3A_4 to circle ω2\omega_2, respectively ω4\omega_4. Let T4T''_4 be the (other than T2T_2) meeting point of line QT2T4QT_2T_4 and circle ω2\omega_2, and let the tangent line to ω2\omega_2 at T4T''_4 (parallel to A1A4A_1A_4) meet A2A3A_2A_3 at PP' (via the (direct) homothety of center QQ that takes ω4\omega_4 to ω2\omega_2).

Clearly PT2T4PT2T4\triangle PT_2T_4 \sim \triangle P'T_2T_4'' and PT2T4\triangle P'T_2T_4'' is isosceles, so PT2=PT4PT_2 = PT_4 (in other words, if Q,T2,T4Q, T_2, T_4 are collinear then PT2=PT4PT_2 = PT_4; the other implication trivially also holds, but is irrelevant here).
From PT2=PT4PT_2 = PT_4 and PT2=PT4PT'_2 = PT'_4 follows T2T2=T4T4T'_2T_2 = T'_4T_4. As external tangents, T2T2=T1S1T'_2T_2 = T_1S'_1 and T4T4=T1S1T'_4T_4 = T_1S''_1, hence T1T_1 is the midpoint of S1S1S'_1S''_1. Similarly, T3T_3 is the midpoint of S3S3S'_3S''_3. It follows that P,T1,T3P, T_1, T_3 lie on the radical axis of the circles ω2\omega_2 and ω4\omega_4, hence are collinear.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.