Folosindu-ne de cea mai importantă inegalitate din gimnaziu, despre care am discutat în articolul precedent, putem obține o nouă inegalitate importantă, valabilă pentru medii.
Mai exact, dacă pornim de la două numere reale pozitive 0≤a≤b, putem calcula media lor aritmetică dată de Ma(a,b)=a+b2
și media lor geometrică Mg=√a⋅b.
De exemplu, dacă numerele sunt a=4 și b=9, atunci media lor aritmetică este Ma=4+92=132=6,5
și Mg=√4⋅9=√36=6.
Observați deja că 6,5>6 și astfel media aritmetică a celor două numere alese este mai mare decât media lor geometrică.
Această inegalitate este una generală, în sensul că media aritmetică a două (sau mai multor) numere reale pozitive este întotdeauna mai mare sau cel puțin egală cu media lor geometrică. Deci, întotdeauna avem a+b2≥√a⋅b.
Căci, pornind de la cea mai importantă inegalitate din gimnaziu, care ne spune că orice număr real ridicat la puterea a doua este mai mare decât zero sau cel puțin egal cu zero, rezultă că acest lucru este valabil și pentru diferența a două numere reale pozitive, oricare ar fi ele (x−y)2, adică avem (x−y)2≥0.
Mai departe, ridicând la puterea a doua paranteza prin înmulțirea parantezei cu ea însăși sau prin utilizarea formulei de calcul prescurtat, vom avea că (x−y)2=(x−y)⋅(x−y)=x2−xy−yx+y2=x2−2xy+y2.
Și cum (x−y)2≥0, rezultă că x2−2xy+y2≥0,
ceea ce mai înseamnă și x2+y2≥2xy
(am aruncat în dreapta termenul 2xy) și mai înseamnă și x2+y22≥xy
(am împărțit inegalitatea precedentă cu 2).
Acum, notând x2=a și y2=b, cum a și b sunt pozitive, va rezulta că x=√a, y=√b și xy=√a⋅√b=√ab, ceea ce ne duce direct la inegalitatea mediilor.
Și există o medie (media pătratică) care este chiar mai mare decât media aritmetică. Pentru numerele concrete alese mai sus avem Mp=√42+922=√48,5≈6,96.
Și există o medie (media armonică) care este mai mică decât media geometrică. Media armonică a lui 4 și 9 este Mh=214+19=20,25+0,(1)≈5,53.
Astfel, putem sintetiza inegalitatea mediilor mai frumos: b≥√a2+b22≥a+b2≥√ab≥21a+1b≥a.
Din această inegalitate celebră mai rezultă că dacă oricare două dintre aceste medii sunt egale, va rezulta că și numerele ale căror medii se calculează sunt egale, concluzie foarte subtilă ce este valorificată în unele probleme mai dificile.