Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /223 of 359

Taiwan IMO Selection Camp

Geometry Difficulty 6.2 National Olympiad Prove it Taiwan

In the plane, there is a scalene triangle ABCABC and a point PP outside it. On rays ABAB, ACAC take points B′B' and C′C' respectively, such that AB′=ACAB' = AC, AC′=ABAC' = AB. Let point QQ be the reflection of PP with respect to line BCBC. Suppose the circumcircles of △BB′P\triangle BB'P and △CC′P\triangle CC'P meet again at point P′P', and the circumcircles of △BB′Q\triangle BB'Q and △CC′Q\triangle CC'Q meet again at point Q′Q'. Let points OO, O′O' be the circumcenters of △ABC\triangle ABC and △AB′C′\triangle AB'C' respectively. Prove that
(1) O′O', P′P', Q′Q' are collinear.
(2) O′P′⋅O′Q′=OA2O'P' \cdot O'Q' = OA^2

Solution

1. Clearly BB, CC, B′B', C′C' are concyclic, since they form an isosceles trapezoid. Applying the radical axis theorem to this circle and the circumcircles of △BB′P\triangle BB'P, △CC′P\triangle CC'P, we get that AA, PP, P′P' are collinear. Similarly AA, QQ, Q′Q' are collinear. Since AP⋅AP′=AB⋅AB′=AQ⋅AQ′AP \cdot AP' = AB \cdot AB' = AQ \cdot AQ', it follows that PP, QQ, P′P', Q′Q' are concyclic.

2. Let O1O_1 be the other intersection point of the circumcircles of △BB′O′\triangle BB'O' and △CC′O′\triangle CC'O'. As in 1., AA, O′O', O1O_1 are collinear, and QQ, Q′Q', O′O', O1O_1 are concyclic.

3. Observe that △ABC\triangle ABC and △AB′C′\triangle AB'C' are symmetric with respect to the internal angle bisector of ∠A\angle A, and ∠B′C′A=∠B\angle B'C'A = \angle B, so we get
∠OAC=90∘−∠B=90∘−∠B′C′A\angle OAC = 90^\circ - \angle B = 90^\circ - \angle B'C'A, i.e. AO⊥B′C′AO \perp B'C'. Using the symmetry again, we know that
AO′⊥BCAO' \perp BC. Therefore AO′O1∥PQAO'O_1 \parallel PQ.

4. Let aa, bb, cc, RR, △ha\triangle h_a be the three side lengths, the circumradius, the area of the triangle, and the AA-altitude respectively. Since AO′⋅AO1=AB⋅ACAO' \cdot AO_1 = AB \cdot AC,
AO1=AB⋅ACAO′=bcR=bcsin⁡ARsin⁡A=4Δa=2ha. AO_1 = \frac{AB \cdot AC}{AO'} = \frac{bc}{R} = \frac{bc \sin A}{R \sin A} = \frac{4\Delta}{a} = 2h_a.
Hence the reflection of AA with respect to line BCBC is O1O_1. Therefore PQAO1PQAO_1 is an isosceles trapezoid.

Figure 1

5. By 1. and 3., we know ∠QQ′P′=∠QPP′=∠PAO1\angle QQ'P' = \angle QPP' = \angle PAO_1. Also by 2. and 4., we know ∠QQ′O′=∠QO1A=∠PAO1\angle QQ'O' = \angle QO_1A = \angle PAO_1. From this it is proved that O′O', P′P', Q′Q' are collinear.
Since ∠AQ′P′=∠QQ′P′=∠PAO1=∠P′AO1\angle AQ'P' = \angle QQ'P' = \angle PAO_1 = \angle P'AO_1, we get that O′AO'A is tangent to the circumcircle of △AP′Q′\triangle AP'Q' at AA, so O′P′⋅O′Q′=O′A2=OA2O'P' \cdot O'Q' = O'A^2 = OA^2. Q.E.D.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty) added by this project.