Maths Olympiad Prep

Track / Stage 7 / 98 of 300 #1978 of 2444

Problem 1978

National Olympiad second round; IMO P1/P4
Geometry Difficulty 7.2 Prove it Taiwan IMO Selection Camp · Taiwan · 2023

Let ABCDABCD be a cyclic quadrilateral. Assume that the points QQ, AA, BB, PP are collinear in this order, in such a way that the line ACAC is tangent to the circle ADQADQ, and the line BDBD is tangent to the circle BCPBCP. Let MM and NN be the midpoints of BCBC and ADAD, respectively. Prove that the following three lines are concurrent: line CDCD, the tangent of circle ANQANQ at point AA, and the tangent of circle BMPBMP at point BB.

(Note: circle ADQADQ refers to the circle passing through the three points AA, DD, QQ; the others are similarly defined.)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Solution 1. Since ABCDABCD has a circumscribed circle, we have DAQ=DCB\angle DAQ = \angle DCB. Also, since the line ACAC is tangent to the circle AQDAQD, we get CBD=CAD=AQD\angle CBD = \angle CAD = \angle AQD. Therefore triangles ADQADQ and CDBCDB are similar (AA).
Let RR be the midpoint of segment CDCD. Using the similarity of triangles above, NN and RR are corresponding points. Hence we have
QNA=BRC\angle QNA = \angle BRC.

Figure 1

Let point KK be the second intersection of line CDCD with circle ABRABR (if CDCD meets circle ABRABR at two points, take KK to be the other intersection point different from RR; if CDCD is tangent to circle ABRABR, take K=RK = R). Then we have BAK=BRC=QNA\angle BAK = \angle BRC = \angle QNA; this equality shows that line AKAK is tangent to circle ANCANC. The same method can be used to prove that line BKBK is tangent to circle BMPBMP. This completes the proof. □

Solution 2. Below we give a proof that does not require the condition that ABCDABCD has a circumscribed circle. As in Solution 1, let points MM, NN lie on lines BCBC, ADAD respectively, satisfying BM:MC=DN:NABM : MC = DN : NA.

Let line ABAB meet CDCD at point TT (if the two lines are parallel, take TT to be the point at infinity in that direction). Let line CDCD meet the tangent to circle ANQANQ at AA at point K1K_1, and let line CDCD meet the tangent to circle BMPBMP at BB at point K2K_2.

Figure 2

Let the points at infinity in the directions of ADAD and BCBC be points II, JJ respectively. Note that since K1AD=AQN\angle K_1AD = \angle AQN, CAD=AQD\angle CAD = \angle AQD, and IAT=IQT\angle IAT = \angle IQT, the pencils of lines (ADAD, ACAC, ATAT, AK1AK_1) and (QAQA, QDQD, QIQI, QNQN) are similar (perspective in angle). Hence we have the following cross ratio:
(D,C;T,K1)=(AD,AC;AT,AK1)=(QA,QD;QI,QN)=(A,D;I,N)=DNNA. (D, C; T, K_1) = (AD, AC; AT, AK_1) = (QA, QD; QI, QN) = (A, D; I, N) = \frac{DN}{NA}.
Similarly we obtain
(D,C;T,K2)=(BD,BC;BT,BK2)=(PC,PB;PJ,PM)=(C,B;J,M)=BMMC. (D, C; T, K_2) = (BD, BC; BT, BK_2) = (PC, PB; PJ, PM) = (C, B; J, M) = \frac{BM}{MC}.
Since we already have BM:MC=DN:NABM:MC = DN:NA from the start, we get (D,C;T,K1)=(D,C;T,K2)(D,C;T,K_1) = (D,C;T,K_2), that is, K1=K2K_1 = K_2. \square

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty, ordering) added by this project.