用内积运算,求证长方形的两条对角线相等