Cho tam giác `ABC` vuông tại `A` `(AB<AC)`. Gọi `AD` là tia phân giác của góc `BAC`. Từ `D` kẻ `DM`$\bot$`AB`, `DN`$\bot$`AC`. `E` là giao điểm của `BN` và `DM`, `F` là gia điểm của `CM` và `DN`. Chứng minh:

a. `AMDN` là hình vuông và `EF` $\parallel$ `BC`.

b. $\Delta$`ANB` ~ $\Delta$`NFA`.