证明:在所有面积为已知的矩形中正方形的外接圆的半径最小