Misalkan titik
terletak pada sisi
dan titik
terletak pada sisi
dari segitiga
sedemikian sehingga
. Garis
dan
berpotongan di titik
. Garis yang melalui titik
dan sejajar dengan garis bagi sudut
memotong garis
di titik
. Buktikan bahwa
.
Bukti 1:
Misalkan garis yang melalui titik
dan sejajar dengan garis bagi sudut
memotong garis
di titik
. Kita akan membuktikan bahwa
dan
. Sekarang, semua pernyataan simetris terhadap
dan
(artinya
dan
dapat dipertukarkan), maka tanpa mengurangi keumuman anggaplah
.
Perhatikan bahwa
dan
. Maka
, akibatnya
.
Dengan dalil Menelaus pada segitiga
dan garis transversal
diperoleh
. Karena
, maka
.
Dengan dalil Menelaus pada segitiga
dan garis transversal
diperoleh
. Karena
(telah dibuktikan di atas), maka
.

Gabungkan kedua hasil di atas, maka kita mendapat bahwa
, atau
. Karena
,
, maka
. Persamaan terakhir ini ekuivalen dengan
. Karena
, maka
sehingga
.
Jadi
dan
. Dengan ini bukti kita sudah selesai.
Bukti 2:
Buat titik
sedemikian sehingga
adalah jajar genjang. Misalkan titik
adalah perpotongan garis
dan garis
, misalkan juga titik
adalah perpotongan garis
dengan garis
.
Karena
adalah jajar genjang, maka garis
sejajar dengan garis
. Jadi segitiga
sebangun dengan segitiga
.
Perhatikan bahwa segitiga
sebangun dengan segitiga
sehingga
. Kita juga tahu bahwa
, maka
. Karena segitiga
sebangun dengan segitiga
, maka
, sehingga
. Jadi, menurut teorema garis bagi,
adalah garis bagi dari sudut
.

Karena
adalah jajar genjang, maka garis bagi dari sudut
sejajar dengan garis bagi sudut
. Jadi
sejajar dengan garis bagi sudut
. Akibatnya
,
, dan
segaris. Misalkan
. Perhatikan bahwa
dan
, maka
. Tetapi
adalah jajar genjang sehingga
, akibatnya
. Bukti kita selesai.
0 komentar:
Posting Komentar