Maths Olympiad Prep

Library / /7 of 10

Geometry Difficulty 6.7 National Olympiad Prove it Mongolia

Let ABCDABCD be a cyclic quadrilateral with inradius rr. Let JJ and KK be the incenters of ABCABC and ACDACD, and let PP and QQ be the circumcenters of AJKAJK and CJKCJK, respectively. Prove that
PQ=ACSAJCKr. |PQ| = |AC| - \frac{S_{AJCK}}{r}.
Here SAJCKS_{AJCK} denotes the area of the quadrilateral AJCKAJCK.

Solution

Let F1F_1 and F2F_2 be the feet of perpendiculars from the points JJ and KK to ACAC, respectively. Then
AF1=AB+ACBC2andAF2=AD+ACCD2. AF_1 = \frac{AB + AC - BC}{2} \quad \text{and} \quad AF_2 = \frac{AD + AC - CD}{2}.
Since AB+CD=BC+ADAB + CD = BC + AD, we have AF1=AF2AF_1 = AF_2. It follows that F1=F2F_1 = F_2, that is, JKACJK \perp AC.
Since PP is the circumcenter of AJKAJK, we have PAK=90AJK\angle PAK = 90^\circ - \angle AJK and since JJ is the incenter of ABCABC we have AJK=90BAC/2\angle AJK = 90^\circ - \angle BAC/2. From this we deduce that PAK=BAC/2\angle PAK = \angle BAC/2. Hence PAD=BAC/2+CAD/2=BAD/2\angle PAD = \angle BAC/2 + \angle CAD/2 = \angle BAD/2. It follows that the points A,P,IA, P, I are collinear. Similarly, the points C,Q,IC, Q, I are collinear.
Moreover, since PQACPQ \parallel AC we have ACPQ=1+APPI\frac{AC}{PQ} = 1 + \frac{AP}{PI}. On the other hand, we have 1+PIAI=rPN1 + \frac{PI}{AI} = \frac{r}{PN}. Finally, because PN=APsinBAD/2=PJsinJAK=JK/2PN = AP \sin \angle BAD/2 = PJ \sin \angle JAK = JK/2 we have
ACPQ=1+JK/2rJK/2. \frac{AC}{PQ} = 1 + \frac{JK/2}{r - JK/2}.
This is equivalent to the statement of the problem.

Figure 1

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 reproduced verbatim; metadata (topic, difficulty) added by this project.