Chứng minh rằng tứ giác AEDF là hình chữ nhật và AD=EF .

Chứng minh rằng tứ giác AEDF là hình chữ nhật và $AD=EF$  .

Xét tứ giác AEDF ta có:

$\angle EAF={90}^{\text{o}}$ (gt)

$\angle AED={90}^{\text{o}}\left(DE\perp AB=\left\{E\right\}\right)$

$\angle AFD={90}^{\text{o}}\left(DF\perp AC=\left\{F\right\}\right)$

$\Rightarrow AEDF$ là hình chữ nhật. (dhnb)

$\Rightarrow AD=EF$ (hai đường chéo hình chữ nhật).