• Hình 7a):
Xét DABC và DCDA có:
AB = CD; BC = DA; AC là cạnh chung
Do đó DABC = DCDA (c.c.c)
Suy ra và (các cặp góc tương ứng).
Vì và hai góc này ở vị trí so le trong nên AB // CD.
Vì và hai góc này ở vị trí so le trong nên AD // BC.
• Hình 7b):
Ta có và hai góc này ở vị trí so le trong nên AB // CD.
Xét DABC và DCDA có:
AC là cạnh chung; ; AB = CD
Do đó DABC = DCDA (c.g.c)
Suy ra (hai góc tương ứng).
Mà hai góc này ở vị trí so le trong nên AD // BC.
• Hình 7c):
Ta có: và hai góc này ở vị trí so le trong nên AD // BC.
Xét DABC và DCDA có:
AC là cạnh chung; ; BC = AD
Do đó DABC = DCDA (c.g.c)
Suy ra (hai góc tương ứng).
Mà hai góc này ở vị trí so le trong nên AB // CD.
• Hình 7d):
Xét tứ giác ABCD ta có (định lí tổng các góc của một tứ giác)
Mà nên ta có
Suy ra và
Do đó AD // BC và AB // CD.
• Hình 7e):
Xét DPAB và DPCD có:
PA = PC; (đối đỉnh); PB = PD
Do đó DPAB = DPCD (c.g.c)
Suy ra (hai góc tương ứng)
Hay , mà hai góc này ở vị trí so le trong nên AB // CD.
Tương tự ta cũng chứng minh được DPAD = DPCB (c.g.c)
Suy ra (hai góc tương ứng)
Hay , mà hai góc này ở vị trí so le trong nên AD // BC.