Gọi a, b, c lần lượt là 3 cạnh của tam giác và A, B, C lần lượt là các góc đối diện của các cạnh. Theo hệ quả định lý cosin, ta có:
Từ đó:
.
Dựa vào đường cao và sin của góc C. Ta có công thức tính diện tích tam giác ABC:
a: Xét (O) có
ΔABE nội tiếp
AE là đường kính
Do đó: ΔABE vuông tại B
=>BE vuông góc với AB
=>BE//CH
Xét (O) có
ΔACE nội tiếp
AE là đường kính
Do đó: ΔACE vuông tại C
=>AC vuông góc với CE
=>CE//BH
Xét tứ giác BHCE có
BH//CE
BE//CH
Do đó: BHCE là hình bình hành
b: Vì BHCE là hình bình hành
nên BC cắt HE tại trung điểm của mỗi đường
=>M là trung điểm của HE
Xét ΔEAH có
EO/EA=EM/EH
nên OM//AH và OM/AH=EO/EA=1/2
=>OM=1/2AH