Contraexemple n matematica elementar ( I )

Adriana i Lucian Dragomir,Oelu-Rou

Tema prezentului articol a constituit subiectul multor altor publicaii mult mai serioase(vezi
bibliografie).Dorim doar s subliniem rolul important al contraexemplelor,pornind de la cteva situaii
concrete ntlnite la clas n ultimii ani.
S mai remarcm pentru nceput c,dup prerea i a noastr,problemele de matematic incitante
sunt mai ales acelea care conin o afirmaie A clar formulat i despre care se cere s stabilim dac e
adevrat sau fals;suntem aadar n dubiu avem de demonstrat sau de infirmat A.Pentru a
demonstra A trebuie s cutm propoziii din care,sau strategii prin care,am putea deduce afirmaia
A;pentru a infirma A,trebuie s cutm un contraexemplu.S mai adugm aici c exist afirmaii
plauzibile,dar nc nedemonstrate i nici infirmate:aa-numitele conjecturi.
Vom pune acum n eviden cteva afirmaii A :
1) Scriu pe tabl la nceputul clasei a IX a : x , x 2 4 x 2. ntreb: corect ?Incredibil i
din pcate,rspuns aproape general: Da.Fr comentarii,scriu pe tabl: (2) 2 4.

2)
3)

4)
5)

Aadar,pentru a arta c o afirmaie de forma (x)( p ( x ) q ( x)) este fals,e suficient s

artm c exist t pentru care p(t) este adevrat,iar q(t) este fals.Spunem astfel c am gsit
un contraexemplu.
Dac a i b sunt numere naturale i a + b este numr par,atunci a i b sunt numere pare.
Afirmaia este fals; e suficient s gsim un contraexemplu: a = 1 , b = 3 nu sunt
numere pare,dar a + b = 4 este par.
Dac a i b sunt numere naturale pare,atunci a + b este numr par.
Bunul sim matematic sugereaz c da.Aadar n-avem ce cuta cu
contraexemple;demonstrm ( i chiar e simplu):
a 2 m, b 2 n, m, n a b 2( m n).
Dac a i b sunt numere ntregi i a + b este multiplu de 3 , atunci a sau b este multiplu de 3.
Afirmaie fals,un contraexemplu este : a = 1 , b = 2.
Dac x, y (0,1) atunci x + y (0,1).
Afirmaie fals,un contraexemplu: x y

2
4
(0,1), iar x y (0,1).
3
3

6) Dac x, y , atunci x y .
Afirmaie fals,un contraexemplu: x 3 2 2, y 3 2 2 , dar xy = 5 .
7) Fie ABC un triunghi cu unghiul R C obtuz.Dac triunghiul este isoscel,atunci lungimile
laturilor sale satisfac a 2 3ab 2b 2 0. Reciproca este adevrat ?
R C obtuz i triunghiul este isoscel a = b i egalitatea devine o
identitate.Reciproca este fals,dup cum arat contraexemplul : a = 2b.Cum se
ajunge la acesta ? E suficient s prelucrm puin egalitatea a 2 3ab 2b 2 0. Vom
obine (a b)(a 2b) 0.
8) Pentru orice x ,exist y astfel nct 2 x y 3.
Afirmaie adevrat: Pentru orice x ,exist y 3 2 x
9) Pentru orice y ,exist x astfel nct 2 x y 3.

Afirmaie fals,un contraexemplu e oferit de y 0 x

3
.
2

10) Pentru orice b ,exist a astfel nct a 2 4a 5 b.

Un elev chiar de clasa a VIII a ar trebui s observe c
a 2 4a 5 (a 2) 2 1 1, a ,aadar este suficient s lum b = 0.Afirmaia

este deci fals.

11) Dac f , g : sunt funcii strict cresctoare , atunci f + g este strict cresctoare.
Afirmaie adevrat cu demonstraie imediat folosind definiia.
f
,
g : sunt funcii astfel nct f + g este strict cresctoare,atunci f i g sunt strict
12) Dac
cresctoare.
Afirmaie fals,un contraexemplu este cel oferit de f ( x ) 2 x 1, g ( x ) 1 x.

a b
2. Reciproca este adevrat ?
b a
Din (a b) 2 0 deducem a 2 b 2 2ab .mprind cu ab 0 ajungem la

