a) Xét tứ giác AEDF có :
góc AED = 90°
góc EAF = 90°
góc AFD = 90°
=> Tứ giác AEDF là hình chữ nhật
b) Có : AEDF là hình chữ nhật
=> ED // AF
=> ED // FC ( vì A , F , C thẳng hàng ) ( 1 )
Có : AEDF là hình chữ nhật
=> ED = AF
Mà AF = FC
=> ED = FC ( 2 )
Từ ( 1 ) và ( 2 ) suy ra : EFCD là hình bình hành