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: Tứ giác MANF là hình vuông.