均值不等式为什么要大于0 等于不行吗

●【均值不等式的简介】———————————————————————————————
概念：N个正实数的算术平均数大于等于其几何平均数
算术平均数，arithmetic mean，用一组数的个数作除数去除这一组数的和所得出的平均值，也作average
几何平均数，geometric mean，作为n个因数乘积的数的n次方根，通常是n的正数根
设a1,a2,a3,...,an是n个正实数，则(a1+a2+a3+...+an)/n≥n次√(a1*a2*a3*...*an)，当且仅当a1=a2=…=an时，均值不等式左右两边取等号
●【均值不等式的变形】———————————————————————————————
(1)对实数a,b，有a^2+b^2≥2ab (当且仅当a=b时取“=”号)，a^2+b^2>0>-2ab
(2)对非负实数a,b，有a+b≥2√(a*b)≥0，即(a+b)/2≥√(a*b)≥0
(3)对负实数a,b，有a+b<0<2√(a*b)
(4)对实数a,b，有a(a-b)≥b(a-b)
(5)对非负数a,b，有a^2+b^2≥2ab≥0
(6)对非负数a,b，有a^2+b^2 ≥1/2*(a+b)^2≥ab
(7)对非负数a,b,c，有a^2+b^2+c^2≥1/3*(a+b+c)^2
(8)对非负数a,b,c，有a^2+b^2+c^2≥ab+bc+ac
(9)对非负数a,b，有a^2+ab+b^2≥3/4*(a+b)^2
●【均值不等式的证明】———————————————————————————————
方法很多，数学归纳法（第一或反向归纳）、拉格朗日乘数法、琴生不等式法、排序不等式法、柯西不等式法等等
下面介绍个好理解的方法
琴生不等式法
琴生不等式：上凸函数f(x)，x1,x2,...xn是函数f(x)在区间(a,b)内的任意n个点，
则有：f[(x1+x2+...+xn)/n]≥1/n*[f(x1)+f(x2)+...+f(xn)]