13) Dac a, b 0 atunci

inegalitatea propus.Reciproca este fals,dup cum arat contraexemplul:

a b
2 ,dar a, b 0.
b a
14) Dac A, B sunt mulimi mrginite,atunci A B este mrginit.
a 2, b 4 .Avem

Reciproca este adevrat ?

Afirmaia direct este adevrat deoarece A B A ,pe cnd reciproca e fals.Un
contraexemplu: A , B 0,1 , A B B este mrginit,dar A e nemrginit.
15) Fie A o mulime nevid i a, b A. Dac a b 0, atunci a 0 sau b 0.
Din nou,s nu ne grbim! S remarcm de la bun nceput c nu se precizeaz natura
elementelor mulimii A(i astfel nici nu tim deocamdat despre ce operaii
dispunem)Pentru elevii de gimnaziu,s considerm c A este o mulime de numere
reale i astfel afirmaia este adevrat,se tie ( de ce ? )De fapt,s justificm:

1
a

Dac a 0, putem scrie b 1 b

a b ab
a

1
0 0.
a

Pentru elevii de liceu,s considerm cteva exemple:

( i ) A M 2 ( ) .Elementul neutru devine acum O2 i avem c afirmaia este fals.

1 0
0 0
O2 , b
O2 , dar ab O2 .
0 0
0 1
( ii ) A 6 . Contraexemplu : a 2, b 3.
(iii) A = mulimea funciilor h : . Afirmaia
f , g A cu f g 0 f 0 sau g 0 este fals.Contraexemplu:
1 ,x0
0 ,x0
f ( x)
, g ( x )
.
0 ,x0
2 ,x0
Un contraexemplu este : a

Evident,exemplele pot continua cu unele din analiza matematic sau din geometrie.
Propunem acum urmtoarele afirmaii:
n
16) Pentru orice n ,numrul xn 2 n 1 nu este multiplu de 5.
17) Pentru orice n ,numrul yn n n 41 este prim.
18) Orice numr natural par n 4 se poate scrie ca suma a dou numere prime impare.
2

Bibliografie:
1. R.B.Gelbaum,M.H.Olmsted Contraexemple n analiz,Ed.tiinific,1973
2. Tamara Fodor Rolul exemplelor i al contraexemplelor n predarea analizei
matematice,lucrare metodico-tiinific pentru gradul didactic I,1988
3. O.Konnerth Greeli tipice n nvarea analizei matematice,Ed.Dacia,1982
4. G.Polya-Descoperirea n matematic,Ed.tiinific,1971

5. Gazeta Matematic,1980-2006

Contraexemple n matematica elementar ( II )

Continum aadar ideile din partea I a articolului nostru. S reamintim doar c este vorba
de afirmaii A despre care se cere s stabilim dac sunt adevrate (demonstraie) sau
false(contraexemple ). Vom schimba puin i modul de prezentare , oferind mai nti
afirmaiile i , la sfrit , rspunsurile , aceasta evident pentru a lsa cititorilor s ncerce
singuri s gseasc drumul cel bun.
Dac x, y i x y , atunci x 2 y 2 .
Dac x 0 , atunci x 2 x.
Dac 3 nu divide m i 3 nu divide n , atunci 3 nu divide m n .
Dac 5 divide m i 5 nu divide n , atunci 5 nu divide m n .
Dac A, B, C i A B C , atunci A B .
Dac A, B, C i A B , atunci A C B C .
Dac A, B, C i A C B C , atunci A B .
Dac A este o mulime mrginit , atunci A are un cel mai mic element.
Dac f : este o funcie definit prin f ( x) ax 2 bx c, a 0 i ecuaia f ( x) 0
are cel puin o soluie real n 0,1 , atunci f (0) f (1) 0.
10) Dac f : este o funcie definit prin f ( x) ax 2 bx c, a 0 i f (0) f (1) 0 ,
atunci ecuaia f ( x ) 0 are cel puin o soluie real n 0,1 .
1)
2)
3)
4)
5)
6)
7)
8)
9)

S ne oprim puin i s reamintim , sau ,pentru cei care nu tiu nc , s spunem ce

