Axiomele geometriei n plan i n spaiu

Axiomele geometriei n plan i n spaiu

Cunotinele de geometrie acumulate n clasele gimnaziale pot fi ncadrate ntr-un sistem logic de propoziii matematice: axiome, definiii, teoreme, consecine, leme, etc. Amintim c noiunile geometrice ce nu se definesc se numesc noiuni geometrice primare. De regul, acestea snt: punct, dreapt, plan. Puncetele, dreptele i planele se noteaz respectiv cu literele A , B , C , ...; a , b , c , ...; , , , ... eventual cu indici. Noiunile ce se definesc cu ajutorul noiunilor primare se numesc noiuni derivate. Segment, semidreapt, unghi, triunghi, . a. snt noiuni derivate. Punctele, dreptele i planele se afl n nite relaii numite relaii primare. Acestea se numesc inciden (apartenen), ntre, congruen. Natura obiectelor primare (punct, dreapt, plan) i a relaiilor primare poate fi arbitrar cu condiia c ele snt legate printr-un sistem de axiome. Axiomele snt propoziii cu caracter de ipotez (care nu se demonstreaz) care descriu legtura dintre noiunile primare i relaiile primare. Ele reprezint proprietile de baz ale obiectelor de baz i se consider adevrate. Axiomele sunt ca nite reguli de conduit, ca nite reguli ale unui joc, . a. Sistemul de axiome (reguli) ales trebuie s verifice urmtoarele condiii: axiomele trebuie s nu se contrazic; axiomele s fie suficient de numeroase, astfel nct pornind de la ele s se poat studia, explica toate situaiile posibile.

n geometria elementar se iau ca axiome proprieti ale punctelor i dreptelor deja familiarizate i amplu utilizate n gimnaziu. La ele se mai adaug i alte cteva proprieti importante sugerate de observaii i experimentri. Menionm c una i aceeai proprietate poate fi considerat ntr-un sistem de proprieti drept axiom, iar n alt sistem de axiome drept o consecin din axiomele acceptate, adic drept teorem. Axiomele snt propoziii cu caracter de ipotez (care nu se demonstreaz) care descriu legtura dintre noiunile primare i relaiile primare. Teorema este o propoziie adevrul creia se demonstreaz. Teoremele sunt propoziii care descriu proprietile noiunilor primare i derivate i se demonstreaz cu ajutorul axiomelor, definiiilor, lemelor sau teoremelor deja demonstrate. Lema este o propoziie adevrul creia se demonstreaz i se aplic la demonstrarea unei teoreme. Definiia este o propoziie sau un grup de propoziii prin care se explic o noiune nou. Astfel, propoziia Dac dou puncte A i B ale dreptei a aparin planului , atunci dreapta a aparine planului este o axiom (dup cum vom vedea), iar afirmaia Suma msurilor unghiurilor unui triunghi este 180 este o teorem. Aceast teorem se demonstreaz cu ajutorul urmtoarelor propoziii matematice: P1. axioma paralelelor a lui Euclid (oricare ar fi o dreapt i un punct exterior acestei drepte, n planul determinat de punct i dreapt, exist cel mult o paralel la dreapta dat, care s conin punctul dat); P2. teorema de existen a paralelei (printr-un punct exterior unei drepte exist cel puin o paralel la dreapta dat);

Axiomele geometriei n plan i n spaiu

