Maths Olympiad Prep

Library / /118 of 169

Geometry Difficulty 7.6 National Olympiad, round 2 Prove it United States

Let PP be a point in the plane of ABCABC, and γ\gamma a line passing through PP. Let AA', BB', CC' be the points where the reflections of lines PAPA, PBPB, PCPC with respect to γ\gamma intersect lines BCBC, ACAC, ABAB, respectively. Prove that AA', BB', CC' are collinear.

Figure 1

Solutions — 2

Solution 1

There are several possible configurations depending on the location of PP and the orientation of γ\gamma. We will consider the configuration above but will use directed lengths and angles so our arguments apply to all diagram configurations. By the law of sines on triangles A1PBA_1PB and A1CPA_1CP, we have
BPsinA1PBBA1=sinBA1P=sinPA1C=CPsinCPA1CA1. BP \cdot \frac{\sin \angle A_1 PB}{BA_1} = \sin \angle BA_1 P = \sin \angle PA_1 C = CP \cdot \frac{\sin \angle CPA_1}{CA_1}.
Rearranging and considering the two other analogous equalities yields
BA1A1C=BPsinA1PBCPsinCPA1,CB1B1A=APsinC1PABPsinBPC1,andAC1C1B=CPsinB1PCAPsinAPB1.(9) \frac{BA_1}{A_1C} = -\frac{BP \sin \angle A_1 PB}{CP \sin \angle CPA_1}, \quad \frac{CB_1}{B_1A} = -\frac{AP \sin \angle C_1 PA}{BP \sin \angle BPC_1}, \quad \text{and} \quad \frac{AC_1}{C_1B} = -\frac{CP \sin \angle B_1 PC}{AP \sin \angle APB_1}. \quad (9)

Now, observe that CPA1\angle CPA_1 and C1PA\angle C_1PA are angles between lines which are reflections of each other, meaning that they are either equal or supplementary. In either case, applying analogous arguments, we obtain
sinC1PA=sinCPA1,sinA1PB=sinAPB1,andsinB1PC=sinBPC1. \sin \angle C_1 PA = \sin \angle CPA_1, \quad \sin \angle A_1 PB = \sin \angle APB_1, \quad \text{and} \quad \sin \angle B_1 PC = \sin \angle BPC_1.

Solution 2

Put the points on the complex plane and denote the complex number representing a point by the corresponding lowercase letter. Place PP at the origin and let γ\gamma be the real line, so that reflection about γ\gamma is given by complex conjugation. Now, because A1A_1 lies on BCBC, we have
a1bbc=aˉ1bˉbˉcˉ, \frac{a_1 - b}{b - c} = \frac{\bar{a}_1 - \bar{b}}{\bar{b} - \bar{c}},
while the fact that it lies on the reflection of APAP implies that it is proportional to aˉ\bar{a}, meaning that a1aˉ=aˉ1aˉ\frac{a_1}{\bar{a}} = \frac{\bar{a}_1}{\bar{a}}. Substituting into the previous equation and solving for a1a_1 yields
a1=aˉbˉcbˉcˉaaˉ(bˉcˉcˉ)a(bc). a_1 = \frac{\bar{a}\bar{b}c - \bar{b}\bar{c}a}{\bar{a}(\bar{b}\bar{c} - \bar{c}) - a(b - c)}.
Now, because A1A_1 lies on BCBC, we may compute
BA1A1C=ba1a1c=aˉb(bˉcˉ)ab(bc)aˉ(bˉccˉb)aˉ(bˉccˉb)aˉc(bˉcˉ)+ac(bc)=(aˉbˉab)(bc)(aˉcac)(cb). \frac{BA_1}{A_1C} = \frac{b - a_1}{a_1 - c} = \frac{\bar{a}b(\bar{b} - \bar{c}) - ab(b - c) - \bar{a}(\bar{b}c - \bar{c}b)}{\bar{a}(\bar{b}c - \bar{c}b) - \bar{a}c(\bar{b} - \bar{c}) + ac(b - c)} = \frac{(\bar{a}\bar{b} - ab)(b - c)}{(\bar{a}c - ac)(c - b)}.
Multiplying this with the analogous expressions for CB1B1A\frac{CB_1}{B_1A} and AC1C1B\frac{AC_1}{C_1B}, we obtain
BA1A1CCB1B1AAC1C1B=1, \frac{BA_1}{A_1C} \cdot \frac{CB_1}{B_1A} \cdot \frac{AC_1}{C_1B} = -1,
again yielding the conclusion by Menelaus' theorem.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.