を虚数単位とする。複素数
を、実数 を用いて の形で表せ。
オイラーの公式
を使って、複素数の指数関数と三角関数を行き来できる
前提
- べき級数と収束半径 (大学数学 微分積分)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
この技能までの道筋(54 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 2 次不等式 (数学I 2次関数)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 増減表と極値 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 関数の連続性と中間値の定理 (数学III 極限)
- 平均値の定理 (数学III 微分法)
- 積と商の微分 (数学III 微分法)
- 第 2 次導関数とグラフの凹凸 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 増減・凹凸・漸近線とグラフ (数学III 微分法)
- テイラー展開 (大学数学 微分積分)
- 無限等比級数と無限級数 (数学III 極限)
- べき級数と収束半径 (大学数学 微分積分)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
説明
オイラーの公式 ( は実数)は、指数関数と三角関数を虚数単位 で結びつける式です。複素数を の形(極形式)に書き直せるので、複素数の累乗や積が指数法則だけで計算できます。逆に、、 と三角関数を指数関数で表すこともできます。微分方程式・フーリエ解析・交流回路などで頻繁に使います。
なぜそうしてよいのか
実数 に対して、テイラー展開から でした。この級数は を複素数 に置き換えても意味をもちます。係数の比 なので、収束半径は無限大で、どんな複素数 でも収束します。そこで複素数 に対して と定義します( が実数なら今までの と一致します)。
ここに ( は実数)を代入します。 より 、 なので、 までの部分和は偶数番目と奇数番目に分かれて
となります。 のとき、第 1 の和は のテイラー展開、第 2 の和は のテイラー展開に収束します(どちらもすべての実数 で成り立ちます)。こうして が得られます。
さらに加法定理から なので、 という指数法則が成り立ちます。これをくり返すと、正の整数 に対して です。つまり「掛け算は角度の足し算」になり、累乗の計算が角度を 倍するだけで済みます。
手順
複素数 ()の大きさ を求める
、 を同時に満たす角 (弧度法)を、点 のある象限に注意して決める
オイラーの公式で と書き直す
指数法則で計算する:、
オイラーの公式で戻す: に値を入れて の形にする
例題
を ( は実数)の形で求めよ。
例題の解答
手順1:。
手順2:、 で、点 は第 1 象限なので 。
手順3:。
手順4:。
手順5:。よって 。
答え:
よくある誤り
角を度数法のまま入れて としてしまう誤り。オイラーの公式は のテイラー展開(弧度法での導関数)から導いたので、正しくは のように弧度法で書く。
だけで角を決め、 の角を としてしまう誤り。点 は第 2 象限なので、正しくは で 。
大きさの累乗を忘れて としてしまう誤り。正しくは 。
としてしまう誤り。 なので、正しくは ( の方は )。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
を虚数単位とする。オイラーの公式 ( は実数)を用いて、複素数 を (, は実数)の形で表せ。
を虚数単位とする。オイラーの公式を用いて、複素数 を (, は実数)の形で表せ。
実数全体で定義された関数
を考える。 のフーリエ変換を
で定めるとき、 を の式で求めよ。ただし、 は虚数単位とする。実数全体で定義された関数
のフーリエ変換を
で定める。ただし は虚数単位である。 の値を求めよ。実数全体で定義された関数
のフーリエ変換を
で定める。ただし は虚数単位である。 の値を求めよ。答えは ( は実数)の形が分かるように整理して答えよ。確率変数 は の値をとり、その確率分布は
であるとする。 を虚数単位、 を実数とするとき、 の特性関数 を、虚数単位 を含まない の式で表せ。確率変数 は、確率密度関数が
である指数分布に従うとする。 の特性関数 ( は実数、 は虚数単位)を の式で求めよ。確率変数 は、確率密度関数
をもつ指数分布に従うとする。 の特性関数 ( は実数、 は虚数単位)を求めよ。を整数とする。確率変数 は、パラメータ の幾何分布に従うとする。すなわち
である。 とおく。 の特性関数 の における極限を求めて の分布の極限を決定し、それを用いて極限
を求めよ。確率変数 は独立で同じ分布に従い、
を満たすとする。正の整数 に対して とおき、 の特性関数を
とする。実数 を固定したときの極限 を の式で求めよ。ただし は虚数単位である。確率変数 は独立同分布で、各 は
をみたすとする。 とおく。 を実数とするとき、極限
を の式で求めよ。ただし は虚数単位とする。確率変数 は独立同分布で、各 は
を満たすとする。 とおき、 の特性関数を
とする。 を固定した実数とするとき、極限 を の式で求めよ。
この技能を使う問題
質量 の粒子が、周の長さ の円周上を自由に運動している(ポテンシャルは )。円周にそった座標を とし、波動関数は周期境界条件 を満たすとする。 はプランク定数を で割ったもの、ハミルトニアンは とする。
時刻 に、粒子は次の規格化された状態にあった。
この粒子を点 の近くに見いだす確率密度 は、時刻 で最大になっている。 で がはじめて になる時刻を、 を用いて表せ。質量 の同じ原子が、直線上に間隔 で無限に並んでいる(, )。隣り合う原子どうしだけが、ばね定数 の軽いばねでつながれており、原子は直線に沿った方向にだけ微小振動する。 番目の原子のつり合いの位置からの変位を とすると、運動方程式は
である。この格子を伝わる波 (, )を考える。波数が のときの、群速度 と位相速度 の比 を求めよ。
つり合いの位置にある原子の列(両側に無限に続く) を確率空間 上の を満たす 1 次元標準ブラウン運動とする。 を実数の定数とするとき、期待値
を の式で求めよ。長さ の離散時間信号
を考える。この信号の離散フーリエ変換(DFT)を
で定義する。ここで は虚数単位である。 の値を ( は実数)の形で求めよ。入力 と出力 の関係が差分方程式
で表される離散時間の FIR フィルタを考える( は整数)。このフィルタの伝達関数 を 変換で求め、 を代入して周波数特性 を得る。ここで は虚数単位、 は正規化角周波数(単位 rad/sample)である。の範囲で振幅特性 が となる を求めよ。
実数全体で定義された関数 のフーリエ変換を
で定める。 を計算し、フーリエの反転公式
を用いて、広義積分
の値を求めよ。で定義された関数 のラプラス変換を
で定める。ラプラス変換の性質 ( は正の整数)などを用いて、定積分
の値を求めよ。実数全体で定義された関数
のフーリエ変換を
で定める。ここで は虚数単位である。 の値を求めよ。留数定理を用いて、次の定積分の値を求めよ。
実数全体で定義された関数
を考える。 のフーリエ変換を
で定める。 は実数全体で連続かつ区分的に滑らかなので、すべての実数 で反転公式
が成り立つ(右辺の積分は収束する)ことを用いてよい。まず を求め、それを用いて広義積分
の値を求めよ。ただし、被積分関数は で連続になるように値を定めるものとする。実数全体で定義された関数 を考える。関数 のフーリエ変換と逆変換を
で定める(, は実数)。 は連続かつ絶対可積分で、 も絶対可積分であり、上の反転公式はすべての実数 で成り立つとしてよい。 を求め、反転公式を用いて、広義積分
の値を求めよ。区間 で定義された関数 のフーリエ係数を
で定める。パーセバルの等式
を用いて、無限級数
の値を求めよ。答えは と を用いて表せ。正弦関数の無限積表示
において、部分積 が のとき 上で広義一様に に収束することは用いてよい。また、正則関数列が領域上で広義一様に収束するとき、その導関数の列も極限関数の導関数に広義一様に収束すること(ワイエルシュトラスの定理)も用いてよい。これらを用いて、任意の実数 に対して
が成り立つことを証明せよ。ここで である。留数定理を用いて、次の広義積分の値を求めよ。
ただし である。留数定理を用いて、次の広義積分の値を求めよ。
実数全体で定義された可積分な関数 のフーリエ変換と逆変換を
で定める。関数
について、まず を求め、それを用いて定積分
の値を求めよ。ルベーグ測度に関する複素ヒルベルト空間 上の積分作用素 を
で定める。 の でない固有値を重複度(固有空間の次元)の分だけ繰り返して並べたものを とする。無限積
の値を求めよ。質量 の粒子が、半径 の円周上に束縛されて運動している。円周上の位置を角度 ()で表す。非摂動ハミルトニアンは
であり、周期境界条件 のもとで、規格化された固有関数と固有値は
である。この粒子に摂動
を加える。ここで は実数の定数で、 とする。摂動がないとき の 2 つの状態は縮退している(エネルギー )。摂動を加えたとき、この縮退した準位から生じる 2 つの準位のエネルギーを、 の 2 次までの摂動論で求めよ。答えは、エネルギーの大きい方、小さい方の順に組で、, , , を用いて表せ。
真空中に直交座標 をとり、 をそれぞれの軸の正の向きの単位ベクトルとする。一様な静磁場 ()がある。電荷 ()、質量 の粒子のサイクロトロン角振動数を とする。
この領域に、空間的に一様で、 平面内を回転する電場
を加える(サイクロトロン共鳴加熱のモデル)。時刻 に粒子は原点に静止していた。粒子の運動は非相対論的に扱い、重力・放射による損失・電場とともに生じる磁場の変化は無視する。SI 単位系を用いる。
を正の整数とするとき、時刻 における粒子の原点からの距離を、 を用いて表せ。
区間 で 2 回微分可能な関数 が、微分方程式 と境界条件 , を満たすとする。 を求めよ。
SI 単位系で、真空中に、屈折率 の一様な誘電体でできた厚さ の平行平板(、, 方向には十分に広い)が置かれている。誘電体は非磁性(透磁率は真空の透磁率 に等しい)で、光を吸収しない。真空中での波長が の単色の平面電磁波が、 の側から板の表面に垂直に入射する。板の厚さは である。
板の内部での多重反射をすべて考慮して、入射波の強度(ポインティングベクトルの大きさの時間平均)に対する、 の側へ透過する波の強度の比を、既約分数で求めよ。
弱電離ガスの中に、 軸の正の向きを向いた磁束密度の大きさ ()の一様な静磁場がかかっている。電荷 ()、質量 のイオンは、ローレンツ力 のほかに、中性粒子との衝突による平均的な抵抗力として、速度に比例する力
を受けるとする。ここで ()は一定の衝突周波数である。電場と重力は無視し、運動は非相対論的に扱う。時刻 にこのイオンは原点にあり、速度は (, )であった。イオンは十分長い時間ののちにある点に限りなく近づいて止まる。その点と原点との距離を、, , , , , を用いて表せ。
の部分分数展開
を用いてよいものとする。無限級数
の値を求めよ。ただし、 は自然対数の底とし、答えは双曲線関数を使わずに と を用いて表せ。を を満たす実数、 を 以上の整数とする。このとき
が成り立つことを、留数定理を用いて証明せよ。を 以上の整数とし、 を虚数単位とする。周波数が DFT のビン間隔のちょうど半分である複素正弦波系列
を考え、その 点離散フーリエ変換(DFT)を
で定める。このとき
を の式で求めよ。
この技能の次に学べること
- 定数係数 2 階線形(斉次) (大学数学 微分方程式)
- フーリエ変換 (大学数学 フーリエ解析・ラプラス変換)
- 特性関数 (大学数学 確率・統計)
- 複素数の指数関数・対数関数と分枝 (大学数学 複素関数)
- 複素フーリエ級数と内積型のパーセバルの等式 (大学院数学 フーリエ解析)
- ベッセル関数の母関数と級数の和 (大学院数学 特殊関数・漸近解析)
- 零次ホールド離散化とサンプル値系の可制御性 (大学院数学 制御理論)
- 2 光波の干渉と強度分布 (大学物理 光学)
- 偏光の表し方とマリュスの法則 (大学物理 光学)
- プラズマ中の電磁波 (大学物理 電磁波と電磁場)
- 離散フーリエ変換 (大学物理 信号処理・通信工学)
- ディジタルフィルタの周波数特性 (大学物理 信号処理・通信工学)
- 構造因子と消滅則 (大学化学 固体化学と結晶学)
- 1 次元格子の振動と分散関係 (大学物理 固体物理)
- 構造因子と X 線回折の消滅則 (大学物理 固体物理)
- フェーザ表示と複素インピーダンス (大学物理 電気回路)
- 衝突抵抗を含む磁場中の運動 (大学物理 プラズマ物理)