过 D,E,XD,E,XD,E,X 的圆与直线 ABABAB 交于 D,SD,SD,S,与直线 ACACAC 交于 E,TE,TE,T。沿每条割线计算 AAA 的幂,得 AD⋅AS=AE⋅ATAD\cdot AS=AE\cdot ATAD⋅AS=AE⋅AT。