Sunteți pe pagina 1din 6

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 :
2
, 4 2. x x x ntreb: corect ?Incredibil i
din pcate,rspuns aproape general: Da.Fr comentarii,scriu pe tabl:
2
( 2) 4.
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.
2) 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.
3) 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):
2 , 2 , , 2( ). a m b n m n a b m n + +
4) 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.
5) Dac
, (0,1) atunci x + y (0,1). x y
Afirmaie fals,un contraexemplu:
2 4
(0,1), iar (0,1).
3 3
x y x y +
6) Dac
, , atunci . x y x y
Afirmaie fals,un contraexemplu: 3 2 2, 3 2 2 , dar xy = 5 . x y +
7) Fie ABC un triunghi cu unghiul C R obtuz.Dac triunghiul este isoscel,atunci lungimile
laturilor sale satisfac
2 2
3 2 0. a ab b +
Reciproca este adevrat ?
C R 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
2 2
3 2 0. a ab b +
Vom
obine ( )( 2 ) 0. a b a b
8) Pentru orice x,exist
y
astfel nct
2 3. x y +
Afirmaie adevrat: Pentru orice x,exist
3 2 y x

9) Pentru orice
y
,exist xastfel nct
2 3. x y +
Afirmaie fals,un contraexemplu e oferit de
3
0 .
2
y x
10) Pentru orice b ,exist a astfel nct
2
4 5 . a a b +
Un elev chiar de clasa a VIII a ar trebui s observe c

2 2
4 5 ( 2) 1 1, a a a 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.
12) Dac
, : f g
sunt funcii astfel nct f + g este strict cresctoare,atunci f i g sunt strict
cresctoare.
Afirmaie fals,un contraexemplu este cel oferit de ( ) 2 1, ( ) 1 . f x x g x x +
13) Dac , 0 atunci 2.
a b
a b
b a
> + Reciproca este adevrat ?
Din
2 2 2
( ) 0 deducem 2 a b a b ab + .mprind cu 0 ab > ajungem la
inegalitatea propus.Reciproca este fals,dup cum arat contraexemplul:
2, 4 a b .Avem 2
a b
b a
+ ,dar , 0. a b <
14) Dac
, A B
sunt mulimi mrginite,atunci A B este mrginit.
Reciproca este adevrat ?
Afirmaia direct este adevrat deoarece A B A ,pe cnd reciproca e fals.Un
contraexemplu: { } , 0,1 , A B A B B este mrginit,dar A e nemrginit.
15) Fie A o mulime nevid i
, . a b A
Dac
0, atunci 0 sau 0. a b a b
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:
Dac
1 1 1
0, putem scrie 1 0 0. a b b a b ab
a a a
_


,
Pentru elevii de liceu,s considerm cteva exemple:
( i )
2
( ) A M .Elementul neutru devine acum
2
O i avem c afirmaia este fals.
Un contraexemplu este :
2 2 2
1 0 0 0
, , dar .
0 0 0 1
a O b O ab O
_ _


, ,
( ii )
6
. Contraexemplu : 2, 3. A a b
(iii) A = mulimea funciilor : . h Afirmaia
, cu 0 0 sau 0 f g A f g f g este fals.Contraexemplu:

1 , 0 0 , 0
( ) , ( ) .
0 , 0 2 , 0
x x
f x g x
x x
< <

' '


Evident,exemplele pot continua cu unele din analiza matematic sau din geometrie.
Propunem acum urmtoarele afirmaii:
16) Pentru orice n ,numrul 2 1
n
n
x n + + nu este multiplu de 5.
17) Pentru orice n ,numrul
2
41
n
y n n + + este prim.
18) Orice numr natural par 4 n se poate scrie ca suma a dou numere prime impare.
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.
1) Dac
, x y
i
x y <
, atunci
2 2
. x y <
2) Dac 0 x , atunci
2
. x x
3) Dac 3 nu divide m i 3 nu divide n , atunci 3 nu divide ( ) . m n +
4) Dac 5 divide m i 5 nu divide n , atunci 5 nu divide ( ) . m n +
5) Dac
, , A B C
i A B C , atunci . A B
6) Dac
, , A B C
i A B , atunci ( ) ( ) . A C B C
7) Dac
, , A B C
i ( ) ( ) A C B C
, atunci A B .
8) Dac A este o mulime mrginit , atunci A are un cel mai mic element.
9) Dac
: f
este o funcie definit prin
2
( ) , 0 f x ax bx c a + + i ecuaia
( ) 0 f x
are cel puin o soluie real n ( ) 0,1
, atunci
(0) (1) 0. f f <
10) Dac
: f
este o funcie definit prin
2
( ) , 0 f x ax bx c a + + i
(0) (1) 0 f f <
,
atunci ecuaia
( ) 0 f x
are cel puin o soluie real n ( ) 0,1
.
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 f o
este surjectiv.
14) Dac pentru funciile
: , : f A B g B C
avem c
g f o
este surjectiv , atunci f este
surjectiv.
15) Dac pentru funciile
: , : f A B g B C
avem c
g f o
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 f o
este injectiv.
19) Dac pentru funciile
: , : f A B g B C
avem c
g f o
este injectiv , atunci g este
injectiv.
20) Dac pentru funciile
: , : f A B g B C
avem c
g f o
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 :
2, 1. x y
Ce trebuie adugat n
ipotez pentru ca afirmaia s devin adevrat ?
2) Afirmaie fals ,un contraexemplu poate fi :
1
.
2
x
3) Afirmaie fals , un contraexemplu :
5, 4. m n
4) n sfrit , afirmaie adevrat .Demonstraie prin reducere la absurd : presupunem c 5
divide suma ( ) m n +
, deci
5 , m n k k +
; cum
5 , m p p
, deducem c
5( ) n k p
,contradicie cu ipoteza .
5) Afirmaie fals , un contraexemplu poate fi : { } { } { } 1, 2 , 2, 3 , 4, 5 . A B C
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 , { } { } { } 1, 4 , 1, 2, 3 , 1, 2, 5 A B C
, deducem c afirmaia este
fals.
8) Afirmaie fals , e suficient s gsim un contraexemplu . Putem lua
1
/ A n
n



