Olympiad Maths Prep

Track / Stage 7 / 59 of 300 #1459 of 2000

Problem 1459

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

Let ABCABC be an isosceles triangle (AB=BCAB=BC) and \ell be a ray from BB. Points PP and QQ of \ell lie inside the triangle in such a way that BAP=QCA\angle BAP=\angle QCA. Prove that PAQ=PCQ\angle PAQ=\angle PCQ.

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: ABC \triangle ABC is an isosceles triangle with AB=BC AB = BC . Let \ell be a ray from B B . Points P P and Q Q on \ell lie inside the triangle such that BAP=QCA \angle BAP = \angle QCA .

2. Claim: Let Q Q' be the reflection of Q Q over the angle bisector of ABC \angle ABC . Then (P,Q) (P, Q') are isogonal conjugate pairs.

3. Proof of Claim:
- Since BAP=QCA \angle BAP = \angle QCA and Q Q' is the reflection of Q Q over the angle bisector of ABC \angle ABC , we have BAP=QAC \angle BAP = \angle Q'AC .
- This implies that lines AP AP and AQ AQ' are isogonal with respect to BAC \angle BAC .
- Similarly, lines BP BP and BQ BQ' are isogonal with respect to ABC \angle ABC .
- Therefore, (P,Q) (P, Q') are isogonal conjugates. \blacksquare

4. Similarly, let P P' be the reflection of P P over the angle bisector of ABC \angle ABC . Then (Q,P) (Q, P') are also isogonal conjugates.

5. Angle Relationships:
- Since BAP=QAC \angle BAP = \angle Q'AC , we have BAP+PAP=QAQ+QAC \angle BAP + \angle PAP' = \angle QAQ' + \angle Q'AC .
- This simplifies to PAP=QAQ \angle PAP' = \angle QAQ' .

6. Similarly, PCP=QCQ \angle PCP' = \angle QCQ' .

7. Symmetry:
- Due to the symmetry of the isosceles triangle BAC \triangle BAC , we have QAQ=QCQ \angle QAQ' = \angle QCQ' .

8. Conclusion:
- Therefore, PAP=QAQ=QCQ=PCP \angle PAP' = \angle QAQ' = \angle QCQ' = \angle PCP' .

9. Final Step:
- Since QAC=BCP \angle Q'AC = \angle BCP' (both points are reflections over the angle bisector and BAC \triangle BAC is isosceles), we can conclude that:
- BAP+PAQ+QAQ+QAC=BCP+PCP+PCQ+QCA \angle BAP + \angle PAQ + \angle QAQ' + \angle Q'AC = \angle BCP' + \angle P'CP + \angle PCQ + \angle QCA .

10. Therefore, PAQ=PCQ \boxed{\angle PAQ = \angle PCQ} .

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