Let Γ be the incircle of a none-isosceles triangle ABC, I be its center. Let A1, B1, C1 be the tangency points of Γ with the sides BC, AC, AB, respectively. Let A2=Γ∩AA1, M=C1B1∩AI, P and Q be the other (different from A1, A2) intersection points of A1M, A2M and Γ, respectively. Prove that A, P, Q are collinear.
Solution
We first show that the quadrilateral A1IMA2 is cyclic. Indeed, C1B1⊥AI and IC1⊥AB. So, C1M is an altitude in the right-angled triangle AIC1, whence AM⋅AI=AC12. Further, by the power of a point theorem, AC12=A2A⋅AA1. So, AM⋅AI=AC12=A2A⋅AA1, hence A1IMA2 is cyclic. Therefore, ∠IMA1=∠IA2A1, ∠A2MI+∠IA1A2=180∘. Since IA2=IA1 we have ∠IA2A1=∠IMA1. Hence, ∠QMI=180∘−∠A2MI=∠IA1A2=∠IA2A1=∠IMA1.(1) From (1) it follows that the symmetrical image of the line A2Q with respect to the line AI is PA1. Hence P is the image of A2 and Q is the image of A1. Therefore the line PQ is the image of A2A1 with respect to the line AI, thus the statement follows.
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.