Maths Olympiad Prep

Library / /138 of 299

Geometry Difficulty 6.4 National Olympiad Prove it Iran

Triangle ABC is an acute-angled triangle with orthocenter H. Point P is inside triangle BHCBHC such that 3HBC=HPC3\angle HBC = \angle HPC and 3HCB=HPB3\angle HCB = \angle HPB. Denote by X and Y, the reflection of P with respect to BHBH and CHCH, respectively. If S is the circumcenter of triangle AXYAXY, prove that CAP=BAS\angle CAP = \angle BAS.

Solution

Let's assume that the feet of AA, BB, CC correspond to points DD, EE, FF, respectively. We apply an inversion with radius AHAD\sqrt{AH \cdot AD}. In this inversion, points DD, HH, as well as FF, BB, and EE, CC, interchange with each other. We aim to prove that point PP goes to the nine point center of ABCABC (N9N_9). We use directed angles modulo 180180^\circ. Let's suppose that the image of PP after inversion is PP' and MM, NN be the midpoints of the sides ACAC and ABAB.

Figure 1

CPH+HAC=DPE=4CBH \angle CPH + \angle HAC = \angle DP'E = 4\angle CBH
MM is the center of the cyclic quadrilateral ABDEABDE, so:
DME=2HBC \angle DME = 2\angle HBC
Also N9N_9 is the circumcenter of MDEMDE. Which implies:
DN9E=2DME=DPE \angle DN_9E = 2\angle DME = \angle DP'E
In the same way we obtain:
FN9D=FPD \angle FN_9D = \angle FP'D
Finally we can conclude P=N9P' = N_9.

Now we will find the images of XX, YY after inversion. Let XX', YY' be these images. As CHCH is the perpendicular bisector of PYPY, after the inversion the circumcircle of ADEADE is the AA-Apollonian circle in the triangle AYN9AY'N_9. The center of this circle is MM so MM, N9N_9, YY' are collinear and:
MA2=MN9MY MA^2 = MN_9 \cdot MY'
ASAS becomes the AA-altitude in AXYAX'Y'.

Figure 2

We claim ABCAYXABC \sim AY'X'. First we calculate the ratio AYAX\frac{AY'}{AX'}.
AMN9YMA    AYAN9=AMMN9 AMN_9 \sim Y'MA \implies \frac{AY'}{AN_9} = \frac{AM}{MN_9}
Similarly
AN9AX=NN9AN    AYAX=AMANNN9MN9=ABAC \frac{AN_9}{AX'} = \frac{NN_9}{AN} \implies \frac{AY'}{AX'} = \frac{AM}{AN} \cdot \frac{NN_9}{MN_9} = \frac{AB}{AC}
Then we calculate the angle XAYX'AY'.
XAY=YAB+XACBAC=AN9M+AN9NBAC=BAC. \angle X'AY' = \angle Y'AB + \angle X'AC - \angle BAC = \angle AN_9M + \angle AN_9N - \angle BAC = \angle BAC.
Hence the claimed similarity is proven. Now let the line perpendicular to XYX'Y' be \ell. We use again directed angles modulo 180180^\circ.
,AC=AX,AC=ACB90+NN9A=ACB+NN9,AC+AC,AN990=BAC+CAN=BAN9 \begin{aligned} \angle \ell, AC &= \angle AX', AC = \angle ACB - 90^\circ + \angle NN_9A \\ &= \angle ACB + \angle NN_9, AC + \angle AC, AN_9 - 90^\circ = \angle BAC + \angle CAN = \angle BAN_9 \end{aligned}
The final equality proves the desired result. ■

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.