四点共圆的判定定理和性质定理是什么