公式xy≤[(x+y)/2]^2,请问这个公式是什么时候学的?