#Quabotron

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

`DE `// `AB` hay `DE`//`AF`

`AC`//`DF` hay `AE`//`DF`

`=> AEDF` là hình bình hành

mà `AEDF` có `hat{EAF} = 90^o`

`=> AEDF` là hình chữ nhật       (1)

mà `AD` phân giác `hat{EAF}`    (2)

Từ `(1)(2) => AEDF` là hình vuông

Đáp án:

Giải thích các bước giải:

 xét tứ giácAEDF có:DE song song AF(DE song song AB)

                                DF song song AE( DF song song AC)

$\left.\begin{matrix} DF song song AE( DF song song AC)\\  xét tứ giácAEDF có:DE song song AF(DE song song AB) \end{matrix}\right\}$ 

=> tứ giác AEDF là  hình bình hành

mà BAC=90
$\left.\begin{matrix} => tứ giác AEDF là  hình bình hành\\ mà BAC=90 \end{matrix}\right\}$

=> tứ giác AEDF là hình chữ nhật
mà AD là phân giác của góc BAC

$\left.\begin{matrix} => tứ giác AEDF là hình chữ nhật\\ mà AD là phân giác của góc BAC \end{matrix}\right\}$

=> tứ giác AEDF là hình vuông