BT2 : Cho hình vuông ABCD trên tia đối CD lấy M và trên tia đối DC lấy N , sao cho DN = BM . Qua M kẻ đường thẳng song song AN , qua N kẻ đường thẳng song song AM . Hai đường thẳng này cắt nhau tại I . Chứng minh rằng tứ giác AMIN là hình vuông .