[일반] 공대생 해석학질문좀 받아주세요

[익명(223.39)]

이 부분에서 m을 증명하는 부분이 잘 이해가 안가는데 설명부탁드립니다ㅜㅠ..

- dc official App

[익명(58.226)]

어디서 이해가 안가는데?

[익명(223.39)]

m이 구체적으로 존재한다는 사실을 증명하는파트 However ~~부터요 - dc App

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(58.226)]

아 오타났다

[익명(58.226)]

컴퓨터는 부등호 깨지던데 폰으로 보셈

[익명(223.39)]

으악.. 너무 어려운데.. 일단 이해해볼게요 감사합니다! - dc App

[익명(58.226)]

걍 다시 써줄테니까 기다려보셈. 댓글 텍스트에다 적은거 붙였는데 중간이 날아간거같음

[익명(58.226)]

an<bn<k인 k가 있다는 거는 bn<1*k가 있다는 Archimedean property를 쓴거라고 생각하면 됨. 그래서 부등식 -k<=an<bn<=k를 얻을 수 있는거고. 이제 m을 정의할건데 어떻게 할거냐면 an<j인 최소의 j를 m으로 할거임.

[익명(58.226)]

j는 정수니까 K의 원소가 될 수 있고. 어쨌든 최소인 j를 m으로 잡았으니 m-1<an일거임. 아니면 an<m-1<m이라서 m이 최소가 안됨.

[익명(58.226)]

an>m-1이니까 an+1>m인건 당연하지. 처음 부등식 n(b-a)>1이랑 an+1>m을 합치면 nb>an+1>m을 얻을 수 있음.

[익명(58.226)]

그러면 m의 정의에 따라서 nb>an+1>m>an이고 즉 nb>m>an임.

[익명(223.39)]

완벽이해했습니다! 감사합니당 - dc App