Maths Olympiad Prep

Library / Bulgarian Mathematical Competitions /25 of 92

Bulgarian Mathematical Competitions

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=AI∩CJS = 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 PQ⊥BDPQ \perp BD.

On the other hand, ∠SJI=∠CAI=∠CQP\angle SJI = \angle CAI = \angle CQP, which implies that IJ∥PQIJ \parallel PQ. Therefore IJ⊥BDIJ \perp BD, which means that the incircles of △ABD\triangle ABD and △BCD\triangle BCD are tangent to each other at a point T∈BDT \in BD. Then
DT=AD+BD−AB2=BD+CD−BC2⟺AB+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 I∈ACI \in AC, then J∈ACJ \in AC. Suppose that I∉ACI \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 IJ⊥BD⇒IJ∥PQ⇒∠SJI=∠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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.