Cho ADEF vuông tại D có DI là đường cao. Chứng minh: ΔIDF ∽ ΔDEF và DI.EF = DE.DF

Bài 9 Cho ADEF vuông tại D có DI là đường cao.
a/ Chứng minh: AIDF - ADEF và DI.EF = DE.DF .
b/ Chứng minh: ID2= IE. IF.
c/ Gọi K là trung điểm của DF. Kẻ IH vuông góc với DE tại H. DI cắt HF tại O. Chứng minh:
Ba điểm E, O, K thắng hàng.