「数列と微分積分」の版間の差分
ナビゲーションに移動
検索に移動
| 21行目: | 21行目: | ||
となる。 | となる。 | ||
このとき$$\Delta f(x)$$を$$f(x)$$の'''差分'''と呼ぶ。 | このとき$$\Delta f(x)$$を$$f(x)$$の'''差分'''と呼ぶ。 | ||
| − | + | これは階差数列でもある。 | |
また、微分と同様に $$f(x)$$ の定数項は $$\Delta f(x)$$ に関係がないことは微分よりも明確にわかる。 | また、微分と同様に $$f(x)$$ の定数項は $$\Delta f(x)$$ に関係がないことは微分よりも明確にわかる。 | ||
| 29行目: | 29行目: | ||
:[[File:Piecewise quadrature.png|400px]] | :[[File:Piecewise quadrature.png|400px]] | ||
| − | :$$\displaystyle{\sum\nolimits_a^bf(x) | + | :$$\displaystyle{\sum\nolimits_a^bf(x)=\sum_{x=a}^{b-1}f(x)}$$ |
| − | で表される $$\sum\nolimits_a^bf(x) | + | で表される $$\sum\nolimits_a^bf(x)$$ を $$f(x)$$ の $$a$$ から $$b$$ までの'''定和分'''と呼び、上図の灰色の部分の面積を表す。 |
| − | + | なお、終点 $$b$$ は含まれないことに注意する。 | |
この時上図の長方形の横幅はそれぞれ $$1$$ であるが、この幅の $$0$$ への極限をとった時の面積が | この時上図の長方形の横幅はそれぞれ $$1$$ であるが、この幅の $$0$$ への極限をとった時の面積が | ||
| 47行目: | 47行目: | ||
を満たす $$\int f(x)\,dx$$ を $$f(x)$$ の不定積分と呼んだが、差分の逆演算をしたもの、すなわち | を満たす $$\int f(x)\,dx$$ を $$f(x)$$ の不定積分と呼んだが、差分の逆演算をしたもの、すなわち | ||
| − | :$$\displaystyle{\Delta \sum f(x) | + | :$$\displaystyle{\Delta \sum f(x)=f(x)}$$ |
| − | を満たす $$\sum f(x) | + | を満たす $$\sum f(x)$$ を $$f(x)$$ の'''不定和分'''と呼ぶ。 |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| + | 上述の通り差分は元の関数の定数項に関係ないため、不定和分は不定積分と同様に和分定数が生じる。 | ||
| + | <ref group="注">和分定数は定数だけでなく周期が $$\frac1n$$ の周期関数も含まれる。</ref> | ||
==和分差分学の基本定理== | ==和分差分学の基本定理== | ||
| − | :$$\displaystyle{\Delta\sum\nolimits_a^xf(t) | + | :$$\displaystyle{\Delta\sum\nolimits_a^xf(t)=f(x)}$$ |
| − | すなわち $$F(x)=\sum f(x) | + | すなわち $$F(x)=\sum f(x)$$ とした時 |
| − | :$$\displaystyle{\sum\nolimits_a^bf(t) | + | :$$\displaystyle{\sum\nolimits_a^bf(t)=F(b)-F(a)}$$ |
が成立する。 | が成立する。 | ||
| 68行目: | 65行目: | ||
これは微分積分学の基本定理に対応する。 | これは微分積分学の基本定理に対応する。 | ||
| − | + | ==和分差分の性質== | |
| − | + | ===線形性=== | |
| + | :$$\displaystyle{\Delta kf(x)=k\Delta f(x)}$$ | ||
| + | :$$\displaystyle{\Delta\{f(x)+g(x)\}=\Delta f(x)+\Delta g(x)}$$ | ||
| + | :$$\displaystyle{\sum kf(x)\delta x=k\sum f(x)}$$ | ||
| + | :$$\displaystyle{\sum \{f(x)+g(x)\}\delta x=\sum f(x)+\sum g(x)}$$ | ||
| + | |||
| + | ===下降階乗=== | ||
| + | 正の自然数 $$n$$ に対して下降階乗 $$x^{\underline n}$$ を | ||
| + | :$$x^{\underline n}=x(x-1)(x-2)\cdots(x-n+1)$$ | ||
| + | と定義する。 | ||
| + | :$$\begin{align*} | ||
| + | \Delta x^{\underline n}&=(x+1)x(x-1)(x-2)\cdots(x-n+2)-x(x-1)(x-2)\cdots(x-n+1)\\ | ||
| + | &=\{(x+1)-(x-n+1)\}x(x-1)(x-2)\cdots(x-n+2)\\ | ||
| + | &=nx^{\underline{n-1}} | ||
| + | \end{align*}$$ | ||
| + | 和分差分学の基本定理より | ||
| + | :$$\sum x^{\underline n}=\cfrac{x^{\underline{n+1}}}{n+1}$$ | ||
| + | が従う。 | ||
| + | |||
| + | またこの性質を用いると、 | ||
| + | :$$\displaystyle{\begin{align*} | ||
| + | \sum_{x=1}^nx^2&=\sum\nolimits_1^{n+1}x^2\\ | ||
| + | &=\sum\nolimits_1^{n+1}\{x(x-1)+x\}\\ | ||
| + | &=\sum\nolimits_1^{n+1}\{x^{\underline2}+x^{\underline1}\}\\ | ||
| + | &=\left[\frac{x^{\underline3}}3+\frac{x^{\underline2}}2\right]_1^{n+1}\\ | ||
| + | &=\frac16n(n+1)(2n+1) | ||
| + | \end{align*}}$$ | ||
| + | など $$n$$ 乗の和の公式を導くことができる。 | ||
==注== | ==注== | ||
<references group="注"/> | <references group="注"/> | ||
2020年3月31日 (火) 15:24時点における版
この記事は主に高校数学においての数列と微分積分法の分野の関係についての独自研究である。
なお、この記事は編集中である。
はじめに
高校数学では数列と関数は全くの別物のように扱われているが、数列も主に自然数に対して定義されている歴とした関数である。
極限を扱う微分積分よりも以下に述べる和分差分は直感的に分かりやすい為、数列だけでなく微分積分の見方も変わるかも知れない。
微分法と差分法
関数 $$f(x)$$ に対して
- $$\displaystyle{\frac d{dx}f(x)=\lim_{h\to0}\frac{f(x+h)-f(x)}h}$$
なる $$\frac d{dx}f(x)$$ が $$f(x)$$ の微分であった。
ここで $$h\to0$$ という極限を取るのではなく $$h=1$$ と固定すると
- $$\displaystyle{\Delta f(x)=f(x+1)-f(x)}$$
となる。 このとき$$\Delta f(x)$$を$$f(x)$$の差分と呼ぶ。 これは階差数列でもある。
また、微分と同様に $$f(x)$$ の定数項は $$\Delta f(x)$$ に関係がないことは微分よりも明確にわかる。
積分法と和分法
定積分と定和分
- $$\displaystyle{\sum\nolimits_a^bf(x)=\sum_{x=a}^{b-1}f(x)}$$
で表される $$\sum\nolimits_a^bf(x)$$ を $$f(x)$$ の $$a$$ から $$b$$ までの定和分と呼び、上図の灰色の部分の面積を表す。 なお、終点 $$b$$ は含まれないことに注意する。
この時上図の長方形の横幅はそれぞれ $$1$$ であるが、この幅の $$0$$ への極限をとった時の面積が
- $$\displaystyle{\int_a^bf(x)\,dx}$$
であり、 $$f(x)$$ の $$a$$ から $$b$$ までの定積分である。
不定積分と不定和分
微分の逆演算をしたもの、すなわち
- $$\displaystyle{\frac d{dx}\int f(x)\,dx=f(x)}$$
を満たす $$\int f(x)\,dx$$ を $$f(x)$$ の不定積分と呼んだが、差分の逆演算をしたもの、すなわち
- $$\displaystyle{\Delta \sum f(x)=f(x)}$$
を満たす $$\sum f(x)$$ を $$f(x)$$ の不定和分と呼ぶ。
上述の通り差分は元の関数の定数項に関係ないため、不定和分は不定積分と同様に和分定数が生じる。 [注 1]
和分差分学の基本定理
- $$\displaystyle{\Delta\sum\nolimits_a^xf(t)=f(x)}$$
すなわち $$F(x)=\sum f(x)$$ とした時
- $$\displaystyle{\sum\nolimits_a^bf(t)=F(b)-F(a)}$$
が成立する。
これは微分積分学の基本定理に対応する。
和分差分の性質
線形性
- $$\displaystyle{\Delta kf(x)=k\Delta f(x)}$$
- $$\displaystyle{\Delta\{f(x)+g(x)\}=\Delta f(x)+\Delta g(x)}$$
- $$\displaystyle{\sum kf(x)\delta x=k\sum f(x)}$$
- $$\displaystyle{\sum \{f(x)+g(x)\}\delta x=\sum f(x)+\sum g(x)}$$
下降階乗
正の自然数 $$n$$ に対して下降階乗 $$x^{\underline n}$$ を
- $$x^{\underline n}=x(x-1)(x-2)\cdots(x-n+1)$$
と定義する。
- $$\begin{align*} \Delta x^{\underline n}&=(x+1)x(x-1)(x-2)\cdots(x-n+2)-x(x-1)(x-2)\cdots(x-n+1)\\ &=\{(x+1)-(x-n+1)\}x(x-1)(x-2)\cdots(x-n+2)\\ &=nx^{\underline{n-1}} \end{align*}$$
和分差分学の基本定理より
- $$\sum x^{\underline n}=\cfrac{x^{\underline{n+1}}}{n+1}$$
が従う。
またこの性質を用いると、
- $$\displaystyle{\begin{align*} \sum_{x=1}^nx^2&=\sum\nolimits_1^{n+1}x^2\\ &=\sum\nolimits_1^{n+1}\{x(x-1)+x\}\\ &=\sum\nolimits_1^{n+1}\{x^{\underline2}+x^{\underline1}\}\\ &=\left[\frac{x^{\underline3}}3+\frac{x^{\underline2}}2\right]_1^{n+1}\\ &=\frac16n(n+1)(2n+1) \end{align*}}$$
など $$n$$ 乗の和の公式を導くことができる。
注
- ↑ 和分定数は定数だけでなく周期が $$\frac1n$$ の周期関数も含まれる。
