如图7 在正方形ABCD中 点O为对角线