其实就是不等式定理，x+y=k，(x-y)2>=0,则可以推出xy<=k2/4，则x*y的最大值是k2/4,也就是x=y=k/2时最大。