Lời giải: (tiếp theo)
Nhận xét 2: $X_1T_1,X_2T_2,X_3T_3$ đồng quy tại $Z$.
Chứng minh nhận xét 2:
Áp dụng bổ đề 1 cho chuỗi 4 đường tròn $(O),(A_2),(A_1),(A_3)$, suy ra $X_2,T_3,T_2,X_3 \in (\gamma_1)$.
Tương tự $X_1,T_1,X_2,T_2 \in (\gamma_3)$ và $X_1,T_1,X_3,T_3 \in (\gamma_2)$.
Do đó $X_1T_1,X_2T_2,X_3T_3$ là các trục đẳng phương của $(\gamma_1),(\gamma_2),(\gamma_3)$ nên chúng đồng quy tại $Z$.
==================================
Nhận xét 3: $X_2X_3,T_3T_2,A_3A_2,M_2M_3,I_1K_1$ đồng quy tại $L_1$.
Chứng minh nhận xét 3:
Vẽ $X_2X_3 \cap T_2T_3=L_1$. Trong nhận xét 2, ta đã có $X_2,X_3,T_2,T_3 \in (\gamma_1)$
Nên $ \Rightarrow \overline {L_1 X_2 } .\overline {L_1 X_3 } = \overline {L_1 T_2 } .\overline {L_1 T_3 } \Rightarrow P_{L_1 /\left( {A_1 } \right)} = P_{L_1 /\left( O \right)} \Rightarrow L_1 \in M_2 M_3 $
Áp dụng bổ đề 1 cho chuỗi 4 đường tròn $(O),(A_2),(B_1),(A_3)$ thì $X_2,K_1,I_1,X_3 \in (\gamma_4)$.
Trong nhận xét 1, ta đã chứng minh $I_1,K_1,T_3,T_2 \in (\omega_1)$.
Suy ra $X_3X_2,T_3T_2,I_1K_1$ là các trục đẳng phương của $(\gamma_1),(\gamma_4), (\omega_1)$ và do $L_1=X_2X_3 \cap T_2T_3 \Rightarrow L_1 \in I_1K_1$.
Áp dụng định lý Désargues cho 2 tam giác $A_1T_2T_3$ và $B_1I_1K_1$ có $A_1B_1,T_2I_1,T_3K_1$ đồng quy tại $M_2$ (do nhận xét 1) nên $A_2(=B_1K_1 \cap A_1T_3),A_3(=B_1I_1 \cap A_1T_2),L_1(=I_1K_1 \cap T_3T_2)$ thẳng hàng, tức $L_1 \in A_3A_2$.
Nhận xét 3 được chứng minh.
==================================
Tương tự, ta xác định các điểm $L_1,L_3$. Ta chứng minh các điểm $L_1,L_2,L_3$ thẳng hàng.
Thật vậy, trong $\triangle A_1A_2A_3$, bằng định lý Céva, dễ dàng chứng minh $A_1T_1,A_2T_2,A_3T_3$ đồng quy.
Do đó, áp dụng định lý Désargues cho 2 tam giác $A_1A_2A_3,T_1T_2T_3$ thì ta có $L_1(=A_2A_3 \cap T_2T_3),L_2(=A_1A_3\cap T_1T_3),L_3(=A_1A_2 \cap T_1T_2)$ thẳng hàng.
Mặt khác, từ nhận xét 3 thì $L_1=X_2X_3 \cap T_2T_3,\,\,L_2=M_1X_2 \cap A_1T_2,\,\,L_3=M_1X_3\cap A_1T_3$.
Nên tiếp tục áp dụng định lý Désargues cho 2 tam giác $M_1X_2X_3,A_1T_3T_2$ thì ta có $A_1M_1,T_3X_3,T_2X_2$ đồng quy.
Vì $M_1,A_1,B_1$ thẳng hàng và từ nhận xét 2 nên $Z \in B_1A_1$.
Chứng minh tương tự, ta có $A_1B_1,A_2B_2,A_3B_3,X_1T_1,X_2T_2,X_3T_3$ đồng quy tại $Z$. Chứng minh hoàn tất.
==================================
Nhận xét thêm:
1, Có thể chứng minh trực tiếp $A_1B_1,A_2B_2,A_3B_3$ đồng quy mà không qua nhận xét 2 như sau:
Từ nhận xét 3 thì $L_1=M_2M_3 \cap A_2A_3,\,\, L_2=M_1M_3\cap A_1A_3,\,\, L_3=M_1M_2 \cap A_1A_2$. Nên tiếp tục áp dụng định lý Désargues cho 2 tam giác $A_1A_2A_3$ và $M_1M_2M_3$ thì ta có $A_1M_1,A_2M_2,A_3M_3$ đồng quy, hay $A_1B_1,A_2B_2,A_3B_3$ đồng quy.
2, $L_iH_i$ là tiếp tuyến của $(O) (i=\overline{1,3})$
3, Các bộ đường thẳng $(M_1A_1,M_3J_3,M_2J_2),(M_1K_1,M_2A_2,M_3K_3), (M_1I_1,M_2I_2,M_3A_3)$ thứ tự đồng quy tại $Z_1,Z_2,Z_3$. Và các đường thẳng $T_1Z_1,T_2Z_2,T_3Z_3$ đồng quy.
4, Các bộ đường thẳng $(X_1T_2,X_2T_1,OX_3),(X_1T_3,OX_2,X_3T_1), (OX_1,X_2T_3,X_3T_2)$ tương ứng đồng quy tại $Q_3,Q_2,Q_1$. Và các bộ điểm $(Q_1,Q_2,L_3),(Q_1,L_2,Q_3),(L_1,Q_2,Q_3)$ thẳng hàng.
Các nhận xét thêm 2,3,4 đều có thể dễ dàng chứng minh.