一个纯粹的圆的性质——弧中点处的切线与其弦平行——把一个代数上的长度等式转化成了我们真正需要的几何平行关系。
S1T3=S2T3S_1T_3=S_2T_3S1T3=S2T3 上两条弦相等 ω\omegaω 意味着 T3T_3T3 是弧 S1S2S_1S_2S1S2 的中点。ω\omegaω 在 T3T_3T3 处的切线正是边 A1A2A_1A_2A1A2(因为 T3T_3T3 按定义就是该边上的切点),而弧中点处的切线总与该弧所对的弦平行。因此 S1S2∥A1A2S_1S_2\parallel A_1A_2S1S2∥A1A2。