を正の整数とするとき、和 を計算し、 の式で表せ。答えは因数分解した形で書け。
等差・等比数列の和と Σ
等差数列・等比数列の和、, などを Σ を使って計算できる
前提
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
この技能までの道筋(9 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
説明
規則正しく並んだ数(数列)の和を、一つずつ足さずに式で求める技能です。隣どうしの差が一定の数列(等差数列)、比が一定の数列(等比数列)の和の公式と、和をまとめて書く記号 (シグマ)を学びます。, の公式と組み合わせると、 のような和を の式で表せます。数列の和、面積や確率の計算など、多くの場面で使います。
なぜそうしてよいのか
記号の意味:数を順に並べたものを数列といい、 番目の数を と書きます。 を と書きます。「 に を順に入れて全部足す」という意味です。足し算の順序は入れ替えられるので、 が成り立ちます。また、どの項にも共通の定数 はくくり出せるので です。特に です( を 個足す)。
等差数列の和:初項 、公差 、項数 、末項 の和を とします。 を前から並べた式と後ろから並べた式を縦に足すと、どの組も になり、それが 組あるので 、つまり です。特に は なので です。等比数列の和:初項 、公比 の 項の和 に を掛けると となり、引くと間の項が消えて です。 なら両辺を で割って 。 のときは を 個足すだけなので です。
:恒等式 を について足すと、左辺は で途中が打ち消し合い だけが残ります。右辺は です。これを について解いて整理すると が得られます。同じ方法で を使えば も導けます。
手順
和の形を見て、どの型か判断する:等差数列(差が一定)、等比数列(比が一定)、または の多項式を足す の形。
等差・等比数列なら、初項 、公差 または公比 、項数 を読み取る。項数は「(末の番号)(始めの番号)」で数える。
等差数列は 、等比数列は なら ( なら )に代入する。
の多項式の なら、項ごとに分け、定数をくくり出す:。
、、 を代入し、共通因数でくくって整理する。
例題
を正の整数とする。 を の式で表し、因数分解した形で求めよ。
例題の解答
手順1: の多項式 を から まで足す の形である。
手順4:項ごとに分けて定数をくくり出すと
手順5:公式を代入すると
共通因数 でくくると
確認: のとき、直接計算すると 、式では で一致する。
答え:
よくある誤り
定数の和を としてしまう誤り。正しくは を 個足すので 。
積の和を和の積に分けて のように計算してしまう誤り。分けてよいのは和と定数倍だけで、正しくは (例えば で だが )。
を初項 として としてしまう誤り。 の項は なので初項 、公比 、項数 で、正しくは 。
項数を数え間違える誤り。例えば第 項から第 項までを 項としてしまう。正しくは 項。また等比数列の公式は のときだけ使え、 なら和は 。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
を正の整数とする。次の和を の式で表せ。答えはできるだけ因数分解した形で書け。
を正の整数とする。和 を の式で表せ。答えは因数分解した形で答えよ。
を正の整数とする。次の極限値を求めよ。
を正の整数とする。次の極限値を求めよ。
を正の整数とする。次の極限値を求めよ。
次の無限等比級数は収束する。その和を求めよ。
次の無限等比級数の収束、発散を調べ、収束する場合はその和を求めよ。
次の無限等比級数の収束、発散を調べ、収束する場合はその和を求めよ。
1 個のさいころを投げ、出た目を とする。次に、 から までの整数が 1 つずつ書かれた 枚のカードから 1 枚を無作為に取り出し、そのカードに書かれた数を とする。 の期待値 を求めよ。
1 個のさいころを投げ、出た目を とする。続いて、 から までの 個の整数の中から 1 つを等しい確率で選び、選んだ整数を とする。たとえば のときは、 のどれかがそれぞれ確率 で選ばれる。このとき、 の期待値 を求めよ。
確率変数 は値 をとり、その確率は
である。 が与えられたとき、確率変数 の条件付き分布は、 から までの整数 のそれぞれを確率 でとる分布である。 の期待値 を求めよ。ある工場の機械は、毎朝「稼働」か「故障」のどちらかの状態にある。翌朝の状態は、その日の朝の状態だけで次のように確率的に決まるものとする。
- その日の朝に稼働していれば、翌朝も稼働している確率は 、故障している確率は である。
- その日の朝に故障していれば、その日のうちに修理が行われ、翌朝に稼働している確率は 、故障したままである確率は である。
すなわち、状態を(稼働, 故障)の順に並べた推移確率行列は
である(第 行第 列が、状態 から状態 へ移る確率)。日目の朝、機械は故障していた。 を 以上の整数とするとき、 日目の朝に機械が稼働している確率 を の式で求めよ。
区間 上のルベーグ測度 を考える。関数 を、正の整数 に対して
で定める。ルベーグ積分
の値を求めよ。区間 上のルベーグ測度 を考える。実数 に対し、 以下の最大の整数を で表す。関数 を
で定める。ルベーグ積分 の値を求めよ。正の整数全体の集合 上の数え上げ測度を考える(この測度に関する ノルムは である)。実数列 で
を満たすもの全体を考える。このとき級数
は絶対収束する。 の最大値を求めよ。実数列 で をみたすもの全体のなす実バナッハ空間 に、ノルム を入れる。線形汎関数 を で定める。 の作用素ノルム を求めよ。
を添字とする実数列 で を満たすもの全体のなす実バナッハ空間を とし、ノルムを
で定める。線形汎関数 を
で定めるとき、作用素ノルム を求めよ。
この技能を使う問題
正の偶数を小さい順に並べ、第 群が 個の項を含むように次のように群に分ける。
ただし は正の整数とする。 を含む群に属するすべての数の和を求めよ。等差数列 の初項から第 項までの和を とする。, である。
また、等比数列 の公比は正の実数であり、, を満たす。
を正の整数とするとき、和 を の式で表せ。
次のように、分母が の分数を順に並べた数列を考える。分母が の分数としては、分子が のものをこの順に並べる。ただし、分数は約分せずに並べる。
この数列の初項から第 項までの和を求めよ。数列 は
で始まる。 の階差数列を ()とし、さらに の階差数列を ()とする。 が等比数列であるとき、一般項 を の式で表せ。ただし は正の整数とする。数列 は
を満たす。初項から第 項までの和 を の式で表せ。数列 は
を満たす。和 の値を求めよ。公比が実数である等比数列 が
を満たしている。初項から第 項までの和を とするとき、 となる最小の正の整数 を求めよ。から までの目が等しい確率で出るさいころを 回投げ、出た目を順に とする。, とおくとき、共分散 を求めよ。
以下の正の整数 で、次の 3 つの合同式をすべてみたすものを考える。
このような すべての和を求めよ。正の整数 に対し、 を の正の約数の個数とする。
の値を求めよ。ただし和は の正の約数 すべてにわたってとる。を 以上の整数とし、 とおく。 の離散フーリエ変換 を
で定める。このとき、パーセバルの等式
が成り立つ。 で定まるベクトル の離散フーリエ変換を計算し、パーセバルの等式を用いて、和
を の式で表せ。ある分割統治アルゴリズムは、大きさ の入力を大きさ の 3 つの部分問題に分けて再帰的に解き、分割と統合に の手間をかける。その計算時間 は、0 以上の整数 に対して のとき
を満たすとする。0 以上の整数 に対して、 を の式で表せ。自然数全体を ( を含む)とする。 上の関数を次の原始再帰で順に定める。
符号関数 :
打ち切り差 :。ただし とする。
関数 :
関数 :
このとき の値を求めよ。
とし、 を空列を含む 上の有限列全体、 を列 の長さ、 を長さ の列全体とする。部分計算可能関数 に対して、 の に関する記述複雑性を
で定める(そのような がなければ とする)。部分計算可能関数 を一つ定めるごとに、集合
の要素の個数 が決まる。 がすべての部分計算可能関数を動くときの の最小値を求めよ。相異なる 個の実数を格納した配列 がある。 の要素のうち、小さい方から数えた順位が 以上 以下であるものを「良い要素」とよぶ。良い要素を つ見つけるために、次の乱択アルゴリズムを使う。
- 以上 以下の整数 を等確率 で選ぶ。
- を、それ以外の 個の要素 のそれぞれと 回ずつ比較して、 より小さい要素の個数を数え、 の順位を求める。
- が良い要素であればアルゴリズムを終了し、そうでなければ最初に戻って を選び直し、同じことをくり返す。
ここで、各回の の選び方は互いに独立であり、以前に選んだ位置が再び選ばれることもある。また、各回の比較はその回ごとに改めて 回行う(以前の比較結果は使わない)。アルゴリズムが終了するまでに行う要素どうしの比較の回数の期待値を求めよ。
年利率 ( 年ごとの複利)が一定である口座に、毎年同じ金額 万円を、第 年初め(時刻 )、第 年初め(時刻 )、第 年初め(時刻 )の計 回積み立てる(時刻の単位は年)。途中で引き出しはしないものとする。
第 年末(時刻 )における口座の残高(元利合計)がちょうど 万円になるとき、 を求めよ。
額面 円、クーポンレート年 、残存期間 年( は正の整数)の固定利付債券を考える。クーポンは年 回、各年末に 円支払われ、 年後の満期日には最後のクーポン 円と額面 円が支払われる。この債券の最終利回りは年 ( 年ごとの複利)である。
この債券のマコーレー・デュレーション(各キャッシュフローの支払時点〔年〕を、その現在価値の価格に対する割合で重み付けした平均) を、 の式で表せ。
次の 個のデータ が与えられている。
このデータに 次関数のモデル ( は実数)を当てはめる。残差の二乗和
を最小にする を最小二乗法で求めたとき、 の最小値を求めよ。とし、 を空列 を含む 上の有限列全体、 を列 の長さ、 を長さ の列全体とする。部分計算可能関数 に対し、 の に関する(プレーンな)記述複雑性を
で定める。ただし となる が存在しないときは とする。 の定義域が接頭語自由であることは仮定しない。すべての部分計算可能関数 を考えたときの
の最小値を求めよ。を正の整数とする。和 を の式で表せ。
等差数列 は を満たし、公差は でない。また、 はこの順に等比数列をなす。さらに、初項が 、第 項が である等比数列を とする。 を正の整数とするとき、和
を の式で表せ。数列 は、次のように群に分けたとき、第 群 が から までの奇数を小さい順に並べた 個の項からなるものとする。
このとき、和 を求めよ。数列 は
を満たす。一般項 を の式で表せ。数列 は
を満たす。 の最小値を求めよ。数列 は
を満たす。 を正の整数とするとき、初項から第 項までの和 を の式で表せ。等差数列 は , を満たす。また、等比数列 は公比が正の実数であり、, を満たす。 を正の整数とするとき、和
を の式で表せ。公比が より大きい実数である等比数列 が
を満たしている。また、等差数列 は , を満たしている。 を正の整数とするとき、和
を の式で表せ。数列を、第 群 が 個の項 からなるように、次のように群に分けて並べる。
この数列の初項から第 項までの和を求めよ。数列 は , を満たす。数列 を で定める( の階差数列)。数列 の階差数列 は、初項 、公比 の等比数列である。このとき、 を正の整数として、一般項 を の式で表せ。
連立合同式
を満たす正の整数 のうち、 以下のものすべての和を求めよ。正の整数 に対し をオイラー関数とし、実数 に対し を 以下の最大の整数とする。
の値を求めよ。を独立同分布な確率変数で、 を満たすものとし、
とおく(この級数は各標本点で絶対収束する)。 の特性関数 を無限積で表し、それを用いて 次モーメント を求めよ。年利率 (1 年複利)が永久に一定である市場を考える。次のように支払いが続く永久年金がある。
- について、第 年末に 万円を支払う(第 年末に 万円、第 年末に 万円、、第 年末に 万円)。
- 第 年末以降は、毎年末に 万円ずつ永久に支払う。
この永久年金の現在(時刻 )における現価を万円単位で求めよ。答えは累乗を含む形のままでよい。
ある分割統治アルゴリズムは、大きさ の入力を大きさ の つの部分問題に分けて再帰的に解き、分割と統合に の手間をかける。入力の大きさは のべき ( は 以上の整数)に限って考え、その計算時間 は
をみたすとする。 以上の整数 に対して、 を の式で表せ。とし、 を空列 を含む 上の有限列全体、 を列 の長さ、 を長さ の列全体とする。部分計算可能関数 (定義域が の部分集合である計算可能な部分関数。定義域が接頭語自由である必要はない)に対し、 の に関する記述量を
で定める(そのような がなければ )。を正の整数とする。 が部分計算可能関数全体を動くとき、
の最小値を の式で表せ。2 つの因果的な離散時間の線形時不変系 S, S を、この順に縦続接続する(S の出力を S の入力とする)。 は整数とする。
- S のインパルス応答は
- S の入力 と出力 の関係は
ここで は単位ステップ系列( で 、 で )である。全体の系に入力 を加えたときの出力 について、エネルギー
を求めよ。ただし、初期状態は とする。を素数とし、 を を法とする剰余類全体とする。整数 は かつ をみたすとし、アフィン暗号の暗号化写像 を
で定める。正の整数 に対して、 を 回合成した写像を と書く。正の整数 について、「すべての に対して が成り立つ(すなわち、同じ鍵で 回暗号化すると必ず平文に戻る)」ための必要十分条件は であること(とくにこの条件は によらないこと)を証明せよ。
ただし、 が素数で ならば、 をみたす整数 は に限ることは用いてよい。
客が到着率 のポアソン過程に従って到着する、待合室の容量に制限のない次の 2 つの待ち行列システムを考える。 とし、 とする。
- システム A: 窓口が 1 つで、サービス時間は平均 の指数分布に従う(M/M/1)。
- システム B: 窓口が 2 つで、各窓口のサービス時間は平均 の指数分布に従う(M/M/2)。客は空いている窓口があればすぐにサービスを受け、なければ 1 列に並んで先着順に待つ。
どちらのシステムでも、サービス時間は互いに独立で到着とも独立とする。系内人数(待っている客とサービス中の客の合計)の定常分布を とすると、系内人数が 人のときのサービス終了率を として、定常分布はつり合いの式
のただ 1 つの解であることを用いてよい( は各システムの設定から定まる)。定常状態における平均系内人数を、システム A について 、システム B について とするとき、 であることを証明せよ。
正の整数 と、 以上の整数 に対して定まる生存数 をもつ生命表を考える。 は で正、 で であり、 を満たすとする。死亡数を と定める。予定利率を とし、、 とおく。
以上の整数 と正の整数 を を満たすようにとる。 歳の人が加入する保険期間 年の養老保険(期間内に死亡すればその年度末に を支払い、 年後に生存していれば満期に を支払う)の一時払純保険料と、期始払い・期間 年の生命年金(各年度の始めに生存していれば を支払う)の現価を、それぞれ
で定める。このとき
が成り立つことを証明せよ。を正の整数とし、 を 次元複素射影空間とする。連続写像 が不動点をもたないならば、 は奇数であり、かつ の生成元 に対して が成り立つことを証明せよ。
ただし、次の事実は証明なしに用いてよい。
(i) 整係数コホモロジー環は ()であり、 に対して は で生成される無限巡回群、それ以外の次数のコホモロジーは である。連続写像が誘導する はカップ積を保つ次数付き環準同型で、単位元 を に送る。
(ii) レフシェッツの不動点定理: がコンパクトな三角形分割可能空間で、すべての について が有限階数の自由加群であるとき、連続写像 のレフシェッツ数を
で定めると、 ならば は不動点をもつ。 はコンパクトな三角形分割可能空間である。を周期 の 級関数とし、
を満たすとする。整数 に対して のフーリエ係数を で定める。このとき、すべての実数 に対して
が成り立つことを証明せよ。ただし、次の事実は証明なしに用いてよい。
- 周期 の連続関数 とそのフーリエ係数 について、パーセバルの等式 が成り立つ。
- 周期 の 級関数 について、すべての実数 で が成り立つ。
- 。正の整数 の分割とは、和が になる正の整数の非増加列のことであり、各項を部分という。分割の中に正の整数 が部分として現れる回数を の重複度という(現れなければ重複度は )。また の分割は空列ただ 1 つとする。正の整数 に対し
- : の分割のうち、どの正の整数 についても の重複度が を法として に合同でないもの(すなわち各重複度が のいずれかであるもの)の個数
- : 非負整数 と、 の分割 、 の分割 の組 であって、、 のどの部分も を法として に合同、 のどの部分も の倍数であるものの個数
とする。すべての正の整数 に対して が成り立つことを、母関数を用いて証明せよ。
ただし、母関数は有理数係数の形式的冪級数環 で考え、次の事実は用いてよい: 形式的冪級数の列 で の位数( でない最低次の次数)が で に発散するものについて、無限積 は収束し、その までの係数は有限個の因子の積で決まること、また収束する無限積どうしの積・商(定数項が のもの)は因子ごとにとってよく、因子の並べ替えや分け方を変えても値は変わらないこと。
以上の整数 に対して、ルジャンドル多項式 を
で定める( のときは である)。 は の についての導関数を表す。このとき、すべての 以上の整数 に対して
が成り立つことを証明せよ。ただし、次の事実は証明なしに用いてよい。
- は次数がちょうど の実係数多項式である。
- であり、すべての実数 に対して である。
- 以上の整数 に対して である( はクロネッカーのデルタ)。とし、 を空列 を含む有限 2 進列全体、 を列 の長さ、 を長さ の列全体とする。万能チューリング機械 を 1 つ固定し、 が計算する部分関数 は、任意の に対して となる が存在するものとする。 のコルモゴロフ複雑性を
で定める( は、入力 で が停止して を出力することを表す)。任意の正の整数 に対して
が成り立つことを証明せよ。数列 を、次のように群に分ける。
ここで、第 群 は、分母が で分子が より小さい正の奇数である分数を、分子の小さい順に並べた 個の項からなる。初項から第 項までの和を とするとき、 となる最小の正の整数 を求めよ。
を 以上の整数とする。 を満たす整数の組 すべてについて を足し合わせた和
を の式で表せ。すべての項が正の実数である数列 が、すべての正の整数 に対して
を満たしている。このとき、一般項 を の式で表せ。実数 に対して、 を超えない最大の整数を で表す。 を 以上の整数とし、 で定義された関数
を考える。開区間 において が連続でない点の個数を の式で表せ。実数 に対して、 を超えない最大の整数を で表す。 を正の整数とし、 とおく。このとき、和
を の式で表せ。で定義された関数 を、 以上の整数 を用いて
で定める(周期 の矩形波)。関数 は で連続微分可能で、 は区分的に連続であり、 の不連続点を除くすべての で微分方程式
を満たし、初期条件 を満たすとする。関数 のラプラス変換を で定める。ラプラス変換を用いて、極限
の値を求めよ。とし、 の元の添字は の元とみなす()。 の巡回畳み込みを
で定める。 を
で定め、 を で定める。方程式 はただ一つの解 をもつ。その成分 の値を求めよ。を不定元とします。整数 に対して 、 とし、 とします。 に対して 二項係数を
で定めます。の置換 の主指数(major index)を
と定めます。不動点をもたない置換を完全順列(derangement)といい、その全体を と書きます。さらに
とおきます。次の事実は証明なしに用いてかまいません。
(事実)すべての整数 に対して
が成り立つ。(これは、MacMahon の等式 と、置換を不動点の集合と残りの部分の完全順列に分解したときの Wachs による主指数の分解から得られる。)このとき、 を の多項式として展開した形で求めてください。
を形式的な変数とし、ラマヌジャンのタウ関数 ( は正の整数)を
により定める。素因数として と 以外をもたない正の整数全体の集合を
とする( である)。このとき、級数
は絶対収束する。その値を既約分数で求めよ。とし、 を空列 を含む 上の有限列全体、 を列 の長さ、 を長さ の列全体とする。集合 が接頭語自由であるとは、 のどの元も の別の元の真の接頭語になっていないことをいう。
部分計算可能関数 で、定義域 が接頭語自由であるものを考える。 に対し
と定める(そのような がなければ とする)。は次の条件を満たすとする。
(条件)長さ 以下のすべての列 ( も含む)に対して である。
この条件を満たすような すべてを考えるとき、 を満たす の個数としてありうる最小値を求めよ。
すべての項が正の実数である数列 があり、 とおくと、すべての正の整数 に対して
が成り立つ。このとき、
の値を求めよ。正の整数 に対して、 を満たす 以上の整数 を と表す。例えば , , である。 を正の整数とするとき、和
を の式で表せ。等差数列 は , を満たす。また、等比数列 の公比は より大きい実数であり、, を満たす。
を正の整数とする。 の 個の項のうち、数列 の項として現れないものすべての和を の式で表せ。
数列 は
を満たす。一般項 を の式で表せ。数列 は、 を正の整数として、第 群が 個の項 をこの順に並べたものになるように、第 群から順に項を並べたものである。この数列において、 がはじめて現れるのは第何項か求めよ。
実数 に対して、 を超えない最大の整数を で表す。 を正の整数とするとき、和
を の式で表せ。数列 を次のように群に分ける。
ここで、 を正の整数とするとき、第 群は から までの連続する 個の整数を小さい順に並べたものである。このとき、初項から第 項までの和 を求めよ。実数 に対し、 を超えない最大の整数を で表す。 を正の整数とするとき、和
を の式で表せ。を正の整数とし、
とおく。極限値
を求めよ。を 以上の整数とする。 についての方程式
は正の実数解をただ つもつ。この解を とするとき、極限
を求めよ。次の無限級数の和を求めよ。
ただし、必要ならば のとき であることを用いてよい。関数 ( は実数)を考える。正の整数 に対して、 の第 次導関数を で表す。方程式 は異なる つの実数解をもつ。それらを とするとき、 を の式で表せ。
実数 に対して、 を超えない最大の整数を で表す。正の整数 に対して
とおく。極限値
を求めよ。実数全体で定義された関数 は狭義単調増加で、実数全体から実数全体への全単射である。その逆関数を とする(すなわち、すべての実数 に対して が成り立つ)。 の における 7 階微分係数 の値を求めよ。
正の整数 に対し、( は の正の約数全体を動く)とする。、、、 を用いてよい。級数
の値を求めよ。を整数とし、 に値をとるマルコフ連鎖 を次のように定める。 とし、各時刻 において、添字 を一様に選び、それとは独立にビット を等確率で選んで、 の第 成分だけを に置き換えたものを とする(他の成分は変えない)。各時刻の選択は互いに独立とする。
とおく(第 成分と第 成分が 、残りが の状態に初めて到達する時刻)。期待値 を の式で求めよ。
2 項関係記号 だけからなる一階の言語(等号を含む)を考える。正の整数 に対し、 を通常の大小関係による 元の線形順序とする。
論理式の量化子の深さ を、原子論理式では 、、、 で定める。
正の整数 に対し、 を「 かつ となる文(自由変数をもたない論理式) の量化子の深さの最小値」と定める( と は同型でない有限構造なので、このような文は存在する)。
の値を求めよ。( を含む)とし、関数 をすべての について
で定める。この定義をそのまま再帰手続きとして実行して を計算する。すなわち、手続き が呼ばれると、 なら再帰呼び出しをせずに を返し、 なら を 回呼んでその値を返し、 ならまず を呼んでその値 を得たのち を呼んでその値を返す。最初の呼び出しも含めて、 の計算で手続き が呼ばれる回数の合計を とする(たとえば 、)。
に対し、 を の式で表せ。
以上の整数 に対し、相異なる部分からなる分割(空の分割も含め、 の分割は空の分割 つとする)を考える。分割 の部分の個数を 、部分の和を と書く。相異なる部分からなる分割の順序つきの 3 つ組 で をみたすもの全体にわたる和
を定める。このとき
の値を求めよ。を 以上の整数とする。長さ の系列
の 点離散フーリエ変換(DFT)を
で定義する( は虚数単位)。直流成分を除いたスペクトルのエネルギーの和
を の式で求めよ。正の整数 に対して とおく。級数
は収束し、その和が であることを証明せよ。ただし、 であること、および であることは用いてよい。を奇素数とし、 を の正の約数とする。 と互いに素な整数 について、 を満たす最小の正の整数 を の を法とする位数といい、位数が である を を法とする原始根という。
を満たす整数 のうち を満たすもの全体の積を とする。このとき
であることを証明せよ。ただし、 を法とする原始根が存在すること、および「 の位数を とするとき、正の整数 について となるのは のときであり、かつそのときに限る」ことは用いてよい。
実数値の確率変数 が を満たすとする( は離散型でも連続型でもそれ以外でもよい)。確率変数 の分散を とする。このとき、すべての正の整数 に対して
が成り立つことを証明せよ。ただし、期待値の線形性と単調性(確率 で が成り立つ有界な確率変数 に対して )は用いてよい。
関数 を
で定める(これは法 の実ディリクレ指標である)。部分和を ( は正の整数)とおく。のとき は収束し、
が成り立つことを証明せよ。ただし、微分積分学の基本的な事実(定積分の性質、置換積分、広義積分)は用いてよい。を種数 の連結なコンパクトリーマン面とし、 を 1 点とする。 上の因子 に対し
とおく。整数 に対し は点 に係数 をもつ因子を表し、 とする。
と定め、 の要素を の空隙値とよぶ。このとき
であり、等号が成り立つのは のとき、かつそのときに限ることを証明せよ。ただし、次の事実(ワイエルシュトラスの空隙定理)は証明なしに用いてよい: はちょうど 個の要素からなり、 である。
次の和 の値を求めよ。
を正の整数とする。 の 次以下の多項式 が を満たしている。このとき、 を の式で表せ。
すべての実数 で定義された関数 が、 で連続で であり、すべての実数 に対して
を満たしている。 の値を求めよ。を 以上の整数とし、 を虚数単位とする。周波数が DFT のビン間隔のちょうど半分である複素正弦波系列
を考え、その 点離散フーリエ変換(DFT)を
で定める。このとき
を の式で求めよ。2 つの数列 , を
で定めます。数列 の項であり、かつ数列 の項でもある数を小さい順に並べた数列を とします。を正の整数とします。数列 の項のうち、 以下であり、かつ数列 の項ではないものすべての和を とします。 を の式で表しなさい。
数列 を次のように群に分ける。 ここで、 を正の整数とするとき、第 群は の 個の項からなる。正の整数 に対して とおく。 を満たす最小の正の整数 を求めよ。
を正の整数とする。実数 に対し、 のうち大きくない方を 、小さくない方を で表す( のときはどちらも とする)。このとき、二重和
を の式で表せ。
この技能の次に学べること
- 数列の極限 (数学III 極限)
- マルコフ連鎖と推移確率 (大学数学 確率・統計)
- 和 から一般項を求める (数学B 数列)
- 分数の数列の和(部分分数分解) (数学B 数列)
- (等差)×(等比)の数列の和 (数学B 数列)
- 階差数列と階差型の漸化式 (数学B 数列)
- 群数列 (数学B 数列)
- の解を使った和と積 (数学C 複素数平面)
- 記述複雑性とカウンティング論法 (大学院数学 計算理論・ラムダ計算)
- 約数和と床関数の和の入れかえ (大学数学 整数論)