Maths Olympiad Prep

Library / /30 of 104

Geometry Difficulty 5.5 AIME, harder Prove it Bulgaria

Problem:
Let ABCDABCD be a cyclic quadrilateral. Denote by II and JJ the incenters of ABD\triangle ABD and BCD\triangle BCD. Prove that ABCDABCD is a circumscribed quadrilateral if and only if the points AA, II, JJ and CC are either collinear or concyclic.

Solution

Solution:
It is easy to see that if the points AA, II, JJ and CC are collinear, then AB=ADAB = AD and BC=CDBC = CD. Hence ABCDABCD is a circumscribed quadrilateral.

Suppose that the points AA, II, JJ and CC are concyclic. Since AIC>AIB\angle AIC > \angle AIB or AIC>AID\angle AIC > \angle AID, it follows that AIC>90\angle AIC > 90^\circ. Analogously AJC>90\angle AJC > 90^\circ and therefore AIC+AJC>180\angle AIC + \angle AJC > 180^\circ. It follows that the points II and JJ are on the same side of the line ACAC.

Figure 1

Let S=AICJS = AI \cap CJ and let the lines AIAI and CJCJ meet the circumcircle of ABCDABCD at points PP and QQ, respectively. Since PP and QQ are the midpoints of the arcs BCDBCD and BADBAD, respectively, it follows that PQBDPQ \perp BD.

On the other hand, SJI=CAI=CQP\angle SJI = \angle CAI = \angle CQP, which implies that IJPQIJ \parallel PQ. Therefore IJBDIJ \perp BD, which means that the incircles of ABD\triangle ABD and BCD\triangle BCD are tangent to each other at a point TBDT \in BD. Then
DT=AD+BDAB2=BD+CDBC2AB+CD=BC+AD DT = \frac{AD + BD - AB}{2} = \frac{BD + CD - BC}{2} \Longleftrightarrow AB + CD = BC + AD
i.e. ABCDABCD is a circumscribed quadrilateral.

Conversely, assume that ABCDABCD is a circumscribed quadrilateral. Note that if IACI \in AC, then JACJ \in AC. Suppose that IACI \notin AC. It follows from the equality AB+CD=BC+ADAB + CD = BC + AD that the incircles of ABD\triangle ABD and BCD\triangle BCD are tangent to each other at a point of BDBD. Hence IJBDIJPQSJI=CQP=CAIIJ \perp BD \Rightarrow IJ \parallel PQ \Rightarrow \angle SJI = \angle CQP = \angle CAI, and therefore ACJIACJI is a cyclic quadrilateral.

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.