Maths Olympiad Prep

Library / /34 of 48

, 2019

Geometry Difficulty 6.5 National olympiad Prove it Greece

Let AΓ be a triangle with circumcircle c(O,R)c(O, R), such that AB<AΓ<BΓAB < AΓ < BΓ and let ΔΔ be the antipodal point of BB with respect to the circle cc. The perpendicular bisector of BΔ meets BΓ at KK, AΓ at MM and ABAB at NN. The line NΔ intersects the circle cc at point TT. Let ΣΣ be the second point of intersection of the circles c1(O,Γ,M)c_1(O, Γ, M) and c2(O,A,Δ)c_2(O, A, Δ). Prove that the lines AΔ, ΓTΓT and OΣ are concurrent.

Solution

Figure 1

We will prove that the point TT belongs to the circle c1(O,Γ,M)c_1(O, Γ, M) and the point NN belongs to the circle c2(O,A,Δ)c_2(O, A, Δ), that is the quadrilaterals NAOΔNAOΔ and MOΓTMOΓT are cyclic. Then we conclude the following: the line AΔ is the radical axis of the circles CC and c2c_2, the line ΓTΓT is the radical axis of the circles CC and c1c_1 and the line OΣ is the radical axis C1C_1 and C2C_2, and therefore the lines AΔ, ΓTΓT and OΣ are passing through the radical center of the three circles.

Since BΔ is diameter of the circle cc, we have BA^Δ=90B\hat{A}Δ = 90^\circ and so NA^Δ=180BA^Δ=90N\hat{A}Δ = 180^\circ - B\hat{A}Δ = 90^\circ. Also, ONON is the perpendicular bisector of the segment BΔ, and so: NO^Δ=90N\hat{O}Δ = 90^\circ. From the last two angle equalities we conclude that the quadrilateral NAOΔ is cyclic.

The triangle NBΔNBΔ is isosceles with NB=NΔNB = NΔ (because NN belongs to the perpendicular bisector BΔ), and so NB^Δ=NA^BN\hat{B}Δ = N\hat{A}B. Therefore taking in mind that OA=OB=OΔ=OT=ROA = OB = OΔ = OT = R we conclude that the isosceles triangles OABOAB and OΔTOΔT are equal. Therefore
(α) OA=OT and (β) AB=ΔTNA=NT. (\alpha) \ OA = OT \text{ and } (\beta) \ AB = ΔT \Rightarrow NA = NT.
Hence the triangles OANOAN and OTNOTN are equal, because they have their sides equal one to one and so
NO^A=NO^T=12AO^T,(1) N\hat{O}A = N\hat{O}T = \frac{1}{2} \cdot A\hat{O}T, \qquad (1)
Moreover we have that
MΓ^T=AΓ^T=12AO^T(2) M\hat{Γ}T = A\hat{Γ}T = \frac{1}{2} \cdot A\hat{O}T \qquad (2)
From relations (1) and (2) it follows that MΓ^T=NO^T=MO^TM\hat{Γ}T = N\hat{O}T = M\hat{O}T, from which we conclude that the quadrilateral MOΓT is cyclic.

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 and solution reproduced as published; topic and difficulty added by this site.