Phép vị tự, nghịch đảo và đường thẳng steiner của tứ giác toàn phần

Bài toán: Cho tam giác ABC nội tiếp (O). Đường tròn nội tiếp (I) tiếp xúc BC, CA, AB tại D, E, F. AO cắt (O) tại A'. kẻ DG vuông EF.
a) Chứng minh rằng G, I, A' thẳng hàng.
b) Gọi H là trực tâm của tam giác ABC. Chứng minh: GD là phân giác của $\angle HGI$

Lời giải:

Cách 1: Gọi Ia, Ib, Ic là tâm đường tròn bàng tiếp góc A, B, C.
Ta có IaIbIc và tam giác DEF có các cạnh lần lượt song song với nhau nên tồn tại phép vị tự tâm K biến tam giác này thành tam giác kia.
Ta có I là trực tâm của tam giác IaIbIc, O là tâm đường tròn Euler nên I' đối xứng I qua O là tâm đường tròn ngoại tiếp tam giác đó
Phép vị tự tâm K biến G thành A, I thành I' nên  GI song song AI'.
Mặt khác AII'A' là hình bình hành( do hai đường chéo cắt nhau tại trung điểm mỗi đường)
Nên ta có IA'//I'A
Vậy G, I, A' thẳng hàng
Cách 2: Phép nghịch đảo tâm I phương tích $r^2$ (r là bán kính đường tròn nội tiếp (I) ). biến đường tròn Euler qua G,M thành (O), EF thành (AIEF). vậy biến G thành T là giao của (AIEF) và (O). T thuộc đường tròn đường kính AI nên $ \angle ATI =90^o$ Vậy TGI đi qua A'.
Cách 3: G(DF,BC)=-1 nên GD là phân giác $\angle GBC$,$\Rightarrow \Delta GBF$  ~ $\Delta CGE$, dùng phép vị tự quay tâm T cho ta $ \frac{TE}{TF}=\frac{EC}{FB}=\frac{EG}{FG} $ nên TG là phân giác TFE, I là trung điểm cung EF cho ta điều phải cm
b) Gọi H' đối xứng I qua EF thì H' là trực tâm của tam giác AEF.

Do R là điểm Miquel của tam giác ABC nên đối xứng của R qua EF sẽ thuộc đường thẳng steiner đi qua H' của tam giác AEF, đi qua H của tam giác DEF, nên R' thuộc HH' là đường thẳng steiner của tứ giác toàn phần BCEF. Mặt khác IR cắt trục đối xứng là EF tại T nên R'TH' thẳng hàng.

Suy ra $\angle  FTR'= $\angle ITE$