Gọi AM, BN, CL lần lượt là ba đường cao của tam giác ABC. Chứng minh

ABN vuông tại N nên AN = AB.cosB     (1)

∆BCL vuông tại L nên BL = BC.cosB     (2)

∆ACM vuông tại M nên CM = AC.cosC     (3)

Từ (1), (2) và (3) suy ra: AN.BL.CM = AB.BC.CA. cosA cosB cosC