矩形菱形性质定理与判定定理附其证明