`#` qank

`a,`

`GT` :

`- hat{CAN} = hat{ANM} = 45^@`

`- hat{BAM} = hat{AMN}`

`KL` :

`- 3` điểm `A,B,C` thẳng hàng

`b,`

Ta có : `hat{CAN} = hat{ANM}  (` gt `)`

Mà chúng ở vị trí so le trong nên `AC` // `MN`

Ta có : `hat{BAM} = hat{AMN} (` gt `)`

Mà chúng ở vị trí so le trong nên `AB` // `MN`

Ta có : `AC ` // `MN` ; `AB` // `MN`

Mà theo tiên đề Euclid , qua `A` ta vẽ được duy nhất `1` đường thẳng song song với `MN`

Suy ra : `AB` trùng `AC`

Suy ra : `3` điểm `A,B,C` thẳng hàng