证明矩形的对角线相等用初2的定理