根据性质能得出结论
根据已知条件+判定定理能证明出性质
定义应该和判定定理差不多吧