Maths Olympiad Prep

Library / /56 of 70

Geometry Difficulty 8.5 Shortlist Prove it Romania

Let ABCABC be a triangle such that AB<ACAB < AC. The perpendicular bisector of the side BCBC meets the side ACAC at the point DD, and the (interior) bisectrix of the angle ADBADB meets the circumcircle ABCABC at the point EE. Prove that the (interior) bisectrix of the angle AEBAEB and the line through the incentres of the triangles ADEADE and BDEBDE are perpendicular.

Solution

The lines BCBC and DEDE are parallel, so the angles BEDBED and DAEDAE are equal. Then so are the angles AEDAED and DBEDBE. Let II and JJ be the incentres of the triangles ADEADE and BDEBDE, respectively. It follows that the triangles DIEDIE and DJBDJB are similar, so DI/DE=DJ/DBDI/DE = DJ/DB. Since the angles IDJIDJ and EDBEDB are equal, the triangles DIJDIJ and DEBDEB are similar, so the angles DIJDIJ and DEBDEB are equal. Let the line BEBE meet the line IJIJ at the point FF. Notice that the quadrangle DIEFDIEF is cyclic to deduce that the angles EFIEFI and EDIEDI are both equal to one half of the angle ACBACB. Consequently, the line IJIJ is parallel to the exterior bisectrix of the angle AEBAEB. The conclusion follows.

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.