Lema 1: Dac x 1 i y 1 atunci x + y 1 + xy. Dac x < 1 i y > 1 atunci x + y > 1 + xy. Demonstraie. Avem: x 1 i y 1 x - 1 0 i y - 1 0 ( x 1 ).( y - 1 ) 0 xy - x - y + 1 0 x + y 1 + xy.

x + y 1 + xy. n al doilea caz: x < 1 i y > 1 (x - 1) < 0 i (y - 1) > 0 (x 1).(y - 1) < 0 xy - x - y + 1 < 0 x + y > 1 + xy. Lema 2: Dac x1, x2, ... , xn R+ i x1x2 ... xn = 1 atunci x1 + x2 + ... + xn n Egalitatea are loc dac i numai dac x1=x2= ... =xn=1. Demonstraie. Vom proceda prin inducie complet. Pentru n = 2 avem x1x2 = 1. Numerele x1 i x2 nu pot fi ambele strict mai mici ca 1 i nici ambele strict mai mari ca 1, cci produsul lor n-ar mai fi egal cu 1. Aadar, putem considera x1 1 i x2 1. Conform lemei 1 rezult x1 + x2 1 + x1x2 = 2, deci x1 + x2 2. Presupunem inegalitatea adevrat pentru n numere. Fie n+1 numere x1, x2, ... , xn, xn+1 pozitive astfel nct x1x2 ... xn+1 = 1 Numerele considerate nu pot fi toate strict mai mari ca 1 i nici toate strict mai mici ca 1, cci produsul lor n-ar mai fi egal cu 1. Exist deci, dou numere, fie ele xn i xn+1 astfel nct xn 1 i xn+1 1. Notm: y1 = x1, y2 = x2, ... , yn-1 = xn-1, yn = xnxn+1 Evident, numerele y1, y2, ... , yn snt pozitive i y1y2 ... yn = 1. Conform ipotezei de inducie, rezult c: y1 + y2 + ... yn n Adic: x1 + x2 + ... + xn-1 + xnxn+1 n Dar, conform lemei 1, xn + xn+1 xnxn+1 + 1. Din ultimele dou inegaliti obinem: x1 + x2 + ... + xn+1 n + 1. Inducia este ncheiat. Dac x1=x2= ... =xn=1 atunci, evident, x1 + x2 + ... + xn = n.

Presupunem x1 + x2 + ... + xn = n. Dac, prin absurd, exist x1 < 1 atunci exist i x2 > 1. n acest caz, conform lemei 1, partea a doua, avem: x 1 + x 2 > 1 + x 1x 2 (1) Notm: y1=x1x2, y2=x3, ... , yn-1=xn. Conform primei pri a demonstraiei, rezult c: y1 + y2 + ... + yn-1 n - 1 Adic: x1x2 + x3 + ... + xn n - 1 Aadar: (x1 + x2 + x3 + ... + xn) + (x1x2 - x1 - x2) n - 1 Deci: n + (x1x2 - x1 - x2) n - 1 De unde obinem: x 1 + x 2 1 + x 1x 2 Ultima inegalitate contrazice (1), prin urmare nu pot exista numere diferite de 1, deci x1=x2= ... =xn=1. Demonstraia este ncheiat. Propoziia 1 Dac x1, x2, ... , xn snt numere reale strict pozitive, atunci: x1 + x2 + ... + xn n x1x2 ... xn n Egalitatea are loc dac i numai dac x1=x2= ... =xn=1. Demonstraie. Notm: p = nx1x2 ... xn Fie: x x x y1 = 1 , y2 = 2 , ... , yn = n p p p Avem: y1, y2, ... , yn R+ i y1y2 ... yn = 1. Conform lemei 2, obinem: y1 + y2 + ... + yn n Deci: x1 x2 x + + ... n n p p p Rezult: x1 + x2 + ... + xn nx1x2 ... xn

n Egalitatea are loc dac i numai dac x1 = x2 = ... = xn. Inegalitatea arat c: media aritmetic este mai mare dect media geometric. Propoziia 2 Dac x1, x2, ... , xn snt numere reale strict pozitive, atunci: n n 1 x1x2 ... xn 1 1 + + ... + x1 x2 xn Egalitatea are loc dac i numai dac x1=x2= ... =xn=1. Demonstraie. Notm: 1 1 1 y1 = , y2 = , ... , yn = x1 x2 xn Conform propoziiei 1, avem: y1 + y2 + ... + yn n y1y2 ... yn n Adic: 1 1 1 + + ... + 1 x1 x2 xn n x1x2 ... xn n De unde rezult inegalitatea din enun: n n 1 x1x2 ... xn 1 1 + + ... + x1 x2 xn Egalitatea are loc dac i numai dac x1 = x2 = ... = xn. Inegalitatea arat c: media geometric este mai mare dect media armonic.