Maths Olympiad Prep

Track / Stage 7 / 261 of 300 #1661 of 1964

Problem 1661

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

Consider a circle SS, and a point PP outside it. The tangent lines from PP meet SS at AA and BB, respectively. Let MM be the midpoint of ABAB. The perpendicular bisector of AMAM meets SS in a point CC lying inside the triangle ABPABP. ACAC intersects PMPM at GG, and PMPM meets SS in a point DD lying outside the triangle ABPABP. If BDBD is parallel to ACAC, show that GG is the centroid of the triangle ABPABP.

[i]Arnoldo Aguilar (El Salvador)[/i]

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. Define Points and Setup:
- Let S S be the circle, and P P be a point outside S S .
- The tangent lines from P P meet S S at points A A and B B .
- Let M M be the midpoint of AB AB .
- The perpendicular bisector of AM AM meets S S at point C C , which lies inside the triangle ABP ABP .
- Let AC AC intersect PM PM at G G .
- Let PM PM meet S S at point D D , which lies outside the triangle ABP ABP .
- Given that BDAC BD \parallel AC , we need to show that G G is the centroid of triangle ABP ABP .

2. Midpoints and Parallel Lines:
- Let Q Q be the midpoint of AM AM .
- Let T T be the intersection of the perpendicular bisector of AM AM with AP AP .
- Since Q Q is the midpoint of AM AM and QTPM QT \parallel PM , T T is the midpoint of AP AP .

3. Properties of Midpoints and Parallelograms:
- Since C C is the midpoint of AG AG , we have AC=CG AC = CG .
- This implies MCBG MC \parallel BG .
- Given AM=MB AM = MB , we have BG=AD BG = AD .
- Therefore, ADGB ADGB forms a parallelogram, and AG=GB=BD=DA AG = GB = BD = DA .

4. Angle Relationships:
- Since ADP=PDB=BGD=DGA=α \angle ADP = \angle PDB = \angle BGD = \angle DGA = \alpha and BAG=BAD=ABG=ABD=90α \angle BAG = \angle BAD = \angle ABG = \angle ABD = 90^\circ - \alpha , we have BAP=ABP=2α \angle BAP = \angle ABP = 2\alpha .

5. Cyclic Quadrilaterals and Angle Chasing:
- Let R R be the foot of the perpendicular from B B to AG AG .
- Let X X be the intersection of PM PM with S S .
- Since ABX=ADX=α \angle ABX = \angle ADX = \alpha , points R R , X X , and B B are collinear.
- The quadrilateral AMXR AMXR is cyclic, so AMR=AXR=ADB=2α \angle AMR = \angle AXR = \angle ADB = 2\alpha .

6. Isosceles Triangle and Perpendicular Bisector:
- Let T1 T_1 be the intersection of MR MR and AP AP .
- Since AMT1 AMT_1 is isosceles, T1 T_1 lies on the perpendicular bisector of AM AM , so T1=T T_1 = T .
- Also, MRA=MXA=90α \angle MRA = \angle MXA = 90^\circ - \alpha , so MR=AM MR = AM .

7. Cyclic Quadrilateral and Parallel Lines:
- The quadrilateral QCRB QCRB is cyclic, so BQR=BCR=2α \angle BQR = \angle BCR = 2\alpha .
- This implies QRAT QR \parallel AT (since BQR=BAT=2α \angle BQR = \angle BAT = 2\alpha ).
- Since QM=QA QM = QA and MR=RT MR = RT , we have AT=AB AT = AB .

8. Intersection and Centroid:
- Let T T' be the point where BG BG touches AP AP .
- By angle chasing, ABT=ATB=90α \angle ABT' = \angle AT'B = 90^\circ - \alpha , so T=T T' = T .
- Therefore, G G is the intersection of PM PM and BT BT , with M M and T T being midpoints of AB AB and AP AP , respectively.
- Hence, G G is the centroid of triangle ABP ABP .

\blacksquare

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