由于E、F、G的生成方式一样,考虑点坐标/线方程同构。
要证明四点共圆,如果设圆方程做计算量会更大,不妨先求圆心(两个线段中垂线交点),若圆心坐标关于a,b,c轮换对称,则圆心唯一确定。
计算过程中不断提取轮换对称式以简化计算。