已知对角长度,怎么算出正方形长度