菱形判定的证明