三个角三角形具有循环结构,同一公式出现三次,变量依次从 (p,r)(p,r)(p,r) 循环到 (q,p)(q,p)(q,p),再到 (r,q)(r,q)(r,q)。
在 BBB、CCC 处用同样的共享角论证,得到 [BKM][ABC]=BKBC⋅BMBA=q(1−p)\frac{[BKM]}{[ABC]}=\frac{BK}{BC}\cdot\frac{BM}{BA}=q(1-p)[ABC][BKM]=BCBK⋅BABM=q(1−p) 以及 [CLK][ABC]=CLCA⋅CKCB=r(1−q)\frac{[CLK]}{[ABC]}=\frac{CL}{CA}\cdot\frac{CK}{CB}=r(1-q)[ABC][CLK]=CACL⋅CBCK=r(1−q)。