(t,0)을 중심으로 하는 원을 그리면서 원 크기를 키울때 딱 곡선에 접하게 되는 지점을 거리의 최소로 본다고 하는데

제가 의문이 드는점은 이 (t,0) 이라는 점을 중심으로 하면서 곡선에 접하는 원이 존재한다는 보장이 있나요??
그냥 직관적으로 되는게 존재하는게 보이니까 존재한다고 생각해야하는건가요? 아니면 저걸 엄밀하게 증명하는 방법이 있나요?

- dc official App