Maths Olympiad Prep

Library / /438 of 520

Geometry Difficulty 3.9 AMC 10/12 Prove it

Let ABC\triangle ABC be an acute triangle, and let IB,IC,I_B, I_C, and OO denote its BB-excenter, CC-excenter, and circumcenter, respectively. Points EE and YY are selected on AC\overline{AC} such that ABY=CBY\angle ABY = \angle CBY and BEAC.\overline{BE}\perp\overline{AC}. Similarly, points FF and ZZ are selected on AB\overline{AB} such that ACZ=BCZ\angle ACZ = \angle BCZ and CFAB.\overline{CF}\perp\overline{AB}.
Lines IBFI_B F and ICEI_C E meet at P.P. Prove that PO\overline{PO} and YZ\overline{YZ} are perpendicular.

Solution

This problem can be proved in the following two steps.
1. Let IAI_A be the AA-excenter, then IA,O,I_A,O, and PP are colinear. This can be proved by the Trigonometric Form of Ceva's Theorem for IAIBIC.\triangle I_AI_BI_C.
2. Show that IAY2IAZ2=OY2OZ2,I_AY^2-I_AZ^2=OY^2-OZ^2, which implies OIAYZ.\overline{OI_A}\perp\overline{YZ}. This can be proved by multiple applications of the Pythagorean Thm.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.