Demonstraţie.

Afirmaţie Explicaţie
1. d1 d2, d1 d2={M, Q} 1. Drepte distincte
2. M,Q d1; M,Q d2 2. Puncte care aparţin intersecţiei
3. d1= MQ; d2=MQ 3. Conform axiomei de mai sus
4. d1= d2 4. d1 identică cu d2
Contradicţie cu presupunerea că d1 d2.

Exemplul 1. Să se arate că oricare ar fi n,m numere naturale, numărul 8∙n+12∙m+6 nu

este pătrat perfect.
Vom demonstra acest exerciţiu prin metoda reducerii la absurd.
Demonstraţie. Presupunem că 8∙n+12∙m+6 este pătrat perfect, deci există un număr natural
p astfel încât p2=8∙n+12∙m+6 => p2=2∙ (4∙n+6∙m+3) pătrat perfect => 4∙n+6∙m+3 număr
par =>4∙n+6∙m+3 = 2∙k => p2=2∙2∙k => p2=22∙k.
Contradicţie cu faptul că 4∙n+6∙m+3= 2∙ (2∙n+3∙m+1) +1= 2∙ r +1 este număr impar.
Deci, numărul 8∙n+12∙m+6 nu este pătrat perfect.

Exemplul 2. Demonstraţi că nu este număr raţional.

Soluţie. Presupunem contrariul, adică , cu p,q N, p şi q fiind primi între ei. Dacă

am avea egalitatea de mai sus, cu fracţie ireductibilă, am deduce p2 =2∙q2 , deci p2 este
un număr par. Rezultă că şi p este număr par, căci dacă p ar fi impar, p=2∙p’+1 (cu p’ N),
am deduce p2=4∙p’2+4∙p’+1 = impar contrar ipotezei. Deci p este par şi putem scrie p=2∙p’
(p’ N). Dar atunci 4∙p’2=2∙q2, q2=2∙p’2 şi q2 este par. Deci şi q este par, adică q=2∙q’ (q’
N) şi p şi q n-ar fi fost prime între ele, deci fără factori comuni aşa cum am presupus. Este
deci absurd că egalitatea , cu p,q N are loc.