SlS1LM AkSlCMA1lk

PENCEFTIAN SISTEM AKSIOMATIK

Sisicm alsiomaiil mcmuai Iimpunan yang icrdiri dari isiilaI-isiilaI yang iidal didcfinisilan aiau primiiif, dan mcmilili arii yang
lcrganiung pada inicrprciasi pcmlaca. Scmua isiilaI sclain isiilaI-isiilaI primiiif didcfinisilan lcrdasarlan isiilaI-primiiif. IsiilaI-
isiilaI iiu disclui dcfinisi. Sisicm alsiomaiil juga mcngandung Iimpunan pcrnyaiaan yang iidal pcrlu diluliilan. Pcrnyaiaan-
pcrnyaiaan yang iidal pcrlu diluliilan icrsclui dirumuslan mcnggunalan isiilaI-isiilaI primiiif dan dcfinisi-dcfinisi. Pcrnyaiaan-
pcrnyaiaan icrsclui disclui alsioma aiau posiulai. Konsclucnsi logis dari alsioma-alsioma pada suaiu sisicm alsiomaiil disclui
sclagai icorcma, yang lcalsaIannya iidal lcrganiung pada inicrprciasi icrIadap isiilaI-isiilaI primiiif.

Dcrilui ini mcrupalan salaI saiu conioI dari sisicm alsiomaiil.

Dilcrilan suaiu sisicm alsiomaiil, dinamai dcngan sisicm alsiomaiil Fc-Fo, dcngan isiilaI-isiilaI primiiif . Fc", Fo", dan rclasi
icrmasul pada". Alsioma-alsiomanya adalaI .
Alsioma 1. Tcrdapai icpai iiga Fc yang lcrlcda pada sisicm alsioma ini.
Alsioma 2. Dua Fc yang lcrlcda icrmasul pada icpai saiu Fo.
Alsioma 3. Tidal scmua Fc icrmasul pada Fo yang sama.
Alsioma 4. Sciiap dua Fo yang lcrlcda mcmuai paling scdilii saiu Fc yang icrmasul pada lcduanya.

Dari alsioma-alsioma icrsclui liia mcmilili icorcma-icorcma di lawaI ini.
Tcorcma Fc-Fo 1. Dua Fo yang lcrlcda mcmuai icpai saiu Fc.
Dulii. Alsioma 4 mcngaialan laIwa sciiap dua Fo yang lcrlcda mcmuai paling scdilii saiu Fc. Karcnanya, uniul mcmluliilan
Tcorcma Fc-Fo 1, liia culup mcmluliilan laIwa iidal munglin sciiap dua Fo yang lcrlcda mcmuai lcliI dari saiu Fc. Kiia alan
mcnggunalan lulii loniradilsi. Andailan sciiap dua Fo yang lcrlcda mcmuai dua Fc. Namun pcngandaian ini lcricniangan aiau
loniradilsi dcngan alsioma 2 yang mcnyaialan laIwa dua Fc yang lcrlcda icrmasul pada icpai saiu Fo. Pcngandaian sciiap dua Fo
yang lcrlcda mcmuai lcliI dari dua Fc juga alan mcnimlullan pcricniangan dcngan alsioma 2. Dcngan dcmilian, dua Fo yang
lcrlcda IaruslaI mcmuai icpai saiu Fc.

Tcorcma Fc-Fo 2. Tcrdapai icpai iiga Fo.
Dulii. Alsioma 2 mcnyaialan sciiap pasang Fc yang lcrlcda icrmasul pada icpai saiu Fo. Alsioma 1 mcnyaialan icrdapai icpai iiga
Fc yang lcrlcda pada sisicm. Dcrdasarlan Alsioma 1 dan 2 icrsclui, mala icrdapai paling scdilii iiga Fo. Uniul mcmluliilan
Tcorcma Fc-Fo 2, liia culup mcmluliilan iidal munglin icrdapai lcliI dari iiga Fo. Kiia alan mcnggunalan lulii loniradilsi.
Andailan icrdapai cmpai Fo. Mcnurui Tcorcma Fc-Fo 1, Fo yang lccmpai lcrsama dcngan iiga Fo sclclumnya alan mcmlcniul cnam
Fc. PadaIal mcnurui Alsioma 1, Ianya icrdapai icpai iiga Fc yang lcrlcda. Alilainya, icrjadi loniradilsi. Koniradilsi scpcrii iiu alan
icrjadi pula jila liia mcngandailan icrdapai lcliI dari cmpai Fo. Jadi IaruslaI iidal lolcI lcliI dari iiga Fo. Dcngan dcmilian
icrdapai icpai iiga Fo.

