Tam giác vuông ABC có thêm điều kiện gì thì tứ giác AEDF là hình vuông

cho tam giác ABCvuông tại A,Dlà điểm tùy ý thuộc cạnh BC.Gọi E và F lần lượt là hình chiếu vuông góc của D trên cạnh AB và AC.

a.Tứ giác AEDF là hình gì?Vì sao?

b.Tam giác vuông ABC có thêm điều kiện gì thì tứ giác AEDF là hình vuông.