AC vuông góc AB

BD vuông góc AB

=> AC // BD (T/C)

Ta có :
AC // BD (cmt)

mà 2 góc ACD và CDo là 2 góc so le trong

=> góc ACD = góc CDo (1)

Từ (1) => góc mCD = góc CDn = góc ACD : 2 = góc CDo : 2

Ta có : 

góc mCD = góc CDn (cmt)

mà 2 góc này ở vị trí so le trong

=> mC // Dn