Cho hình vuông ABCD. Trên cạnh AD lấy điểm F, trên cạnh DC lấy điểm E sao cho AF = DE. Chứng minh rằng AE = BF và AE ⊥ BF.