Logika Geometri: Relasi Garis dan Titik

Halo semuanya! Mari kita bahas Proposisi satu mengenai Persekutuan Dua Garis. Pernyataannya adalah: dua garis berbeda berpotongan paling banyak di satu titik, seperti titik P pada diagram garis a dan b ini. Argumennya, jika bersekutu di dua titik, maka kedua garis tersebut adalah garis yang sama atau berhimpit.

Masuk ke Proposisi dua tentang Garis Sejajar. Jika garis el sejajar dengan garis em, maka keduanya termuat dalam tepat satu bidang. Argumennya adalah garis el dan sebuah titik pe pada garis em secara otomatis menentukan tepat satu bidang yang memuat keduanya.

Proposisi ketiga membahas Perpotongan Bidang. Jika dua bidang yang berlainan, yaitu bidang alfa dan bidang beta berpotongan, maka himpunan titik potong atau irisannya adalah sebuah garis lurus.

Sekarang kita buktikan sudut bertolak belakang pada perpotongan garis ka dan en. Perhatikan sudut satu, dua, tiga, dan empat. Karena sudut satu tambah sudut dua sama dengan seratus delapan puluh derajat, dan sudut dua tambah sudut tiga juga seratus delapan puluh derajat, maka melalui pengurangan kita peroleh sudut satu sama dengan sudut tiga.

Kesimpulannya, penalaran geometris selalu didasarkan pada aksioma dan hubungan logis yang sistematis antara titik, garis, serta bidang. Sampai jumpa di materi berikutnya!