Gọi các điểm như trên
\(\Delta BHM=\Delta AHM\) (2 cạnh góc vuông)
=> \(M_1=M_2\) (2 góc tương ứng)
Mà \(M_1=M_4\) (đối đỉnh); \(M_2=M_3\) (đối đỉnh)
Nên \(M_3=M_4\)
TT: N3 = N4
\(\Delta MAN\) có phân giác góc ngoài NMx và MNy cắt nhau tại O nên AO là phân giác góc MAN (đpcm)