下界等号恰在 AX=AC=bAX=AC=bAX=AC=b 时成立。此时两圆在唯一点 C=XC=XC=X 处相切,所以两个交点重合,作图只有一个解。上界 c<bc<bc<b 在所需大弧交点情形下不能取等号。