c) Chứng minh định lí:

• Vì A^1 và A^3 là hai góc đối đỉnh nên A^1=A^3.

Mà A^3=B^1 (giả thiết)

Suy ra A^1=B^1.

Chứng minh tương tự ta có: A^3=B^3=B^1

• Lại có A^1 và A^2 là hai góc kề bù nên:

A^1+A^2=180°

Suy ra A^2=180°−A^1      (1)

B^1 và B^2 là hai góc kề bù nên:

B^1+B^2=180°

Suy ra B^2=180°−B^1      (2)

Mà A^1=B^1                      (3)

Từ (1), (2) và (3) suy ra A^2=B^2.

Chứng minh tương tự ta cũng có A^4=B^4.

Vậy định lí được chứng minh.