跳到主要内容

東京工業大学 工学院 情報通信系 2016年8月実施 H1 積分と級数の評価

Author​

思齐塾, 祭音Myyura (co-authored with GPT 5.6 SOL)

Description​

H1.

  1. xx を実変数としたとき,任意の実数 α\alpha に対して次の不定積分を求めよ.
∫xαdx\int x^\alpha dx
  1. m,nm, n を m≦nm \leqq n である任意の正の整数とし, f(x)f(x) は実変数の実数値関数であるとする. a) f(x)f(x) が閉区間 [m,n+1][m, n+1] 上で連続かつ単調減少であるとき,
∫mn+1f(x)dx≦∑k=mnf(k)\int_m^{n+1} f(x)dx \leqq \sum_{k=m}^n f(k)

であることを示せ.

b) f(x)f(x) が閉区間 [m−1,n][m-1, n] 上で連続かつ単調減少であるとき,

∑k=mnf(k)≦∫m−1nf(x)dx\sum_{k=m}^n f(k) \leqq \int_{m-1}^n f(x)dx

であることを示せ.

  1. 任意の正の整数 nn に対して次の不等式が成立することを示せ.
log⁡e(n+1)≦∑k=1n1k\log_e(n+1) \leqq \sum_{k=1}^n \frac{1}{k}
  1. 任意の正の整数 nn に対して次の不等式が成立することを示せ.
∑k=1n1k2≦2\sum_{k=1}^n \frac{1}{k^2} \leqq 2
  1. 任意の正の整数 nn に対して次の不等式が成立することを示せ.
log⁡en!≧1−n+nlog⁡en\log_e n! \geqq 1 - n + n \log_e n

题目描述​

  1. 以 xx 为实变量。对任意实数 α\alpha,求不定积分
∫xα dx.\int x^\alpha\,dx.
  1. 设 m,nm,n 是满足 m≤nm\leq n 的任意正整数,f(x)f(x) 为实变量实值函数。

    1. 若 ff 在闭区间 [m,n+1][m,n+1] 上连续且单调递减,证明
    ∫mn+1f(x) dx≤∑k=mnf(k).\int_m^{n+1}f(x)\,dx \leq\sum_{k=m}^nf(k).
    1. 若 ff 在闭区间 [m−1,n][m-1,n] 上连续且单调递减,证明
    ∑k=mnf(k)≤∫m−1nf(x) dx.\sum_{k=m}^nf(k) \leq\int_{m-1}^nf(x)\,dx.
  2. 证明对任意正整数 nn,

log⁡e(n+1)≤∑k=1n1k.\log_e(n+1)\leq\sum_{k=1}^n\frac1k.
  1. 证明对任意正整数 nn,
∑k=1n1k2≤2.\sum_{k=1}^n\frac1{k^2}\leq2.
  1. 证明对任意正整数 nn,
log⁡en!≥1−n+nlog⁡en.\log_e n!\geq1-n+n\log_e n.

Kai​

1)​

x>0x>0 上では

∫xαdx={xα+1/(α+1)+C,α≠−1,log⁡x+C,α=−1.\int x^\alpha dx= \begin{cases}x^{\alpha+1}/(\alpha+1)+C,&\alpha\ne-1,\\\log x+C,&\alpha=-1.\end{cases}

α=−1\alpha=-1 で x<0x<0 も考える場合は log⁡∣x∣+C\log|x|+C となる。

2)​

単調減少性より,k≤x≤k+1k\le x\le k+1 では f(x)≤f(k)f(x)\le f(k),k−1≤x≤kk-1\le x\le k では f(k)≤f(x)f(k)\le f(x)。それぞれ積分し,k=m,…,nk=m,\ldots,n について加えると

∫mn+1f(x) dx≤∑k=mnf(k),∑k=mnf(k)≤∫m−1nf(x) dx.\int_m^{n+1}f(x)\,dx\le\sum_{k=m}^nf(k),\qquad \sum_{k=m}^nf(k)\le\int_{m-1}^nf(x)\,dx.

3)​

2)a) を f(x)=1/xf(x)=1/x, m=1m=1 に適用して

log⁡(n+1)=∫1n+1dxx≤∑k=1n1k.\log(n+1)=\int_1^{n+1}\frac{dx}{x}\le\sum_{k=1}^n\frac1k.

4)​

n=1n=1 は明らか。n≥2n\ge2 では 2)b) より

∑k=1n1k2≤1+∫1ndxx2=2−1n<2.\sum_{k=1}^n\frac1{k^2} \le1+\int_1^n\frac{dx}{x^2}=2-\frac1n<2.

5)​

log⁡x\log x は増加関数なので

log⁡n!=∑k=2nlog⁡k≥∫1nlog⁡x dx=1−n+nlog⁡n.\log n!=\sum_{k=2}^n\log k \ge\int_1^n\log x\,dx =1-n+n\log n.

n=1n=1 では両辺とも 00 である。