Cho tam giác ABC có ba góc nhọn nội tiếp đường tròn (O). Các đường cao AD, BE, CF cắt nhau tại H và cắt đường tròn (O)

1) AD,BE là đường cao của ∆ABC nên \[\widehat {CEH} = \widehat {HDC} = 90^\circ \]

\[ \Rightarrow \widehat {CEH} + \widehat {HDC} = 180^\circ \]

Suy ra tức giác CEHD là tứ giác nội tiếp (điều cần chứng minh)

Nhận xét: Bài toán chứng minh tứ giác nội tiếp bằng cách chứng minh tổng hai góc đối diện bằng \[180^\circ \]

Tứ giác CEHD có tổng cặp góc đối diện bằng \[180^\circ \]: \[\widehat {CEH} + \widehat {HDC} = 180^\circ \] nên là tứ giác nội tiếp.

2) CF, BE là đường cao của ∆ABC nên \[\widehat {CEB} = \widehat {BFC} = 90^\circ \]

=> Điểm E, F thuộc đường tròn đường kính BC.

=> B, C, E, F cùng nằm trên đường tròn đường kính BC (điều cần chứng minh).

Nhận xét: Bài toán chứng minh bốn điểm cùng nằm trên một đường tròn bằng cách chứng minh hai điểm nhìn một cạnh tạo bởi hai điểm còn lại cùng dưới một góc vuông.

 3) Tam giác AEH và ADH có chung góc tại đỉnh A và \[\widehat {AEH} = \widehat {ADC} = 90^\circ \] nên ∆AEH đồng dạng với ∆ADC \[ \Rightarrow \frac{{AE}}{{AD}} = \frac{{AH}}{{AC}} \Rightarrow AE.AC = AH.AD\] (điều cần chứng minh).

Tam giác BEC và ADC có chung góc tại đỉnh C và \[\widehat {BEC} = \widehat {ADC} = 90^\circ \] nên ∆BEC ∆ADC

\[ \Rightarrow \frac{{BE}}{{AD}} = \frac{{BC}}{{AC}} \Rightarrow AD.BC = CE.AC\] (điều cần chứng minh).

Nhận xét:  Bài toán chứng minh các đẳng thức bằng cách chứng minh các cặp tam giác đồng dạng.

 4) Ta có:

\[\widehat {{A_1}} = \widehat {{C_1}}\] (cùng phụ với \[\widehat {FBC}\]);

\[\widehat {{A_1}} = \widehat {{C_2}}\] (cùng chắn cung của (O));

Suy ra \[\widehat {{C_1}} = \widehat {{C_2}}\]

⇒ CD là phân giác của \[\widehat {HCM}\]

Tam giác CHM có CD vừa là phân giác vừa là đường cao nên cân tại C, suy ra CD đồng thời cũng la trung trực của HM.

⇒ H, M đối xứng với nhau qua BC (điều cần chứng minh).

5) Ta có:

\[\widehat {{E_1}} = \widehat {{C_1}}\] (cùng chắn cung trong đường tròn đi qua bốn điểm B, C, E, F);

\[\widehat {{C_1}} = \widehat {{E_2}}\] (cùng chắn cung trong đường tròn ngoại tiếp tứ giác CEHD);

Suy ra: \[\widehat {{E_1}} = \widehat {{E_2}}\]

⇒ EB là phân giác của \[\widehat {FED}\].

Chứng minh tương tự: FC là phân giác của \[\widehat {DFE}\]

Mà \[FC \cap EB = \left\{ H \right\}\] nên H là tâm đường tròn nội tiếp tam giác DEF.