talk:>>640　これに距離が最小値をもつことを証明すれば、証明は完結するらしいが、
下から2行目＞このαに対し(a,b)の半径α/2の開近傍はAと交わらない

これは嘘じゃないか？図で考えてくれ。