SISTEM

GEOMETRI
DWI PERMATASARI
 TEOREMA 3.12

Jika [A B D] dan [A C D] dan

B ≠ C maka [A B C] atau [A C
B]

A B C D
 BUKTI
NO. PERTANYAAN ALASAN

1. [ABD] Premis 1
A B C D
2. [ACD] Premis 2 TEOREMA 3.10
3. A≠B≠D 1, Teorema 3.2
Jika [ A B C ] dan [B C D] maka
2, Teorema 3.2
4. A≠C≠D
A C[A B D] B D
5. B≠C Premis 3 AKIBAT 2

6. A≠B≠C 3, 4, 5
Tiga titik berlainan A, B, dan C
[ A B C ] atau [B C A] atau [C A B] 6, Akibatpada
2 suatu garis memenuhi
7. TEOREMA 3.2
8.
Andaikan [C A B] 7 tepat hanya salah satu dari
[C A D]
relasi[–Arelasi
Jika3.10
1, 8 Teorema
[A B C],A,[B
B C ] maka B,Cdan
A], C
9.
atau [atau
berlainan CAA B ]≠ B ≠ C
Tidak [C A B] 2, 9 akibat 2 (kontradiksi)
10.
11. [ A B C ] atau [B C A] 7, 10