Cho hình vuông ABCD có AC cắt BD tại O. Gọi E và F theo thứ tự là các điểm đối xứng với O qua AD và BC.
a/ Chứng minh rằng các tứ giác AODE, BOCF là hình vuông.
b/ Nối CE cắt DF tại I. Chứng minh rằng OI⊥CD
c/ Biết diện tích của hình lục giác ABFCDF bằng 6. Tính độ dài cạnh của hình vuông ABCD