Cho tam giác ABC có ∠A = 90°; AB = AC = a và AD là đường hạ từ A xuống cạnh DF // AB (với E ∈ AC). Chứng minh: Tứ giác AEDF là hình vuông

----- Nội dung ảnh -----
Bài 2: Cho tam giác ABC có ∠A = 90°; AB = AC = a và AD là đường hạ từ A xuống cạnh DF // AB (với E ∈ AC). Chứng minh:

1) Tứ giác AEDF là hình vuông.
2) CE = BF.