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 を得る。