Maths Olympiad Prep

Track / Stage 6 / 381 of 400 #1381 of 1964

Problem 1381

National Olympiad, first round
Geometry Difficulty 6.5 Prove it

Assume that PP is a point inside triangle ABCABC such that

∣AP∣+∣BP∣∣AB∣=∣BP∣+∣CP∣∣BC∣=∣CP∣+∣AP∣∣CA∣ \frac{|AP|+|BP|}{|AB|}=\frac{|BP|+|CP|}{|BC|}=\frac{|CP|+|AP|}{|CA|}

Let the lines APAP, BPBP, CPCP intersect the circumcircle of triangle ABCABC again at points A′A', B′B', C′C', respectively. Prove that triangles ABCABC and A′B′C′A'B'C' have a common incircle.

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.

Next problem →

Official solution

## Solution.

In triangle ABCABC, we denote the lengths of the sides by a,b,ca, b, c, the semi-perimeter by ss, the radius of the inscribed circle by rr, the radius of the circumscribed circle by RR, and the area by PP. For the triangle A′B′C′A'B'C', we will use the same letters with a prime. We will first show that triangles ABCABC and A′B′C′A'B'C' have the same radii of their inscribed circles.

If we denote the common value of the three fractions in the problem by λ\lambda, solving the system

∣AP∣+∣BP∣=λc,∣BP∣+∣CP∣=λa,∣CP∣+∣AP∣=λb |AP| + |BP| = \lambda c, \quad |BP| + |CP| = \lambda a, \quad |CP| + |AP| = \lambda b

we get

∣AP∣=λ(s−a),∣BP∣=λ(s−b),∣CP∣=λ(s−c) |AP| = \lambda(s-a), \quad |BP| = \lambda(s-b), \quad |CP| = \lambda(s-c)

Multiplying these and using Heron's formula and the formula P=rsP = rs gives

∣AP∣∣BP∣∣CP∣=λ3(s−a)(s−b)(s−c)=λ3P2s=λ3Pr. |AP||BP||CP| = \lambda^3 (s-a)(s-b)(s-c) = \lambda^3 \frac{P^2}{s} = \lambda^3 Pr.

Furthermore, triangles PBCPBC and PC′B′PC'B' are similar because they have three equal angles by the inscribed angle theorem over BC′‾\overline{BC'} and B′C‾\overline{B'C}. From this, it follows that

a′a=∣B′C′∣∣BC∣=∣C′P∣∣BP∣=∣B′P∣∣CP∣ \frac{a'}{a} = \frac{|B'C'|}{|BC|} = \frac{|C'P|}{|BP|} = \frac{|B'P|}{|CP|}

Multiplying this and two analogous relations, we get

a′b′c′abc=∣A′P∣∣B′P∣∣C′P∣∣AP∣∣BP∣∣CP∣ \frac{a' b' c'}{abc} = \frac{|A'P||B'P||C'P|}{|AP||BP||CP|}

On the other hand, from the formula P=abc4RP = \frac{abc}{4R} and the fact that triangles ABCABC and A′B′C′A'B'C' share the same circumscribed circle, it follows that

a′b′c′abc=P′P \frac{a' b' c'}{abc} = \frac{P'}{P}

From (5), we also get

∣B′P∣+∣C′P∣∣B′C′∣=∣BP∣+∣CP∣∣BC∣=λ \frac{|B'P| + |C'P|}{|B'C'|} = \frac{|BP| + |CP|}{|BC|} = \lambda

and similarly,

∣A′P∣+∣B′P∣∣A′B′∣=∣C′P∣+∣A′P∣∣C′A′∣=λ \frac{|A'P| + |B'P|}{|A'B'|} = \frac{|C'P| + |A'P|}{|C'A'|} = \lambda

We conclude that point PP has the same property with respect to triangle A′B′C′A'B'C' as it does with respect to the original triangle, and even with the same ratio λ\lambda. Therefore, an equality analogous to (4) follows directly:

∣A′P∣∣B′P∣∣C′P∣=λ3P′r′ |A'P||B'P||C'P| = \lambda^3 P' r'

Combining relations (4), (6), (7), and (8) gives

P′P=P′r′Pr \frac{P'}{P} = \frac{P' r'}{P r}

from which we finally conclude r′=rr' = r.

Let II be the center of the inscribed circle of triangle ABCABC and DD its tangency point with side BC‾\overline{BC}. Points I′I' and D′D' are defined analogously with respect to triangle A′B′C′A'B'C'. It is a known fact that

∣BD∣=s−b,∣CD∣=s−c |BD| = s - b, \quad |CD| = s - c

which, in combination with (3), gives

∣BP∣∣CP∣=∣BD∣∣CD∣ \frac{|BP|}{|CP|} = \frac{|BD|}{|CD|}

By the angle bisector theorem, we know that PDPD is the angle bisector of ∠BPC\angle BPC. Using relations for triangle A′B′C′A'B'C' analogous to (3), it follows that PD′PD' is the angle bisector of ∠B′PC′\angle B'PC', from which it follows that points D,P,D, P, and D′D' lie on the same line. Furthermore,

∠C′D′P=180∘−∠D′PC′−∠PC′D′=180∘−12∠B′PC′−∠CCB′=180∘−12∠BPC−∠CBB′=180∘−∠BPD−∠DBP=∠PDB. \begin{aligned} \angle C'D'P & = 180^\circ - \angle D'PC' - \angle PC'D' = 180^\circ - \frac{1}{2} \angle B'PC' - \angle CCB' \\ & = 180^\circ - \frac{1}{2} \angle BPC - \angle CBB' = 180^\circ - \angle BPD - \angle DBP = \angle PDB. \end{aligned}

Since I′D′⊥B′C′I'D' \perp B'C' and ID⊥BCID \perp BC, we have ∠DD′I′=∠IDD′\angle DD'I' = \angle IDD'. If I′≠II' \neq I, we conclude that DD′II′DD'II' or DD′I′IDD'I'I is an isosceles trapezoid, so the line II′II' is parallel to the line PDPD. Similarly, it would follow that II′II' is parallel to the other two lines passing through PP and one tangency point of the inscribed circle with a side of triangle ABCABC. This leads to a contradiction with the fact that at least two of these three lines through PP are distinct, thus proving I′=II' = I. Therefore, the inscribed circles of triangles ABCABC and A′B′C′A'B'C' coincide.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.