Maths Olympiad Prep

Track / Stage 8 / 121 of 180 #1821 of 1964

Problem 1821

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.

Next problem →

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 reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.