c) Xét tứ giác AEDF có:
∠(EAF) = ∠(AFD) = ∠(AED) = 90 0
⇒ Tứ giác AEDF là hình chữ nhật
Lại có: ΔAFD vuông tại F, có ∠(FAD) = 45 0
⇒ ΔAFD vuông cân tại F
⇒ AF = FD
⇒ tứ giác AEDF là hình vuông
Xét tam giác DEB vuông tại D có:
Chu vi hình vuông AEDF là:
Diện tích hình vuông AEDF là: