四点共圆的解析判定