Trên cạnh huyền BC của tam giác vuông ABC về phía ngoài ta dựng hình vuông với tâm tại điểm O. Chứng minh rằng AO là tia phân giác của góc BAC^.