Geometri

Teururut
Pembuktian Teorema 3.7, Teorema 3.10,
Teorema 3.11, dan Teorema 3.14

DESY PUSPITA SARI ｜ 18030174041

DESY PUSPITA SARI ｜ 18030174041
Aksioma 3.7

Jika A B C suatu segitiga, [BCD] dan [CEA],

maka pada garis DE, ada suatu titik F yang
memenuhi [AFB]
 Teorema 3.7
Antara dua titik berlainan ada suatu titik lain
 No Pernyataan Keterangan
1 Misal ada titik A dan B seperti pada gambar Konstruksi
2 Ada suatu titik E tidak pada garis AB 1, aksioma 3.6
3 Ada suatu titik C yang memenuhi [AEC] 2, aksioma 3.2
4 Garis AC = Garis AE 3, teorema 3.5
5 Titik B tidak terletak pada garis AC 1,4, aksoma 3.6
6 ∆ABC 4,5, definisi 3.3
7 Ada suatu titik D yang memenuhi [BCD] 6, aksioma 3.2
8 Ada titik F antara titik A dan titik B 3, 6,7, aksioma 3.7

Aksioma
Teorema 3.6
3.23.73.6
Aksioma Definisi 3.3
Aksioma
Teorema 3.5Tiga titik non-kolinier A,B,C menentukan suatu
Jika AB
JikaJika
A ansuatu
BAB garis,
dua titikada suatu
berlainan, titik
makaC tidak
ada pada
Csatu garis
titik ini
C yang memenuhi
Jika Jika
CABC
dan Dsuatu
suatu garis,
segitiga,
titik-titik
Aksioma 3.2
segitiga
ada suatu
[BCD]
berlainan
ABC yang
dantitik
pada[AEC],
memuat
yang
garismaka
AB
tiga
tidak
, pada
maka
titik
pada
ini,
garis
garis
yang
DE,=ini
AB ada suatu
garis
[ABC]
titik F yang memenuhi [AFB]
CD Jikadisebut
A dan Btitik-titik
dua titiksudut,
yang berlainan, maka ada
dan tiga segmen AB,satu
BC, titik C yang
memenuhi [ABC] AC yang disebut sisi-sisi
 Teorema 3.10
Jika [ABC] dan [BCD], maka [ABD]
No Pernyataan Keterangan

1 [ABC] Premis
2 [BCD] Premis
3 A≠B≠C 1, teorema 3.2
Teorema
Akibat 2 3.2
4 Jika
B≠C≠D 2, teorema 3.2 Tiga[ABC], maka A, B,
titik berlainan dan
A,B, C
dan
berlainan ataugaris
C pada suatu A≠B≠C
5 A≠B≠D 3, 4
memenuhi tepat hanya
6 [ABD], [BAD], atau [DAB] 5, akibat 2 salah satu dari relasi-relasi
7 Andaikan tidak [ABD] Premis tambahan
[ABC], [BCA], atau [CAB]

8 Kemungkinan 1 yaitu [BAD] Premis tambahan

9 [BAC] atau [BCA] 2,8
No Pernyataan Keterangan
10 Kontadiksi 1, 9, aksioma 3.4
11 Tidak [BAD] 8, 9, 10 Akibat 2
Aksioma 3.4
Tiga titik berlainan A,B, dan C
12 Premis tambahan Jika
pada[ABC], maka [CBA] tetapi
suatu garis
Kemungkinan 2 yaitu [ADB]
13 memenuhi
tidak [BCA]tepat hanya
[DBC] 1, 12 salah satu dari relasi-relasi
14 Kontradiksi 2, 13, teorema 3.1 [ABC], [BCA],
Teorema 3.1atau [CAB]
15
Jika [ABC], maka tidak [CAB]
Tidak [DBC] 12, 13, 14
16 [ABD] 11, 15, akibat 2
 Teorema 3.11
Jika [ABC] dan [ABD] serta C≠D, maka :
1. [BCD] atau [BDC]
2. [ACD] atau [ACD]
 Pembuktian pernyataan 1
Jika [ABC] dan [ABD] serta C≠D, maka [BCD] atau [BDC]

No Pernyataan Keterangan
1 [ABC] Premis
2 [ABD] Premis
3 C≠D Premis Teorema 3.2
4 Jika [ABC], maka A, B, dan C berlainan atau
A≠B≠C 1, Teorema 3.2
A≠B≠C
5 A≠B≠D 2, Teorema 3.2
6 B≠C≠D 3, 4, 5
7 Aksioma 3.2
[BCD] 6, Aksioma 3.2
Jika A dan B dua titik berlainan, maka ada
8 [BDC] 6, Aksioma 3.2 satu titik C yang memenuhi [ABC]
9 [BCD] atau [BDC] 7, 8
 Pembuktian pernyataan 2
