Cho hình vuông ABCD. Trên cạnh BC lấy điểm , tia AE cắt đường thẳng CD tại . Trên nửa mặt phẳng bờ là đường thẳng chứa tia kẻ đoạn thẳng AF sao cho AF vuông góc và AF = AE . Chứng 

a) FD = 

b) các điểm F,D, thẳng hàng