2008年11月7日 (金) 09:48時点における版編集 VolkovBot (会話 \| 投稿記録) 231,345 回編集 m ロボットによる追加: hr:Aritmetički niz ← 古い編集		2009年1月27日 (火) 10:16時点における版編集取り消し X nishi (会話 \| 投稿記録) 326 回編集 m 全体的な表記の修正新しい編集 →
1行目: ~~[[数学]]に言う~~'''等差数列'''(とうさすうれつ、{{lang\|-en\|sequence of numbers with common difference}}）あるいは'''算術数列'''（さんじゅつすうれつ、{{lang-en\|~~<em>~~arithmetic progression, arithmetic sequence~~</em>~~}})とは、どの隣り合う2つの項も“共通して一定な”差（{{lang\|en\|common difference}}; '''公差'''）になっている[[数列~~のことである。例えば、3, 5, 7, 9, 11, 13... という数列は、どの隣り合う二項も差が 2 になっているので、公差が 2 である等差数列~~]]である。 : ここでいう「二項間の差」は、後の番号の項からその一つ前の番号の項を引くという意味の差である。若い番号の項からそのひとつ後の項を引いたものとは、符号が逆になると考えなければならない。隣り合う二項の差の絶対値が一定値であっても、それは公差でも等差数列でもない。▼ === 等差数列の~~総和の計算~~例と一般形 ===▼ 初項（一番初めの項）が ''a''<sub>1</sub> で、隣り合う二項の公差が ''d'' であるような等差数列の ''n'' 番目の項は▼ 例えば、3, 5, 7, 9, 11, 13... という数列は、最初の項が3、いずれの二項間の差も2である。このような数列を'''初項3、公差2の等差数列'''という。 ▲: ここでいう「二項間の差」は、後の番号の項からその一つ前の番号の項を引くという意味の差であり、負の値になることもある<ref>例えば、5, 2, −1, −4,...という数列は初項5、公差 −3の等差数列となる。</ref>。若い番号の項からそのひとつ後の項を引いたものとは、符号が逆になると考えなければならない。また、隣り合う二項の差の絶対値が一定値であっても異なる符号を含む場合、それこの数列は~~公差でも~~等差数列でとは言わない。したがって二項間の差も公差とは呼ばない。 ▲初項~~（一番初めの項）~~が ''a''<sub>1</sub> で、~~隣り合う二項の~~公差が ''d'' であるような等差数列の ''n'' 番目の項は :<math>\ a_n = a_1 + (n - 1)d</math> 13 ⟶ 17行目: == 等差数列の和 == 等差数列の有限個の項の総和は、しばしば（有限）'''算術級数''' ({{lang-en\|arithmetic series}}) と呼ばれる。 : 日本語で単に算術級数とだけ言った場合は、有限和の場合の極限として得られる無限和を指すことが多い。▼ ▲: 日本語で単に算術級数とだけ言った場合は、有限和の場合の極限として得られる無限和を指すことが多い。 ▲=== 等差数列の総和の計算 === === 等差数列の総和 === 公差 ''d'' の等差数列の ''n'' 個の項 ''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a''<sub>''n''</sub> の総和は、次のように表される。 :<math>S_n = a_1+a_2+\dots+a_n=\frac{n( a_1 + a_n)}{2} =\frac{n[ 2a_1 + (n-1)d ]}{2}</math> この式れは~~直感的におわかりいただけるだろう。~~、最初の項と最後の項の合計は、が2番目の項と最後から2番目の項の合計と同じになり、そのような関係が~~だいた~~おおよそ''n''/2個続くことを表している<~~math~~ref>''n''が奇数の時は(''n''-1)/2個続き、中央の項だけが残される。</~~math~~ref>~~個つづくからである~~。この種の式は、[[ピサのレオナルド]]（一般には[[レオナルド・フィボナッチ\|フィボナッチ]]として知られる)が記した[[算盤の書]] ("''Liber Abaci''"; [[1202年]], ch. II.12) に登場する。よく聞かれる逸話として、[[カール・フリードリヒ・ガウス]]がこの式を再発見した話がある。彼が3年生のときに、教師[[J. G. Bütner]]が生徒たちに1から100までの合計を求めさせたところ、彼は即座に答(5050)を出したため、Bütner と助手のMartin Bartels（[[:en:Johann Christian Martin Bartels]]）がいたく驚いた、というものである。項の数が奇数のときの曖昧さをなくして上のような結果を得るには、項の平均値を考えると良い。等差数列の総和は、全部の項の平均値に項の数を掛けたものになる。全部の項の平均値は、数直線上で両端から均等に間隔があいた (''a''<~~math~~sub>~~(a_1+a_n)~~1</2sub> + ''a''<sub>''n''</~~math~~sub>)/2 になることは明らかである。または、▼ ▲項の数が奇数のときの曖昧さをなくして上のような結果を得るには、項の平均値を考えると良い。等差数列の総和は、全部の項の平均値に項の数を掛けたものになる。全部の項の平均値は、数直線上で両端から均等に間隔があいた <math>(a_1+a_n)/2</math> になることは明らかである。または、 :<math>(a_k+a_{n-k+1})/2, 1\leq k \leq n</math> ~~のように両端から一つずつ項を取って平均すると、常に両端の平均値 :<math>(a_1+a_n)/2</math>~~ に等しくなることからも、これが等差数列の全項の平均値であると示される。▼ ▲のように両端から一つずつ項を取って平均すると、常に両端の平均値 (''a''<sub>1</sub> + ''a''<sub>''n''</sub>)/2 に等しくなることからも、これが等差数列の全項の平均値であると示される。 ====公式の証明====▼ ▲==== 公式の証明 ==== 等差数列の総和を、次のように2通りに書き表す。 :<math> S_n=a_1+(a_1+d)+(a_1+2d)+\dots\dots+(a_1+(n-2)d)+(a_1+(n-1)d)</math> :<math> S_n=(a_n-(n-1)d)+(a_n-(n-2)d)+\dots\dots+(a_n-2d)+(a_n-d)+a_n</math> 40 ⟶ 45行目: :<math>\ 2S_n=n(a_1+a_n)</math> だけとなる。これを移項して、''a''<~~math~~sub>''n''</sub>~~a_n~~ = ~~a_1~~''a''<sub>1</sub> + (''n-'' − 1)''d~~</math>~~'' という関係を用いれば、次の式を得る。 :<math> S_n=\frac{n( a_1 + a_n)}{2}=\frac{n[ 2a_1 + (n-1)d]}{2}</math> === 等差数列の総和とシグマ記法 === 等差数列の総和をシグマ記号を使って表示することも一般的に行われる。例えば、等差数列の和 56 ⟶ 60行目: と表される。同様に、次のような等差数列の和を表すにも、 :<math>a_1 + a_2 + a_3 + \cdots\cdots + a_{m-1} + a_m </math> シグマ記号を用いれば、次のように書き表せる。 :<math>\sum_{j=1}^{m} a_j </math> == 等差数列の積 == 初項 ''a''<sub>1</sub> で、公差 ''d'' である総項数 ''n'' の等差数列に対して、項を全て掛け合わせた[[総乗]]は 71 ⟶ 74行目: この式は、初項 1, 公差 1 の等差数列の積 : <math>1 \times 2 \times \cdots \times n</math> の値が階乗 ''n''! によって与えられることの一般化である。また、正の整数 ''m'', ''n'' (''m'' ≥ ''n'') に対する積 :<math>m \times (m+1) \times (m+2) \times \cdots \times (n-2) \times (n-1) \times n</math> の値が、 :<math>\frac{n!}{(m-1)!}</math> によって与えられるということの一般化でもある<ref>ガンマ関数が自然数に対してしか定義されない階乗の、実変数への一般化であることに注意。実際に階乗であるところがガンマ関数で置き換わって、本節当初の式が現われている。</ref>。 : ガンマ関数が自然数に対してしか定義されない階乗の、実変数への一般化であることに注意。実際に階乗であるところがガンマ関数で置き換わって、本節当初の式が現われている。 == 脚注 == <references />▼ == 関連項目 == 93 ⟶ 102行目: == 引用文献== ▲<references/> *{{cite book \| title = Fibonacci's Liber Abaci

「等差数列」の版間の差分