0713132人目の素数さん
2018/02/18(日) 03:25:45.94ID:e4NqLH6n■出題1
問題(1)
x_1 + x_2 + …… + x_n = k となる解(x_1,x_2,……,x_n)の個数はC[n,k]
求めるものは
f_n = Σ(k=0,m)C(n,k), m =[n/3]
ところで、k < n/3 のとき
C(n,k)={(k+1)/(n-k)}C(n,k+1)<(1/2)C(n,k+1)
< … <(1/2)^(m-k)C(n,m).
f_n = Σ(k=0,m)C(n,k)
< C(n,m)(1 + 1/2 + 1/4 + 1/8 + …)
< C(n,m)* 2
〔補題〕
n≧2 のとき C(n,m)≦(4/9)c^n,
ただし、c = 3/4^(1/3)= 1.889881575
(略証)
C(2,0)= 1 < 4^(1/3)=(4/9)c^2,
C(3,1)= 3 =(4/9)c^3,
C(4,1)= 4 < 9/4^(1/3)=(4/9)c^4,
これと
C(n+3,m+1)={(n+3)(n+2)(n+1)/[(m+1)(n-m+2)(n-m+1)]}C(n,m)
<(27/4)C(n,m)
から出る。(終)
∴ f_n < c^n,