a) Ta có EA=EF, CA=CF và BA=BF, DA=DF nên bốn điểm B, C, D, E cùng nằm trong mặt phẳng trung trực của EF.

Trong mặt phẳng đó BE=ED=DC=CB nên BEDC là hình thoi nên hai đường chéo BD, EC giao nhau tại trung điểm mỗi đường.

Tương tự, ta chứng minh được AF và BD cũng giao nhau tại O. 

Tứ giác ABDF là hình thoi nên $AF \perp BD$.

Tương tự, ta chứng minh được $AF \perp EC$ và $BD \perp EC$.

b) Ta có $AF \perp DB$ và $AF \perp EC$ suy ra $ AF \perp (BEDC) \Rightarrow AF \perp CD$.

Gọi M là trung điểm của CD. Vì tam giác ACD cân tại A nên $AM \perp CD$.

Vì vậy $CD \perp (AOM) \Rightarrow CD \perp OM$. (1)

Xét tam giác BCD có O là trung điểm của BD, M là trung điểm của CD nên OM là đường trung bình của tam giác BCD $\Rightarrow OM \parallel BC$ (2).

Từ (1) và (2) suy ra $BC \perp CD \Rightarrow$  BECD là hình vuông.

Chứng minh tương tự AEFC và ABFD là hình vuông.