Hình tự vẽ
a) Xét tứ giác BHEK có:
^BHE+^BKE=90+90=180 độ
=> Tứ giác BHEK nội tiếp
b) Áp dụng hệ thức lượng vào tam giác ABE vuông tại E đường cao EH ta được :
                      BE^2=BH.BA        (1)
Áp dụng hệ thức lượng vào tam giác BEC vuông tại E đường cao EK ta được:
                   BE^2=BK.BC           (2)
Từ (1)và (2) suy ra :
      BH.BA=BK.BC