初めまして、暇つぶしに数学の考えごとをしていると、分からないことがありましたので、質問させていただきます。数(?)列についてなのですが、知識は高校数学程度しかなく、しかも数列の分野はかなり忘れ気味です。高校数学に毛の生えた程度の内容ではとても説明できないという場合、高度な解説をしていただいても馬の耳に念仏ということになってしまいますので、その場合はあまり詳しく説明していただかなくても結構です。
{A(n)}=n^x
という文字の入った数列を考えます。この第1階、第2階、第3階……の階差数列を考えてゆきます。階差数列をダッシュをつけて表現しますと、具体的には、
{A'(n)}=A(n+1) - A(n)=(n+1)^x - n^x
{A''(n)}=(n+2)^x - 2(n+1)^x + n^x
{A'''(n)}=(n+3)^x - 3(n+2)^x + 3(n+1)^x - n^x
……
ということになります。この一般の場合を考えたいのです。考え方として、{A(n)}、{A'(n)}、{A''(n)}、……の一般項を順番にならべた数列{B(m)}を考えて、その一般項を求めたいのだ、ということにもなります。
{B(1)}=n^x
{B(2)}=(n+1)^x - n^x
{B(3)}=(n+2)^x - 2(n+1)^x + n^x
……
{B(m)}=???
ということです。まあ、式の形からいって、一般項はきっと
{B(m)}=Σ[k=1,m] {(-1)^(k+1)} * [m!/{k!(m-k)!}] * {(n+k-1)^x}
という形になるんだろうな、と想像はつきますが(m!/{k!(m-k)!} はパスカルの三角形の一般項)、どうしてそうなるのか分かりません。ご教示いただきたいです。
(あと、ついでの話になりますが、{B(m)}の第~階差数列を同様に考えて、同様に各一般項から数列{C(l)}とかも作れそうですね。その一般項を考えて……とやってると、終わりがなさそうです)
高校数学で簡単にできることをド忘れしてやしないか、不安でヒヤヒヤしますが……。
No.2ベストアンサー
- 回答日時:
もう少し記号を整理すれば
分かりやすくなります.
A(n)=n^x
これを第0階差とみなし,D_0(n)=A(n)とおきます
第一階差 D_1(n) = A(n+1)-A(n)
第二階差 D_2(n) = D_1(n+1) - D_(n) = A(n+2) - 2A(n+1) - A(n)
・・・同様にしていくと
第k階差は
D_k(n) = X(k,0)A(n+k) - X(k,1)A(n+k-1) +・・・+(-1)^k X(k,k)A(n)
となり
これから第(k+1)階差は,記号では
D_{k+1}(n)
= X(k+1,0)A(n+k+1) - X(k+1,1)A(n+k)
+・・・+(-1)^{k+1} X(k+1,k+1)A(n)
と表せる一方,当然ながら
D_{k+1}(n)=D_k(n+1) - D_k(n)
なのだから
D_{k+1}の係数はX(k.i)でも表現できるわけで
係数比較をすれば
X(k+1,i)=X(k,i)+X(k,i-1)
という関係ができて,これはまさに
パスカルの三角形の定義式そのものです.
これがわかれば
更なる階差をとることも計算は煩雑になりますが
問題はないでしょう.
つまり,係数はA(n)の具体的な形にはまったく無関係です.
数列や関数に対して
こういう階差を考えるのは
一般には「差分」といわれており
いろいろな研究があったりします.
関数の微分の離散バージョンが差分であり
微分に積分が対応するように,差分にも「和分」というのが
あったりします.
どうもありがとうございます、よく分かりました。係数を X(a,b) と置いて係数比較するという手順は、なるほどと思いました。
それにしても、
>係数はA(n)の具体的な形にはまったく無関係です
というのは驚きでした。そういう仕組みだったんですね。
>関数の微分の離散バージョンが差分であり
>微分に積分が対応するように,差分にも「和分」というのが
>あったりします.
確かに、階差数列を作りながら、関数の微分に似ているような気がしていたのです。一般的に、階差をとってやると次数も下がるようでしたし。「差分」というのですね。ひとつ言葉を知ることができました。
詳しい解説、本当にありがとうございました。
No.1
- 回答日時:
階差数列を作るということを演算子で考えると普通のかけ算の様になるので
わかりやすいと思います。
Pという演算子をA(n)に作用させるとA(n+1)に変わるものと定義します。
すると階差数列を作ると言うことは
(P-1)*A(n)=P*A(n)-A(n)=A(n+1)-A(n)
ということですよね。
N階の階差数列を作ると言うことは(P-1)をN階左から
作用させることに、つまり
(P-1)^N*A(n)
ということになります。
演算子の部分は
(P-1)^N
になりますから、係数はパスカルの三角形に一致します。
なるほど、演算子を作って考えてやると、こんなにスッキリと見通しがよくなるのですね。面白いです!
こういう発想は、いかにも数学的という感じで、自分でいくら考えても出てこなかっただろうと思います。ご丁寧な解説、どうもありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 高校数学 数列 a[1]=0, a[2]=1/2 および漸化式2a[n+2]=3[n+1]-a[n] 2 2022/03/28 13:08
- 数学 数学(階差数列の一般項を求める問題) 写真のピンク色の線の部分 これは最後の「一般項an」からn=1 1 2023/07/04 19:43
- Visual Basic(VBA) VBAで、1つのエクセルで、2つのシートからもう1つのシートに条件のある転記コードを教えてください。 1 2023/03/16 18:07
- 数学 上三角行列のn乗の証明 2 2023/07/23 21:45
- 数学 高3の微分についての質問です。 ある説明に「数学IIで扱ったのは多項式関数で、この時極限値は必ず存在 6 2023/07/02 10:04
- 数学 階差数列型の漸化式についての質問です。 ある問を階差数列型の漸化式に当てはめると、1+2(n-1Σk 2 2023/03/01 09:01
- その他(形式科学) 画像の写真のような数式の分母は、 数列の和であり、一般項も見ただけですぐ分かりますが、なぜ分母の数式 2 2022/07/10 13:41
- 数学 数列 三角関数 赤文字が答えです 2番3番手も足も出ません。解き方分かる方教えてくれませんか? an 2 2023/02/16 17:43
- Excel(エクセル) エクセルで文字の少し変わった計を取りたい 6 2023/05/30 23:19
- Excel(エクセル) ExcelVBAでリストの項目に必要数と同じ手配数を分配していくマクロを作りたいです。 1 2022/07/29 18:36
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
tanxのマクローリン展開について
-
シグマの計算の公式で1/2n(n+1)...
-
降べきの順に整理した時、この...
-
等比数列の個数の数え方は?
-
+0は正の項に入るか入らないか
-
数列の問題なんですが
-
鴻門の会で項王が沛公と「与飲...
-
初項から第n項までの和SnがSn=2...
-
数B 等比数列の和 解答を読んで...
-
項数の数え方。
-
項の数え方
-
数Bの群数列の質問です。
-
フィボナッチ数列のフローチャ...
-
数列の問題がわかりません! 1 ...
-
郡数列
-
由、抽、袖はなぜ読み方が違うか
-
因数分解について教えてほしいです
-
第10項が15、第20項が14の等差...
-
分数の数列の和で消える項は規...
-
数Bの等差数列についての質問で...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
文字式の順番について 中3の展...
-
降べきの順に整理した時、この...
-
初項はどうしてaなのでしょうか
-
tanxのマクローリン展開について
-
シグマの計算の公式で1/2n(n+1)...
-
数Ⅱ 式と証明 (2X³-1/3X²)⁵ の...
-
latexで項に下線を引いて添え字
-
Excel のグラフで両側に目盛り...
-
+0は正の項に入るか入らないか
-
数列のKを使う時ってどんな時で...
-
数Bです 初項5、公差4、末項53...
-
x^4-7x^2+1 の因数分解の解説お...
-
重回帰分析での交差項の意味す...
-
鴻門の会で項王が沛公と「与飲...
-
変数・未知数を含む項を何と呼...
-
フィボナッチ数列における極限
-
第3項が34 第三項から第7項まで...
-
数学の次数の優先順位について
-
数bの問題です。 初項が-29、公...
-
数列の問題がわかりません! 1 ...
おすすめ情報