设四顶点对应向量a,b,c,d.
对角线垂直
<=> (a-c) * (b-d)=0 (*表示点积）
<=> a*b+c*d=b*c+d*a
<=> (a-b)*(a-b)+(c-d)*(c-d)=(b-c)*(b-c)+(d-a)*(d-a)
<=> 两组对边的平方和相等