Maths Olympiad Prep

Library / /332 of 520

Geometry Difficulty 7.1 National olympiad, round 2 Prove it

Let PP be a point inside a triangle ABCABC such that PAB=PCA\angle PAB = \angle PCA and $\angle PAC =
\angle PBA$.
If OPO \ne P is the circumcenter of ABC\triangle ABC, prove that APO\angle APO is right.

Solution

1. Representation of Vertices on the Unit Circle:
Let a,b,c a, b, c be complex numbers representing the vertices A,B,C A, B, C of the triangle ABC \triangle ABC on the unit circle centered at the origin 0 0 . This means a=b=c=1 |a| = |b| = |c| = 1 .

2. Similarity of Triangles:
Given that PABPCA \triangle PAB \sim \triangle PCA in the same orientation, we can write the similarity condition as:
paba=pcca \frac{p-a}{b-a} = \frac{p-c}{c-a}
Solving for p p , we get:
paba=pcca    (pa)(ca)=(pc)(ba) \frac{p-a}{b-a} = \frac{p-c}{c-a} \implies (p-a)(c-a) = (p-c)(b-a)
Expanding and simplifying:
pcpaac+a2=pbpabc+ac pc - pa - ac + a^2 = pb - pa - bc + ac
pcbc=pbpa+a2ac pc - bc = pb - pa + a^2 - ac
p(cb)=a2ac+bc p(c - b) = a^2 - ac + bc
p=a2ac+bccb p = \frac{a^2 - ac + bc}{c - b}
Simplifying further:
p=bca2b+c2a p = \frac{bc - a^2}{b + c - 2a}

3. **Expression for pap0\frac{p-a}{p-0}:**
We need to find the expression for pap\frac{p-a}{p}:
pap=bca2b+c2aabca2b+c2a \frac{p-a}{p} = \frac{\frac{bc - a^2}{b + c - 2a} - a}{\frac{bc - a^2}{b + c - 2a}}
Simplifying the numerator:
bca2a(b+c2a)bca2=bca2abac+2a2bca2=bcabac+a2bca2 \frac{bc - a^2 - a(b + c - 2a)}{bc - a^2} = \frac{bc - a^2 - ab - ac + 2a^2}{bc - a^2} = \frac{bc - ab - ac + a^2}{bc - a^2}
pap=(ab)(ac)bca2 \frac{p-a}{p} = \frac{(a-b)(a-c)}{bc - a^2}

4. Conjugate and Orthogonality:
Since a,b,c a, b, c lie on the unit circle, their conjugates are their reciprocals. We need to show that:
pap=(pap) \frac{p-a}{p} = -\overline{\left(\frac{p-a}{p}\right)}
This implies:
(ab)(ac)bca2=(ab)(ac)bca2 \frac{(a-b)(a-c)}{bc - a^2} = -\frac{\overline{(a-b)(a-c)}}{\overline{bc - a^2}}
Since a,b,c a, b, c are on the unit circle, we have:
a=1a,b=1b,c=1c \overline{a} = \frac{1}{a}, \quad \overline{b} = \frac{1}{b}, \quad \overline{c} = \frac{1}{c}
Therefore:
(ab)(ac)=(1a1b)(1a1c)=(ba)(ca)abc \overline{(a-b)(a-c)} = \left(\frac{1}{a} - \frac{1}{b}\right)\left(\frac{1}{a} - \frac{1}{c}\right) = \frac{(b-a)(c-a)}{abc}
And:
bca2=1bc1a2=a2bca2bc \overline{bc - a^2} = \frac{1}{bc} - \frac{1}{a^2} = \frac{a^2 - bc}{a^2bc}
Thus:
(ab)(ac)bca2=(ba)(ca)abca2bca2bc=(ba)(ca)a2bc -\frac{\overline{(a-b)(a-c)}}{\overline{bc - a^2}} = -\frac{\frac{(b-a)(c-a)}{abc}}{\frac{a^2 - bc}{a^2bc}} = -\frac{(b-a)(c-a)}{a^2 - bc}
This shows that:
(ab)(ac)bca2=(ba)(ca)a2bc \frac{(a-b)(a-c)}{bc - a^2} = -\frac{(b-a)(c-a)}{a^2 - bc}
Hence:
pap=(pap) \frac{p-a}{p} = -\overline{\left(\frac{p-a}{p}\right)}
This implies that APO=90\angle APO = 90^\circ.

\blacksquare

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.