Maths Olympiad Prep

Library / Junior Balkan Mathematics Olympiad /9 of 15

Junior Balkan Mathematics Olympiad

Geometry Difficulty 6.7 National Olympiad Prove it JBMO

Problem:
Let ABCABC be an acute angled triangle, let OO be its circumcentre, and let D,E,FD, E, F be points on the sides BC,AC,ABBC, AC, AB, respectively. The circle (c1)(c_1) of radius FAFA, centred at FF, crosses the segment (OA)(OA) at A′A', and the circumcircle (c)(c) of the triangle ABCABC again at KK. Similarly, the circle (c2)(c_2) of radius DBDB, centred at DD, crosses the segment (OB)(OB) at B′B', and the circle (c)(c) again at LL. Finally, the circle (c3)(c_3) of radius ECEC, centred at EE, crosses the segment (OC)(OC) at C′C', and the circle (c)(c) again at MM. Prove that the quadrilaterals BKFA′BKFA', CLDB′CLDB', and AMEC′AMEC' are all cyclic, and their circumcircles share a common point.

Figure 1

Solution

Solution:
We will prove that the quadrilateral BKFA′BKFA' is cyclic and its circumcircle passes through the center OO of the circle (c)(c).

The triangle AFKAFK is isosceles, so m(KFB^)=2m(KAB^)=m(KOB^)m(\widehat{KFB}) = 2 m(\widehat{KAB}) = m(\widehat{KOB}). It follows that the quadrilateral BKFOBKFO is cyclic.

The triangles OFKOFK and OFAOFA are congruent (S.S.S.), hence m(OKF^)=m(OAF^)m(\widehat{OKF}) = m(\widehat{OAF}). The triangle FAA′FAA' is isosceles, so m(FA′A^)=m(OAF^)m\left(\widehat{FA'A}\right) = m(\widehat{OAF}). Therefore m(FA′A^)=m(OKF^)m\left(\widehat{FA'A}\right) = m(\widehat{OKF}), so the quadrilateral OKFA′OKFA' is cyclic.

(1) and (2) prove the initial claim.

Along the same lines, we can prove that the points C,D,L,B′,OC, D, L, B', O and A,M,E,C′,OA, M, E, C', O are concyclic, respectively, so their circumcircles also pass through OO.

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.