Cho đường tròn (O) đường kính AB, M là một điểm bất kì thuộc (O) (M khác A và B). Gọi E, F theo thứ tự là trung điểm của MA, MB. Tiếp tuyến tại M của (O) lần lượt cắt OE, OF tại C và D

Để chứng minh MI vuông góc với AB, ta sẽ sử dụng tính chất của tứ giác điều hòa.

Gọi H là giao điểm của AB và CD. Ta cần chứng minh M, I, H thẳng hàng.

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Pappus cho hai đường thẳng AB và CD, ta có:
- Điểm E thuộc đường thẳng AB.
- Điểm F thuộc đường thẳng CD.
- Điểm M thuộc đường tròn (O).

Áp dụng định lí Papp