Lời giải.
Xét `ΔDEF` vuông tại `D` có đường cao `DI`, ta có các hệ thức lượng trong tam giác vuông như sau:
`1)DE^2=EI.EF, DF^2= IF. EF`
`2) DI.EF=DE.DF`
`3)DI^2=EI.IF`
`4)1/{DI^2}=1/{DE^2}+1/{DF^2}`
Ta có thêm cả các hệ thức suy ra từ định lí $Pi-ta-go$ trong các tam giác vuông:
`Δ` vuông `DEF:` `DE^2+DF^2=EF^2`
`Δ` vuông `DIE:` `DI^2+IE^2=DE^2`
`Δ` vuông `DIF:` `DI^2+IF^2=DF^2.`