直径 BCBCBC の円を作図し、対称軸 LMLMLM と交わらせる。h2>ach^2>ach2>ac なら2点、h2=ach^2=ach2=ac なら接する1点、h2<ach^2<ach2<ac なら点はない。従って存在の必要十分条件は h2≥ach^2\ge ach2≥ac で、距離はステップ4の通りである。