Olympiad Maths Prep

Track / Stage 7 / 102 of 300 #1502 of 2000

Problem 1502

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.2 Prove it

Point LL inside triangle ABCABC is such that CL=ABCL = AB and BAC+BLC=180 \angle BAC + \angle BLC = 180^{\circ}. Point KK on the side ACAC is such that KLBCKL \parallel BC. Prove that AB=BKAB = BK

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Given that point L L inside triangle ABC ABC is such that CL=AB CL = AB and BAC+BLC=180 \angle BAC + \angle BLC = 180^\circ . This implies that BAC \angle BAC and BLC \angle BLC are supplementary angles. Therefore, we have:
sinBAC=sinBLC \sin \angle BAC = \sin \angle BLC

2. Using the Law of Sines in BLC \triangle BLC and ABC \triangle ABC , we get:
LCsinLBC=BCsinBLCandABsinBCA=BCsinBAC \frac{LC}{\sin \angle LBC} = \frac{BC}{\sin \angle BLC} \quad \text{and} \quad \frac{AB}{\sin \angle BCA} = \frac{BC}{\sin \angle BAC}

3. Since sinBAC=sinBLC \sin \angle BAC = \sin \angle BLC , we can equate the two expressions:
LCsinLBC=ABsinBCA \frac{LC}{\sin \angle LBC} = \frac{AB}{\sin \angle BCA}

4. Given LC=AB LC = AB , we substitute LC LC with AB AB :
ABsinLBC=ABsinBCA \frac{AB}{\sin \angle LBC} = \frac{AB}{\sin \angle BCA}

5. Simplifying, we find:
sinLBC=sinBCA \sin \angle LBC = \sin \angle BCA

6. Since L L is inside ABC \triangle ABC , the angles LBC \angle LBC and BCA \angle BCA cannot sum to 180 180^\circ . Therefore, we must have:
LBC=BCA \angle LBC = \angle BCA

7. Since KLBC KL \parallel BC , KLC=BCA \angle KLC = \angle BCA by the Alternate Interior Angles Theorem. Thus, KLC=LBC \angle KLC = \angle LBC .

8. This implies that KLC \triangle KLC is isosceles with KL=LC KL = LC . Given LC=AB LC = AB , we have:
KL=AB KL = AB

9. Since KLBC KL \parallel BC and K K lies on AC AC , CKLB CKLB forms an isosceles trapezoid with CK=LB CK = LB and KL=AB KL = AB .

10. The diagonals of an isosceles trapezoid are equal, so:
BK=LC=AB BK = LC = AB

Therefore, we have proven that AB=BK AB = BK .

\blacksquare

The final answer is AB=BK \boxed{ AB = BK }

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