Maths Olympiad Prep

Track / Stage 8 / 102 of 180 #1802 of 1964

Problem 1802

IMO Shortlist mid-range; USAMO P2/P5
Geometry Difficulty 8.3 Prove it

Given an acute-angled AB\vartriangle ABC with altitude AHAH ( BAC>45o>AB\angle BAC > 45^o > \angle ABC). The perpendicular bisector of ABAB intersects BCBC at point DD. Let KK be the midpoint of BFBF, where FF is the foot of the perpendicular from CC on ADAD. Point HH' is the symmetric to HH wrt KK. Point PP lies on the line ADAD, such that HPABH'P \perp AB. Prove that AK=KPAK = KP.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Set up the coordinate system:
- Place point D D at the origin, i.e., D=(0,0) D = (0,0) .
- Place point A A at (1,0) (1,0) .

2. Determine coordinates of other points:
- Since D D is the origin and A A is at (1,0) (1,0) , we need to find the coordinates of B B and C C .
- Let B=(xB,yB) B = (x_B, y_B) and C=(xC,yC) C = (x_C, y_C) .

3. **Use the perpendicular bisector of AB AB :**
- The perpendicular bisector of AB AB will be a vertical line passing through the midpoint of AB AB .
- The midpoint of AB AB is (1+xB2,yB2) \left( \frac{1 + x_B}{2}, \frac{y_B}{2} \right) .
- Since the perpendicular bisector is vertical, it intersects BC BC at point D D , which is the origin.

4. **Find the foot of the perpendicular from C C to AD AD :**
- The line AD AD is the x-axis since D D is the origin and A A is at (1,0) (1,0) .
- The foot of the perpendicular from C C to AD AD is the projection of C C onto the x-axis, which is F=(xC,0) F = (x_C, 0) .

5. **Determine the midpoint K K of BF BF :**
- B=(xB,yB) B = (x_B, y_B) and F=(xC,0) F = (x_C, 0) .
- The midpoint K K of BF BF is K=(xB+xC2,yB2) K = \left( \frac{x_B + x_C}{2}, \frac{y_B}{2} \right) .

6. **Find the symmetric point H H' of H H with respect to K K :**
- Let H=(xH,yH) H = (x_H, y_H) .
- The symmetric point H H' with respect to K K is given by H=2KH H' = 2K - H .
- Therefore, H=(2(xB+xC2)xH,2(yB2)yH) H' = \left( 2 \left( \frac{x_B + x_C}{2} \right) - x_H, 2 \left( \frac{y_B}{2} \right) - y_H \right) .
- Simplifying, H=(xB+xCxH,yByH) H' = (x_B + x_C - x_H, y_B - y_H) .

7. **Find point P P on line AD AD such that HPAB H'P \perp AB :**
- Since AD AD is the x-axis, P P lies on the x-axis, so P=(p,0) P = (p, 0) .
- HPAB H'P \perp AB implies that the slope of HP H'P is the negative reciprocal of the slope of AB AB .
- The slope of AB AB is yBxB1 \frac{y_B}{x_B - 1} .
- The slope of HP H'P is yByHxB+xCxHp \frac{y_B - y_H}{x_B + x_C - x_H - p} .
- Setting the product of the slopes to -1, we get:
yByHxB+xCxHpyBxB1=1 \frac{y_B - y_H}{x_B + x_C - x_H - p} \cdot \frac{y_B}{x_B - 1} = -1
- Solving for p p , we get:
(yByH)(xB1)=yB(xB+xCxHp) (y_B - y_H)(x_B - 1) = -y_B(x_B + x_C - x_H - p)
(yByH)(xB1)=yBxByBxC+yBxH+yBp (y_B - y_H)(x_B - 1) = -y_B x_B - y_B x_C + y_B x_H + y_B p
yBp=(yByH)(xB1)+yBxB+yBxCyBxH y_B p = (y_B - y_H)(x_B - 1) + y_B x_B + y_B x_C - y_B x_H
p=(yByH)(xB1)+yBxB+yBxCyBxHyB p = \frac{(y_B - y_H)(x_B - 1) + y_B x_B + y_B x_C - y_B x_H}{y_B}

8. **Prove that AK=KP AK = KP :**
- The distance AK AK is:
AK=(xB+xC21)2+(yB2)2 AK = \sqrt{\left( \frac{x_B + x_C}{2} - 1 \right)^2 + \left( \frac{y_B}{2} \right)^2}
- The distance KP KP is:
KP=(xB+xC2p)2+(yB2)2 KP = \sqrt{\left( \frac{x_B + x_C}{2} - p \right)^2 + \left( \frac{y_B}{2} \right)^2}
- To prove AK=KP AK = KP , we need to show:
(xB+xC21)2+(yB2)2=(xB+xC2p)2+(yB2)2 \left( \frac{x_B + x_C}{2} - 1 \right)^2 + \left( \frac{y_B}{2} \right)^2 = \left( \frac{x_B + x_C}{2} - p \right)^2 + \left( \frac{y_B}{2} \right)^2
- Simplifying, we get:
(xB+xC21)2=(xB+xC2p)2 \left( \frac{x_B + x_C}{2} - 1 \right)^2 = \left( \frac{x_B + x_C}{2} - p \right)^2
- Taking the square root of both sides, we get:
xB+xC21=xB+xC2p \left| \frac{x_B + x_C}{2} - 1 \right| = \left| \frac{x_B + x_C}{2} - p \right|
- Since p p is on the x-axis, we have:
p=1 p = 1
- Therefore, AK=KP AK = KP .

\blacksquare

The final answer is AK=KP \boxed{ AK = KP } .

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.