a+b+c=k (k为定值) 证明：abc最大时，a=b=c=k/3

三元均值不等式，
abc<=[(a+b+c)/3]^3,当且仅当a=b=c时取等号。
http://baike.baidu.com/view/441784.htm?fr=ala0_1_1