I.

Menyimpulkan postulat kelima dari aksioma Playfair

Bukti:

Misalkan terdapat ruas garis l dan titik P berada di luar l, ruas

garis l dan titik P adalah dua aturan yang diberikan. (Lihat
gambar 4)
Akan terlihat bahwa hanya satu garis lurus yang melalui titik P,
akan tetapi, garis lurus tersebut bukan l, melainkan garis yang
parallel dengan l.

Corollary 27.2

Hal ini jelas bahwa terdapat garis lurus yang melalui titik P
bukan pada l, dan garis tersebut sejajar dengan l.
Dari titik P, kita dapat membuat ruas garis yang tegak lurus
terhadap l dan memotong l di titik Q. lalu kita membuat garis
m yang sejajar dengan l.
Asumsikan bahwa terdapat garis lurus n yang melalui titik P,
dan n m. sehingga, akan menunjukkan bahwa n akan
berpotongan dengan l.asumsikan bahwa sudut 1 dan 2 dibuat
dari ruas garis n dan PQ. Maka, sudut 1 bukan merupakan
sudut siku-siku. Karena jika sudut 1 adalah sudut siku-siku,
maka pastilah m dan n berimpit. Hal ini jelas kontradiksi
dengan asumsi awal.
Dengan demikian, sudut 1 atau sudut 2 merupakan sudut
lancip. Andaikan bahwa sudut 1 adalah sudut lancip.
Ringkasan
Kedua garis l dan n dipotong oleh garis lurus transversal PQ
sehingga membangun sudut lancip 1 dan sudut siku-siku.
Kedua sudut adalah sepasang sudut dalam sepihak PQ. Karena
jumlah sudut 1 dan 2 kurang dari 180, maka berdasarakan

Terbukti

postulat kelima, garis l dan n pasti akan berpotongan. Dengan

demikian, m adalah satu-satunya garis yang melalui P bukan
garis l, m sejajar dengan l yang berarti bahwa kita telah
menyimpulkan aksioma Playfair dari postulat kelima.

P
21
Q

Fig. 6

m
n
l