4-4. Pembuktian Teorema Menggunakan Sudut Vertikal Dalam pelajaran ini kita akan mempelajari pasangan sudut yang terbentuk dari sepasang garis yang berpotongan. Sebagai contoh sebuah kincir angin menunjukkan banyak contoh sudut yang terbentuk dari perpotongan dua buah garis. Teorema pada bab ini adalah tentang hubungan antara sudut yang terbentuk dari garis yang berpotongan.

Garis BC dan garis AD bersimpangan pada O. Sudut AOB dan sudut COD adalah sudut vertical.
Definisi : Sudut bertolak belakang adalah dua sudut yang dibentuk dari dua garis yang berpotongan tetapi yang bukan pasangan sudut yang segaris.

1. Sudut 1 dan sudut 2 adalah sudut berpelurus.
2. Sudut 3 dan sudut 2 adalah sudut berpelurus.
3. Sudut 1 dan sudut 3 adalah sudut yang kongruen.
4. Sudut 3 dan sudut 4 adalah sudut berpelurus.
5. Sudut 2 dan sudut 4 adalah sudut yang kongruen.
- Pasangan sudut segaris adalah pasangan sudut dengan sisi bersama seperti gabungan dari dua sisi yang segaris.
- Pasangan sudut berpelurus adalah dua sudut yang memiliki jumlah sudut sama dengan 1800 .
- Linear pair postulate : Jika dua sudut membentuk sebuah garis, maka sudut tersebut adalah dua garis sudut berpelurus.
Teorema 4.9.
Teorema sudut-sudut yang bertolak belakang : Jika dua garis berpotongan, maka sudut yang bertolak belakang merupakan sudut yang kongruen.
4-5. Pembuktian Teorema Menggunakan Sudut Luar
Meninjau ulang beberapa sifat pertidaksamaan bilangan real:
a. Definisi lebih dari : a > b yaitu a = b + c dimana c adalah bilangan positif.
b. Sifat Transitif : jika a > b dan b > c maka a > c.
c. Sifat Penambahan : jika a > b maka a + c > b + c.
d. Sifat Perkalian : jika a > b dan c > 0, maka ac > bc. Jika a > b dan c < 0 maka ac
e. Sifat Trichotomy : Untuk bilangan real a dan b maka a = b atau a > b atau a < b.
Sifat-sifat di atas akan digunakan untuk membuktikan teorema pada bab ini. Pertama, kita membutuhkan dua definisi.

Definisi :