Maths Olympiad Prep

Library / /483 of 520

Geometry Difficulty 7.4 National olympiad, round 2 Prove it

Let ALA L and BKB K be angle bisectors in the non-isosceles triangle ABCA B C ( LL lies on the side BC,KB C, K lies on the side ACA C ). The perpendicular bisector of BKB K intersects the line ALA L at point MM. Point NN lies on the line BKB K such that LNL N is parallel to MKM K. Prove that LN=NAL N=N A.

Solutions — 2

Solution 1

The point MM lies on the circumcircle of ABK\triangle A B K (since both ALA L and the perpendicular bisector of BKB K bisect the arc BKB K of this circle). Then CBK=\angle C B K= ABK=AMK=NLA\angle A B K=\angle A M K=\angle N L A. Thus ABLNA B L N is cyclic, whence NAL=NBL=\angle N A L=\angle N B L= CBK=NLA\angle C B K=\angle N L A. Now it follows that LN=NAL N=N A.

!

Solution 2

1. Identify Key Points and Properties:
- Let ALAL and BKBK be the angle bisectors of ABC\triangle ABC.
- LL lies on BCBC and KK lies on ACAC.
- The perpendicular bisector of BKBK intersects ALAL at point MM.
- Point NN lies on BKBK such that LNMKLN \parallel MK.
- We need to prove that LN=NALN = NA.

2. Use the Perpendicular Bisector Property:
- The perpendicular bisector of BKBK intersects ALAL at MM, implying that MM is equidistant from BB and KK.
- Since MM lies on the perpendicular bisector of BKBK, MB=MKMB = MK.

3. Cyclic Quadrilateral:
- Since MM is on the perpendicular bisector of BKBK, BKM=BMA\angle BKM = \angle BMA.
- This implies that quadrilateral ABMKABMK is cyclic because BAM=BKM\angle BAM = \angle BKM.

4. Parallel Lines and Cyclic Quadrilateral:
- Given LNMKLN \parallel MK, we have LNB=MKB\angle LNB = \angle MKB.
- Since ABMKABMK is cyclic, MKB=MAB\angle MKB = \angle MAB.
- Therefore, LNB=MAB\angle LNB = \angle MAB.

5. **Cyclic Quadrilateral BANLBANL:**
- From the above, BAL=BNL\angle BAL = \angle BNL.
- This implies that quadrilateral BANLBANL is cyclic.

6. Equal Segments:
- In a cyclic quadrilateral, opposite angles are supplementary.
- Since LNMKLN \parallel MK, and MKMK is a segment of the perpendicular bisector, LNLN must be equal to NANA.

Thus, we have shown that LN=NALN = NA.

\blacksquare

The final answer is LN=NALN = NA

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.