Tcorcma Fc-Fo 3. Sciiap Fo mcmilili icpai dua Fc yang icrmasul padanya.
Dulii. Mcnurui Alsioma 2, sciiap Fo mcmilili paling scdilii dua Fc yang icrlcial padanya. Sclanjuinya, andailan icrdapai lcliI dari
dua Fc yang icrmasul pada icpai saiu Fo. Misallan icrdapai iiga Fc yang icrmasul pada saiu Fo. Namun Ial ini lcricniangan dcngan
Alsioma 1 dan 3, yang mcnyaialan laIwa icrdapai icpai iiga Fc dan iidal scmuanya lcrada pada Fo yang sama. Koniradilsi ini alan
icrjadi juga jila icrdapai lcliI dari iiga Fc yang icrmasul pada saiu Fo. Jadi IaruslaI sciiap Fo mcmilili icpai dua Fc yang icrmasul
padanya.

MODEL

IsiilaI-isiilaI primiiif Fc", Fo", dan icrmasul pada" lisa saja diinicrprciasilan lcrmacam-macam. Sclarang, misallan Fc
diinicrprciasilan sclagai iiiil, Fo diinicrprciasilan sclagai garis, dan icrmasul pada diinicrprciasilan sclagai icrlcial pada.
Karcnanya sisicm alsioma Fc-Fo mcnjadi .
Alsioma 1. Tcrdapai icpai iiga iiiil yang lcrlcda pada sisicm alsioma ini.
Alsioma 2. Dua iiiil yang lcrlcda icrlcial pada icpai saiu garis.
Alsioma 3. Tidal scmua iiiil icrlcial pada garis yang sama.
Alsioma 4. Sciiap dua garis yang lcrlcda mcmuai paling scdilii saiu iiiil yang icrlcial pada lcduanya.

