Góc BAC + ACD = 180o Mà góc BAC; ACD là hai góc ở vị trí trong cùng phía
=> CD // AB
MÀ d | AB nên d | CD
vi d vuong goc voi AB
AB song song voi CD
=>d vuong goc voi CD
BAC+ACD=180 va o vi tri TCP
=>AB //CD
ma d vuong goc voi AB
=> d cung vuong goc voi CD