P3. teorema despre egalitatea unghiurilor alterne interne, formate la intersecia a dou drepte paralele cu o secant; P4. definiia sumei unghiurilor; P5. definiia unghiului alungit; P6. teorema despre msura unghiului alungit. Convenim ca atunci cnd ne referim la mai multe obiecte (puncte, drepte, plane, .a.) i le notm cu simboluri diferite, s le considerm distincte. Iat cteva exemple de definiii care vor fi folosite n continuare: Trei puncte A , B , C se numesc coliniare dac exist o dreapt a ce le conine. n caz contrar, punctele se numesc necoliniare. Se spune c dreapta a intersecteaz (este incident cu) planul dac exist un punct A , astfel nct A i A a . Se spune c dreapta a aparine (sau este coninut de planul ) planului dac orice punct al dreptei a aparine i planului . Patru puncte A , B , C , D se numesc coplanare dac exist un plan ce le conine. n caz contrar, punctele se necoplanare. Alegerea noiunilor primare, relaiilor primare i a sistemului de axiome respectiv, astfel nct toat geometria elementar s fie dedus bazndu-ne doar pe ele i pe legile logicii se numete construcie axiomatic a geometriei elementare. Se cunosc mai multe sisteme de axiome ale geometriei elementare. n literatura tiinific este cel mai des utilizat sistemul de axiome al lui D. Hilbert. Geometria organizat conform acestui sistem de axiome corespunde cu geometria spaiului din jurul nostru, observat cu ochiul liber. Conform acestei geometrii, oamenii activeaz n diversele lor meserii, de exemplu, n arhitectur, construcia de poduri, construcia de case, de maini, . a. n afar de aceast geometrie matematic au mai fost definite i alte geometrii, bazate pe alte axiome, unele din ele contrazic axiomele geometriei elementare. Aceste geometrii snt utile n explicarea i prezicerea fenomenelor ce se petrec n Univers: teoria relativitii, evoluia stelelor, propagarea luminii, . a. n continuare vom examina schema argumentrii geometriei elementare conform axiomaticii lui David Hilbert. Acest sistem de axiome const din 20 de axiome mprite n 5 grupe. Prin aceast clasificare a axiomelor se reuete cea mai simpl i laconic formulare a axiomelor i n plus, se poate constata ct de consistent (bogat) poate fi geometria bazat doar pe una sau cteva grupe de axiome. Axiomele de inciden (Grupa I) Axiomele acestei grupe definesc proprietile de amplasare ale punctelor, dreptelor i planelor. Se admit urmtoarele axiome de inciden: I1. Oricare ar fi dou puncte distincte A , B ale spaiului, exist o dreapt a care trece prin aceste puncte. I2. Oricare ar fi dou puncte distincte A , B exist cel mult o dreapt a care trece prin aceste puncte.

Axiomele geometriei n plan i n spaiu

.
a

.
A Figura 1

Deci, dou puncte distincte A , B ale spaiului determin o dreapt i numai una singur. Notaie: a = AB (fig. 1). I3. Pe oricare dreapt snt situate cel puin dou puncte. Exist cel puin trei puncte necoliniare. I4. Oricar ar fi trei puncte necoliniare A , B , C , exist planul ce trece prin aceste puncte. Pe fiecare plan este situat cel puin un punct. I5. Oricare ar fi trei puncte necoliniare A , B , C , exist cel mult un plan care trece prin aceste puncte. Astfel, trei puncte necoliniare A , B , C , determin un plan i numai unul singur. Notaie: = ( ABC ) (fig. 2).

.
C

.A

.B
Figura 2

I6. Dac dou puncte distincte A , B ale dreptei a snt situate pe planul , atunci fiecare punct al dreptei a este situat pe planul .
Altfel spus, dac o dreapt are dou puncte comune cu un plan, atunci dreapta este coninut n ntregime n acest plan.

a B

Figura 3

I7. Dac dou plane i au un punct comun A , atunci ele mai au cel puin nc un punct comun B . Planele se reprezint pe foaie de caiet prin paralelograme.

A B

Figura 4

I8. Exista cel putin patru puncte necoliniare.

Axiomele geometriei n plan i n spaiu

A
Figura 5

Utilizand aceste axiome pot fi demonstrate urmatoarele teoreme:

T1. Dou drepte distincte au cel mult un punct comun. a b

Figura 6

T2. Dac dou plane au un punct comun, atunci ele au o dreapt comun pe care snt situate toate punctele comune acestor plane.

Figura 7

T3. Printr-o dreapt i un punct ce nu-i aparine trece un plan i numai unul singur. a A

Figura 8

T4. Prin dou drepte concurente trece un plan i numai unul singur.

A b
Figura 9

T5. Orice plan conine trei puncte necoliniare.

Axiomele geometriei n plan i n spaiu

B A C

Figura 10 Aadar, un plan poate fi determinat: a) de trei puncte necoliniare, b) de o dreapt i un punct ce nu-i aparine, c) de dou drepte secante (care se intersecteaz). S demonstrm de exemplu teoremele 3 i 4.

Teorema 3. Printr-o dreapt i un punct ce nu aparine acestei drepte trece un unic

plan.

A B C

Figura 11

Demonstraie. Fie dreapta d dat i punctul A d . Conform axiomei I3 pe dreapta d exist dou puncte distincte B i C (fig. 11). Punctele A , B , C snt necoliniare, deci, conform axiomelor I4-I5, prin aceste puncte trece un plan i numai unul singur. Dreapta d aparine planului , deoarece dou puncte distincte ale ei, B i C , aparin planului (axioma I6). Deci, planul este singurul plan ce conine punctul A i dreapta d .
Acest plan se noteaz ( A, d ) sau (d , A) . Planul ce trece prin punctele necoliniare A , B , C se noteaz ( ABC ) .

