次の無限等比級数は収束する。その和を求めよ。
無限等比級数と無限級数
無限等比級数が収束する条件と和を求め、部分和の極限として無限級数の和を求められる
前提
- 数列の極限 (数学III 極限)
この技能までの道筋(11 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
説明
項が限りなく続く和 (無限級数)について、和が一定の値に近づくかどうかを判定し、近づくならその値を求められるようになります。考え方の土台は「最初の 項までの和(部分和)を式で表し、 の極限をとる」ことです。特に等比数列の項を限りなく足す無限等比級数は、収束する条件と和を簡単な式で表せます。循環小数を分数に直す、図形を限りなく繰り返したときの面積の合計を求める、といった場面で使います。
なぜそうしてよいのか
無限級数 の「和」は、部分和 の極限 で定義します。この極限が有限の値 になるとき級数は収束するといい、 をその和とします。極限が有限の値にならないとき( に発散する、振動するなど)は、級数は発散するといい、和はありません。つまり、無限個の足し算をそのまま行うのではなく、有限個の和を求めてから数列の極限の技能を使うのです。
初項 、公比 の無限等比級数 を考えます。 のとき、等比数列の和の公式から です。ここで は なら に収束し、 なら に発散、 なら振動します。よって のとき、 なら となり、 や なら は収束しません。 のときは なので なら発散します。まとめると、無限等比級数が収束するのは「 または 」のときで、和は なら 、 なら です。
等比級数でない場合も、部分和を求めれば同じように扱えます。たとえば と分けると、部分和は隣どうしが打ち消し合って となり、 で に収束します。なお、級数が収束するなら なので、「 が に収束しなければその級数は発散する」と判定できます(逆は成り立ちません)。
手順
級数が等比級数かどうかを見分ける。等比級数なら、第1項( のときの項)を計算して初項 とし、隣の項の比から公比 を求める。
等比級数のとき、収束条件を確認する: なら のときだけ収束し、 なら発散する( なら和は )。
収束するなら和を で求める。
等比級数でないときは、部分和 を求める( のように差に分けると、途中が打ち消し合うことが多い)。
を求め、有限の値ならそれが和、そうでなければ発散と答える。
例題
無限級数 の和を求めよ。
例題の解答
手順1: のときの項は なので初項は 。また と変形できるので、公比は の等比級数である。
手順2: で なので、この級数は収束する。
手順3:和は 。
(確認:部分和は で、 より 。)
答え:
よくある誤り
公比を確認せずに を使ってしまう誤り。たとえば を とするのは誤り。正しくは なので となり、発散する。
初項を取り違える誤り。 で初項を ( の値)や としてしまうなど。正しくは を代入した が初項。また の公比を として和を とするのも誤りで、正しくは 、和は 。
部分和を作らずに級数を分けてしまう誤り。 と分けると、それぞれの級数が収束しないので扱えない。正しくは先に と有限の和を求め、その極限 を和とする。
「 だから級数は収束する」としてしまう誤り。たとえば だが、 で発散する。正しくは「級数が収束するなら 」であり、逆は成り立たない。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
次の無限等比級数の収束、発散を調べ、収束する場合はその和を求めよ。
次の無限等比級数の収束、発散を調べ、収束する場合はその和を求めよ。
無限級数
の和を求めよ。無限級数 の和を求めよ。
無限級数
の和を求めよ。に対する熱方程式の初期値・境界値問題
を考える。変数分離とフーリエ正弦級数によってこの問題の解 を求め、極限
の値を求めよ。に対する熱方程式の初期値・境界値問題
を考える。変数分離とフーリエ正弦級数によって得られる解 について、極限
の値を求めよ。当たりの出る確率が のくじがある。このくじを 1 回ずつ引き、引いたくじは毎回もとに戻す。各回の結果は互いに独立であるとする。初めて当たりが出るまでに引いた回数(当たりが出た回も含める)を とする。 の確率分布は
である。 の期待値 を求めよ。1 個のさいころを、 または の目が出るまで繰り返し投げる。 または の目がはじめて出るまでに投げた回数(その回を含む)を とする。 が偶数となる確率 を求めよ。
赤玉 個と白玉 個が入った袋がある。袋から玉を 個取り出し、色を確かめてから袋に戻す。この操作を、赤玉が初めて出るまで繰り返す。赤玉が初めて出るまでに行った操作の回数(赤玉が出た回も含める)を とするとき、 の期待値 を求めよ。
区間 上のルベーグ測度を とする。実数 に対し、 以下の最大の整数を で表す。関数 を
で定めるとき、ルベーグ積分
の値を求めよ。を整数とする。確率変数 は、パラメータ の幾何分布に従うとする。すなわち
である。 とおく。 の特性関数 の における極限を求めて の分布の極限を決定し、それを用いて極限
を求めよ。を整数とします。確率変数 は、パラメータ の幾何分布に従うとします。すなわち
です。 とおきます。特性関数を用いて の分布の極限を調べ、極限
を求めてください。ただし は虚数単位です。実数列 で をみたすもの全体のなす実バナッハ空間 に、ノルム を入れる。線形汎関数 を で定める。 の作用素ノルム を求めよ。
この技能を使う問題
無限級数
の和を求めよ。複素ヒルベルト空間 を内積 とそれから定まるノルム で考える。閉部分空間
と、 で定まるベクトル をとる。 と との距離 を求めよ。年利率 (1 年ごとの複利)が将来にわたって一定である市場を考える。ある基金は、いまから 年後、 年後、 年後、 と、 年ごとに 万円ずつを永久に支払い続ける。この支払いの、現時点(時刻 )における現在価値の総和を 万円とする。 を既約分数で求めよ。
行列
について、正の整数 に対し の 成分を とする。数列 は収束する。その極限を とするとき、級数
の和を求めよ。のボレル集合族上の測度 を
で定める。ここで はルベーグ測度、 は点 におけるディラック測度( なら 、そうでなければ )である。集合
に対し、 の値を求めよ。ただし は 以下の最大の整数を表す。1 辺の長さが の正方形を とする。正方形 の頂点を順に とし、辺 上にそれぞれ点 を
となるようにとる。このとき四角形 は正方形になる。この正方形を とする。正方形 の周の長さを とするとき、無限級数 の和を求めよ。
真空(屈折率 )中に、屈折率 の一様なガラスでできた、両面が平行な平面の厚い板が置かれている。ガラスは非磁性(透磁率は真空の透磁率 に等しい)で、光を吸収しない。この板の表面に、偏光していない(自然光の)単色の平面波を入射角 で入射させる。
板は十分厚く、板の中で多重反射する光どうしの干渉は無視でき、板を透過する光の強度は、多重反射を繰り返して裏面から出てくる光の強度をすべて足し合わせたものとしてよい。各境界面での反射・透過はフレネルの式に従うものとする。
板を透過して裏面側に出てくる光の強度の合計は、入射光の強度の何倍か。既約分数で求めよ。
区間 で定義された関数
を考える。 のフーリエ級数
の係数を求め、パーセバルの等式
を用いて、無限級数
の値を求めよ。年利率 (1 年複利)が永久に一定である市場を考える。次のように支払いが続く永久年金がある。
- について、第 年末に 万円を支払う(第 年末に 万円、第 年末に 万円、、第 年末に 万円)。
- 第 年末以降は、毎年末に 万円ずつ永久に支払う。
この永久年金の現在(時刻 )における現価を万円単位で求めよ。答えは累乗を含む形のままでよい。
2 つの因果的な離散時間の線形時不変系 S, S を、この順に縦続接続する(S の出力を S の入力とする)。 は整数とする。
- S のインパルス応答は
- S の入力 と出力 の関係は
ここで は単位ステップ系列( で 、 で )である。全体の系に入力 を加えたときの出力 について、エネルギー
を求めよ。ただし、初期状態は とする。客が到着率 のポアソン過程に従って到着する、待合室の容量に制限のない次の 2 つの待ち行列システムを考える。 とし、 とする。
- システム A: 窓口が 1 つで、サービス時間は平均 の指数分布に従う(M/M/1)。
- システム B: 窓口が 2 つで、各窓口のサービス時間は平均 の指数分布に従う(M/M/2)。客は空いている窓口があればすぐにサービスを受け、なければ 1 列に並んで先着順に待つ。
どちらのシステムでも、サービス時間は互いに独立で到着とも独立とする。系内人数(待っている客とサービス中の客の合計)の定常分布を とすると、系内人数が 人のときのサービス終了率を として、定常分布はつり合いの式
のただ 1 つの解であることを用いてよい( は各システムの設定から定まる)。定常状態における平均系内人数を、システム A について 、システム B について とするとき、 であることを証明せよ。
で定義された関数 を、 以上の整数 を用いて
で定める(周期 の矩形波)。関数 は で連続微分可能で、 は区分的に連続であり、 の不連続点を除くすべての で微分方程式
を満たし、初期条件 を満たすとする。関数 のラプラス変換を で定める。ラプラス変換を用いて、極限
の値を求めよ。無限級数
は収束する。その和を求めよ。次の無限級数の和を求めよ。
ただし、必要ならば のとき であることを用いてよい。1 辺の長さが の正三角形 がある。三角形 の内接円を とする。
頂点 について、次のように円 を順に定める。
- は、2 辺 に接し、 に外接する円のうち、 と の間にあるものとする。
- に対し、 は、2 辺 に接し、 に外接する円のうち、 と の間にあるものとする。頂点 についても同様に円の列を定める。内接円 と、3 つの頂点それぞれについて定めた無限個の円すべての面積の総和を求めよ。
数列 を
で定める。無限級数
の和を求めよ。数列 を
で定める。無限級数
は収束することが示せる。その和を求めよ。空気(屈折率 )中に、2 枚の同じ平面の半透鏡を、反射面が互いに平行になるように間隔 で向かい合わせて置いた(ファブリー・ペロー干渉計)。各半透鏡の強度反射率は で、光の吸収はない(強度透過率は )。真空中の波長 の単色平面波を鏡面に垂直に入射させ、2 枚の鏡の間で何度も反射しながら透過してくるすべての光の重ね合わせとして透過光の強度 を考える。間隔 を波長程度の範囲でゆっくり変えたとき、 の最小値と最大値の比 を求めよ。ただし、各鏡での反射・透過で振幅に生じる位相の変化は によらない一定値であり、光は鏡の間を往復するたびに位相 (に一定値を加えたもの)だけ遅れるものとする。
正の整数 に対し、( は の正の約数全体を動く)とする。、、、 を用いてよい。級数
の値を求めよ。を、閉区間 から中央の開区間 を取り除き、残った各閉区間からさらにその中央の長さ 倍の開区間を取り除く、という操作を無限に繰り返して得られるカントール集合(三進カントール集合)とする。集合 のルベーグ測度 を求めよ。
伝達関数が
で与えられる因果的な離散時間 IIR フィルタがある。このフィルタの周波数特性を ( は正規化角周波数、)とするとき、
の値を求めよ。(この値は、平均 ・分散 の白色雑音を入力したときの定常状態での出力の分散を で割ったもの、すなわちフィルタの雑音電力利得に等しい。)
正の整数 に対して とおく。級数
は収束し、その和が であることを証明せよ。ただし、 であること、および であることは用いてよい。正の整数 に対して
とおく( は の最小公倍数)。また、複素数 に対して と書き、 のとき とする。を満たす任意の複素数 に対して、ディリクレ級数 は絶対収束し、 であって
が成り立つことを証明せよ。ただし、素因数分解の一意性、 で が収束すること、絶対収束する級数の項の並べ替えと、絶対収束する有限個の級数の積の展開(コーシー積)は用いてよい。 のオイラー積表示は用いる場合には証明すること。
関数 を
で定める(これは法 の実ディリクレ指標である)。部分和を ( は正の整数)とおく。のとき は収束し、
が成り立つことを証明せよ。ただし、微分積分学の基本的な事実(定積分の性質、置換積分、広義積分)は用いてよい。無限級数
は収束する。その和を求めよ。すべての実数 で定義された関数 が、 で連続で であり、すべての実数 に対して
を満たしている。 の値を求めよ。
この技能の次に学べること
- べき級数と収束半径 (大学数学 微分積分)
- フーリエ級数 (大学数学 フーリエ解析・ラプラス変換)
- 文字を含む無限等比級数の収束条件と和 (数学III 極限)
- 測度の可算加法性と連続性 (大学院数学 測度論・実解析)
- 出生死滅過程の定常分布 (大学数学 オペレーションズ・リサーチ)
- マルコフ決定過程と方策の価値 (大学数学 オペレーションズ・リサーチ)
- 年金現価とローン返済 (大学数学 数理ファイナンス・保険数学)
- p 進付値と p 進収束 (大学院数学 代数的整数論)
- 斜め入射とフレネルの式 (大学物理 電磁波と電磁場)
- 量子調和振動子の統計力学 (大学物理 統計力学)
- z 変換と差分方程式の伝達関数 (大学物理 信号処理・通信工学)
- 振動の分配関数 (大学化学 統計熱力学)
- 未反応原料の回収と再使用を含む収率 (大学化学 有機化学)
- 理想鎖の平均二乗末端間距離 (大学化学 高分子化学)