nseamn o funcie injectiv , surjectiv sau bijectiv .
Definiie 1 . O funcie f : A B este injectiv dac pentru orice x, y A, x y , avem
f ( x ) f ( y ).

Definiie 2 . O funcie f : A B este surjectiv dac pentru orice y B , exist x A

astfel nct f ( x) y.
Definiie 3. O funcie f : A B se numete bijectiv dac este injectiv i surjectiv.
S continum acum :
11) Dac A , B sunt mulimi finite i f : A B este o funcie surjectiv , atunci
cardB cardA.

12) Dac A , B sunt mulimi finite i cardB cardA , atunci orice funcie f : A B este
surjectiv.
13) Dac f : A B, g : B C sunt funcii surjective , atunci g o f este surjectiv.
14) Dac pentru funciile f : A B, g : B C avem c g o f este surjectiv , atunci f este
surjectiv.
15) Dac pentru funciile f : A B, g : B C avem c g o f este surjectiv , atunci g este
surjectiv.
16) Dac A , B sunt mulimi finite i f : A B este o funcie injectiv , atunci
cardA cardB.

17) Dac cardA cardB , atunci orice funcie f : A B este injectiv.

18) Dac f : A B, g : B C sunt funcii injective , atunci g o f este injectiv.
19) Dac pentru funciile f : A B, g : B C avem c g o f este injectiv , atunci g este
injectiv.

20) Dac pentru funciile f : A B, g : B C avem c g o f este injectiv , atunci f este

injectiv.
21) Dac f : A A nu este injectiv , atunci f nu e nici surjectiv.
22) Dac f : A A nu este surjectiv , atunci f nu e nici injectiv.
23) Dac f : A A este strict monoton , atunci f este injectiv.
24) Dac f : A A este injectiv , atunci f este strict monoton.
n sfrit , s vedem dac ai dat rspunsurile corecte :
1) Afirmaie fals , dup cum arat contraexemplul : x 2, y 1. Ce trebuie adugat n
ipotez pentru ca afirmaia s devin adevrat ?
1
2

2) Afirmaie fals ,un contraexemplu poate fi : x .

3) Afirmaie fals , un contraexemplu : m 5, n 4.
4) n sfrit , afirmaie adevrat .Demonstraie prin reducere la absurd : presupunem c
5 divide suma m n , deci m n 5k , k ; cum m 5 p, p , deducem c
n 5(k p ) ,contradicie cu ipoteza .
5) Afirmaie fals , un contraexemplu poate fi : A 1, 2 , B 2,3 , C 4,5 .
6) Dac x A C ,atunci x A i x C , deci x B i x C , de unde x B C. Afirmaia
este aadar adevrat.
7) Considernd , de exemplu , A 1, 4 , B 1, 2,3 , C 1, 2,5 , deducem c afirmaia este
fals.
1

/ n
n

8) Afirmaie fals , e suficient s gsim un contraexemplu . Putem lua A

1
0,1 , n ; presupunnd ns c exist
n
1
1
1
min A a , m ,avem imediat c exist
A ,dar
a ,contradicie cu
m
m 1
m 1

,care este mrginit , deoarece

minimalitatea lui a .
2
9) Afirmaie fals. De exemplu , pentru f ( x) 2 x 1 3x 1 6 x 5 x 1 avem
f (0) f (1) 0 , dei ecuaia f ( x) 0 are ambele rdcini n intervalul indicat.
10) Afirmaia este adevrat ( i chiar e bine de reinut ).E suficient s ne imaginm
parabola corespunztoare care este o curb fr ntreruperi ( continu ) i astfel , din
faptul c ordonatele punctelor de abscis 0 , respectiv 1 au semne contrare , avem c
punctele sunt de o parte i de alta a axei Ox , aadar pe intervalul 0,1 parabola
intersecteaz cel puin o dat axa , ceea ce conduce la o rdcin a ecuaiei.
11) Adevrat. Prin reducere la absurd , presupunnd c : cardB n cardA m ,deducem c
exist bk B astfel nct f (ak ) bk , ak A , deci f nu e surjectiv,contradicie cu
ipoteza.
12) Fals. S considerm A 1,0,1 , B 0,1, 2 i f : A B, f ( x ) x 2 ; ipoteza e
ndeplinit , dar f ( x) 2, x A ,aadar funcia nu e surjectiv. Putem lua i
1 3
A 0, ,1, , B 0,1, 2 , f ( x) x .Gsii i alte contraexemple ?
2 2

