Olympiad Maths Prep

Library / /2 of 6

Geometry Difficulty 6.0 National olympiad Prove it Czech-Polish-Slovak Mathematical Match

Let ABCDABCD be a cyclic quadrilateral and ω\omega its circumcircle. Let II, JJ, and KK be the incenters of the triangles ABCABC, ACDACD, and ABDABD, respectively. Also, let EE be the midpoint of the arc DBDB of ω\omega containing AA. The line EKEK intersects ω\omega at FF (FEF \neq E). Prove that the points CC, FF, II, and JJ lie on the same circle.

Solution

Let MM and NN be the midpoints of the arcs ABAB and ADAD (not containing any other vertices of ABCDABCD), respectively. Then the incenter II lies on CMCM, the incenter JJ lies on CNCN, and the incenter KK lies on BNBN. Moreover, we have
MI=MA=MBandNJ=NA=ND=NK(1) MI = MA = MB \quad \text{and} \quad NJ = NA = ND = NK \quad (1)
(these well-known relations follow from an easy angle chasing).

Observe also that the incenter KK necessarily lies in the interior of the isosceles triangle BDEBDE, hence the line EKEK intersects the segment BDBD and the point FF lies on the same side of BDBD as CC (Fig. 2).

Figure 1
Fig. 2

Consider now the arc BDBD of ω\omega containing AA. The point EE is the midpoint of this arc, and the points MM and NN are the midpoints of the subarcs BABA and ADAD, respectively. It follows that the subarcs BMBM and ENEN are of equal length (and similarly the subarcs MEME and NDND are of equal length). Thus
BFM=EFN=KFN.(2) \angle BFM = \angle EFN = \angle KFN. \quad (2)

But clearly we have
BMF=BNF=KNF.(3) \angle BMF = \angle BNF = \angle KNF. \qquad (3)
The equalities (2) and (3) imply that the triangles MBFMBF and NKFNKF are similar, and with the same orientation. Therefore
MBMF=NKNF, \frac{MB}{MF} = \frac{NK}{NF},
which by an application of (1) can be rewritten as
MIMF=NJNF. \frac{MI}{MF} = \frac{NJ}{NF}.
This, together with the relation
IMF=CMF=CNF=JNF, \angle IMF = \angle CMF = \angle CNF = \angle JNF,
proves that the triangles MIFMIF and NJFNJF are similar with the same orientation. This orientation-preserving similarity implies that
IFM=JFNandIFJ=MFN. \angle IFM = \angle JFN \quad \text{and} \quad \angle IFJ = \angle MFN.
Hence
IFJ=MFN=MCN=ICJ, \angle IFJ = \angle MFN = \angle MCN = \angle ICJ,
and the points CC, FF, II, JJ are indeed concyclic.

Looking for a route rather than 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.