Jika [ABC] dan [ABD] serta C≠D, maka [ACD] atau [ADC]

No Pernyataan Keterangan
1 [ABC] Premis
2 [ABD] Premis
3 C≠D Premis Teorema 3.2
4 Jika [ABC], maka A, B, dan C berlainan atau
A≠B≠C 1, Teorema 3.2
A≠B≠C
5 A≠B≠D 2, Teorema 3.2
6 A≠C≠D 3, 4, 5
7 Aksioma 3.2
[ACD] 6, Aksioma 3.2
Jika A dan B dua titik berlainan, maka ada
8 [ADC] 6, Aksioma 3.2 satu titik C yang memenuhi [ABC]
9 [ACD] atau [ADC] 7, 8
 Teorema 3.14
Jika ABC suatu segitiga dan [AFB] dan [BCD] maka
pada garis DF, ada suatu titik E yang memenuhi
[CEA]
No Pernyataan Keterangan
1 ∆ABC Premis
2
[AFB] Premis
3 Aksioma 3.7
[BCD] Premis Jika ABC suatu segitiga, [BCD]
4
5 Diambil G pada B/F Konstruksi dan [CEA], maka pada garis
Pandang ∆BDF dengan [FBD] dan [BCD] Premis tambahan
Teorema 3.8 F yang memenuhi
DE, ada titik
6
Jika ABC suatu segitiga dan
[AFB]
Pada garis GC ada titik H sedemikian sehingga 4, aksioma 3.7
7 [BCD] dan [CEA], maka pada
[DHF]
garis DE ada suatu titik F yang
Pada garis GC ada titik H yang memenuhi [DHF] 4, 5, teorema 3.8 memenuhi [AFB] dan [DEF]
8 Teorema 3.10
dan [GCH]
9 Jika [ABC] dan [BCD] maka [ABD]
[AFB] dan [FBG] 1, 3
[AFG] 7, teorema 3.10
No Pernyataan Keterangan
9
10 Pandang ∆AFD dengan [AFG] dan [DHF] Premis tambahan Aksioma 3.7
11 Pada garis GH ada suatu titik K sedemikian 9, aksioma 3.7 Jika ABC suatu segitiga, [BCD] dan
sehingga [DKA] Teorema 3.8 pada garis DE ada suatu
[CEA], maka
12 Pada garis GH ada titik K yang memenuhi 9, 10, teorema 3.8
Jika
titikABC suatu
F yang segitiga [AFB]
memenuhi dan
13 [DKA] dan [GHK] [BCD] dan [CEA], maka pada
14 [GCH] dan [GHK] garis
TeoremaDE ada suatu titik F yang
3.13
6, 11
memenuhi
Jika [ABC] dan[AFB] dan maka
[ACD] [DEF] [BCD] dan
15 [CHK] 12, teorema 3.13 Aksioma 3.7
[ABD]
A tidak pada garis CK, sehingga ACK suatu 18, 19, teorema 3.5 Jika ABC suatu segitiga,[BCD] dan
segitiga 14, aksioma 3.7 [CEA], maka pada garis DE terdapat
Pada garis DH (atau garis DF) ada suatu titik suatu titik F yang memenuhi [AFB]
E yang memenuhi [CEA]
 Definisi 3.3
Tiga titik non-kolinier A,B,C menentukan suatu
segitiga ABC yang memuat tiga titik ini, yang disebut
titik-titik sudut, dan tiga segmen AB, BC, AC yang
disebut sisi-sisi

No Pernyataan Keterangan
10 Premis tambahan Aksioma 3.7
Pandang ∆AFD dengan [AFG] dan [DHF]
11 Jika ABC
Pada garis GH ada suatu titik K sedemikian 10, aksioma 3.7 Teorema 3.8suatu segitiga, [BCD]
12 sehingga [DKA] Jikadan
ABC[CEA],
suatumaka pada
segitiga garis
dan
Pada garis GH ada titik K yang memenuhi 10, 11, teorema 3.8 DE, dan
[BCD] ada [CEA],
titik F yang
makamemenuhi
pada
13 [DKA] dan [GHK] [AFB]
garis
Teorema DE 3.13
ada suatu titik F yang
14 [GCH] dan [GHK] 7, 12 memenuhi
Jika [ABC] dan [AFB] dan
[ACD] [DEF]
maka [BCD] dan
15 Aksioma 3.7
[ABD]
[CHK] 13, teorema 3.13
Jika ABC suatu segitiga,[BCD] dan
A tidak pada garis CK, sehingga ACK suatu 13, 14, definisi 3.3 [CEA], maka pada garis DE terdapat
16
segitiga suatu titik F yang memenuhi [AFB]
17
Ada ∆ACK dengan [AKD] dan [KHC] 11, 14, dan 15
Pada garis DH (atau garis DF) ada suatu titik 14, aksioma 3.7
E yang memenuhi [CEA]