Maths Olympiad Prep

Library / /40 of 43

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=180IEG=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,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.