Cho tam giác ABC có ba góc nhọn với các đường cao AD, BE, CF cắt nhau tại H. Chứng minh rằng:
a) Sabc = 1/2.AB.BC.sinB và AE.BF.CD = AB.BC.CA.cosA.cosB.cosC
b) tanB.tanC = AD/HD
c) H là giao điểm ba đường phân giác trong của tam giác DEF
d) HB.HC/AB.AC + HC.HA/BC.BA + HA.HB/CA.CB = 1