Maths Olympiad Prep

Library / Junior Balkan Mathematical Olympiad Shortlist /33 of 36

Junior Balkan Mathematical Olympiad Shortlist

Geometry Difficulty 6.7 National Olympiad Prove it JBMO

Problem:
Let ABCABC be a triangle with incenter II. The points DD and EE lie on the segments CACA and BCBC respectively, such that CD=CECD = CE. Let FF be a point on the segment CDCD. Prove that the quadrilateral ABEFABEF is circumscribable if and only if the quadrilateral DIEFDIEF is cyclic.

Solution

Solution:
Since CD=CECD = CE it means that EE is the reflection of DD on the bisector of ∠ACB\angle ACB, i.e. the line CICI. Let GG be the reflection of FF on CICI. Then GG lies on the segment CECE, the segment EGEG is the reflection of the segment DFDF on the line CICI. Also, the quadrilateral DEGFDEGF is cyclic since ∠DFE=∠EGD\angle DFE = \angle EGD.

Suppose that the quadrilateral ABEFABEF is circumscribable. Since ∠FAI=∠BAI\angle FAI = \angle BAI and ∠EBI=∠ABI\angle EBI = \angle ABI, then II is the centre of its inscribed circle. Then ∠DFI=∠EFI\angle DFI = \angle EFI and since segment EGEG is the reflection of segment DFDF on the line CICI, we have ∠EFI=∠DGI\angle EFI = \angle DGI. So ∠DFI=∠DGI\angle DFI = \angle DGI which means that quadrilateral DIGFDIGF is cyclic. Since the quadrilateral DEGFDEGF is also cyclic, we have that the quadrilateral DIEFDIEF is cyclic.

Figure 1

Suppose that the quadrilateral DIEFDIEF is cyclic. Since quadrilateral DEGFDEGF is also cyclic, we have that the pentagon DIEGFDIEGF is cyclic. So ∠IEB=180∘−∠IEG=∠IDG\angle IEB = 180^{\circ} - \angle IEG = \angle IDG and since segment EGEG is the reflection of segment DFDF on the line CICI, we have ∠IDG=∠IEF\angle IDG = \angle IEF. Hence ∠IEB=∠IEF\angle IEB = \angle IEF, which means that EIEI is the angle bisector of ∠BEF\angle BEF. Since ∠IFA=∠IFD=∠IGD\angle IFA = \angle IFD = \angle IGD and since the segment EGEG is the reflection of segment DFDF on the line CICI, we have ∠IGD=∠IFE\angle IGD = \angle IFE, hence ∠IFA=∠IFE\angle IFA = \angle IFE, which means that FIFI is the angle bisector of ∠EFA\angle EFA. We also know that AIAI and BIBI are the angle bisectors of ∠FAB\angle FAB and ∠ABE\angle ABE. So all angle bisectors of the quadrilateral ABEFABEF intersect at II, which means that it is circumscribable.

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.