SABC  AD BC S HD  (1) BHCS ADABCCHỨNG MINH TƯƠNG TỰ, TA C...

2 .

S

ABC

 AD BC

S HD

  (1)

BHC

S AD

ABC

Chứng minh tương tự, ta có:

S HE

S HF

AHC

S  BE và

AHB

S  CF (2)

Từ (1) và (2), suy ra được HD HE HF 1

AD  BE  CF  (ĐPCM)