Cho tam giác nhọn ABC. Dựng về phía ngoài tam giác ABC, các tam giác ACE và tam giác ABF theo thứ tự vuông cân tại E và F (Tam giác vuông cân là tam giác vừa vuông vừa cân). Dựng tam giác DEF vuông cân tại D sao cho A và D cung nằm trên một nửa mặt phẳng bờ là đường thẳng EF.Chứng minh AD vuông góc BC