利用解析法证明长方体的对角线相等且互相平分