经过 的两个圆重合。 P,M,IP,M,IP,M,I
经过 的圆与经过 的圆相同，因此在反演后的构形中 共线。反演回去后，这个共线关系变为原图中的 。由于 定义在 上且在过 垂直于 的直线上，结论成立。 P,M,I,TP,M,I,TP,M,I,T P,M,I,QP,M,I,QP,M,I,Q P,Q,TP,Q,TP,Q,T T∈PQT\in PQT∈PQ TTT DIDIDI AAA AIAIAI