공부가하기싫은사람 [993175] · MS 2020 (수정됨) · 쪽지

2024-06-02 12:33:49
조회수 795

0.99999....=1 증명

게시글 주소: https://orbi.kr/00068255680

대학교에서 쓰는 엡실론 델타 논법이라는 것을 쓸겁니다. 

고등학생도 이해할 수 있게 쓸테니 뒤로가기 누르지 말아요...

간단하게 설명을 해 드리겠습니다.

어떤 수열{ a_n } 이 있다고 합시다. 그리고 그 수열이 L로 수렴하는걸 보이고 싶어요! 그러면 a_n과 L 사이의 "차"가 최소가 되어야하겠죠? "차"는 큰거에서 작은걸 뺀 값이에요

그러면 절댓값을 써서 이렇게 나타낼 수 있어요

이게 매우 작아지면 좋겠죠? 정확히는 0이 되었으면 좋겠죠. 그래서 임의의 양수 ε > 0을 가져올거에요. 어떤 양수를 가져와도 그거보다 저 "차"가 더 작으면 차가 결국 0이라는 뜻이겠죠?


ε를 엄청 작은 수로 일단 설정해봅시다. 대충 0.000000001

정도로요! 그러면, 이 부등식을 언제 만족시키는지를 생각해봅시다.

어떤 자연수 N에 대해서 N보다 n이 더 크면 항상 저 부등식을 만족시킨다고 하면 괜찮겠죠? 즉, N보다 크기만 하면 "차"를 저것보다 더 작게 줄일 수 있으니까요.

그걸 이렇게 쓸 수 있어요.


즉, 어떤 양수 ε을 가져와도, N보다 더 큰 모든 n에 대해서 

"차"가 ε보다 작아진다면, 아까 말햇듯이 결국 저 괄호 안의 식이 모든 양수보다 작으니 0이 되겠죠. 이걸 이용해서 증명해볼 겁니다!


일단 0.9, 0.99, 0.999, ... 로 진행하는 수열을 생각해보면


이 되겠죠? 그리고 이 식의 수렴값이 1 맞는지 증명하고 싶어요.

그러면 "차"는, 

이렇게 되겠죠. 그러면 이제 아까처럼 임의의 양수 ε을 가져와보면


이 되겠죠? 이때 N을 가우스 함수랑 비슷하게,


라고 정의해주면, 결국 N보다 큰 모든 자연수 n에 대해서,

"차"가 ε보다 작아지는거잖아요? 그러면 어떤 얼마나 작은 양수 ε을 가져와도 그것보다 더 "차"를 작게 만들어주는 N이 존재하는거거죠? 결과적으로 "차"는 어떤 양수보다도 작게 만들 수 있는거에요.

결국 "차"는 n이 무한대라면, 0이 아니면 안돼요. 0이 아니라면, 그거보다 더 작은 ε를 가져올 수 있을텐데, 그러면 지금까지의 증명에 모순이잖아요?

따라서, 


즉, 

이 됩니다. "다가간다" 라는 애매한 말을 쓰지 않고도 명확하게 보일 수 있어요. 결과적으로 0.9999...와 1은 그저 하나의 실수인 1을 두가지 방법으로 표기한 것일 뿐이라는 거죠!

(0.99999....는  1보다 절대 작지 않아요!!)

0 XDK (+100)

  1. 100