设矩形边长分别为a b,那么对角线长l=根号(a^2+b^2)
面积S=ab
由基本不等式,a^2+b^2>=2ab
因此l^2>=2S,当且仅当a=b（也就是矩形为正方形）时等号成立