菱行性质及判定定理