Maths Olympiad Prep

Library / /28 of 28

Geometry Difficulty 8.4 Shortlist Prove it Hong Kong

Let ABCABC be an acute triangle. Suppose a circle Γ1\Gamma_1, with centre O1O_1, touches the sides BCBC produced at EE, ACAC produced at GG, and ABAB at CC'. Suppose also that another circle Γ2\Gamma_2, with centre O2O_2, touches the sides ABAB produced at HH, BCBC produced at FF, and ACAC at BB'. Let the extensions of EGEG and FHFH intersect at PP. Prove that PABCPA \perp BC.

Solution

Let ECEC' meet FBFB' at DD. Note that ECEC' is parallel to the internal angle bisector of CBA\angle CBA, which is BO2BO_2. Therefore, EDPFED \perp PF. Similarly, FDPEFD \perp PE. This implies DD is the orthocentre of PEF\triangle PEF, and hence PDEFPD \perp EF. It suffices to show P,A,DP, A, D are collinear, since this would imply PABCPA \perp BC.

Figure 1

Consider (PGB)(PGB') and (PCH)(PC'H). Since AG×AB=AC×AHAG \times AB' = AC' \times AH, the point AA lies on the radical axis of these circles. Thus, PAPA is the radical axis. It remains to show that DD also lies on this radical axis. Indeed, we shall prove that DD lies on both circles. We have
GBD=CBF=BFC=GPD. \angle GB'D = \angle CB'F = \angle B'FC = \angle GPD.
The last equality holds since DD is the orthocentre of PEF\triangle PEF. This implies DD lies on (PGB)(PGB'). The other assertion can be proved similarly. So we are done.

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.