几何命题变成了长度恒等式。
将两个子三角形的比和 ABCABCABC 的比代入后,只剩下长度 a,b,c,c1,c2,da,b,c,c_1,c_2,da,b,c,c1,c2,d 的等式,其中 c=c1+c2c=c_1+c_2c=c1+c2。