`text{Áp dụng định lý Py-ta-go cho tam}`
`text{giác vuông ADE ta có:}`
`DE^2=AD^2 +AE^2`
`text{Áp dụng định lý Py-ta-go cho tam}`
`text{giác vuông ABC ta có:}`
`BC^2=AB^2 + AC^2`
`text{Mà AD<AB ; AE<AC nên:}`
`AD^2 +AE^2<AB^2 +AC^2`
`=>DE^2 <BC^2`
`Hay` `DE<BC(ĐPCM)`