Teorema 4. Exist un unic plan ce trece prin dou drepte concurente. b C a A

Figura 12

Demonstraie. Fie a i b dou drepte concurente n C . Pe dreapta a , n afar de punctul C mai exist cel puin un punct A, A C (fig. 12). Conform teoremei 3, prin punctul A i dreapta b trece un plan i numai unul singur. Unicitatea planului rezult din axioma I6, deoarece orice punct al dreptei AC aparine planului . Exerciiu. Demonstrai teoremele T1, T2, T5.

Axiomele geometriei n plan i n spaiu

Axiomele de ordine (grupa II)

Axiomele de ordine evideniaz relaia dintre punctele situate pe o dreapt; aceast relaie se exprim prin cuvintele a fi ntre i altele echivalente cu acestea. Dac punctul B este situat (se afl) ntre punctele A i C notm A B C . Se admit urmtoarele axiome de ordine:

II1. Dac avem A B C , atunci A , B , C snt puncte distincte coliniare i avem C B A. A B

Figura 13

II2 (Axioma punctului exterior). Oricare ar fi dou puncte distincte A , B exist cel puin un punct C astfel nct A B C . A B
Figura 14

II3. Oricare ar fi trei puncte distincte coliniare A , B , C , unul i numai unul este situat ntre celelalte dou. A B C B C A C A B

Figura 15 nainte de a formula axioma II4 definim noiunile de segment i triunghi. Figura ce const din dou puncte distincte A , B i mulimea tuturor punctelor dreptei AB situate ntre A i B se numete segment nchis determinat de punctele A , B i se noteaz [ AB] : [ AB] = { A, B} {M AB | A M B} . Punctele A i B se numesc capetele (extremitile) segmentului. Uneori se spune c segmental AB unete punctele A i B . Pentru comoditate se examineaz i segmentele nule [ AA], [ BB] . Punctele segmentului, diferite de capetele lui, se numesc puncte interioare ale acestui segment. Mulimea tuturor punctelor interioare ale segmentului AB se numete segment deschis i se noteaz ( AB) . Att segmentul nenul nchis, ct i segmentul deschis determin o dreapt, care se numete dreapta suport a segmentului respectiv. Dac o dreapt trece printr-un singur punct al unui segment, atunci se spune c dreapta intersecteaz segmentul sau c segmentul intersecteaz dreapta. Reuniunea a trei puncte necoliniare i a segmentelor ce unesc aceste puncte se numete triunghi. Fie A , B , C trei puncte necoliniare. Triunghiul determinat de aceste puncte se noteaz ABC .

ABC = [ AB] [ BC ] [CA]

Axiomele geometriei n plan i n spaiu

A
Figura 16

Punctele A , B , C se numesc vrfurile triunghiului ABC , segmentele [ AB], [ BC ], [CA] laturile triunghiului ABC , iar planul ( ABC ) planul triunghiului ABC .

II4 (Axioma lui Pasch). Dac dreapta a este situat n planul ( ABC ) al ABC i nu trece prin nici unul din vrfurile A , B , C ale ABC , dar intersecteaz o latur a ABC (n interior), atunci dreapta a intersecteaz nc una i numai una din laturile ABC (n interior). B

A
Figura 17

Cu ajutorul axiomelor de inciden i de ordin se demonstreaz mai multe rezultate de geometrie i se definesc o serie de figuri geomtrice importante. n primul rand se deduce c orice segment nenul are cel puin un punct interior, iar de aici rezult c orice dreapt are o infinitate de puncte. Axiomele de inciden permit s definim semidreapta, semiplanul i semispaiul dup cum urmeaz. Mai nti se formuleaz i se demonstreaz teoremele de separare a dreptei, planului i spaiului, de ctre un punct, o dreapta, un plan respectiv.

Teorema S1. Orice punct O al unei drepte d mparte dreapta d n dou submulimi nevide disjuncte de puncte, astfel nct orice dou puncte A , B din submulimi diferite snt separate de punctul O , iar orice dou puncte C , D din aceeai submulime nu snt separate de punctul O . d D C A O B
Figura 18

