矩形菱形的证明精