13) Afirmaie adevrat.ntr-adevr , deoarece g e surjectiv ,avem c pentru orice y C

,exist t B astfel ca g (t ) y .Cum ns i f este surjectiv , pentru t B anterior avem
c exist x A astfel nct f ( x) t .Avem acum c pentru orice y C , exist x A
astfel nct g (t ) g ( f ( x )) y ,adic g o f este surjectiv.

14) Afirmaie fals , dup cum arat contraexemplul : f , g : , f ( x) 2 x 1, g ( x )

x 1
2

. ntr-adevr , g o f 1 este surjectiv,dar f ( x) 2 , x ,deci f nu e surjectiv.

15) Afirmaie adevrat , justificarea e apropiat de cea de la afirmaia 13).
16) Adevrat. Demonstraie prin reducere la absurd : Presupunem c
cardA n cardB m i astfel deducem c exist ak , a j A, ak a j cu f (ak ) f ( a j ) ,deci
f nu este injectiv,contradicie cu ipoteza,aadar presupunerea fcut e fals.
2
17) Afirmaie fals.Oferim dou contraexemple : A 1,1 , B 1, 2,3 , f ( x) x sau
A 0,1, 2 , B 1,3,5,7 , f ( x ) 2 x 1 . Justificarea e imediat.
18) Adevrat : dac x, y A i g o f x g o f y , atunci
g injectiva

g f x g f y

f injectiva

f ( x ) f ( y ) x y ,aadar g o f este injectiv.

19) Afirmaie fals , un contraexemplu poate fi : f , g : , f ( x ) 2 x, g ( x)

2
20) Afirmaie adevrat. ntr-adevr,dac x, y A i f ( x) f ( y ) ,atunci g f x g f y
i,cum g o f este injectiv,deducem c x y .
x

21) Fals , dup cum arat , de exemplu , urmtoarea funcie f : , f ( x) care nu

3
f
(3)

f
(4)
este injectiv,dar este surjectiv.ntr-adevr ,
,dei 3 4 ,iar pe de alt parte

3
y

f
(
x
)

y
.
,
astfel nct
22) Fals;un contraexemplu : f : , f ( x) 3x 2 este injectiv,dar nu e surjectiv.
23) Afirmaie adevrat : dac x y ,atunci x y sau x y , de unde
f ( x) f ( y ) sau f ( x) f ( y ) ,oricum f ( x) f ( y ) ,deci f este injectiv.
x
, x ,0 1,
este
, x 0,1
1 x
1
1
strict monoton doar pe intervale , este injectiv , dar f (0) f ( ) f ( ).
3
2
f
:
A

A ,cu A
Remarc : S facem aici ,pentru elevii de liceu,observaia c dac

24) Afirmaie fals,un contraexemplu : f : , f ( x )

interval de numere reale, este injectiv i are proprietatea lui Darboux , atunci funcia este
strict monoton.
Dac A nu este interval ,proprietatea anterioar nu rmne adevrat , dup cum arat
urmtorul exemplu :
x
, x 0,1
.Avem c funcia are proprietatea lui
x 3 , x 1, 2
Darboux pe A ( fiind continu ) , este strict cresctoare pe 0,1 i pe 1, 2 ,dar f (0) f (2)

A 0, 2 \ 1 i f : A A, f ( x)

,deci f nu este strict cresctoare pe A.

Rennoim invitaia , elevilor i profesorilor deopotriv , de a continua cu exemple i
contraexemple din geometrie sau analiz matematic.
Bibliografie:
1. R.B.Gelbaum,M.H.Olmsted Contraexemple n analiz,Ed.tiinific,1973

2. Tamara Fodor Rolul exemplelor i al contraexemplelor n predarea analizei

matematice,lucrare metodico-tiinific pentru gradul didactic I,1988
3. O.Konnerth Greeli tipice n nvarea analizei matematice,Ed.Dacia,1982
4. G.Polya-Descoperirea n matematic,Ed.tiinific,1971
5. Gazeta Matematic,1980-2007
Adriana i Lucian Dragomir,Oelu-Rou