Teorema S2. Orice dreapt d inclus ntr-un plan mparte planul n dou submulimi nevide disjuncte de puncte, astfel nct pentru orice dou puncte A , B din submulimi diferite, segmentul [ AB] intersecteaz dreapta d , iar pentru orice dou puncte C , D din aceeai submulime segmentul nu intersecteaz dreapta d .

Axiomele geometriei n plan i n spaiu

A E B
Figura 19

Teorema S3. Orice plan mparte mulimea punctelor spaiului n dou submulimi nevide disjuncte de puncte astfel nct pentru orice dou puncte A , B din submulimi diferite segmentul AB intersecteaz planul , iar pentru orice dou puncte C , D din aceeai submulime segmentul CD nu intersecteaz planul . D A C

B
Figura 20 Fiecare din submulimile din teorema S1 se numesc semidrepte deschise cu originea n O ale dreptei d (sau cu suportul d ). Reuniunea semidreptei deschise cu originea ei se numete semidreapt nchis. Notaie: ( OA , [OA respectiv snt semidrepte deschis, nchis cu originea n O care conin punctul A .

A
Figura 21

Semidreptele diferite cu acelai support d i aceeai origine O se numesc semidrepte opuse i se mai noteaz prin: (Od ' , (Od ' ' .

d ''

O
Figura 22

d d'

Fiecare din submulimile din teorema S3 se numesc semispaii deschise determinate de planul (cu frontiera ). Reuniunea semispaiului deschis cu frontiera sa se numete semispaiu nchis. Notaie: (A , ([A este semispaiul deschis (nchis) cu frontiera , care conine punctul A . Semispaiile diferite cu aceeai frontier se numesc semispaii opuse.

Axiomele geometriei n plan i n spaiu

Reuniunea a dou semidrepte nchise cu originea comun se numete unghi. Fie [OA i [OB dou semidrepte.

Axiomele de congruen (grupa III)

Axiomele acestei grupe definesc proprietile relaiilor de congruen dintre segmente (unghiuri). Se folosesc notaiile: [ AB] [CD] , AOB A' O' B' , care se exprim prin: segmentul AB (respectiv unghiul AOB ) este congruent cu segmentul CD (respectiv cu unghiul A' O' B' ). Aceste axiome snt:

III1. Fiind date segmentul AB i semidreapta cu originea n A' , exist un punct B' situat pe aceast semidreapt astfel nct [ AB] [ A' B' ] . III2. Dac [ AB] [ A' B' ] i [ AB] [ A" B" ] , atunci [ A' B' ] [ A" B" ] . III3. Dac [ AC ] [ A' C ' ] . A A BC , A' B C ' ,
[ AB] [ A' B' ] [ BC ] [ B' C ' ] ,

atunci

C
Figura 23

III4. Fie AOB , dreapta a i (O' X ' o semidreapta a dreptei a cu originea n punctul O' . Atunci, n semiplanul exist o unic semidreapt O' Y ' astfel nct AOB X ' O' Y ' . B X'

A
Figura 24

O'

X'

III5. Dac pentru triunghiurile ABC i A' B' C ' au loc relaiile [ AB] [ A' B' ] , [ AC ] [ A' C ' ] , BAC B ' A' C ' atunci are loc relaia ABC A' B' C ' , sau, schimbnd notaiile, ACB A' C ' B' . C C'

A'
Figura 25

B'

Aducem ca exemplu cteva teoreme ce rezult din axiomele de congruen i care le vom utilize n continuare. 1) Relaia de congruen a segementelor este o relaie de echivalen pe mulimea segmentelor. 2) Unghiurile de la baza triunghiului isoscel snt congruente.

Axiomele geometriei n plan i n spaiu

10

Triunghiurile ABC i A' B' C ' se numesc congruente dac exist o coresponden f ntre vrfuri, de exemplu f ( A) = A' , f ( B) = B' , f (C ) = C ' , astfel nct A A' , B B' , C C ' , [ AB] [ A' B' ], [ AC ] [ A' C ' ], [ BC ] [ B' C ' ]. 3) Criteriile de congruen ale triunghiurilor: 3a) (Criteriul LUL). Dac triunghiurile ABC i A' B' C ' ( AB) = ( A' B' ), ( AC ) = ( A' C ' ), A A' , atunci ABC A' B' C ' . snt astfel nct

3b) (Criteriul ULU). Dac triunghiurile ABC i A' B' C ' snt astfel nct B B' , ( BC ) ( B' C ' ), C C ' , atunci ABC A' B' C ' . 3c) (Criteriul LLL). Dac triunghiurile ABC i A' B' C ' snt astfel nct ( AB) ( A' B' ), ( AC ) ( A' C ' ), ( BC ) = ( B' C ' ) , atunci ABC A' B' C ' . 4) Congruena triunghiurilor este o relaie de echivalen pe mulimea triunghiurilor. 5) Congruena unghiurilor este o relaie de echivalen pe mulimea unghiurilor. n continuare putem formula definiiile cunoscute ale noiunilor mai mare i mai mic pentru segmente i unghiuri i putem deduce proprietile comparaiei segmentelor i unghiurilor. De exemplu, spunem c segmentul ( AB) este mai mic dect segmentul (CD ) i scriem ( AB) < (CD) dac exist un punct E pe semidreapta (CD , astfel nct C E D i ( AB) (CE ) .

C
Figura 26

n acest caz se mai spune c (CD) este mai mare dect ( AB) i se scrie (CD ) > ( AB) . Se numesc unghiuri adiacente dou unghiuri proprii care au acelai vrf, o latur comun i interioarele disjuncte. ( AOB i AOC ).

B A O C
Figura 27 Dou unghiuri adiacente care au laturile necomune opuse se numesc unghiuri suplementare. Un unghi se numete drept dac el este congruent cu suplementarul su.

Axiomele geometriei n plan i n spaiu

11

B
Figura 28

6) Exist un unghi drept. 7) Toate unghiurile drepte snt congruente ntre ele. 8) Un unghi exterior al unui triunghi este mai mare dect fiecare dintre unghiurile triunghiului, neadiacent cu acel unghi. 9) n orice triunghi laturii mai mari i se opune un unghi mai mare i viceversa: unghiului mai mic i se opune latura mai mic. Axiomele grupelor I-IV permit s dm definiia mijlocului unui segment i a bisectoarei unghiului. Se demonstreaz c: 10) Orice segment are un singur mijloc. 11) Orice unghi are o singur bisectoare.

