Olympiad Maths Prep

Library / /2 of 41

Geometry Difficulty 4.8 AIME Prove it Romania

Let ABCABC be a right triangle with legs ABAB and ACAC. The bisector of the angle ACBACB intersects ABAB in DD and the perpendicular in BB on BCBC in EE. Denote FF the reflection of EE across BB and PP the intersection of the lines DFDF and BCBC. Prove that EPCFEP \perp CF.
Cătălin Cristea

Solution

In BEC\triangle BEC, m(CEB)=180m(EBC)m(ECB)=90m(ECB)m(\angle CEB) = 180^\circ - m(\angle EBC) - m(\angle ECB) = 90^\circ - m(\angle ECB). In ADC\triangle ADC, m(ADC)=180m(DAC)m(ACD)=90m(ACD)m(\angle ADC) = 180^\circ - m(\angle DAC) - m(\angle ACD) = 90^\circ - m(\angle ACD). Since m(ACD)=m(ECB)m(\angle ACD) = m(\angle ECB), it follows ADCCEB\angle ADC \equiv \angle CEB.
Now ADCEDB\angle ADC \equiv \angle EDB. This yields [BD]=[BE][BD] = [BE]. Since [BE]=[BF][BE] = [BF], we infer that [BD]=[BE]=[BF][BD] = [BE] = [BF], so DEF\triangle DEF has the right angle DD.
In CEF\triangle CEF, CBCB and FDFD are altitudes, hence PP is the orthocenter. In conclusion, EPEP is an altitude, that is EPCFEP \perp CF.

Figure 1

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.