[일반] ㅅㅂ 이거 하이라이트 친 부분이 도저히 이해가 안감

[건전여우(lustyfox2nd)]

저기서 Apply (a) again해서 어떻게 m1>nx가 나온거지?

[익명(113.30)]

위의 과정에 의해 n을 얻었고 nx에 대해 (a)를 한 번 더 적용시킨다는 거임

[익명(113.30)]

nx>0이니까 그거보다 큰 m1이 a에 의해 존재

[건전여우(lustyfox2nd)]

???? 내가 개빡대가리라 그런가 이거 읽어도 잘 납득이 안가는데, 저걸통해서 n을 얻었다는건 알겠고 nx>0인거도 알겠는데 거기서 (a)는 예를들어서 nx=t라 하면 kt>z (z는 실수)인 자연수 k가 존재한다던지 이런식으로 나와야 하는거 아냐? m1>nx가 어떻게 나오는건지 아직도 모르겠음

[익명(147.46)]

(a)의 x에 1, y에 nx 대입해보셈

[건전여우(lustyfox2nd)]

그럼 내가 바로 아래에 쓴 글에서 물어본거랑 모순이잖음

[익명(147.46)]

아니... (a)의 x랑 내가 대입하라는 x랑은 당연히 다르지

[익명(147.46)]

there exists m1 such that m1 * 1 > nx

[익명(147.46)]

결국 a를 다시 적용하려면 a에서 요구하는 두 상수 x,y가 필요한데 니가 지금 가지고 있는게 nx고 그게 a에서 요구하는 x잖아. 그러면 나머지 y가 필요한데 y = 1로 놓는다는거지

[건전여우(lustyfox2nd)]

x하고 y를 거꾸로 말하신거같긴 한데 아무튼 뭔말인진 알겠음

[익명(147.46)]

아 그래 반대로 말했네 오키 그래도 뭔말인지 알겠지?

[건전여우(lustyfox2nd)]

네네네 감사합니다!