乘积 AS⋅ABAS\cdot ABAS⋅AB 是 AAA 关于三角形 BQXBQXBQX 外接圆的幂(割线过 S,BS,BS,B),AT⋅ACAT\cdot ACAT⋅AC 是 AAA 关于三角形 CPXCPXCPX 外接圆的幂(割线过 T,CT,CT,C)。二者相等意味着 AAA 在这两个圆的根轴上,而根轴正是直线 XYXYXY。因此 AAA、XXX、YYY 三点共线。