Xét trong `\triangle` `ADE` vuông tại `A`:

Do trong một tam giác, cạnh đối diện với góc lớn hơn là cạnh lớn hơn 

Mà `\hat{DAE}` `=``90^@` là góc lớn nhất, đối diện với `\hat{DAE}` là cạnh `DE`

`=>` `DE` lớn hơn `2` cạnh góc vuông còn lại `<=>` `DE > AD`