作出以 BCBCBC 为直径的圆并与对称轴 LMLMLM 相交。当 h2>ach^2>ach2>ac 时有两个点,h2=ach^2=ach2=ac 时有一个相切点,h2<ach^2<ach2<ac 时没有点。因此存在的充要条件为 h2≥ach^2\ge ach2≥ac,距离由第4步给出。