Dùng vị tự quay để giải một bài toán

Bài 1 (Trần Việt Hùng): Cho tam giác ABC nội tiếp (O) và đường tròn mixtilinear (D) ứng với góc A tiếp xúc với (O), AB, AC tại X, E, F. AX cắt đường tròn (D) tại K. L là điểm đối tâm của K đối với (D). EF cắt KL tại M. AL cắt (ABC) tại điểm thứ hai là N. Chứng minh XM vuông XN

Lời giải:

Ý tưởng là chứng minh $\angle MXA=\angle NXL$ Gọi MX cắt (D) tại R, Gọi A' là điểm đối tâm của A đối với (O) thì ta có X, L, A' thẳng hàng.
Ta có được: $\angle XAR=\angle XA'N$ ta cần chứng minh: $\Delta AXR \sim \Delta A'XN$ dùng phép vị tự quay tâm X ta đưa về bài toán $\Delta RXN \sim \Delta AXA'$
Mặt khác ta có: $\frac{RE}{RF}=\frac{XE}{XF}=\frac{KE}{KF}=\frac{LE}{LF}$ suy ra tứ giác RELF là tứ giác điều hòa suy ra L, R, A thẳng hàng.
Như vậy ta có: $\angle XNA= \angle XA'A$
Và $\angle XRN=\angle XKL=\angle XAA'$ ( do X là tâm vị tự của (D) biến thành (O) nên KL//AA' )
Như vậy ta có đpcm