n99joon   2년 전

일단 숫자 몇개를 넣다보니 답 패턴을 알게되어서 AC는 했습니다.

하지만 이런 문제들은 증명을 하지 않는 건지 아니면 쉬운 증명이 있는지 잘 모르겠습니다.


제가 조금 해본 방법은 수학적 귀납법으로 

1) x^2 + y^2 = r^2

2) d^2 = (x^2 + (y+r)^2) 

위 두 식으로 

y = r-1 일때 거리는 y=r-2 일때 보다 길고

y= k 일 때 거리가 y = k-1 보다 길다고 가정하면

y= k-1 일때 거리가 y = k-2 보다 길다 를 증명하여 어찌어찌 하는 것인데, 너무 길어집니다.


도움 부탁드립니다.

sait2000   2년 전

1) (1, R - 1)이 내부의 점입니다.

증명: 0<1이고 1^2 + (R - 1)^2 = R^2 - 2R + 2 < R^2입니다.

2) 내부의 점 (x, y)에 대해서 0 <= y <= R - 2일 때 (x, y)와 (0, -R)의 거리의 제곱은 4R^2 - 4R보다 작습니다.

증명: 거리의 제곱에 대해 다음과 같은 부등식이 성립합니다.

x^2 + (y + R)^2 < (R^2 - y^2) + (y + R)^2 = 2R^2 + 2yR <= 4R^2 - 4R

3) (x, y) = (1, R - 1)에 대해 (x, y)와 (0, -R)의 거리의 제곱은 4R^2 - 4R + 2입니다.

따라서 0 <= y <= R - 2인 경우는 답이 아니므로 고려할 필요가 없습니다.

n99joon   2년 전

킹갓짱님 친절한 설명 정말 감사드립니다. 

완벽하게 이해했습니다. (물론 다른 비슷한 문제가 나왔을 때, 증명을 생각해 내려면 y 줄어들수록 거리도 줄어든다는 그 직관을 찾고 증명하는 거라 직관을 찾을 수 있을 진 자신이 없습니다.)


답이 스포되지 않을까 염려스럽지만 자세하게 해주신 설명을 지우긴 아쉬워 일단 유지하겠습니다. 감사합니다!

leo020630   2년 전

출제자입니다. https://www.acmicpc.net/board/...에 공식 솔루션이 업로드되어 있으니 참고하시면 좋겠습니다. 감사합니다.

댓글을 작성하려면 로그인해야 합니다.