Maths Olympiad Prep

Library / National mathematical Olympiad Final round /1 of 3

National mathematical Olympiad Final round

Geometry Difficulty 6.3 National Olympiad Prove it Bulgaria

The incircle of △ABC\triangle ABC has center II and touches the sides BCBC, ACAC and ABAB at points A1A_1, B1B_1 and C1C_1, respectively. An arbitrary line ℓ\ell through II is given and the points A′A', B′B' and C′C' are symmetric to A1A_1, B1B_1 and C1C_1, respectively, with respect to ℓ\ell. Prove that the lines AA′AA', BB′BB' and CC′CC' are concurrent.

Solution

Denote by dc(X)d_c(X) the distance from the point XX to the line ABAB and analogously for the lines BCBC and CACA. It is not difficult to see that the Sine version of the Ceva theorem implies that the equality
db(A′)dc(A′)⋅dc(B′)da(B′)⋅da(C′)db(C′)=1 \frac{d_b(A')}{d_c(A')} \cdot \frac{d_c(B')}{d_a(B')} \cdot \frac{d_a(C')}{d_b(C')} = 1
is necessary and sufficient for the lines AA′AA', BB′BB' and CC′CC' to be concurrent.

Note that B1A′=A1B′B_1A' = A_1B'. Moreover, since the lines CBCB and CACA are tangent to the incircle, we have ∠B′A1B=12B′A1=12A′B1=∠A′B1C\angle B'A_1B = \frac{1}{2} B'A_1 = \frac{1}{2} A'B_1 = \angle A'B_1C. Then da(B′)=A1B′sin⁡∠B′A1B=B1A′sin⁡∠A′B1C=db(A′)d_a(B') = A_1B' \sin \angle B'A_1B = B_1A' \sin \angle A'B_1C = d_b(A'). We analogously obtain db(C′)=dc(B′)d_b(C') = d_c(B') and dc(A′)=da(C′)d_c(A') = d_a(C') which completes the proof.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.