`a)` Xét `\traingle MAB` và `\triangle MCN` có:

`MA = MC (gt)`

`\hat{AMB} = \hat{CMB}` (đối đỉnh)

`MB = MN (gt)`

`=> \triangle MAB = \triangle MCN` (cgc)

`=> \hat{MAB} = \hat{MCN} = 90^@`

`=> CN ⊥ MC`

`=> CN ⊥ AC`

`=> CN = AB` (Cạnh tương ứng)

`b)` Xét `\traingle BMC` và `\triangle NMA` có:

`MB = MN (gt)`

`MC = MA (gt)`

`\hat{BMA} = \hat{NMA}` (đối đỉnh)

`=> \triangle BMC = \triangle NMA (cgc)`

`=> BC = AN`

`=> \hat{MBC} = \hat{MNA}`

mà `2` góc ở vị trí slt

`=> BC` // `AN`

..