(xy)^2=(a^2+b^2)(c^2+d^2)>=(ac+bd)^2,这里用到提柯西不等式.由于都是正实数,所以有xy>=ac+bd