Cho nửa đường tròn tâm O đường kính AB. Trên nửa đường tròn (O) lấy điểm M (M khác A và B). Trên cung MB, lấy điểm N. Kẻ MI vuông góc với AB tại I (I∈AB) và MK vuông góc với AN tại K (K∈AN).

a) Ta có: \[MI \bot AB\] tại \[I\] (\[I\] thuộc \[AB\]).

Suy ra tam giác \[AMI\] vuông tại \[I\].

Do đó ba điểm \(A,M,I\) cùng thuộc đường tròn đường kính \[AM\] (1)

Chứng minh tương tự, ta được: ba điểm \(A,M,K\) cùng thuộc đường tròn đường kính \[AM\] (2)

Từ (1), (2), ta thu được tứ giác \[AIKM\] nội tiếp đường tròn đường kính \[AM\].

b) Vì \(MI \bot AB\) tại \(I\)nên \(\widehat {AIE} = 90^\circ \).

Mà \(\widehat {ANB} = 90^\circ \) (góc nội tiếp chắn nửa đường tròn \(\left( O \right)\)).

Suy ra \(\widehat {AIE} = \widehat {ANB} = 90^\circ \).

Xét \(\Delta AIE\) và \(\Delta ANB\), có:

\(\widehat {EAI}\) chung;

\(\widehat {AIE} = \widehat {ANB} = 90^\circ \) (chứng minh trên).

Do đó (g.g).

Suy ra \(\frac{{AI}}{{AN}} = \frac{{AE}}{{AB}}\).

Vậy \(AI.AB = AE.AN\) (điều phải chứng minh).

Ta có: \(\widehat {MAK} = \widehat {MIK}\) (hai góc nội tiếp cùng chắn của đường tròn đường kính \(AM\)).

Suy ra \(\widehat {MAN} = \widehat {MIK}\).

Mà \(\widehat {MAN} = \widehat {MBN}\) (hai góc nội tiếp cùng chắn của nửa đường tròn \(\left( O \right)\)).

Do đó \(\,\widehat {MIK} = \widehat {MBN}\).

Vì tứ giác \(AIKM\) nội tiếp đường tròn đường kính \(AM\) nên \(\widehat {MAI} + \widehat {MKI} = 180^\circ \) hay \(\widehat {MAB} + \widehat {MKI} = 180^\circ \) (3)

Vì tứ giác \(AMNB\) nội tiếp đường tròn \(\left( O \right)\) nên \(\widehat {MAB} + \widehat {MNB} = 180^\circ \) (4)

Từ (3), (4), ta suy ra \(\widehat {MKI} = \widehat {MNB}\).

Xét \(\Delta MKI\) và \(\Delta MNB\), có:

\(\,\widehat {MKI} = \widehat {MNB}\) (chứng minh trên);

\(\,\widehat {MIK} = \widehat {MBN}\) (chứng minh trên).

Vậy (g.g).

c) Kéo dài \(MH\) cắt \(AB\) tại \(C\).

Ta có: \(MI,AK\) là hai đường cao của \(\Delta MAC\).

Mà \(E\) là giao điểm của \(MI,AK\).

Khi đó \(E\) là trực tâm của \(\Delta MAC\).

Suy ra \(CE \bot MA\) (5)

Ta có: \(\widehat {AMB} = 90^\circ \) (góc nội tiếp chắn nửa đường tròn \(\left( O \right)\)).

Do đó \(AM \bot MB\) (6)

Từ (5), (6), ta suy ra \(CE\parallel MB\).

Áp dụng định lí Thalès, ta được: \(\frac{{IC}}{{CB}} = \frac{{IE}}{{EM}}\) (*)

Ta có: \(\widehat {ANB} = 90^\circ \) (góc nội tiếp chắn nửa đường tròn \(\left( O \right)\)).

Suy ra \(AN \bot NB\).

Mà \(AN \bot HC\) (giả thiết).

Do đó \(HC\parallel NB\).

Áp dụng định lí Thalès, ta được: \(\frac{{IC}}{{CB}} = \frac{{IH}}{{HN}}\) (**)

Từ (*), (**), ta thu được: \(\frac{{IE}}{{EM}} = \frac{{IH}}{{HN}}\).

Áp dụng định lí Thalès đảo, ta được: \(EH\parallel MN\).

Vậy \(EH\parallel MN\) (điều phải chứng minh).