LUCRARE METODICO- STIIN TIFIC µA PENTRU [611872]
UNIVERSITATEA DIN CRAIOVA
FACULTATEA DE MATEMATIC µA ¸ SI ¸ STIIN¸ TE ALE NATURII
LUCRARE METODICO-¸ STIIN¸ TIFIC µA PENTRU
OB¸ TINEREA GRADULUI DIDACTIC I
PRINCIPII DE REZOL V ARE A
PROBLEMELOR DE MATEMATIC µA
Coordonator,
conf. univ. dr. Dana Piciu
Candidat: [anonimizat]. Drînceanu Gabriela Georgeta
2014
Cuprins
Introducere 5
I Fundamente teoretice ¸ si aplica¸ tii 6
1 Elemente de logicµ a ¸ si ra¸ tionament matematic 7
1.1 Propozi¸ tii . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Operatori logici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Legile calculului propozi¸ tional . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4 Predicate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5 Propozi¸ tii universale ¸ si propozi¸ tii existen¸ tiale . . . . . . . . . . . . . . . . . . 13
1.6 Teoreme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2 Principii de rezolvare a problemelor de matematicµ a 16
2.1 Principiul induc¸ tiei matematice . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.1.1 Demonstrarea unor identitµ a¸ ti pe baza induc¸ tiei matematice . . . . . . 21
2.1.2 Rezolvarea unor ecua¸ tii diofantice prin induc¸ tie matematicµ a . . . . . 26
2.1.3 Rezolvarea inductivµ a a unor probleme de algebrµ a matricealµ a . . . . . 29
2.1.4 Probleme de divizibilitate rezolvate prin induc¸ tie completµ a . . . . . . 35
2.1.5 O teoremµ a de reprezentare a numerelor întregi . . . . . . . . . . . . . 36
2.1.6 Demonstrarea unor inegalitµ a¸ ti prin induc¸ tie matematicµ a . . . . . . . 37
2.1.7 Aplica¸ tii ale induc¸ tiei în analiza matematicµ a . . . . . . . . . . . . . . 41
2.1.8 Induc¸ tie în … geometrie . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.2 Reducerea la absurd . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.2.1 Demonstrarea ira¸ tionalitµ a¸ tii unor constante prin reducere la absurd . 51
2.2.2 Numere prime ¸ si … reducerea la absurd . . . . . . . . . . . . . . . . . 56
2.2.3 Metoda reducerii la absurd în geometrie . . . . . . . . . . . . . . . . 59
2.2.4 Probleme cu polinoame ¸ si ecua¸ tii algebrice rezolvate prin reducere la
absurd . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.2.5 Un rezultat puternic în matematicµ a . . . . . . . . . . . . . . . . . . . 67
2.2.6 Alte exemple ce pun în eviden¸ tµ a metoda reducerii la absurd . . . . . 68
2.3 Principiul paritµ a¸ tii . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.4 Principiul lui Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.4.1 Principiul lui Dirichlet în rezolvarea unor probleme de aritmeticµ a . . 74
I
2.4.2 Aplica¸ tii ale principiului lui Dirichlet în rezolvarea unor probleme cu
substrat geometric . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.5 Principiul includerii ¸ si excluderii . . . . . . . . . . . . . . . . . . . . . . . . . 79
2.6 Principiul dublei incluziuni . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
2.6.1 Aplicarea principiului dublei incluziuni în rezolvarea unor probleme de
loc geometric. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
2.7 Principiul invariantului . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
II Considera¸ tii metodice 94
1 Metode de învµ a¸ tµ amânt activ-participative 95
1.1 Metoda înv ¼a¸ t¼arii în grupuri mici Student: [anonimizat]ons (STAD) 96
1.2 Metoda mozaic (jigsaw) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
1.3 Metoda Philips 6-6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
1.4 Metoda turneului între echipe Teams Games Tournements (TGT) . . . . . 98
1.5 Metoda acvariului . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
1.6 Analiza segmentelor de decizie interactivµ a Interactive Decision Analysis Aids
(AIDA) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
1.7 Metoda cubului . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
1.8 Metoda turul galeriei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
1.9 Metoda ¸ stiu – vreau sµ a ¸ stiu – am învµ a¸ tat . . . . . . . . . . . . . . . . . . . . 102
1.10 Metoda SIELG (Sistemul Interactiv de Notare pentru E
cientizarea Lecturii
¸ si a Gândirii) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
1.11 Metoda ciorchinelui . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
2 Un mic experiment pedagogic 105
2.1 Etapa de constatare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
2.2 Experimentul propriu-zis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
2.3 Evaluare ¸ si control . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
Concluzii
nale 115
Bibliogra
e 117
Introducere
Rezolvarea unei probleme de matematicµ a este o adevµ aratµ a provocare care vine sµ a punµ a
la încercare mintea rezolvitorului. În acela¸ si timp, ea poate
consideratµ a drept un antrena-
ment al creierului. De cele mai multe ori solu¸ tiile nu apar în mod magic, ele bazându-se pe
anumite principii ¸ si metode pe care rezolvitorul de probleme împµ atimit le cunoa¸ ste. Cineva
asemuia procesul de rezolvare a unei probleme cu deschiderea unei u¸ si, principiile ¸ si metodele
folosite
ind chile cu care încercµ am sµ a desfacem u¸ sa. "Un pumn de chei" nu este un im-
pediment, ci în mod contrar, un avantaj, totul reducându-se acum la un procedeu cât mai
rapid de selec¸ tie a celei potrivite. Dar ce ne facem dacµ a printre cheile pe care le avem nu
este niciuna potrivitµ a?
Lucrarea de fa¸ tµ a are în centru o descriere etapizatµ a a câtorva principii de rezolvare a
problemelor de matematicµ a plecând de la izvorul lor a at, în cele mai multe situa¸ tii, direct
în logica matematicµ a ¸ si mergând pe calea exempli
cµ arii cu aplica¸ tii complet rezolvate. În
încheiere sunt descrise câteva metode moderne de învµ amânt care aplicate ar putea îmbunµ atµ a¸ ti
calitatea rezultatelor învµ atµ arii la lec¸ tiile de matematica.
Avem de-a face cu douµ a pµ ar¸ ti: Fundamente teoretice ¸ si aplica¸ tii ¸ si respectiv Consider-
a¸ tii metodice , care, în esen¸ tµ a, nu sunt disjuncte. Primul capitol al primei pµ ar¸ ti, Elemente de
logicµ a ¸ si ra¸ tionament matematic , urmµ are¸ ste descrierea principalelor fundamente ale logicii
matematice la un nivel elementar, a¸ sa cum am spus, el
ind o bazµ a pentru capitolul ce-l
succede, intitulat chiar Principii de rezolvare a problemelor de matematicµ a . Aici avem o
împµ ar¸ tire pe sec¸ tiuni,
ecare
ind de fapt o tratare elementarµ a a unui principiu matematic
celebru: Principiul induc¸ tiei matematice, Reducerea la absurd, Principiul Paritµ a¸ tii, Princip-
iul lui Dirichlet, Principiul includerii ¸ si excluderii, Principiul dublei incluziuni, Principiul
invariantului. În func¸ tie de alte particularitµ a¸ ti,
ecare dintre aceste sec¸ tiuni a fost struc-
turatµ a pe subsec¸ tiuni. Partea a doua a lucrarii ar drept
nalitate capitolul Un mic experiment
pedagogic unde, dupµ a cum spune ¸ si numele, am descris o experien¸ tµ a didacticµ a prin care am
testat e
cien¸ ta unor inova¸ tii pedagogice. Acest capitol este precedat de un altul intitulat,
4
Introducere
Metode de învµ a¸ tµ amânt activ-participative – o trecere în revistµ a a câtorva dintre aceste metode.
Doresc sµ a aduc mul¸ tumiri doamnei conf. univ. dr. Dana Piciu pentru întreg sprijinul
acordat la întocmirea acestei lucrµ ari, materialele ¸ si observa¸ tiile fµ acute
indu-mi de un real
folos.
Craiova, august 2014 Prof. Gabriela Drînceanu
5
Partea I
Fundamente teoretice ¸ si aplica¸ tii
6
Capitolul 1
Elemente de logicµ a ¸ si ra¸ tionament
matematic
1.1 Propozi¸ tii
În logica matematicµ a bivalentµ a prin propozi¸ tie în¸ telegem un enun¸ t care poate
adevµ arat
sau fals. Oricµ arei propozi¸ tii i se asociazµ a o valoare de adevµ ar : este sau adevµ aratµ a, ¸ si atunci
spunem cµ a are valoarea de adevµ ar 1, sau este falsµ a, ¸ si atunci spunem cµ a are valoarea de adevµ ar
0. A¸ sadar, dacµ a notµ am cu v(p)valoarea de adevµ ar a propozi¸ tiei p, vom avea:
v(p) =(
1, dacµ a peste adevµ aratµ a
0, dacµ a peste falsµ a.
Nicio propozi¸ tie nu este simultan adevµ aratµ a ¸ si falsµ a.
Exemple.
p:"5 + 6 = 11 ",v(p) = 1
q:"2este numµ ar prim.", v(q) = 1
r:"Paris nu este capitala Fran¸ tei.", v(r) = 0 .
Propozi¸ tiile gramaticale interogative sau exclamative nu sunt propozi¸ tii din punctul
de vedere al logicii matematice. De asemenea de
ni¸ tiile nu sunt propozi¸ tii în logicµ a. De
exemplu, enun¸ tul " Numim numµ ar par un numµ ar care este divizibil cu 2." nu este propozi¸ tie
logicµ a, dar "Orice numµ ar par este divizibil cu 2" este enun¸ tul unei propozi¸ tii logice, cu
valoarea de adevµ ar 1.
1.2 Operatori logici
Pornind de la una sau mai multe propozi¸ tii, cu ajutorul operatorilor logici , se pot
ob¸ tine noi propozi¸ tii a cµ aror valoare de adevµ ar este dependentµ a de valorile de adevµ ar ale
7
Elemente de logic µa¸ Si ra ¸ Tionament matematic
propozi¸ tiilor date.
Operatorii logici sunt:
Simbol Denumirea
e nega¸ tia
^ conjunc¸ tia
_ disjunc¸ tia
! implica¸ tia
$ echivalen¸ ta
Nega¸ tia unei propozi¸ tii peste propozi¸ tia non p, notatµ a cu epsaup. Propozi¸ tia ep
este adevµ aratµ a dacµ a ¸ si numai dacµ a peste falsµ a. Tabla de adevµ ar a nega¸ tiei este:
pep
10
01
Exemplu. Propozi¸ tia q:"11este numµ ar prim" este nega¸ tia propozi¸ tiei p:"11nu este numµ ar
prim". Avem v(p) = 0 ¸ siv(ep) =v(q) = 1 .
Conjunc¸ tia propozi¸ tiilor p¸ siqeste propozi¸ tia "p¸ siqcare se noteazµ a p^q. Ea
este adevµ aratµ a dacµ a ¸ si numai dacµ a ambele propozi¸ tii ce o compun sunt adevµ arate. A¸ sadar,
tabla de adevµ ar a conjunc¸ tiei este urmµ atoarea:
v(p)v(q)v(p^q)
1 1 1
1 0 0
0 1 0
0 0 0
Exemplu. Propozi¸ tia " 2 + 3 = 7 ¸ si9<10" este falsµ a deoarece este conjunc¸ tia a doua
propozi¸ tii: p:"2 + 3 = 7 " ¸ siq:"9<10" cuv(p) = 0 ¸ siv(q) = 1 .
Disjunc¸ tia propozi¸ tiilor p¸ siqeste propozi¸ tia " psauqcare se noteazµ a p_q.
Aceasta este falsµ a dacµ a ¸ si numai dacµ a ambele propozi¸ tii p¸ siqsunt false. Astfel, tabla de
adevµ ar a disjunc¸ tiei este urmµ atoarea:
pqp_q
11 0
10 0
01 0
00 1
Exemplu. Propozi¸ tia " 12 1 = 10 sau un pµ atrat este un dreptunghi" este adevµ aratµ a
deoarece este disjunc¸ tia a douµ a propozi¸ tii, dintre care una este adevµ aratµ a.
8
Elemente de logic µa¸ Si ra ¸ Tionament matematic
Implica¸ tia propozi¸ tiilor p¸ siqeste propozi¸ tia " pimplicµ a q", cititµ a uneori ¸ si "din p
rezultµ a q" ori "dacµ a patunci q", care se noteazµ a p!q,
ind falsµ a dacµ a ¸ si numai dacµ a p
este adevµ aratµ a ¸ si qeste falsµ a. În aceastµ a situa¸ tie tabla de adevµ ar are forma:
pqp!q
11 1
10 0
01 1
00 1
Exemple. Propozi¸ tia "Dacµ a 3 + 5 = 8 atunci 3este solu¸ tia ecua¸ tiei 2x 1 = 13 ." este falsµ a
deoarece "sursa" este o propozi¸ tie adevµ ararµ a, în timp ce "capµ atul" este o propozi¸ tie falsµ a.
Deoarece în situa¸ tia în care v(p) = 0 avem v(p!q) = 1 indiferent de valoarea de
adevµ ar a propozi¸ tiei q, în "jargon" se spune cµ a "falsul implicµ a orice.1
Dacµ a v(p!q) = 1 , atunci scriem p)q¸ si spunem cµ a qeste o consecin¸ tµ a logicµ a a
propozi¸ tiei p.
Echivalen¸ ta propozi¸ tiilor p¸ siqeste propozi¸ tia " pechivalent cu q" care se mai poate
citi ¸ si " pdacµ a ¸ si numai dacµ a q" ¸ si se noteazµ a p$q. Propozi¸ tia p$qeste adevµ aratµ a dacµ a
¸ si numai dacµ a p¸ siqau aceea¸ si valoare de adevµ ar. Tabla de adevµ ar a echivalen¸ tei este:
pqp!q
11 1
10 0
01 0
00 1
Exemplu. Propozi¸ tia " 32<21dacµ a ¸ si numai dacµ a 1 + 3 6= 4" este adevµ aratµ a deoarece
ambele propozi¸ tii ce compun echivalen¸ ta sunt false.
Dacµ a v(p$q) = 1 , atunci scriem p,q¸ si spunem cµ a p¸ siqsunt echivalente logic.
1Sugestivµ a este urmµ atoarea istorioarµ a. Mare i-a fost mirarea unui
lozof, când a a at de la Bertrand
Russell, c ¼a dintr-o a
rma¸ tie fals ¼a poate
dedus ¼a oricare alta. El a întrebat:
Dumnevoastr ¼a considera¸ ti, într-adev ¼ar, c ¼a din a
rma¸ tia 2 + 2 = 5 , urmeaz ¼a, c¼a sunte¸ ti papa de la
Roma?
Russell d ¼adu a
rmativ din cap.
¸ Si dumneavoastr ¼a pute¸ ti demonstra acest lucru? continu ¼a s¼a-¸ si exprime îndoiala
lozoful.
Desigur! a r ¼aspuns cu fermitate Russell ¸ si-i expune demonstra¸ tia în cauz ¼a:
1. Presupunem, c ¼a2 + 2 = 5 ;
2. Sc ¼adem din ambele p ¼ar¸ ti a egalit ¼a¸ tii câte un doi: ob¸ tinem 2 = 3 ;
3. Schimb ¼am cu locurile partea stâng ¼a cu partea dreapt ¼a:3 = 2 ;
4. Sc ¼adem din ambele p ¼ar¸ ti câte o unitate: 2 = 1 ;
Papa de la Roma ¸ si eu împreun ¼a suntem doi. Deoarece 2 = 1 , atunci papa de la Roma ¸ si eu suntem una
¸ si aceea¸ si persoan ¼a. Deci, eu sunt papa de la Roma.
9
Elemente de logic µa¸ Si ra ¸ Tionament matematic
1.3 Legile calculului propozi¸ tional
Calculul propozi¸ tional studiazµ a din punct de vedere logic expresiile ob¸ tinute din
literele p; q; r; ::: , cu ajutorul operatorilor logici e;^;_;!;$dupµ a anumite reguli. Literele
p; q; r; ::: , se numesc variabile propozi¸ tionale sauformule elementare , iar expresiile
ob¸ tinute din ele cu ajutorul operatorilor logici se numesc formule , regulile de formare a
formulelor
ind urmµ atoarele:
variabilele propozi¸ tionale p; q; r; ::: sunt formule
dacµ a p¸ siqsunt formule, atunci (ep),(p^q),(p_q),(p!q),(p$q)sunt, de
asemenea formule.
De exemplu,
((ep)^q)!(p$q) (1.1)
este o formulµ a propozi¸ tionalµ a
Abunden¸ ta parantezelor în unele formule devine greoaie, de aceea, pentru a simpli
ca
aceste formule, perechea de paranteze exterioare nu se mai scrie, iar ordinea în care se aplicµ a
operatorii logici este urmµ atoarea: e;^;_;!;$. Astfel formula (1:1)se rescrie
ep^q!(p$q)
O formulµ a a calculului propozi¸ tional se nume¸ ste lege sautautologie dacµ a orice valoare
de adevµ ar ar lua variabilele propozi¸ tionale care intrµ a în compunerea sa, valoarea de adevµ ar
a propozi¸ tiei ob¸ tinute este 1.
Urmµ atoarele formule sunt tautologii:
p_ep(legea ter¸ tului exclus)
ep$p(legea dublei nega¸ tii)
p!p(legea de re exivitate)
p^p$p
p_p$p(legile de idempoten¸ tµ a)
p^q$q^p
p_q$q_p(legile de comutativitate)
p^(q^q)$(p^q)^q
p_(q_r)$(p_q)_r(legile de asociativitate)
p^(q_r)$(p^q)_(p^r)
p_(q^r)$(p_q)^(p_r)(legile de distributivitate)
e(p!q)$p^eq(legea negµ arii implica¸ tiei)
(p!q)^(q!r)!(p!r)(legea silogismului)
e(p^q)$ep_eq
e(p_q)$ep^eq(legile lui De Morgan)
10
Elemente de logic µa¸ Si ra ¸ Tionament matematic
(p!q)$(eq!ep)(legea contrapozi¸ tiei)
(p!q)$((p^eq)!(r^er))(legea reducerii la absurd)
(p$q)$(p!q)^(q!p)(legea dublei incluziuni)
(p$q)$(eq$ep)
(p!r)^(q!r)!(p_q!r)
(p$q)$(q$r)!(p$r)
p^(p!q)!q
Sµ a justi
cµ am, prin intermediul tabelelor de adevµ ar, câteva dintre aceste tautologii:
legea ter¸ tului exclus
pepp_ep
10 1
01 1
legea negµ arii implica¸ tiei:
pqp!qeqe(p!q)p^eqe(p!q)$p^eq
11 1 0 0 0 1
10 0 1 1 1 1
01 1 0 0 0 1
00 1 1 0 0 1
legea silogismului:
pqrp!qq!r(p!q)^(q!r)p!r(p!q)^(q!r)!(p!r)
111 1 1 1 1 1
110 1 0 0 0 1
101 0 1 0 1 1
100 0 1 0 0 1
011 1 1 1 1 1
010 1 0 0 1 1
001 1 1 1 1 1
000 1 1 1 1 1
legea contrapozi¸ tiei:
pqp!qeqepeq!ep(p!q)$(eq!ep)
11 1 0 0 1 1
10 0 1 0 0 1
01 1 0 1 1 1
00 1 1 1 1 1
11
Elemente de logic µa¸ Si ra ¸ Tionament matematic
legea reducerii la absurd:
pqrp!qeqerp^eqr^erp^eq!r^er(p!q)$(p^q!r^er)
111 1 0 0 0 0 1 1
110 1 0 1 0 0 1 1
101 0 1 0 1 0 0 1
100 0 1 1 1 0 0 1
011 1 0 0 0 0 1 1
010 1 0 1 0 0 1 1
001 1 1 0 0 0 1 1
000 1 1 1 0 0 1 1
legea dublei incluziuni:
pqp!qq!pp$q(p!q)^(q!p)(p$q)$(p!q)^(q!p)
11 1 1 1 1 1
10 0 1 0 0 1
01 1 0 0 0 1
00 1 1 1 1 1
Legile calculului propozi¸ tional ¸ si în special cele date mai sus ca exemple sunt impor-
tante, deoarece pe baza lor se fac ra¸ tionamentele logice ¸ si deci demonstra¸ tiile în matematicµ a.
1.4 Predicate
Unpredicat este un enun¸ t care depinde de una sau mai multe variabile ¸ si care are
proprietatea cµ a pentru anumite valori ale variabilelor devine o propozi¸ tie.
Exemple. Enun¸ tul
p(n) :"3este un divizor al lui n"
este un predicat care depinde de variabila n. Pentru
ecare numµ ar întreg n,p(n)este o
propozi¸ tie ¸ si anume, dacµ a neste un numµ ar întreg de forma 5k, atunci p(n)este o propozi,tie
adevµ aratµ a ¸ si, pentru toate celelalte valori ale lui n,p(n)este o propozi¸ tie falsµ a.
Enun¸ tul
q(x; y) :x2+y2= 1
este un predicat binar. Pentru orice douµ a numere reale x¸ siy,q(x; y)este o propozi¸ tie.
Mul¸ timea de adevµ ar a acestui predicat se reprezintµ a într-un reper sub forma cercului unitate.
În particular q(0;1),q(1;0),q
p
2
2;p
2
2
,q
p
3
2;1
2
.
Sµ a considerµ am acum predicatele p(x)¸ siq(x). cu ajutorul operatorilor logici putem
12
Elemente de logic µa¸ Si ra ¸ Tionament matematic
construi ¸ si alte predicate unare, anume:
ep(x),p(x)^q(x),p(x)_q(x),p(x)!q(x),p(x)$q(x).
De exemplu, predicatul p(x)^q(x)este acel predicat C(x)care, pentru
ecare valoare a
variabilei x, coincide cu propozi¸ tia p(x)^q(x).
Predicatul q(x)se nume¸ ste consecin¸ tµ a logicµ a a predicatului p(x)¸ si scriem p(x))
q(x)dacµ a p(x)!q(x)pentru orice valoare a variabilei x.
Exemplu. Fie predicatele p(x) 😡 > 0¸ siq(x) :x2>0. Evident, avem p(x))q(x).
Predicatele p(x)¸ siq(x)se numesc echivalente logic ¸ si scriem p(x),q(x)dacµ a
pentru orice valoare a variabilei xpropozi¸ tia p(x)$q(x)este adevµ aratµ a.
Exemplu. Predicatele p(x) 😡 > 1¸ siq(x) : lnx > 0sunt echivalente logic.
1.5 Propozi¸ tii universale ¸ si propozi¸ tii existen¸ tiale
Fiep(x)un predicat. Propozi¸ tia "pentru orice valoare permisµ a a variabilei x,p(x)
este o propozi¸ tie adevµ aratµ a" se nume¸ ste propozi¸ tie universalµ a asociatµ a predicatului p(x)
¸ si se noteazµ a 8x:p(x).
Exemplu. Luând p(x) :x20,x2R, propozi¸ tia 8x:p(x)este adevµ aratµ a .
Dacµ a p(x)¸ siq(x)sunt douµ a predicate, atunci p(x))q(x)dacµ a ¸ si numai dacµ a propoz-
i¸ tia8x:p(x)!q(x)este adevµ aratµ a. De asemenea, p(x),q(x)dacµ a ¸ si numai dacµ a
propozi¸ tia 8x:p(x)$q(x)este adevµ aratµ a.
Propozi¸ tia existen¸ tialµ a asociatµ a unui predicat p(x)este "existµ a cel pu¸ tin o valoare
x0a variabilei xastfel încât p(x0)este o propozi¸ tie adevµ aratµ a" ¸ si se noteazµ a 9x:p(x).
Exemplu. Considerând predicatul p(x) :x2= 1, unde x2Z, propozi¸ tia 9x:p(x)este
adevµ aratµ a, deoarece propozi¸ tiile p(1)¸ sip( 1)sunt adevµ arate.
Sµ a presupunem predicatul p(x)de
nit numai pentru un numµ ar
nit de valori ale vari-
abilei x, anume x1,x2, …,xn. Atunci
8x:p(x),p(x1)^p(x2)^:::^p(xn)
¸ si
9x:p(x),p(x1)_p(x2)_:::_p(xn).
Având în vedere regulile lui De Morgan rezultµ a cµ a
e(8x:p(x)),ep(x1)_ep(x2)_:::_ep(xn), 9x: (ep(x))
¸ si
e(9x:p(x)),ep(x1)^ep(x2)^:::^ep(xn), 8x: (ep(x));
13
Elemente de logic µa¸ Si ra ¸ Tionament matematic
aceste reguli de nega¸ tie
ind valabile ¸ si în cazul general.
Majoritatea de
ni¸ tiilor din matematicµ a sunt predicate care se construiesc cu ajutorul
altor predicate deja de
nite.
Exemplu. Predicatul xjyse de
ne¸ ste astfel:
xjy, 9q:y=qx,
iar nega¸ tia acestuia este:
x-y, 8q:y6=qx.
1.6 Teoreme
Oteoremµ a în matematicµ a este o propozi¸ tie adevµ aratµ a care stabile¸ ste cµ a unul sau mai
multe obiecte matematice posedµ a o anumitµ a proprietate. De regulµ a, orice teoremµ a se poate
enun¸ ta sub forma unei propozi¸ tii condi¸ tionale (din punct de vedere gramatical) construitµ a
cu ajutorul cuvintelor "dacµ a … atunci …"
Exemplu. Teorema lui Pitagora: Într-un triunghi dreptunghic suma pµ atratelor catetelor este
egalµ a cu pµ atratul ipotenuzei se poate pune sub forma: Dacµ a xeste ipotenuza ¸ si y; zcatetele
unui triunghi dreptunghic, atunci x2=y2+z2.
Orice teoremµ a în matematicµ a se formuleazµ a, de regulµ a, spunând cµ a un anumit predicat
este consecin¸ tµ a logicµ a a unui alt predicat, deci are forma:
p(x1; x2; :::; x n))q(x1; x2; :::; x n),
unde p(x1; x2; :::; x n)¸ siq(x1; x2; :::; x n)sunt predicate n-are. Predicatul p(x1; x2; :::; x n)se
nume¸ ste ipotezµ a , iarq(x1; x2; :::; x n)se nume¸ ste concluzie . Prin demonstra¸ tia teoremei
în¸ telegem un ¸ sir de propozi¸ tii adevµ arate de forma
pk(x1; x2; :::; x n))pk+1(x1; x2; :::; x n),
unde k=1; n 1,p1=p¸ sipn=q.Aceste propozi¸ tii sunt teoreme deja demonstrate
sauaxiome ( teoreme care se acceptµ a fµ arµ a demonstra¸ tie) sau propozi¸ tii adevµ arate în vir-
tutea legilor calculului propozi¸ tional. Teorema ini¸ tialµ a rezultµ a adevµ aratµ a în virtutea legii
silogismului.
Exemplu. Egalitatea
3q
5p
2 + 7 3q
5p
2 7 = 2
este o teoremµ a de forma p(x))q(x), unde
p(x) :x=3q
5p
2 + 7 3q
5p
2 7, iarq(x) :x= 2:
14
Elemente de logic µa¸ Si ra ¸ Tionament matematic
Pentru a demonstra teorema, observµ am cµ a:
p(x))x=3q
5p
2 + 7 3q
5p
2 7
)x3= 14 33r
5p
2 + 7
5p
2 7
3r
5p
2 + 7
33r
5p
2 7!
)x3= 14 3x)x3+ 3x 14 = 0 )(x 2)
x2+ 2x+ 7
= 0)x= 2.
Predicatul
q(x1; x2; :::; x n))p(x1; x2; :::; x n)
se nume¸ ste reciproca teoremei
p(x1; x2; :::; x n))q(x1; x2; :::; x n).
Bineîn¸ teles, dacµ a teorema directµ a este adevµ aratµ a, nu este necesar ca ¸ si teorema reciprocµ a
sµ a
e adevµ aratµ a, în schimb, datoritµ a legii contrapozi¸ tiei, contrara reciprocei teoremei :
eq(x1; x2; :::; x n))ep(x1; x2; :::; x n)
este adevµ aratµ a,
ind de fapt echivalentµ a cu teorema directµ a. Pe aceastµ a observa¸ tie se bazeazµ a
metoda reducerii la absurd.
Exemplu. Evident, x=y)x2=y2, are loc pentru orice douµ a numere reale x; y, dar
reciproca x2=y2)x=ynu este adevµ aratµ a, deoarece, de exemplu, 12= ( 1)2, dar
16= 1. Contrara reciprocei, x26=y2)x6=yeste adevµ aratµ a.
Am numit teoremµ a orice propozi¸ tie adevµ aratµ a care stabile¸ ste cµ a unul sau mai multe
obiecte matematice posedµ a o anumitµ a proprietate. Dar, de obicei, astfel de rezultate sa
numesc propozi¸ tii ¸ si numai rezultatele cele mai importante, cu o semni
ca¸ tie deosebitµ a poartµ a
numele de teoreme. Se numesc, de regulµ a corolarii acele propozi¸ tii care rezultµ a imediat din
alte teoreme sau propozi¸ tii ¸ si leme acele rezultate care pregµ atesc demonstra¸ tia unei propozi¸ tii
mai complicate sau a unei teoreme.
15
Capitolul 2
Principii de rezolvare a problemelor
de matematicµ a
2.1 Principiul induc¸ tiei matematice
Generarea riguroasµ a a mul¸ timii Na numerelor naturale presupune interven¸ tia a trei
axiome ce caracterizeazµ a a¸ sa-numitele triplete Peano.
De
ni¸ tia 2.1. Numim triplet Peano un ansamblu (N;0; s)unde Neste o mul¸ time, 02N,
iars:N!Neste o func¸ tie pentru care sunt veri
cate axiomele
(P1) 0=2s(N)
(P2) seste func¸ tie injectivµ a
(P3) Dacµ a PNeste o submul¸ time astfel încât 02P¸ si
n2P)s(n)2P
atunci P=N.1
Axioma (P3)poartµ a numele de axioma induc¸ tiei matematice . A¸ sadar, aici întâl-
nim prima oarµ a sintagma "indunc¸ tie matematicµ a". Intuitiv aceasta poate
asemµ anatµ a cu
prµ abu¸ sirea pieselor de domino: dacµ a doborâm prima piesµ a ( 02P) ¸ si cµ aderea unei piese
1În continuare se demonstreazµ a faptul cµ a orice triplet Peano este unic pânµ a la o bijec¸ tie, fapt ce permite
considerarea unuia dintre ele, (N;0; s), în care numim: Nmul¸ timea numerelor naturale ,0elementul
zero , iarsfunc¸ tia succesor .
Se noteazµ a 1 =s(0),2 =s(1),3 =s(2), etc. A¸ sadar, N=f0; 1; 2; 3; :::g.
Pe mul¸ timea Nse introduc opera¸ tiile bine-cunoscute de adunare " +" ¸ si înmul¸ tire " "precum ¸ si o rela¸ tie
de ordine " ". În felul acesta (N;+)¸ si(N;)sunt monoizi, iar (N;)este o mul¸ time total ordonatµ a ¸ si bine
ordonatµ a
Acestea sunt "primele cµ arµ amizi" ale edi
ciului:
NZQRC.
16
Principii de rezolvare a problemelor de matematic µa
oarecare implicµ a prabu¸ sirea urmµ atoarei piese (n2P)s(n)2P), atunci toate piesele se
vor prµ abu¸ si.
Pe de altµ a parte, vorbind de ra¸ tionament logic, în tandem nu numai lingvistic, apar
ra¸ tionamentul deductiv ¸ sira¸ tionamentul inductiv . Ra¸ tionamentul deductiv pre-
supune extragerea unor concluzii particulare din premise cu caracter general, în timp ce
ra¸ tionamentul inductiv presupune premise cu caracter particular ajungându-se la o concluzie
generalµ a. Judecând deductiv, dacµ a o propozi¸ tie matematicµ a p(n);8n2Neste adevµ aratµ a,
atunci, în particular,
ecare propozi¸ tie p(0),p(1),p(2), ¸ s.a.m.d. este adevµ aratµ a. În schimb,
inductiv, dacµ a unele propozi¸ tii particulare sunt adevµ arate, sµ a zicem p(0),p(1)¸ sip(2)asta
nu implicµ a faptul cµ a ¸ si propozi¸ tia universalµ a corespunzµ atoare este adevµ aratµ a.
Exemplul 2.2. Considerând predicatul p(n) :n!3,n2N, avem propozi¸ tiile particulare
p(0) : 1 3,p(1) : 1 3¸ sip(2) : 2 3adevµ arate, dar p(3) : 6 3este falsµ a, fapt ce ne
permite sµ a spunem cµ a propozi¸ tia p(n) :n!3;8n2Neste falsµ a.
A¸ sadar concluzia unei inferen¸ te inductive, având caracter ampli
cator, poate
falsµ a
sau adevµ ararµ a. Pentru a pµ astra caracterul de adevµ ar este necesarµ a efectuarea unei induc¸ tii
complete.
Cu aceste considerente, putem enun¸ ta varianta cea mai utilizatµ a a principiului induc¸ tiei
matematice :
Teorema 2.3 (principiul induc¸ tiei matematice – forma slabµ a) .Fiind dat un predicat p(n),
n2Nastfel încât
propozi¸ tia p(n0)se dovede¸ ste adevµ aratµ a
presupunând propozi¸ tia p(n)adevµ arata, nn0arbitrar ales, rezultµ a cµ a ¸ si propozi¸ tia
p(n+ 1) este adevµ aratµ a
atunci p(n),8nn0este adevµ aratµ a.
Acest principiu genereazµ a metoda induc¸ tiei matematice (metoda induc¸ tiei com-
plete) ce presupune veri
carea celor dooi pa¸ si ai principiului numi¸ ti clasic etapa de veri-
care , respectiv etapa de demonstra¸ tie . Demonstrµ am în detaliu urmµ atorul rezultat:
Problema 2.4. Arµ ata¸ ti cµ a cµ a 13+ 23+ 33+:::+n3este pµ atrat perfect, oricare ar
n2N.
Solu¸ tie . Pentru început facem o induc¸ tie incompletµ a pe baza cµ areia vom ob¸ tine o propozi¸ tie
care, la rândul ei va
demonstratµ a prin induc¸ tie matematicµ a:
13= 12=12
22
13+ 23= 9 = 32=23
22
13+ 23+ 33= 36 = 62=34
22
17
Principii de rezolvare a problemelor de matematic µa
Intuim cµ a 13+ 23+ 33+:::+n3=h
n(n+1)
2i2
. A¸ sadar formulµ am propozi¸ tia
p(n) : 13+ 23+ 33+:::+n3=n(n+ 1)
22
;8n2N.
Evident, pasul de veri
care este îndeplinit, propozi¸ tia p(1)
ind adevµ aratµ a. Pentru etapa de
demonstra¸ tie presupunem adevµ aratµ a propozi¸ tia
p(n) : 13+ 23+ 33+:::+k3=k(k+ 1)
22
,n1arbitrar
¸ si arµ atµ am cµ a
p(n+ 1) : 13+ 23+ 33+:::+n3+ (n+ 1)3=(n+ 1) ( n+ 2)
22
este de asemenea adevµ aratµ a. În acest scop evaluµ am
13+ 23+ 33+:::+k3+ (k+ 1)3=n(n+ 1)
22
+ (n+ 1)3= (n+ 1)2n2
4+n+ 1
=(n+ 1)2(n2+ 4n+ 4)
4=(n+ 1) ( n+ 2)
22
.
Decip(n))p(n+ 1) este adevµ avµ aratµ a. Cei doi pa¸ si ai induc¸ tiei
ind corect parcur¸ si, avem
siguran¸ ta cµ a propozi¸ tia p(n)este adevµ aratµ a pentru orice n1, ceea ce în
nal aratµ a cµ a
numµ arul 13+ 23+ 33+:::+n3este pµ atrat perfect, oricare ar
numµ arul natural nenul n.
Este foarte importantµ a veri
carea ambilor pa¸ si ai induc¸ tiei. A¸ sa cum am vµ azut, Exem-
plul 2.2, nu este su
cient sµ a veri
cµ am doar "startul" p(0). Pe de altµ a parte, lipsa acestuia
face la rândul ei ine
cientµ a aceastµ a metodµ a.
Exemplul 2.5. Astfel, luând propozi¸ tia p(n) :n=n+ 1;8n2N, etapa de demonstra¸ tie
este validµ a
n=n+ 1)n+ 1 = n+ 2.
Fµ arµ a sµ a veri
cµ am p(0), am trage concluzia cµ a toate numerela naturale sunt egale, ceea ce
este absurd.
Principiul induc¸ tiei matematice poate
enun¸ tat în forme generalizate:
Teorema 2.6 (principiul induc¸ tiei matematice – forma tare) .Fiind dat un predicat p(n),
n2Nastfel încât
propozi¸ tia p(n0)se dovede¸ ste adevµ aratµ a
presupunând propozi¸ tiile p(n0); p(n0+ 1); :::; p (n)adevµ arate, nn0arbitrar ales,
rezultµ a cµ a ¸ si propozi¸ tia p(n+ 1) este adevµ aratµ a
atunci p(n),8nn0este adevµ aratµ a.
Teorema 2.7 (principiul induc¸ tiei matematice – cu pasul s).Fiind dat un predicat p(n),
n2Nastfel încât
18
Principii de rezolvare a problemelor de matematic µa
propozi¸ tiile p(n0); p(n0+ 1); :::; p (n0+s 1)sunt adevµ arate
presupunând propozi¸ tia p(n)adevµ aratµ a, nn0arbitrar ales, rezultµ a cµ a ¸ si propozi¸ tia
p(n+s)este adevµ aratµ a
atunci p(n),8nn0este adevµ aratµ a.
Ca aplica¸ tie a Teoremei 2.6 demonstrµ am un rezultat celebru:
Problema 2.8 (inegalitatea mediilor) .Dacµ a a1; a2; :::; a nsunt numere reale pozitive, atunci
nP
k=1ak
nvuutnY
k=1ak, (2.1)
cu egalitate dacµ a ¸ si numai dacµ a a1=a2=:::=an.
Solu¸ tie . Pentru n2 f1; 2gegalitatea se veri
cµ a. Presupunem cµ a inegalitatea se veri
cµ a
pentru n knumere pozitive (k= 1;2; :::; n 1)¸ si demonstrµ am cµ a ea rµ amâne valabilµ a ¸ si
pentru nnumere pozitive a1; :::; a n. Conform ipotezei de induc¸ tie (presupunerea fµ acutµ a)
putem scrie
n 1X
k=1ak(n 1)n 1pa1a2:::an 1 (2.2)
¸ si
an+npa1a2:::an+:::+npa1a2:::an| {z }
den 2ori(n 1)n 1q
an(npa1a2:::an)n 2. (2.3)
Adunând inegalitµ a¸ tile (2:2)¸ si(2:3)membru cu membru ob¸ tinem:
nX
k=1ak+ (n 2)npa1a2:::an(n 1)
n 1pa1a2:::an 1+n 1q
an(npa1a2:::an)n 2
.
Dar
n 1pa1a2:::an 1+n 1q
an(npa1a2:::an)n 22r
n 1q
a1::::an(npa1:::an)n 2
= 2npa1a2:::an.
Astfel,
nX
k=1ak+ (n 2)npa1a2:::an2 (n 1)npa1a2:::an,
ceea ce este echivalent cu
nX
k=1aknnpa1a2:::an.
Induc¸ tia este completµ a, deci inegalitatea (2:1)este adevµ aratµ a, oricare ar
a1; :::; a n0.
Tot cu forma tare a pincipiului induc¸ tiei matematice solu¸ tionµ am urmµ atoarea problemµ a
19
Principii de rezolvare a problemelor de matematic µa
Problema 2.9.2Dacµ a aeste un numµ ar real cu proprietatea cµ a a+1
a2Z, atunci an+1
an2Z,
pentru orice n2N.
Solu¸ tie . Cazul n= 1este evident.Presupunem a
rma¸ tia adevµ aratµ a pentru orice numµ ar nat-
ural pânµ a la ninclusiv. Printr-un calcul simplu se demonstreazµ a identitatea
an+1+1
an+1=
an+1
an
a+1
a
an 1+1
an 1
,
care împreunµ a cu ipoteza de induc¸ tie ne permite sµ a a
rmµ am cµ a rela¸ tia este adevµ aratµ a ¸ si
pentru n+ 1. Am rezolvat astfel problema pentru n2N. Trecerea la numere întregi
negative se face simplu: dacµ a n= m2Z, cum2Navem an+1
an=am+1
am2Z, conform
celor demonstrate anterior.
Solu¸ tiile urmµ atoarelor douµ a probleme constituie exemple de aplicare a Teoremei 2.7.
Problema 2.10. Sµ a se arate cµ a oricare ar
n2N, numµ arul
En= (n+ 1) ( n+ 2):::(2n)
se divide cu 2n, dar nu se divide cu 2n+1.
Solu¸ tie . Pentru n= 1,E1= 2. În mod evident 2jE1¸ si22-E1. Pentru n= 2,E2= 12 ,
deci 22jE1, ¸ si23-E1. Arµ atµ am acum cµ a, dacµ a a
rma¸ tia din enun¸ t este adevµ aratµ a pentru n,
ea rµ amâne adevµ aratµ a ¸ si pentru n+ 2. Evaluµ am
En+2 = (n+ 3) ( n+ 4):::(2n) (2n+ 1) (2 n+ 2) (2 n+ 3) (2 n+ 4)
= 4 ( n+ 1) ( n+ 2) ( n+ 3):::(2n) (2n+ 1) (2 n+ 3)
= 22En(2n+ 1) (2 n+ 3).
Din presupunerea fµ acutµ a rezultµ a cµ a En= 2nq,qimpar. Atunci:
En+2= 2n+2q(2n+ 1) (2 n+ 3).
Este clar cµ a 2n+2jEn+2. În plus, observând cµ a q= (2n+ 1) (2 n+ 3) este impar, deducem
cµ a2n+3-En+2. A¸ sadar, prin induc¸ tie matematicµ a, a
rma¸ tia din enun¸ t este adevµ aratµ a.
Problema 2.11. Sµ a se demonstreze cµ a orice numµ ar natural n1admite o reprezentare de
forma
n=112+222+:::+kk2, (2.4)
unde j=1, oricare ar
j2 f1;2; :::; kg.3
Solu¸ tie . Vom veri
ca primii patru pa¸ si: 1 = 112,2 = 12 22 32+ 42,32= 12+ 22,
iar4 = 12 22+ 32. Presupunem cµ a a
rma¸ tia noastrµ a este adevµ aratµ a pentru o valoare
oarecare n¸ si demonstrµ am cµ a este adevµ aratµ a pentru n+ 4. Un calcul simplu ne permite sµ a
2Lucian Tu¸ tescu
3Numµ arul k2Nnu depinde de n.
20
Principii de rezolvare a problemelor de matematic µa
scriem identitatea
(n+ 1)2 (n+ 2)2 (n+ 3)2+ (n+ 4)2= 4.
Astfel, cu presupunerea fµ acutµ a avem
n+ 4 =kX
j=1jj2+ 4 =kX
j=1jj2+ (k+ 1)2 (k+ 2)2 (k+ 3)2+ (k+ 4)2=k+4X
j=1jj2,
ceea ce încheie demonstra¸ tia.
A¸ sa cum am vµ azut în exemplele anterioare, induc¸ tia matematicµ a are un domeniu mare
de aplicabilitate. În cele ce urmeazµ a încercµ am sµ a acoperim câteva zone ale acestui domeniu
cu alte probleme interesante.
2.1.1 Demonstrarea unor identitµ a¸ ti pe baza induc¸ tiei matematice
În cadrul urmµ atoarei propozi¸ tii amintim câteva rezultate clasice, rela¸ tia (2:7)
ind deja
demonstratµ a în cadrul Problemei 2.4.
Propozi¸ tia 2.12. Pentru n1au loc urmµ atoarele identitµ a¸ ti
1 + 2 + 3 + :::+n=n(n+ 1)
2.4(2.5)
12+ 22+ 32+:::+n2=n(n+ 1) (2 n+ 1)
6. (2.6)
13+ 23+ 33+:::+n3=n(n+ 1)
22
. (2.7)
a+ (a+r) +:::+ [a+ (n 1)r] =n(2a+ (n 1)r)
2.5(2.8)
b+bq+:::+bqn 1=bqn 1
q 1, pentru q6= 1.6(2.9)
1
a(a+r)+1
(a+r) (a+ 2r)+:::+1
[a+ (n 1)r] (a+nr)=nr
ar(a+nr)(2.10)
a(a+r) + (a+r) (a+ 2r) +:::+ [a+ (n 1)r] (a+nr) =n[r2(n2 1) + 3 a(a+nr)]
3
(2.11)
Problema 2.13. Pentru orice n2N, are loc egalitatea:
hp
1i
+hp
2i
+hp
3i
+:::+hp
n2i
=n(4n2 3n+ 5)
6. (2.12)
4suma lui Gauss
5suma primilor ntermei ai unei progresii aritmetice cu primul termen a¸ si ra¸ tia r
6suma primilor ntermei ai unei progresii geometrice cu primul termen b¸ si ra¸ tia q6= 1
21
Principii de rezolvare a problemelor de matematic µa
Solu¸ tie . Pentru n= 1avemp
1
=1(412 31+5)
6, adicµ a 1 = 1 . Admi¸ tând a
rma¸ tia adevµ aratµ a
pentru n, evaluµ am
hp
1i
+hp
2i
+hp
3i
+:::+hp
n2i
+hp
n2+ 1i
+:::+q
(n+ 1)2
=n(4n2 3n+ 5)
6+hp
n2+ 1i
+:::+q
(n+ 1)2 1
+q
(n+ 1)2
.
Dar
hp
n2+ 1i
=hp
n2+ 2i
=:::=q
(n+ 1)2 1
=n.
Putem deci continua astfel
hp
1i
+hp
2i
+hp
3i
+:::+hp
n2i
+hp
n2+ 1i
+:::+q
(n+ 1)2
=n(4n2 3n+ 5)
6+ n+n+:::+n|{z}
de(n+1)2 1 (n2+1)+1 ori+ (n+ 1)
=n(4n2 3n+ 5)
6+ 2n2+n+ 1 =(n+ 1) (4 n2+ 5n+ 6)
6
=(n+ 1)
4 (n+ 1)25 (n+ 1) + 6
6.
A¸ sadar, (2:12)func¸ tioneazµ a pentru orice n2N.
Problema 2.14 (identitatea lui Lagrange) .Fiea1; a2; :::; a n;b1; b2; :::; b nnumere reale. Are
loc:
X
1i<jn(aibj ajbi)2=nX
i=1a2
inX
i=1b2
i nX
i=1aibi!2
, (2.13)
oricare ar
n2N.
Solu¸ tie . Pentru n= 1ob¸ tinem 0 =a2
1b2
1 (a1b1)2, deci egalitatea este veri
catµ a în acest caz.
Presupunem cµ a pentru orice sistem de numere a1; a2; :::; a n;b1; b2; :::; b navem
nX
i=1a2
inX
i=1b2
i nX
i=1aibi!2
=X
1i<jn(aibj ajbi)2.
Atunci
n+1X
i=1a2
in+1X
i=1b2
i n+1X
i=1aibi!2
=nX
i=1a2
inX
i=1b2
i+b2
n+1nX
i=1a2
i+a2
n+1nX
i=1b2
i+a2
n+1b2
n+1
nX
i=1aibi!2
2an+1bn+1nX
i=1aibi a2
n+1b2
n+1
22
Principii de rezolvare a problemelor de matematic µa
Ipoteza de induc¸ tie ne permite sµ a continuµ am astfel:
n+1X
i=1a2
in+1X
i=1b2
i n+1X
i=1aibi!2
=X
1i<jn(aibj ajbi)2+b2
n+1nX
i=1a2
i+a2
n+1nX
i=1b2
i 2an+1bn+1nX
i=1aibi
=X
1i<jn(aibj ajbi)2+nX
i=1a2
ib2
n+1+nX
i=1b2
ia2
n+1 nX
i=12an+1bn+1aibi
=X
1i<jn(aibj ajbi)2+nX
i=1
a2
ib2
n+1+b2
ia2
n+1 2an+1bn+1aibi
=X
1i<jn(aibj ajbi)2+nX
i=1(aibn+1 bian+1)2
=X
1i<jn+1(aibj ajbi)2.
Problema 2.15 (formula lui Abel) .Oricare ar
n2are loc identitatea
nX
k=1akbk=Anbn n 1X
k=1Ak(bk+1 bk), (2.14)
unde Ak=Pk
j=1aj.
Solu¸ tie . Când n= 2, membrul drept se scrie:
A2b2 A1(b2 b1) = (a1+a2)b2 a1(b2 b1) =a1b1+a2b2,
deci formula are loc în acest caz. Dacµ a presupunem a
rma¸ tia adevµ aratµ a pentru n, atunci
An+1bn+1 nX
k=1Ak(bk+1 bk)
= (An+an+1)bn+1 n 1X
k=1Ak(bk+1 kbk) An(bn+1 bn)
=Anbn n 1X
k=1Ak(bk+1 bk) +an+1bn+1
=nX
k=1akbk+an+1bn+1=n+1X
k=1akbk.
Concluzia este acum evidentµ a.
Aplicµ am principiul induc¸ tiei matematice ¸ si unor identitµ a¸ ti trigonometrice, dupµ a cum
vom vedea mai jos.
23
Principii de rezolvare a problemelor de matematic µa
Problema 2.16.7Pentru r6= 2k; k2Z, au loc identitµ a¸ tile
sina+ sin ( a+r) + sin ( a+ 2r) +:::+ sin [ a+ (n 1)r] =sinh
a+(n 1)r
2i
sinnr
2
sinr
2,(2.15)
cosa+ cos ( a+r) + cos ( a+ 2r) +:::+ cos [ a+ (n 1)r] =cosh
a+(n 1)r
2i
sinnr
2
sinr
2,(2.16)
oricare ar
n2N.
Solu¸ tie . Demonstrµ am aici doar identitatea (2:15), egalitatea (2:16)solu¸ tionându-se în mod
asemµ anµ ator, sau înlocuind în (2:15)peacu
2 a, iar pe rcu r. Dacµ a n= 1, egalitatea
este evidentµ a. Considerând identitatea adevµ aratµ a pentru n¸ si folosindu-ne de formulele
sinsin=1
2[cos ( ) cos (+)],
cos cos= 2 sin+
2sin
2,
evaluµ am
sina+ sin ( a+r) + sin ( a+ 2r) +:::+ sin [ a+ (n 1)r] + sin ( a+nr)
=sinh
a+(n 1)r
2i
sinnr
2
sinr
2+ sin ( a+nr) =sinh
a+(n 1)r
2i
sinnr
2+ sin ( a+nr) sinr
2
sinr
2
=1
2 sinr
2"
cos
a+(n 1)r
2 nr
2
cos
a+(n 1)r
2+nr
2
+ cos
a+nr r
2
cos
a+nr+r
2#
=cos
a 1
2r
cos
a+1
2r+nr
2 sinr
2= sin
a+nr
2
sin(n+ 1)r
2.
7Observµ am cµ a în aceste identitµ a¸ ti argumentele func¸ tiilor trigonometrice sin, respectiv cos, se succed în
progresie aritmeticµ a: a; a+r; :::; a + (n 1)r.
Sunt foarte interesante unele cazuri particulare ale acestor identitµ a¸ ti, cum ar
:
sina+ sin
a+2
n
+ sin
a+4
n
+:::+ sin
a+2 (n 1)
n
= 0,
cosa+ cos
a+2
n
+ cos
a+4
n
+:::+ cos
a+2 (n 1)
n
= 0,
ob¸ tinute pentru r=2
n, sau
sina+ sin 2 a+:::+ sin na=sin(n+1)a
2sinna
2
sina
2,
cosa+ cos 2 a+:::+ cos na=cos(n+1)a
2sinna
2
sina
2,
ob¸ tinute pentru r=a.
24
Principii de rezolvare a problemelor de matematic µa
Problema 2.17.8Fiea1; a2; :::; a n2Rastfel încât:
a1cosx+a2cos 2x+:::+ancosnx0,8x2R.
Atunci
a1cosx+a2cos 2x+:::+ancosnx= 0,8x2R. (2.17)
Solu¸ tie . Construim, în ipotezele date, propozi¸ tia
p(n) :a1cosx+a2cos 2x+:::+ancosnx= 0;8x2R;8n2N.
Dacµ a a1cosx0;8x2R, atunci, clar a1= 0, deci a1cosx= 0;8x2R; prin urmare p(1)
este adevµ aratµ a.
Sµ a presupunem cµ a toate propozi¸ tiile particulare p(1); p(2); :::; p (n 1)sunt adevµ arate ¸ si sµ a
demonstrµ am cµ a propozi¸ tia p(n)este adevµ aratµ a. Avem deci cµ a
a1cosx+a2cos 2x+a3cos 3x+:::+ancosnx0,8x2R. (2.18)
În aceastµ a egalitate substituim xcux+¸ si ob¸ tinem
a1cosx+a2cos 2x a3cos 3x+:::+ ( 1)nancosnx0,8x2R. (2.19)
Sµ a presupunem cµ a neste par (analog se trateazµ a ¸ si cazul nimpar). Adunând rela¸ tiile (2:18)
¸ si(2:19)gµ asim
2a2cos 2x+ 2a4cos 2x+:::+ 2ancosnx0,8x2R,
sau
a2cos 2x+a4cos 2x+:::+ cos nx0,8x2R. (2.20)
Dacµ a în (2:20)substituim 2xcuyob¸ tinem cµ a
a2cosy+a4cos 2y+:::+ancosny
20,8x2R.
Aplicând ipoteza de induc¸ tie n
2< n
rezultµ a cµ a
a2cosy+a4cos 2y+:::+ancosny
2= 0,8x2R,
sau, revenind cu nota¸ tia,
a2cos 2x+a4cos 4x+:::+ancosnx= 0,8x2R.
Astfel, (2:18)devine
a1cosx+a3cos 3x+:::+an 1cos (n 1)x0,8x2R. (2.21)
Facem din nou substitu¸ tia x!x+, de aceastµ a datµ a în rela¸ tia (2:21), ¸ si ob¸ tinem
a1cosx a3cos 3x ::: an 1cos (n 1)x0,8x2R,
8Dumitru Bu¸ sneag
25
Principii de rezolvare a problemelor de matematic µa
sau echivalent
a1cosx+a3cos 3x+:::+an 1cos (n 1)x0,8x2R. (2.22)
Coroborând acum (2:21)¸ si(2:22)avem:
a1cosx+a3cos 3x+:::+an 1cos (n 1)x= 0,8x2R. (2.23)
În
ne, din (2:20)¸ si(2:23)rezultµ a cµ a, ¸ si p(n)este adevµ aratµ a. Conform principiului
tare al induc¸ tiei matematice, p(n)este adevµ aratµ a pentru orice numµ ar natural nenul n.
Prezentµ am fµ arµ a demonstra¸ tie în cadrul Problemelor (2:18),(2:19)¸ si(2:20)alte iden-
titµ a¸ ti trigonometrice ce pot
demonstrate inductiv.
Problema 2.18. Pentru orice numµ ar natural nare loc:
cosacos 2acos 4a:::cos 2na=sin 2n+1a
2n+1sina,a6=k,k2Z. (2.24)
cosacosa
2cosa
22cosa
23:::cosa
2n=sin 2a
2n+1sina
2n,a6= 2nk,k2Z. (2.25)
Problema 2.19. Pentru orice n1¸ si orice x6= 2k; k2Zavem:
nX
k=1ksinkx=(n+ 1) sin nx nsin (n+ 1)x
4 sin2x
2, (2.26)
respectiv
nX
k=1kcoskx=(n+ 1) cos nx ncos (n+ 1)x 1
4 sin2x
2. (2.27)
Problema 2.20. Oricare ar
n2N¸ six2R,x6=m,m2Zare loc:
nX
k=11
2ktanx
2k=1
2ncotx
2n cotx. (2.28)
2.1.2 Rezolvarea unor ecua¸ tii diofantice prin induc¸ tie matematicµ a
Unele ecua¸ tii diofantice9î¸ si gµ asesc rezolvarea pe calea induc¸ tiei matematice. Problemele
urmµ atoare ilustreazµ a acest lucru, rezultatele
ind de-a dreptul remarcabile.
Problema 2.21.10Sµ a se arate cµ a pentru orice numµ ar natural n, ecua¸ tia
x2+xy+y2= 7n(2.29)
9Prin ecua¸ tie diofanticµ a în¸ telegem o ecua¸ tie de forma
f(x1; x2; :::; x n) = 0 , (*)
unde feste o fun¸ tie de nvariabile ¸ si n2. Un n-uplu
x0
1; x0
2; :::; x0
n
2Znce satisface ()se nume¸ ste
solu¸ tie a acestei ecua¸ tii.
Numele acestor ecua¸ tii vine de la matematicianul antic Diofant , supranumit "tatµ al algebrei", binecunoscut
pentru cartea sa Aritmetica , o lucrare asupra ecua¸ tiilor algebrice ¸ si despre teoria numerelor.
10Dorin Andrica
26
Principii de rezolvare a problemelor de matematic µa
are solu¸ tii în mul¸ timea numerelor întregi.
Solu¸ tie . Pentru n= 1, avem solu¸ tia x1= 2,y1= 1. Presupunem cµ a existµ a numerele întregi
xn; yncare îndeplinesc
x2
n+xnyn+y2
n= 7n.
Sµ a punem xn+1= 2xn yn,yn+1=xn+ 3yn. Ob¸ tinem
x2
n+1+xn+1yn+1+y2
n+1 = (2 xn yn)2+ (2xn yn) (xn+ 3yn) + (xn+ 3yn)2
= 7×2
n+ 7xnyn+ 7y2
n= 7
x2
n+y2
n+xnyn
= 7n+1.
Cu principiul induc¸ tiei matematice, solu¸ tia este completµ a.
Problema 2.22.11Demonstra¸ ti cµ a pentru orice numµ ar natural n1, existµ a numerele
întregi x; y; z astfel încât x2+y2+z2= 32n.
Solu¸ tie . Dacµ a n= 1, avem x1= 1; y1=z1= 2. Admitem cµ a existµ a xn; yn; zn2Za¸ sa încât
x2
n+y2
n+z2
n= 32n
¸ si de
nim xn+1=x2
n y2
n+z2
n,yn+1= 2ynzn,zn+1= 2xnyn. Avem
x2
n+y2
n+z2
n=
x2
n y2
n+z2
n2+ (2ynzn)2+ (2xnyn)2
=
x2
n+y2
n+z2
n2=
32n2= 32n+1.
Problema 2.23. Sµ a se arate cµ a pentru orice n3, ecua¸ tia
1
x1+1
x2+:::+1
xn= 1 (2.30)
este solvabilµ a în mul¸ timea numerelor naturale distincte.
Solu¸ tie .12În cazul n= 3avem
1
2+1
3+1
6= 1.
11Dorin Andrica
12Nu se cunoa¸ ste dacµ a existµ a o in
nitate de numere naturale npentru care ecua¸ tia (2:30)admite solu¸ tii
(x1; x2; :::; x n), unde x1; x2; :::; x nsunt numere naturale impare distincte douµ a câte douµ a. Cu argumente de
paritate, ntrebuie sµ a
e impare. Totu¸ si sunt cunoscute câteva exemple, cum ar
, pentru n= 9, avem
1
3+1
5+1
7+1
9+1
11+1
15+1
33+1
45+1
385= 1,
pentru n= 11,
1
3+1
5+1
7+1
9+1
15+1
21+1
27+1
35+1
63+1
105+1
135= 1,
pentru n= 15,
1
3+1
5+1
7+1
9+1
15+1
21+1
35+1
45+1
55+1
77+1
165+1
231+1
385+1
495+1
693= 1.
27
Principii de rezolvare a problemelor de matematic µa
Presupunem cµ a pentru nales arbitrar are loc1
x1+1
x2+:::+1
xn= 1, unde x1; x2; :::; x nsunt
numere naturale distincte ¸ si ob¸ tinem
1
2×1+1
2×2+:::+1
2xn=1
2.
Rezultµ a cµ a
1
2+1
2×1+1
2×2+:::+1
2xn= 1,
unde numerele 2;2×1;2×2; :::;2xnsunt distincte douµ a câte douµ a.
Problema 2.24. Demonstra¸ ti cµ a pentru orice n6ecua¸ tia
1
x2
1+1
x2
2+:::+1
x2
n= 1 (2.31)
este solvabilµ a în mul¸ timea numerelor întregi.
Solu¸ tie . Pentru început observµ am cµ a
1
a2=1
(2a)2+1
(2a)2+1
(2a)2+1
(2a)2.
Astfel, dacµ a (x1; x2; :::; x n) = (a1; a2; :::; a n)este o solu¸ tie a ecua¸ tiei (2:31), atunci
(x1; x2; :::; x n 1; xn; xn+1; xn+2; xn+3) = (a1; a2; :::; a n 1;2an;2an;2an;2an)
este o solu¸ tie în mul¸ timea numerelor întregi pentru ecua¸ tia
1
x2
1+1
x2
2+:::+1
x2
n+3= 1.
Deci, având solu¸ tii pentru n= 6;7respectiv 8:
1
22+1
22+1
22+1
32+1
32+1
62= 1,
1
22+1
22+1
22+1
42+1
42+1
42+1
42= 1
1
22+1
22+1
22+1
32+1
42+1
42+1
122+1
122= 1
printr-o induc¸ tie cu pasul 3, putem acum construi solu¸ tii pentru orice n.
Problema 2.25. Sµ a se demonstreze cµ a dacµ a m¸ sinsunt numere naturale (mn), atunci
numµ arul solu¸ tiilor naturale ale ecua¸ tiei
x1+x2+:::+xn=m (2.32)
esteCn 1
m 1.
Solu¸ tie . Demonstrµ am rezultatul prin induc¸ tie matematicµ a relativ la n. Fie Nn(m)numµ arul
pe care-l cµ autµ am. Evident N1(m) = 1 = C1 1
m 1. Admitem cµ a Nk(m) =Cn 1
m 1, pentru
28
Principii de rezolvare a problemelor de matematic µa
k= 1;2; :::; n 1. Arµ atµ am cµ a Nn(m) =Cn 1
m 1:
Nn(m) = Nn 1(m 1) +Nn 1(m 2) +:::+Nn 1(n 1)
=Cn 2
m 2+Cn 2
m 3+:::+Cn 2
n 2=Cn 1
m 1.
Conform principiului induc¸ tiei matematice
Nn(m) =Cn 1
m 1,8n2N.
2.1.3 Rezolvarea inductivµ a a unor probleme de algebrµ a matricealµ a
Induc¸ tia matematicµ a este un instrument foarte util în calculul puterii a n-a a unei
matrice.
Problema 2.26. Fie matricea A2 M 2(C)astfel încât tr (A) = 0 , atunci
An=(
( detA)kI2,8n2N, dacµ a n= 2k; k2N
( detA)kA,8n2N, dacµ a n= 2k+ 1; k2N(2.33)
Solu¸ tie .Identitatea Cayley-Hamilton pentru o matrice, A, de ordinul 2are forma
A2 (trA)A+ (det A)I2=O2.
Dar, tr (A) = 0 ; astfel
A2= det (A)I2
¸ si prin induc¸ tie matematicµ a pentru npar sau impar rezultµ a a
rma¸ tia din enun¸ t.
Problema 2.27. Se considerµ a matricea A=
a b
b a!
, cua; b2C,b6= 0. Sµ a se demon-
streze cµ a oricare ar
n2NAn=
xnyn
ynxn!
, unde
xn=(a+b)n+ (a b)n
2¸ siyn=(a+b)n (a b)n
2.
Solu¸ tie . Pentru n= 1,xn=(a+b)1+(a b)1
2=a¸ siyn=(a+b)1 (a b)1
2=b. Considerµ am a
rma¸ tia
adevµ aratµ a pentru n¸ si o demonstrµ am pentru n+ 1. Avem
An+1=AnA=
xnyn
ynxn!
a b
b a!
=
axn+bynayn+bxn
ayn+bxnaxn+byn!
=
a(a+b)n+(a b)n
2+b(a+b)n (a b)n
2a(a+b)n (a b)n
2+b(a+b)n+(a b)n
2
a(a+b)n (a b)n
2+b(a+b)n+(a b)n
2a(a+b)n+(a b)n
2+b(a+b)n (a b)n
2!
=
(a+b)n+(a b)n
2(a+b)n (a b)n
2
(a+b)n (a b)n
2(a+b)n+(a b)n
2!
=
xn+1yn+1
yn+1xn+1!
.
29
Principii de rezolvare a problemelor de matematic µa
Acum totul este clar.
Problema 2.28. Sµ a se determine matricea An,n1, unde A=
a b
0a!
,a; b2C.
Solu¸ tie . Avem
A=
a22ab
0a2!
,A3=
a33a2b
0a3!
,A4=
a44a3b
0a4!
.
Intuim cµ a
An=
annan 1b
0 an!
,8n2N. (2.34)
Pentru n= 1 rezultatul s-a veri
cat. Admitem acum a
rma¸ tia adevµ aratµ a pentru n¸ si
demonstrµ am valabilitatea ei pentru n+ 1. Prin calcul,
An+1=AnA=
annan 1b
0 an!
a b
0a!
=
an+1(n+ 1)anb
0 an+1!
.
Astfel, prin induc¸ tie matematicµ a, rezultµ a cµ a a
rma¸ tia (2:34)este adevµ aratµ a.
Problema 2.29. FieA=
a b
b a!
, cua; b2R¸ sidetA6= 0. Determina¸ ti An,n1.
Solu¸ tie . Avem detA=a2+b2¸ si considerµ am matricea B=1
detAA. Astfel detB= 1de unde
rezultµ a cµ a existµ a '2Rastfel încât cos'=a
detA¸ sisin'=b
detA. Acum
B=
cos'
