x,y > 0 si a,b ca mai sus.
Luam doua ponderi lambda = a/(a+b) si mu = b/(a+b) >0 , suma lor este unu.
Inegalitatea de mai sus se rescrie copiata si dupa logaritmare...
Aceasta este inegalitatea Jensen sau definitia concavitatii pentru functia concava ln, nu trebuie decat sa derivam de doua ori.
Acest argument este modul bun de a intelege demonstratia mediilor - imediat intelegem generalizarea cu parametrii nenumarati si arbitrari (ponderi de suma unu) si ne aflam in cadrul natural al analizei matematice, cadrul simplu in care se calculeaza extreme de functii.
N.B. Acea stelutza * este poate mai bine un \cdot in latex, daca vrem sa atragem atentia asupra inmultirii a doua numere reale.