四点共圆的判定解析几何