Ta có tam giác DEF vuông tại D, nên theo định lí đường cao trong tam giác vuông, ta có:
DE^2 + DH^2 = EF^2
=> DE . DE + DH^2 = EF^2
=> DE . DE = EF^2 - DH^2
=> DE . DE = (EF + DH)(EF - DH)
Vì DH là đường cao của tam giác DEF, nên EF + DH = EF và EF - DH = EF - EF = 0
=> (EF + DH)(EF - DH) = 0
=> DE . DE = 0
=> DE = 0 hoặc DE = 0
Vì DE là độ dài cạnh của tam giác DEF, nên DE không thể bằng 0.
Vậy DE = 0.
Do đó, DE . DF = 0 = DH . EF.