Maths Olympiad Prep

Track / Stage 6 / 305 of 400 #1305 of 1964

Problem 1305

National olympiad, first round
Geometry Difficulty 6.5 Prove it

## Task 3.

Assume that PP is a point inside triangle ABCABC such that

AP+BPAB=BP+CPBC=CP+APCA \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 AA', BB', CC', respectively. Prove that triangles ABCABC and ABCA'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.

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 ABCA'B'C', we will use the same letters with a prime. We will first show that triangles ABCABC and ABCA'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=λ(sa),BP=λ(sb),CP=λ(sc) |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

APBPCP=λ3(sa)(sb)(sc)=λ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 PCBPC'B' are similar because they have three equal angles by the inscribed angle theorem over BC\overline{BC'} and BC\overline{B'C}. From this, it follows that

aa=BCBC=CPBP=BPCP \frac{a'}{a} = \frac{|B'C'|}{|BC|} = \frac{|C'P|}{|BP|} = \frac{|B'P|}{|CP|}

Multiplying this and two analogous relations, we get

abcabc=APBPCPAPBPCP \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 ABCA'B'C' share the same circumscribed circle, it follows that

abcabc=PP \frac{a' b' c'}{abc} = \frac{P'}{P}

From (5), we also get

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

and similarly,

AP+BPAB=CP+APCA=λ \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 ABCA'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:

APBPCP=λ3Pr |A'P||B'P||C'P| = \lambda^3 P' r'

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

PP=PrPr \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 II' and DD' are defined analogously with respect to triangle ABCA'B'C'. It is a known fact that

BD=sb,CD=sc |BD| = s - b, \quad |CD| = s - c

which, in combination with (3), gives

BPCP=BDCD \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 ABCA'B'C' analogous to (3), it follows that PDPD' is the angle bisector of BPC\angle B'PC', from which it follows that points D,P,D, P, and DD' lie on the same line. Furthermore,

CDP=180DPCPCD=18012BPCCCB=18012BPCCBB=180BPDDBP=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 IDBCI'D' \perp B'C' and IDBCID \perp BC, we have DDI=IDD\angle DD'I' = \angle IDD'. If III' \neq I, we conclude that DDIIDD'II' or DDIIDD'I'I is an isosceles trapezoid, so the line IIII' is parallel to the line PDPD. Similarly, it would follow that IIII' 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 ABCA'B'C' coincide.

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