Kalau liia pcrIaiilan, alsioma-alsioma pada sisicm alsioma Fc-Fo di aias (dcngan mcninicrprciasilan Fc sclagai iiiil, Fo sclagai
garis, dan icrmasul pada sclagai icrlcial padai mcrupalan pcrnyaiaan-pcrnyaiaan yang lcnar. Inicrprciasi yang dcmilian disclui
sclagai modcl.

Sclanjuinya, misallan Fc diinicrprciasilan sclagai lulu, Fo diinicrprciasilan sclagai ral, dan icrmasul pada diinicrprciasilan
sclagai icrlcial pada. Alilainya, sisicm alsioma Fc-Fo dcngan inicrprciasi dcmilian mcnjadi .
Alsioma 1. Tcrdapai icpai iiga lulu yang lcrlcda pada sisicm alsioma ini.
Alsioma 2. Dua lulu yang lcrlcda icrlcial pada icpai saiu ral.
Alsioma 3. Tidal scmua lulu icrlcial pada ral yang sama.
Alsioma 4. Sciiap dua ral yang lcrlcda mcmuai paling scdilii saiu lulu yang icrlcial pada lcduanya.

Alsioma 4 pada sisicm alsioma Fc-Fo di aias (dcngan mcninicrprciasilan Fc sclagai lulu, Fo sclagai ral, dan icrmasul pada sclagai
icrlcial padai mcrupalan pcrnyaiaan yang salaI. Inicrprciasi scpcrii ini iidallaI dilaialan sclagai modcl.

SIFAT SISTEM AKSIOMATIK

Suaiu sisicm alsiomaiil Iarus mcmilili lclcrapa sifai. Yang pcriama, adalaI lonsisicn. Suaiu sisicm alsiomaiil dilaialan lonsisicn
jila dari alsioma-alsioma yang ada iidal munglin mcngIasillan icorcma-icorcma yang loniradilsi dcngan alsioma-alsioma yang ada
dan dcngan icorcma-icorcma yang iclaI diluliilan sclclumnya.

Sifai lcdua yang Iarus dimilili olcI suaiu sisicm alsioma adalaI sciiap alsioma yang ada pada sisicm icrsclui lulanlaI mcrupalan
iurunan (dcdulsii dari alsioma-alsioma yang lain. Jadi aniara alsioma yang saiu dcngan alsioma yang lain saling lclas aiau
indcpcndcn.

Sifai icralIir yang Iarus dimilili olcI suaiu sisicm alsioma adalaI lcnglap. Malsudnya, iidallaI munglin manamlaIlan alsioma
lain yang lonsisicn dan indcpcndcn ianpa mcnamlaIlan isiilaI-isiilaI primiiif.












posLulaL kese[a[aran euclld
CS1uLA1 kLSL!A!A8An LuCLlu
Cleh CkLlana uwl
Luclld adalah seorana ahll loalka Lernama Lelah menvaLakan bahwa perubahan perkembanaan Leorl aeomeLrl non Luclld dapaL konLradlksl denaan posLulaL
kese[a[aran Luclld Selrlna denaan kepercavaan ahll maLemaLlka bahwa aeomeLrl non Luclld hanva memunaklnkan unLuk Leorl ruana dan vana men[elaskan seaala
sesuaLunva secara flslk 1eLapl poslsl unlk aeomeLrl Luclld dl abad 19 Lelah dlserana oleh penemuan aeomeLrl non Luclld uan banvak ahll maLemaLlka sanaaL
Lerauncana lde LenLana kealamlan aeomeLrld an poslsl unlk aeomeLrl Luclld vana Lelah dl lakukan sepan[ana dua rlbu Lahunan akhlrnva runLuh pada decade 1820
1830
Awal abad 19 ahll maLemaLlka vana berkompeLen berhasll dlvaklnkan bahwa masalahnva LenLana posLulaL Lelah dlselesalkan dan hanva sedlklL memlllkl kekuranaan
dalam pembukLlannva keaaaalan seLlap percobaan dalam membukLlkan posLulaL kese[a[aran LersebuL membawa pada pernaakuan bahwa posLulaL kese[a[aran
Lldaklah pasLl uan bahwa Leorl aeomeLrl lalnnva (non Luclld )blas sa[a dlaunakan Selan[uLnva dalam bab lnl akan dl[elaskan 3 upava penLlna dalam membukLlkan
posLulaL kese[a[aran Luclld

1 SLrukLur CeomeLrl 8ldana Luclld

osLulaL se[a[ar Luclld dapaL dlnvaLakan sebaaal berlkuL

!lka dua aarls dlpoLona oleh aarls Lransversal sedemlklan hlnaaa [umlah dua suduL lnLerlornva (suduL dalam) pada saLu slsl Lransversal adalah kurana darl 180 Carls
LersebuL akan berLemu pada saLu slsl Lransversal LersebuL"

Se[umlah asumsl/posLulaL unLuk aeomeLrl bldana Luclld valLu
1 SesuaLu akan sama denaan sesuaLu aLau sesuaLu vana sama akan sama saLu sama vana lalnnva
2 !lka kesamaan dl Lambahkan denaan kesamaan maka [umlahnva akan sama
3 !lka kesamaan dl kuranal denaan kesamaan maka sellslhnva akan sama
4 keseluruhan akan leblh besar darl baalannva
3 8anaun aeomeLrlc dapaL dlplndahkan Lanpa menaubah ukuran aLau benLuknva
6 SeLlap suduL memlllkl blsecLor ( aarls baal )
7 SeLlap seamen memlllkl LlLlk Lenaah
8 uua LlLlk hanva berada pada saLusaLunva aarls
9 Sembarana seamen dapaL dlperluas oleh suaLu seamen vana sama denaan seamen vana dlberlkan
10Llnakaran dapaL dl aambarkan denaan sembarana LlLlk pusaL dan radlus vana dlkeLahul
11Semua suduL slkuslku sama besar

uarl posLulaLposLulaL lnl dapaL dl deduksl se[umlah Leorema dasar dlanLaranva
1 5udut berto|ak be|akang sama besar
8ukt| 1
1Lukls aarls l dan m se[a[ar
2Carls Lransversal h memoLona Leaak lurus l dan m dl dan C
3 C (posLulaL ke 11)
4 1 (posLulaL ke 11)
3 dan 1 dua suduL berLolak belakana [adl suduL berLolak belakana sama besar (LerbukLl)

8ukt| 2
1 Ada 8 sehlnaaa 8 t a
2 Ada C sehlnaaa C t a
3 Analoa unLuk u dan L t l
4 8Au + 8AL 180 (osLulaL aarls pelurus)
CAL + 8AL 180
3 ( 8Au + 8AL ) ( CAL + 8AL ) 180 180 (posLulaL 3)
8Au CAL 0
8Au CAL
(LerbukLl suduL berLolak belakana sama besar)

2 5|fat kongruens| seg|t|ga (5A5 A5A 555)
8ukt| 5|fat kongruens| seg|t|ga (A5A )
1 Lukls AA8C dan AC8 sehlnaaa A 8 C dan A8 C
2 lndahkan A A8C pada A C8 sehlnaaa A berlmplL denaan
8 berlmplL C dan A8 berlmplL pada C maka C berlmplL pada 8 dan C 8 ( posLulaL 3)
3 1eorema kesamaan suduL alas sealLlaa sama kakl dan konverslnva

8ukt|
ulberlkan A A8C dan AC 8C akdlb
A 8
1Lukls aarls baal C (aksloma 6)
2erpan[ana aarls baal LersebuL hlnaaa memoLona A8 dl u (aksloma 9)
3ualam A ACu dan A 8Cu AC8C 1 2 (aksloma 6) CuCu (berlmplL) sehlnaaa A ACu konaruen denaan A 8Cu (SAS)
4!adl A 8 (suduL vana berkoresponden sama besar) (LerbukLl )
uan seballknva [lka dlberlkan A A8C denaan A 8 maka AC 8C

8ukt|
1 Lukls aarls baal C sehlnaaa 1 2 (aksloma 6)
2 karena A 8 dan 1 2 maka AuC 8uC
3 A AuC konaruen denaan A 8uC sehlnaaa AC 8C (LerbukLl)
4 LkslsLensl aarls vana Leaak lurus pada aarls pada LlLlk darl aarls LersebuL
3 LkslsLensl aarls vana Leaak lurus pada aarls vana melalul LlLlk eksLernal
6 embenLukan suaLu suduL vana sama denaan suduL denaan LlLlk suduL dan slsl vana Lelah dlberlkan sebelumnva
7 embenLukan sealLlaa vana konaruen denaan sealLlaa denaan slsl vana sama pada slsl sealLlaa vana dl keLahul

1LCkLMA 1 1eorema 5udut Lkster|or (|uar)
SuduL eksLerlor sealLlaa akan leblh besar darlpada suduL lnLerlor (dalam) Lerpencll (ber[auhan) manapun
8ukt|
A8C SealLlaa sembarana
u erpan[anaan A8 melalul 8
Akdlb AC8 C8u
8ukt|
1 L pada 8C sehlnaaa 8L LC
( aksloma 7 )
2 l pada perpan[anaan AL sha AL Ll (aksloma 7)
3 ALC lL8 (berLolak belakana) ( posLulaL 1 )
!adl A ALC konaruen denaan A lL8
( SAS )
ACL l8L
l8L L8u
ACL L8u
!adl AC8 C8u LerbukLl

1LCkLMA 2
!lka dua aarls dlpoLona oleh aarls Lransversal sehlnaaa membenLuk pasanaan suduL lnLerlor dalam berseberanaan maka aarls LersebuL se[a[ar
8uk1l
1 ulberlkan aarls l dan m
2 Carls Lransversal h memoLona l dan m dl A dan 8 sehlnaaa membenLuk pasanaan suduL lnLerlor dalam berseberanaan valLu 1 dan 2 vana sama besar
3 Mlsal l dan m Lldak se[a[ar berarLl akan berLemu dl C dan LerbenLuk A A8C (hlpoLesls)
4 C LerleLak dl depan slsl A8
3 1 AC
3 A8 AC (Aksloma 11 suduL slkuslku sama besar)
6 !adl l m
keslmpulan Ada LepaL saLu l sehlnaaa l Leaak lurus a A t l A t a ( LerbukLl )
Corollarv 3 ( LkslsLensl aarls se[a[ar )
!lka LlLlk Lldak berada pada aarls l maka akan ada seLldaknva saLu aarls vana melalul vana se[a[ar denaan l

8ukt|
1 Lukls aarls l
2 1lLlk dl luar aarls l
3 Lukls aarls darl vana Leaak lurus l dan memoLona l dl C
4 Melalul LlLlk lukls aarls m vana Leaak lurus C
3 m se[a[ar l ( corollarv 1 )

1LCkLMA 3
!umlah dua suduL pada sealLlaa kurana darl 180
8Uk1I
A8C sealLlaa sembarana
Akdlb 8 + C AC8 (Leorema 1)
C8u AC8 dan C8u 180 C8A
180 C8A AC8
180 C8A + AC8
ALau 180 8 + C
8 + C 180 ( 1L88uk1l)

Lklvalensl osLulaL Luclld uan lavfalr
osLulaL Luclld
!lka dua aarls dlpoLona oleh aarls Lransversal sedemlklan hlnaaa [umlah dua suduL lnLerlornva (suduL dalam) pada saLu slsl Lransversal adalah kurana darl 180 Carls
LersebuL akan berLemu pada saLu slsl Lransversal LersebuL"
osLulaL lavfalr
Panva ada saLu aarls se[a[ar pada aarls vana melalul LlLlk bukan pada aarls LersebuL"
Menaasumslkan posLulaL se[a[ar Luclld klLa deduksl posLulaL lavfalr
1ulberlkan aarls l dan LlLlk bukan pada l
2Akan ada aarls melalul se[a[ar l (corollarv 3) mlsal m
3uarl dlLarlk aarls Leaak lurus l denaan kakl C
4 Lukls aarls n melalul (nm)
3 !lka 1 adalah slkuslku maka n berlmplL denaan m (berlawanan denaan asumsl) maka 1 lanclp
!adl 1 + C 180
Menaasumslkan posLulaL lavfalr klLa deduksl posLulaL se[a[ar Luclld
1 ulberlkan aarls l dan m
2 l dan m dl poLona oleh aarls Lransversal h dl dan C sehlnaaa membenLuk suduL lnLerlor 1 dan 2
1 + 2 180 (posLulaL Luclld)
1 + 3 180 [adl 2 2 sehlnaaa 8 m