Consider three points A, B, C on a circle Γ, with ∠BAC>90∘. Let d denote the line tangent to Γ at A. Points M and N are chosen on d such that ∠MBA=∠ABC and ∠NCA=∠ACB. Prove that A is the midpoint of segment MN.
Solution
Let U be the intersection point of BM and CN. Then A is the incentre of triangle UBC, because AB and AC are angle bisectors by definition of M and N. In particular, AU is the angle bisector of ∠MUN.
Because MN is tangent to Γ, the Alternate Segment Theorem gives us ∠MAB=∠ACB=∠ACN ∠NAC=∠ABC=∠ABM. Hence also ∠BMA=∠BAC=∠ANC, which shows that △MUN is isosceles with ∣MU∣=∣NU∣. The angle bisector AU is therefore a median as well, hence A is the midpoint of MN.
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.