两次独立的反射用两种方式描述了同一条弦的长度,由此立即得到 SSS 点与 TTT 点之间的一个长度等式。
由于反射保持 ω\omegaω 上弦的长度,第 1 步把弦 T1T2T_1T_2T1T2 变为弦 S1T3S_1T_3S1T3,故 S1T3=T1T2S_1T_3=T_1T_2S1T3=T1T2。同理,关于角 A2A_2A2 平分线的反射保持 ω\omegaω 不动,把 T2T_2T2 变为 S2S_2S2 并交换 T1↔T3T_1\leftrightarrow T_3T1↔T3,把弦 T1T2T_1T_2T1T2 变为弦 T3S2T_3S_2T3S2,故 S2T3=T1T2S_2T_3=T_1T_2S2T3=T1T2。因此 S1T3=S2T3S_1T_3=S_2T_3S1T3=S2T3。