圆内接四边形 BCEDBCEDBCED 的圆周角使直角三角形 DEKDEKDEK 与 BELBELBEL 相似,从而由 KE>LEKE > LEKE>LE 得 DK>BLDK > BLDK>BL。
由于 BCEDBCEDBCED 是圆内接四边形,∠EDC=∠EBC\angle EDC = \angle EBC∠EDC=∠EBC,所以直角三角形 DEKDEKDEK(直角在 KKK)和 BELBELBEL(直角在 LLL)相似。由第2步的 KE>LEKE > LEKE>LE,对应边满足 DK>BLDK > BLDK>BL。