由于E、F、G的生成方式一樣，考慮點(diǎn)坐標(biāo)/線方程同構(gòu)。

要證明四點(diǎn)共圓，如果設(shè)圓方程做計(jì)算量會更大，不妨先求圓心（兩個線段中垂線交點(diǎn)），若圓心坐標(biāo)關(guān)于a,b,c輪換對稱，則圓心唯一確定。

計(jì)算過程中不斷提取輪換對稱式以簡化計(jì)算。