Cho hình vuông ABCD. Trên tia đối của tia CB lấy điểm M, trên tia đối của tia DC lấy điểm N sao cho BM = DN. Vẽ hình bình hành MANF, gọi O là trung điểm của AF

Cho hình vuông ABCD. Trên tia đối của tia CB lấy điểm M, trên tia đối của tia DC lấy điểm N sao cho BM = DN. Vẽ hình bình hành MANF, gọi O là trung điểm của AF. Chứng minh rằng:
a, Tứ giác MANF là hình vuông.
b, F thuộc tia phân giác góc MCN.
c, AC vuông góc với CF.
d, Tứ giác BOFC là hình thang.