Sin(n)이 L로 수렴한다고 가정하면
Sin(2n)도 L로 수렴한다
Sin(2n)=2cosnsinn이므로
L=2L lim n->inf cosn
따라서 L=0이거나 cosn이 1/2로 수렴해야한다.
L=0이 불가능함을 보이자
모든 양수 e에 대해 자연수 N이 존재하여 n>=N일때
l sin n l <e이 성립해야하므로
e=sin(pi/100)일때도 성립해야한다.
l sin n l <sin(pi/100) 이 n>=N일때 항상 성립한다는 말은
n>=N인 임의의 자연수 n에 대해 대응되는
정수 P(n)이 존재하여
P(n)pi - pi/100 < n < P(n)pi + pi/100 이 성립해야한다.
허나 저 범위에 속하는 "어떠한 자연수 n에 대해서도"
P(n+1)pi - pi/100 < n+1 < P(n+1)pi + pi/100 을 만족하는
정수 P(n+1)이 존재하지않으므로,이는 모순이다.
따라서 L#0이다.
cos n이 1/2에 수렴하지 않음또한 이 방법과 동일한방법으로 쉽게보일수있다.
이때는 e=sin(pi/6 - pi/100) 으로 잡아주면, cosx=1/2이되는 x로부터 pi/100차이씩 벌어진다. (삼각함수의 대칭성을 이용하여 규명할수있다.)
(6p(n)+1)pi/3 -pi/100 < n < (6p(n)+1)pi/3 +pi/100
or
(6p(n)+5)pi/3 -pi/100 < n < (6p(n)+5)pi/3 +pi/100
이 되고, 저 범위에 속하는 어떠한 자연수 n에 대해서도
(6p(n+1)+1)pi/3 -pi/100 < n+1 < (6p(n+1)+1)pi/3 +pi/100
or
(6p(n+1)+5)pi/3 -pi/100 < n+1 < (6p(n+5)+2)pi/3 +pi/100
가 성립하지않으므로 모순이다. 따라서 cosn은 1/2에 수렴하지 않는다.
따라서, 수열 Sin(n)은 발산한다.
- dc official App
cos n이 수렴하는지 모르는데 어떻게 네번째 줄을 바로 말할 수 있음?
L이 0에수렴하지않고 cosn이 수렴하지않으면, 발산*0아닌수 수렴이라 밭산이라 증명돼서 생략함. - dc App
sinn이 L로 수렴한댔는데 L이 0이아니면 L*발산이 L로 수렴함 발산이 1로수렴함 돼서모순이라 따질필요없지. - dc App
그냥 (sin(n+1)-sin(n-1))/2sin(1)=cos(n)이 0으로 가는 것 하나만 부정해도 되는듯 근데 sin(n)->L을 바로 부정하지 않는 이유가 있음?
이건 삼각함수 틀딱공식교육과정서사라져서 못찾았네..틀딱공식쓰면 더쉽게되는군-1<=L<=1인 임의의 L에대해 수렴하지않음 증명하는건 빡세서저리함. - dc App
- 단박에바로보이기 빡세서 - dc App