利用均值不等式：(ab)^0.5>=2/(1/a+1/b),且a=b时等号成立,这是容易证明的.
令a=x,b=y/4,则可得到：
(xy/4)^0.5>=2/(1/x+4/y)=2
∴可以得出xy>=16,当x=y/4时等号成立,即x=2,y=8,xy取最小值16