a) Xét ΔABC và ΔCDA có :
             AB = CD
             AC chung
            BC = DA
=> ΔABC = ΔCDA ( c.c.c)
b) Vì ΔABC = ΔCDA
=> ^BAC = ^DCA ( Hai góc tương ứng )
Mà 2 góc này ở vị trí so le trong
=> AB // CD
c) Vì ΔABC = ΔCDA
=> ^ABC = ^CDA ( hai góc tương ứng )
=> AD // BC