問題16918(wkf*h0*6様提示問)
a[n]= 2^(n - 1)*cos[((n - 1)*Pi)/3] の総和を S[n]=Sum[a[k],{k,1,n}] とする。
(1) S[2018]を求めて下さい。
(2) 10^50<=S[n]なる最小のnは?
解答
・わたしの...
[ ]がガウス記号なら...
n-1=3m のときだけ0でない...
m=3*奇数...+1
m=3*偶数...-1
so...
n=2018...2018/6=336...2
2^3+2^9+2^15+...+2^333=2^3*(1+2^6+2^12+2^18+...+2^330)
2^0+2^6+2^12+...+2^330=1+2^6+2^12+...+2^330
so...
S[2018}=(2^3-1)*(1+2^6+2^12+...+2^330)
=(2^3-1)*(2^330-1)/(2^6-1)
=(2^330-1)/(2^3+1)
=(2^6-1)(2^55+2^54+...+1)/(2^3+1)
=(2^3-1)*(2^56-1)
=7*(72057594037927936-1)
=504403158265495545
10^50<=S[n]
S[n]=(2^3-1)(2^(n/6)-1)=2^(3+n/6)-2^(n/6)-2^3+1
so...
10^50<=2^m
m>=50*(log(2)+log(5))/log(2)=166.09...
so...
m=167
3+n/6=167
n=167*6-18=984
だと思う...^^
PCないとできませんのでは...^^;?
実際に...
(2^3-1)(2^(984/6)-1)
=1.63688183381061126838812701264223698201464444813305
x 10^50
(2^3-1)(2^(978/6)-1)
=8.1844091690530563419406350632111849100732222406649
x 10^49
↑
嘘っぱちでした ^^; Orz...
↓
・鍵コメT様からのもの Orz〜
「Pi」は円周率πのことでしょうね.
すると,さすがにこの文脈で
「[ ]をガウス記号と見る」ことはほとんどないと思います.
(もしそう見れば,
[(n-1)π/3]の値は,n=1,2,3,4に対して,
[0]=0,[π/3]=1,[2π/3]=2,[3π/3]=3,[4π/3]=4のようになり,
n=23に対してはじめてn-1より大きい値23となります.
a[1]=2^0*cos0=1ですが,a[2]=2^1*cos1はすでにわけがわからない値です.)
「cos[x]」は多分ここではcos(x)と同じ意味でしょう.
a[n]=2^(n-1)cos((n-1)π/3)は,
(2(cos(π/3)+isin(π/3)))^(n-1)=(1+√3i)^(n-1)の実部であり,
(1+√3i)^(n-1)をn=1からn=2018までについて加えたものの実部がS[2018]です.
等比数列の和の公式を用いて処理することができます.
・再考してみました...^^;v
z=1+√3I=2*e^(iπ/3)
(z^2018-1)/(1-z)
=2^2018*(cos(2018π/3)+isin(2018π/3))/(√3i)
=2^2018*sin(2π/3)/√3
=2^2017=S[2018]
で,
50(log(5)+log(2))
=50<nlog(2)
n>50/log(2)=166.09...
so...n=167
結局...
S[167]>10^50>S[166]
でいいのかな ^^;v
↑
不束でした ^^; Orz...
↓
・鍵コメT様からのもの Orz〜
z=1+√3iとおくと,a[n]は,z^(n-1)の実部.
(1) S[2018]は,1+z+z^2+…+z^2017=(1-z^2018)/(1-z)の実部.
ここで,
1-z^2018=1-(2^2018)*(cos(2018π/3)+isin(2018π/3))
=1-(2^2018)*(cos(2π/3)+isin(2π/3))
=(1+(2^2017))-(2^2017)√3i,
1-z=-√3i
であるから,
S[2018]=2^2017.
(2) S[n]は,(1-z^n)/(1-z)の実部であり,分母は純虚数-√3iだから,
S[n]は結局,(1-z^nの虚部)/(-√3),つまり(z^nの虚部)/√3である.
これが正となるのは,nを6で割ったときの余りが1または2のときであり,
そのとき,z^nの虚部は,(2^n)*(√3)/2となるから,S[n]=2^(n-1).
2^(n-1)≧10^50は,n-1≧50/(log[10]2)と同値であり,
自然数nとしてはn≧167のときに成り立つから,
167以上で,「6で割ったときの余りが1または2」を満たす最小のnを求めて,
n=169.
*行き届いてますね☆