Chứng minh rằng bốn điểm O, I, O', D cùng nằm trên một đường tròn
Giải chi tiết:
OI là đường trung bình của ∆ABC nên OI // AC,
O'I là đường trung bình của ∆CHB nên O'I // BD.
Vậy BD ⊥ OI => O'I ⊥ OI suy ra I nằm trên đường kính OO'.
Ta lại có I đối xứng D qua OO' do hai đường tròn (O) và (O') cắt nhau tại I và D. Do đó D cũng nằm trên đường tròn đường kính OO'.