' ;

,care
este mrginit , deoarece ( ]
1
0,1 , n
n

; presupunnd ns c exist
1
min , A a m
m

,avem imediat c exist
1
1
A
m

+
,dar
1
1
a
m
<
+
,contradicie cu
minimalitatea lui a .
9) Afirmaie fals. De exemplu , pentru ( ) ( )
2
( ) 2 1 3 1 6 5 1 f x x x x x +
avem
(0) (1) 0 f f <
, dei ecuaia
( ) 0 f x
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
k
b B
astfel nct
( ) ,
k k k
f a b a A
, deci f nu e surjectiv,contradicie cu
ipoteza.
12) Fals. S considerm { } { } 1, 0,1 , 0,1, 2 A B
i
2
: , ( ) f A B f x x ; ipoteza e
ndeplinit , dar
( ) 2, f x x A
,aadar funcia nu e surjectiv. Putem lua i
{ } [ ]
1 3
0, ,1, , 0,1, 2 , ( )
2 2
A B f x x


' ;

.Gsii i alte contraexemple ?
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 f o
este surjectiv.
14) Afirmaie fals , dup cum arat contraexemplul :
1
, : , ( ) 2 1, ( )
2
x
f g f x x g x
+
.
ntr-adevr ,
g f 1

o
este surjectiv,dar
( ) 2 , f x 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
, ,
k j k j
a a A a a
cu
( ) ( )
k j
f a f a
,deci f nu este
injectiv,contradicie cu ipoteza,aadar presupunerea fcut e fals.
17) Afirmaie fals.Oferim dou contraexemple : { } { }
2
1,1 , 1, 2, 3 , ( ) A B f x x
sau
{ } { } 0,1, 2 , 1, 3, 5, 7 , ( ) 2 1. A B f x x
Justificarea e imediat.
18) Adevrat : dac
, x y A
i ( ) ( ) ( ) ( ) g f x g f y o o
, atunci
( ) ( ) ( ) ( )
g injectiva f injectiva
( ) ( ) g f x g f y f x f y x y
,aadar
g f o
este injectiv.
19) Afirmaie fals , un contraexemplu poate fi :
, : , ( ) 2 , ( )
2
x
f g f x x g x
1

1
]

20) Afirmaie adevrat. ntr-adevr,dac
, x y A
i
( ) ( ) f x f y
,atunci ( ) ( ) ( ) ( )
g f x g f y
i,cum
g f o
este injectiv,deducem c
x y
.
21) Fals , dup cum arat , de exemplu , urmtoarea funcie
: , ( )
3
x
f f x
1

1
]

care nu
este injectiv,dar este surjectiv.ntr-adevr ,
(3) (4) f f
,dei 3 4 ,iar pe de alt parte ,
, 3 y x y
astfel nct
( ) . f x y
22) Fals;un contraexemplu :
: , ( ) 3 2 f f x x
este injectiv,dar nu e surjectiv.
23) Afirmaie adevrat : dac
x y
,atunci
sau x y x y < >
, de unde
( ) ( ) sau ( ) ( ) f x f y f x f y < >
,oricum
( ) ( ) f x f y
,deci f este injectiv.
24) Afirmaie fals,un contraexemplu :
( ] [ )
( )
, , 0 1,
: , ( )
1 , 0,1
x x
f f x
x x


'


este
strict monoton doar pe intervale , este injectiv , dar
1 1
(0) ( ) ( ).
3 2
f f f < >
Remarc : S facem aici ,pentru elevii de liceu,observaia c dac
: f A A
,cu A 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 :
[ ] { } 0, 2 \ 1 A
i
[ )
( ]
, 0,1
: , ( )
3 , 1, 2
x x
f A A f x
x x


'

.Avem c funcia are proprietatea lui


Darboux pe A ( fiind continu ) , este strict cresctoare pe [ ) 0,1
i pe ( ]
1, 2
,dar
(0) (2) f f >
,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