Axiomele de continuitate (grupa IV) IV1 (Axioma lui Arhimede). Fie segmentele AB i CD astfel nct ( AB) > (CD) . Atunci pe dreapta AB exist un numr finit de puncte A1 , A2 , , An , astfel nct au loc relaiile:
a) A A1 A2 , A1 A2 A3 ,..., An 2 An1 An ;

b) ( AA1 ) ( A1 A2 ) ... ( An 1 An ) (CD ); c) A B An . A A1 A2 An-2 An-1 B An

D Figura 29

IV2. Fie pe o dreapt oarecare ( A1 B1 ), ( A2 B2 ), ..., ( An Bn ), ... cu proprietile:

a) ( Ai Bi ) ( Ai +1 Bi +1 ), i N .

un

ir

infinit

de

segmente

b) nu exist nici un segment inclus n toate segmentele irului considerat. Atunci pe dreapta a exist un singur punct M care aparine fiecrui segment din acest ir. Principalele consecine obinute cu ajutorul grupelor I-IV snt teoria msurrii segmentelor i a unghiurilor.

Axiomele geometriei n plan i n spaiu

12

Geometria construit n baza axiomelor grupelor I-IV se numete geometrie absolut.

Axioma paralelelor (V) V (Axioma paralelelor lui Euclid). Fie o dreapt oarecare a i un punct A exterior dreptei a . Atunci n planul determinat de punctul A i dreapta a , exist cel mult o dreapt care trece prin punctul A i nu intersecteaz dreapta a .
A

a Figura 30 Dou drepte distincte se numesc paralele dac ele snt situate ntr-un plan i nu se intersecteaz. Este just urmtoarea teorem.

Teorema. Printr-un punct exterior unei drepte, n planul determinat de punct i dreapt, exist o paralel unic la dreapta dat.
Axioma V este echivalent cu fiecare din urmtoarele enunuri: 1) Orice secant s formeaz cu dreptele paralele a , b unghiuri alterne interne congruente. S a

b Figura 31 2) Pentru orice triunghi suma unghiurilor este egal cu 180. 3) Exist un patrulater n care suma unghiurilor este egal cu 360. 4) Exist un dreptunghi. n baza axiomelor enunate poate fi argumentat toat geometria elementar studiat n clasele gimnaziale. Se spune c geometria elementar studiat n clasele anterioare este o interpretare a modelului axiomatic al lui Hilbert de construire a geometriei.