在圆中,面积最大的正方形,其对角线即为圆的直径,这是一个定理吗