求證矩形的對角線相等?