Fajar Yuliawan
Sebelum kita mulai pembahasan bab geometri ini, ada beberapa hal yang perlu
diketahui oleh pembaca. Geometri yang dibahas di sini tidak akan mencakup se-
bagaian besar geometri dasar yang pernah diajarkan di sekolah menengah. Hal-hal
dasar yang tidak dibahas di sini adalah hubungan antara garis dengan titik, hubun-
gan antara garis dengan garis, kesebangunan dan kekongruenan segitiga, hubungan
garis dengan lingkaran (berpotongan dan bersinggungan), pengenalan trigonometri
dan bangun-bangun ruang sederhana. Materi-materi tersebut dapat didapatkan
sendiri di sebagian besar buku-buku matematika untuk sekolah menengah.
Pertama, kita buat beberapa konvensi ntuk mempermudah penulisan. Untuk se-
tiap segitiga ABC, kita gunakan notasi untuk panjang, yaitu a = BC, b = CA,
c = AB, s = (a + b + c)/2 dan notasi untuk sudut, yaitu A = ∠BAC, B = ∠ABC,
dan C = ∠BCA. Kemudian untuk luas, kita menggunakan notasi [XY Z] untuk
menyatakan luas segitiga XY Z. Lebih umum, untuk setiap poligon P , maka [P ]
menyatakan luas poligon tersebut.
36
1.1 Konkurensi dan Kolinearitas pada Segitiga: Teorema
Ceva dan Teorema Menelaos
Kita mulai dengan segmen-segmen garis yang menghubungkan titik sudut suatu
segitiga dengan sebuah titik yang terletak pada sisi di depan titik sudut tersebut.
Segmen garis seperti itu disebut sebagai cevian (diambil dari nama Giovanni Ceva,
seorang matematikawan Italia yang pertama kali menyinggung masalah konkurensi
tiga buah cevian).
Teorema Ceva. Misalkan ABC sebuah segitiga dan D, E, F tiga titik yang
berturut-turut terletak pada sisi-sisi BC, CA, AB. Maka garis-garis AD, BE, CF
konkuren jika dan hanya jika
BD CE AF
= 1.
DC EA F B
Bukti. Teorema di atas membutuhkan pembuktian ”dua arah”, yaitu: jika
AD, BE, CF konkuren, maka kesamaan di atas berlaku dan jika kesamaan berlaku,
maka AD, BE, CF konkuren.
A A
F E F' E
F
P P'
B C C
D B D
Gambar 1.
Pertama, kita buktikan dulu bahwa jika AD, BE, CF konkuren maka ke-
samaan yang diberikan berlaku. Misalkan P adalah titik perpotongan ketiga garis
AD, BE, CF . Perhatikan dua identitas berikut:
BD [ABD] BD [P BD]
= dan = ,
DC [ACD] DC [P CD]
yang diperoleh dari fakta bahwa jika dua buah segitiga memiliki ”tinggi” yang
sama, maka perbandingan luasnya sama dengan perbandingan ”alas”-nya. Dari
dua identitas tersebut, kemudian kita peroleh
BD [ABD] − [P BD] [AP B]
= = (Mengapa?).
DC [ACD] − [P CD] [CP A]
37
Dengan cara yang sama, kita peroleh
CE [BP C] AF [CP A]
= dan = .
EA [AP B] FB [BP C]
Jadi,
BD CE AF [AP B] [BP C] [CP A]
= = 1.
DC EA F B [CP A] [AP B] [BP C]
BD CE AF ′ BD CE AF
=1= ,
DC EA F B
′ DC EA F B
sehingga
AF ′ AF
= .
FB′ FB
Dari sini kita simpulkan F = F ′ (Mengapa?) dan kita selesai.
Pada kasus-kasus tertentu, teorema Ceva di atas lebih mudah digunakan dalam
bentuk trigonometri berikut:
Tiga buah titik dikatakan kolinear jika terletak pada satu garis. Kriteria kolin-
earitas tiga titik yang berada pada ketiga sisi-sisi segitiga diberikan oleh Menelaos.
38
Teorema Menelaos. Misalkan ABC sebuah segitiga dan D, E, F tiga titik
pada garis-garis BC, CA, AB (D, E, F bisa terletak pada perpanjangan sisi-sisi
segitiga ABC). Maka D, E, F kolinear jika dan hanya jika
BD CE AF
= 1.
DC EA F B
Bukti. Pertama, kita buktikan bahwa jika D, E, F kolinear, maka kesamaan
yang diberikan berlaku. Buat garis tegak lurus dari tiga A, B, C terhadap garis
yang melalui D, E, F dan misalkan P , Q, R adalah ketiga kaki tegaklurusnya
(perhatikan Gambar 2).
A
Q
F
P
E
R
B C D
Gambar 2.
Kita punya tiga kesamaan berikut yang dapat diperoleh dengan meninjau
kesebangunan-kesebangunan beberapa segitiga:
BD BQ CE CR AF AP
= , = , dan = .
DC CR EA AP FB BQ
Dengan mengalikan ketiga kesamaan tersebut, kita peroleh
BD CE AF BQ CR AP
= = 1.
DC EA F B CR AP BQ
Bukti untuk arah yang satunya (yaitu jika kesamaan berlaku, maka ketiga
titik kolinear) dapat dibuktikan dengan menggunakan titik bayangan, sama seperti
bukti teorema Ceva. Hal ini dilakukan dengan memisalkan F ′ sebagai perpotongan
garis-garis AB dan DE lalu membuktikan bahwa F = F ′ . Bukti selengkapnya
diserahkan kepada pembaca.
39
1.2 Panjang Cevian: Teorema Stewart
c p b
B m X n C
Gambar 3.
Dengan menggunakan aturan cosinus pada segitiga ABX dan ACX, kita per-
oleh
p2 + m2 − c2 p 2 + n 2 − b2
cos ∠AXB = dan cos ∠AXC = .
2pm 2pn
Karena ∠AXB = 180◦ − ∠AXC, maka cos ∠AXB = − cos ∠AXC atau setara
dengan cos ∠AXB + cos ∠AXC = 0. Dengan demikian, kita punya
p 2 + m 2 − c 2 p 2 + n 2 − b2
+ = 0,
2pm 2pn
yang setara dengan
n(p2 + m2 − c2 ) + m(p2 + n2 − b2 ) = 0,
atau setara juga dengan
(m + n)(p2 + mn) = b2 m + c2 n
dan setara dengan kesamaan yang diinginkan, karena m + n = a.
Dengan teorema di atas, panjang cevian AX dapat dihitung secara langsung,
yaitu r
b2 m + c2 n
p= − mn.
a
40
1.3 Titik-titik dan Garis-garis Istimewa pada Segitiga
Pada sebuah segitiga, terdapat banyak titik dan garis istimewa, namun dalam
subbab ini, hanya akan dijelaskan beberapa diantaranya, yaitu garis berat, titik
berat, garis tinggi, titik tinggi, garis bagi sudut, titik pusat lingkaran dalam, garis
sumbu dan titik pusat lingkaran luar.
Kita mulai dengan definisi garis berat. Garis berat sebuah segitiga adalah garis
yang melalui titik sudut segitiga tersebut dan titik tengah sisi di depannya. Dengan
demikian, setiap segitiga akan memiliki tiga garis berat. Dengan menggunakan
teorema Ceva, teorema berikut dapat dibuktikan dengan mudah:
C' B'
G
B C
A'
Gambar 4.
Titik potong ketiga garis berat sebuah segitiga kemudian dinamakan titik berat.
Karena berpotongan di satu titik, maka ketiga garis berat sebuah segitiga akan
membagi segitiga tersebut menjadi enam bagian. Selain itu, setiap garis berat akan
membagi garis berat lainnya menjadi dua bagian. Kita punya teorema berikut:
Teorema. Misalkan AA′ , BB ′ , CC ′ adalah tiga garis berat segitiga ABC yang
berpotongan di titik berat G. Maka keenam segitiga AGB ′ , AGC ′ , BGA′ , BGC ′ ,
CGA′ dan CGB ′ memiliki luas yang sama.
Bukti. Perhatikan kembali Gambar 4. Karena A′ , B ′ , C ′ berturut-turut
adalah titik-titik tengah BC, CA, AB, kita punya bahwa [BGA′ ] = [CGA′ ],
41
[AGB ′ ] = [CGB ′ ], dan [AGC ′ ] = [BGC ′ ]. Kita juga punya bahwa [ABA′ ] =
[ACA′ ], sehingga
sehingga [AGC ′ ] = [AGB ′ ]. Dengan cara yang sama diperoleh [BGA′ ] = [AGB ′ ] =
[AGC ′ ], dan kesimpulan mengikuti.
Teorema. Misalkan AA′ , BB ′ , CC ′ adalah tiga garis berat segitiga ABC yang
berpotongan di titik berat G. Maka
AG BG CG
= = = 2.
GA ′ GB ′ GC ′
Bukti. Kita gunakan lagi teorema sebelumnya. Kita punya bahwa
karena [AGC ′ ] = [BGC ′ ] = [GBA′ ]. Kesamaan lain dapat diperoleh dengan cara
yang sama.
Panjang garis berat sendiri dapat dihitung dengan mudah menggunakan teo-
rema Stewart.
Garis yang membagi sebuah sudut segitiga menjadi dua bagian yang sama besar
dinamakan garis bagi sudut. Pertama, kita punya teorema berikut:
A′ B c B′C a C ′A b
= , = , dan = .
AC
′ b BA
′ c CB′ a
Bukti.
42
A
B A' C
Gambar 5.
Dengan aturan sinus pada segitiga-segitiga AA′ B dan AA′ C, kita peroleh
A′ B sin ∠A′ AB A′ C sin ∠A′ AC
= dan = .
AB sin ∠AA′ B AC sin ∠AA′ C
Karena ∠A′ AB = ∠A′ AC dan sin ∠AA′ B = 180◦ −sin ∠AA′ C, maka sin ∠A′ AB =
sin ∠A′ AC dan sin ∠AA′ B = sin ∠AA′ C. Akibatnya,
A′ B sin ∠A′ AB sin ∠A′ AC A′ C
= = = ,
AB sin ∠AA′ B sin ∠AA′ C AC
sehingga kita peroleh
A′ B AB c
= = .
AC
′ AC b
Dua kesamaan sisanya dapat dibuktikan dengan cara yang sama.
Dengan menggunakan teorema di atas dan teorema Ceva atau langsung dengan
menggunakan Trig Ceva, kita peroleh teorema berikut:
Teorema. Misalkan AA′ , BB ′ , CC ′ adalah tiga garis bagi sudut segitiga ABC.
Maka ketiga garis tersebut konkuren.
Garis tinggi sebuah segitiga adalah garis yang melalui titik sudut sebuah segitiga
dan tegak lurus dengan sisi di depannya. Kita punya teorema berikut
43
Teorema. Misalkan AA′ , BB ′ , CC ′ garis-garis tinggi sebuah segitiga (dengan
demikian, AA′ tegak lurus BC, dan seterusnya). Maka ketiga garis tersebut
konkuren.
Bukti.
A
C'
B'
B A' C
Gambar 6.
Kasus dimana ABC segitiga siku-siku trivial (sangat jelas dan tidak ada yang
perlu dibuktikan), karena ketiga garis tinggi akan berpotongan pada titik sudut
siku-siku segitiga ABC). Jadi kita cukup meninjau dimana ABC bukan segitiga
siku-siku.
Sekarang akan kita buktikan teorema tersebut untuk kasus dimana ABC se-
gitiga lancip. Kita punya bahwa
AA′ AA′
= tan B dan = tan C.
BA′ CA′
Dengan demikian,
BA′ tan C
= .
CA′ tan B
Dengan cara yang sama, diperoleh
CB ′ tan A AC ′ tan B
= dan = .
AB ′ tan C BC ′ tan A
Akibatnya,
BA′ CB ′ AC ′ tan C tan A tan B
= = 1,
A′ C B ′ A C ′ B tan B tan C tan A
sehingga AA′ , BB ′ , CC ′ konkuren.
Kasus terakhir dimana segitiga ABC tumpul diserahkan kepada pembaca. Satu
hal yang perlu diperhatikan dalam pembuktian kasus tersebut adalah bahwa titik
perpotongan ketiga garis tinggi terletak di luar segitiga ABC.
44
Titik potong ketiga ketiga garis tinggi sebuah segitiga selanjutnya disebut se-
bagai titik tinggi (orthocenter) segitiga. Kemudian, sama seperti pada garis bagi
sudut, panjang BA′ dan CA′ dapat dinyatakan dalam panjang sisi-sisi a, b, c dan
fungsi trigonometri sudut-sudut A, B, C. Dengan menyatakan fungsi trigonometri
sudut dalam panjang sisi (misalnya dengan aturan cosinus), panjang BA′ dan CA′
dapat dinyatakan dalam panjang sisi-sisi a, b, c. Selanjutnya, teorema Stewart
dapat digunakan untuk menghitung panjang garis tinggi AA′ .
Garis sumbu sebuah segitiga adalah garis yang melalui titik tengah sebuah sisi dan
tegak lurus terhadap sisi tersebut. Kita punya teorema berikut:
B'
lB
O
lA
B C
A'
Gambar 7.
45
titik O akan memotong titik tengah AB, atau dengan kata lain O terletak pada
garis yang melalui titik tengah AB dan tegak lurus garis AB, yaitu garis lC . Hal
ini melengkapkan pembuktikan.
Lingkaran dalam segitiga adalah lingkaran yang menyinggung ketiga sisi segitiga
dari dalam dan lingkaran luar segitiga adalah lingkaran yang melalui ketiga titik-
titik sudut segitiga. Kita punya beberapa teorema berikut mengenai titik pusat
lingkaran dalam dan luar serta panjang jari-jarinya.
Teorema. Titik perpotongan ketiga garis bagi sudut segitiga ABC adalah
titik pusat lingkaran dalam segitiga ABC dan panjang jari-jarinya sama dengan
[ABC]/s.
Bukti.
A
R
C' Q
B'
I
B A' P C
Gambar 8.
Misalkan AA′ , BB ′ dan CC ′ adalah ketiga garis bagi sudut segitiga ABC yang
berpotongan di titik I. Misalkan juga P , Q, R berturut-turut adalah kaki tegak
lurus titik I pada sisi-sisi BC, CA, AB, atau dengan kata lain, P , Q, R terletak
pada sisi-sisi BC, CA, AB sedemikian hingga IP tegak lurus BC, IQ tegak lurus
CA dan IR tegak lurus AB. Karena ∠QAI = ∠CAA′ = ∠BAA′ = ∠RAI dan
∠AQI = 90◦ = ∠ARI maka kedua segitiga siku-siku AQI dan ARI sebangun.
Kemudian karena sisi miring kedua segitiga siku-siku tersebut berimpit (sehingga
sama panjang), maka kedua segitiga tersebut sebangun. Oleh karenanya, kita
punya bahwa IQ = IR. Dengan cara yang sama, diperoleh juga bahwa IP = IQ.
Jadi kita peroleh IP = IQ = IR. Akibatnya, lingkaran dengan pusat I dan
berjari-jari IP = IQ = IR menyinggung sisi-sisi BC, CA, AB. Lingkaran tersebut
46
kemudian disebut sebagai lingkaran dalam segitiga (incenter) ABC dan jari-jarinya
(IP = IQ = IR) disebut sebagai jari-jari lingkaran dalam segitiga (inradius) ABC.
Sekarang misalkan r menyatakan panjang jari-jari lingkaran dalam segitiga
ABC. Karena segitiga AQI dan ARI kongruen maka AQ = AR dan
1 1
[AQIR] = 2 × [AQI] = 2 × · AQ · IQ = (AQ + AR) · r.
2 2
Dengan cara yang sama, diperoleh
1 1
[BRIP ] = (BR + BP ) · r dan [CP IQ] = (CP + CQ) · r.
2 2
Akibatnya,
[ABC] = [AQIR] + [BRIP ] + [CP IQ]
1 1 1
= (AQ + AR) · r + (BR + BP ) · r + (CP + CQ) · r
2 2 2
1
= (AR + BR + BP + CP + CQ + AQ) · r
2
1
= (AB + BC + CA) · r
2
= sr,
atau setara dengan r = [ABC]/s.
Teorema. Titik perpotongan ketiga garis sumbu segitiga ABC adalah titik
pusat lingkaran luar segitiga ABC dan panjang jari-jarinya sama dengan abc/4[ABC].
Bukti.
A
C' B'
lB
O
lA
B C
A'
47
Gambar 9.
Misalkan lA , lB , lC adalah ketiga garis sumbu segitiga ABC dan O adalah per-
potongan ketiga garis tersebut. Dengan cara yang sama seperti bukti teorema
konkurensi garis sumbu, kita peroleh bahwa OA = OB = OC. Akibatnya, O
adalah titik pusat lingkaran yang melalui ketiga titik sudut segitiga ABC (yaitu
lingkaran yang berpusat di O dengan panjang jari-jari OA = OB = OC). Ling-
karan tersebut selanjutnya dinamakan lingkaran luar segitiga (circumcircle) ABC
dan titik pusatnya disebut titik pusat lingkaran luar segitiga (circumcenter) ABC.
Pembahasan pertama di subbab ini adalah tentang hubungan sebuah titik dengan
sebuah lingkaran. Di sini kita mengenal konsep kuasa sebuah titik terhadap sebuah
lingkaran.
Teorema. Diberikan sebuah lingkaran dan sebuah titik P . Buat sebuah garis
yang memotong lingkaran di dua titik A dan B (jika garis tersebut menyinggung
lingkaran, maka A = B). Maka hasil kali P A×P B bernilai tetap, tidak tergantung
oleh garis yang dibuat.
48
Bukti. Buat garis lain yang melalui titik P dan memotong lingkaran di dua
titik C dan D. Sekarang perhatikan bahwa ∠P BC = ∠P DA dan ∠BP C =
∠DP A.
B
A
D A
P
P
C C
Gambar 10.
Sekarang kita gunakan notasi yang sama dengan notasi pada teorema di atas.
Misalkan O dan r berturut-turut adalah tiik pusat dan panjang jari-jari lingkaran
tersebut. Tinjau garis yang melalui O dan P yang memotong lingkaran di dua
titik R dan S. Nilai
(OP − r)(OP + r) = OP 2 − r2
disebut sebagai kuasa titik P terhadap lingkaran tersebut. Jika P berada di dalam
lingkaran, maka kuasanya negatif, jika P di luar maka kuasanya positif dan jika P
terletak pada lingkaran, kuasanya nol.
R B
A
A
P
P R
O O
S
B
Gambar 11.
49
Terkait dengan teorema sebelumnya, jika P berada di luar atau pada lingkaran,
maka
P A × P B = P R × P S = (OP − r)(OP + r) = OP 2 − r2
sama dengan kuasa P terhadap lingkaran tersebut dan jika P di dalam lingkaran,
maka
P A × P B = P R × P S = (r − OP )(r + OP ) = r2 − OP 2
sama dengan −1 kali kuasa P terhadap lingkaran tersebut.
Teorema kuasa titik terhadap lingkaran di atas dapat digunakan untuk membuk-
tikan salah satu teorema penting dalam geometri: Teorema Euler.
OI 2 = R2 − 2rR.
Bukti.
M
A
α α
I
O
β
β
B α C
Gambar 12.
Misalkan N adalah kaki tegak lurus I pada sisi CA, sehingga IN = r dan
garis bagi sudut AI memotong lingkaran luar segitiga ABC di titik L. Karena
∠BAL = ∠CAL, maka L adalah titik tengah busur BC yang tidak memuat A.
50
Sekarang misalkan garis LO memotong lingkaran luar segitiga ABC lagi di titik
M , sehingga LM adalah diameter lingkaran tersebut yang tegak lurus dengan
BC (Mengapa?). Sekarang misalkan α = 12 A dan β = 21 B. Kita punya bahwa
∠BM L = ∠BAL = α,sehingga
LB LB IN r
= = sin α = = ,
2R LM IA IA
sehingga LB = 2R sin α dan IA = r/ sin α.
sehingga LBI adalah segitiga sama kaki, sehingga LB = LI. Sekarang karena I
berada di dalam lingkaran luar segitiga ABC, maka LI × IA sama dengan −1 kali
kuasa I terhadap lingkaran luar segitiga ABC, yaitu R2 − OI 2 . Di sisi lain, kita
punya bahwa
r
LI × IA = LB × IA = 2R sin α × = 2rR,
sin α
sehingga R2 − OI 2 = 2rR yang setara dengan kesamaan yang ingin dibuktikan.
R ≥ 2r.
Segiempat talibusur adalah segiempat yang keempat titik sudutnya terletak pada
satu lingkaran. Berikutnya akan dijelaskan beberapa kriteria dan sifat segiempat
talibusur.
Misalkan ABCD sebuah segiempat talibusur dan O adalah titik pusat lingkaran
1
luarnya. Kita punya bahwa ∠ADB = ∠ACB = 2 ∠AOB dan ∠ADC+∠ABC =
180◦ . Konvers dari pernyataan tersebut ternyata berlaku. Kita punya teorema
berikut:
51
Teorema. Jika ABCD sebuah segiempat konveks (yaitu kedua diagonalnya
terletak di dalam segiempat) dan ∠ADB = ∠ACB, maka ABCD segiempat tal-
ibusur.
Bukti. Kita menggunakan teknik titik bayangan lagi. Misalkan lingkaran
luar segitiga ABC memotong garis BD di titik D′ (dalam hal ini, D′ adalah titik
bayangan dari titik D). Selanjutnya, kita cukup membuktikan bahwa D′ = D
(Mengapa?).
B
B
A
C
A C
D
D'
D'
D
Gambar 13.
Teorema. Jika ABCD sebuah segiempat dan ∠ADC + ∠ABC = 180◦ , maka
ABCD segiempat talibusur.
Selain dua kriteria dasar di atas, konsep titik bayangan dan teorema kuasa
titik terhadap lingkaran dapat digunakan untuk membuktian kriteria segiempat
talibusur berikut.
EA × EC = EB × ED atau F A × F B = F C × F D,
52
2.3.2 Teorema Ptolemeus dan Brahmagupta
Kita akhiri subbab ini dengan dua teorema tentang segiempat talibusur. Teorema
pertama menyebutkan hubungan antara panjang diagonal dan panjang sisi-sisi
segiempat talibusur dan teorema berikutnya tentang hubungan luas segiempat
talibusur dengan panjang sisi-sisi nya.
AB × CD + BC × AD = AC × BD.
Bukti.
B C
D
E
Gambar 14.
AC × BD = AE × BD + CE × BD = AB × CD + BC × AD.
53
Teorema berikut ini diperoleh oleh Brahmagupta, seorang matematikawan In-
dia pada abad ketujuh A.D.
Bukti.
A
B
α
π−α
D
Gambar 15.
sehingga
2
a2 + b2 − c2 − d2
2
cos α =
2(ab + cd)
Sekarang perhatikan bahwa
1 1 1
[ABC] = ab sin α dan [ACD] = cd sin(180◦ − α) = cd sin α,
2 2 2
54
sehingga
1
[ABCD] = [ABC] + [ACD] = (ab + cd) sin α.
2
Dengan demikian
1 1
[ABCD]2 = (ab + cd)2 sin2 α = (ab + cd)2 (1 − cos2 α)
4 4
2 2 2
!
2 2
1 a + b − c − d
= (ab + cd)2 1 −
4 2(ab + cd)
1 1
= (ab + cd)2 − (a2 + b2 − c2 − d2 )2 .
4 16
Di sisi lain, dengan menjabarkan kedua ruas, kita juga punya bahwa
1 1
(s − a)(s − b)(s − c)(s − d) = (ab + cd)2 − (a2 + b2 − c2 − d2 )2 .
4 16
Kesimpulan selanjutnya mengikuti.
Sebuah kasus khusus dimana titik D berimpit dengan titik A atau C akan
menghasilkan teorema Heron.
3 Segiempat
Tidak banyak hal yang bisa dibahas dalam segiempat secara umum. Pada beber-
apa kasus, sebuah segiempat lebih mudah dipandang sebagai dua buah segitiga
yang memiliki satu sisi persekutuan.
Pembahasan pertama ini adalah mengenai bangun datar yang dibentuk oleh titik-
titik tengah keempat sisi sebuah segiempat. Kita memiliki teorema berikut:
55
Bukti.
B
L
A
N
C
M
D
Gambar 16.
Tidak semua segiempat memiliki lingkaran dalam, yaitu suatu lingkaran di dalam
segiempat yang menyinggung keempat sisi segiempat. Teorema berikut mem-
berikan sifat sebuah segiempat yang memiliki lingkaran dalam
56
B
K
A
N
L
D
M C
Gambar 17.
AK = AN , BK = BL, CL = CM , dan DM = DN
sehingga
AB + CD = AK + BK + CM + DM = AN + BL + CL + DN = BC + DA.
Konvers dari teorama di atas ternyata berlaku. Kita punya teorema berikut.
P
L
D
D'
M
Gambar 18.
57
Misalkan garis AB dan CD berpotongan di titik P dan Γ adalah lingkaran
dalam segitiga P BC. Misalkan juga garis melalui A yang menyinggung Γ mem-
otong P C di titik D′ sehingga Γ juga merupakan lingkaran dalam segiempat
ABCD′ . Selanjutnya, cukup dibuktikan bahwa D = D′ .
4 Lampiran
58
Selanjutnya adalah rumus trigonometri untuk dua kali sudut atau setengah kali
sudut.
a2 = b2 + c2 − 2bc cos A
b2 = c2 + a2 − 2ca cos B
c2 = a2 + b2 − 2ab cos C.
59