令 DDD 为 MN′MN'MN′ 与 CCC 的另一个交点。由相等的圆周角得 AD=ABAD=ABAD=AB。又因 DA′DA'DA′ 平行于 MN′MN'MN′,角 DA′B′DA'B'DA′B′ 为直角;所以 DDD 与 B′B'B′ 为直径的两个端点。于是 A′D2+DB′2=4R2A'D^2+D B'^2=4R^2A′D2+DB′2=4R2,代入 AD=ABAD=ABAD=AB 得 AB2+A′B′2=4R2AB^2+A'B'^2=4R^2AB2+A′B′2=4R2。