沿折线的探测圆盘覆盖三角形区域。
令 YYY 为线段 XCXCXC 上满足 CY=rCY=rCY=r 的点。于是 XY=XC−rXY=XC-rXY=XC−r,路径 A→X→YA\to X\to YA→X→Y 的长度为 AX+XC−r=LAX+XC-r=LAX+XC−r=L。以这两条线段为中心线、半径为 rrr 的管状区域覆盖整个三角形:对应的未经过顶点到相应线段的距离不超过 rrr(且 XB=CY=rXB=CY=rXB=CY=r),其余边界位于两线段之间。因此该路径检查全域;交换 B,CB,CB,C 得到同样长度的对称路径。