テイラー展開(またはマクローリン展開)を用いて、オイラーの公式を証明する問題です。オイラーの公式は、$e^{ix} = \cos x + i \sin x$ で表されます。

解析学テイラー展開マクローリン展開オイラーの公式複素指数関数三角関数
2025/6/25

1. 問題の内容

テイラー展開(またはマクローリン展開)を用いて、オイラーの公式を証明する問題です。オイラーの公式は、eix=cosx+isinxe^{ix} = \cos x + i \sin x で表されます。

2. 解き方の手順

まず、exe^x, cosx\cos x, sinx\sin x のマクローリン展開をそれぞれ求めます。マクローリン展開は、テイラー展開の中心を0とした特殊なものです。
* exe^x のマクローリン展開:
ex=1+x+x22!+x33!+x44!+=n=0xnn!e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \dots = \sum_{n=0}^{\infty} \frac{x^n}{n!}
* cosx\cos x のマクローリン展開:
cosx=1x22!+x44!x66!+=n=0(1)nx2n(2n)!\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \dots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!}
* sinx\sin x のマクローリン展開:
sinx=xx33!+x55!x77!+=n=0(1)nx2n+1(2n+1)!\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}
次に、eixe^{ix} をマクローリン展開します。
eix=1+(ix)+(ix)22!+(ix)33!+(ix)44!+(ix)55!+e^{ix} = 1 + (ix) + \frac{(ix)^2}{2!} + \frac{(ix)^3}{3!} + \frac{(ix)^4}{4!} + \frac{(ix)^5}{5!} + \dots
ここで、i2=1i^2 = -1, i3=ii^3 = -i, i4=1i^4 = 1, i5=ii^5 = i であることを用いて、式を整理します。
eix=1+ixx22!ix33!+x44!+ix55!e^{ix} = 1 + ix - \frac{x^2}{2!} - i\frac{x^3}{3!} + \frac{x^4}{4!} + i\frac{x^5}{5!} - \dots
実部と虚部に分けます。
eix=(1x22!+x44!)+i(xx33!+x55!)e^{ix} = (1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \dots) + i(x - \frac{x^3}{3!} + \frac{x^5}{5!} - \dots)
それぞれの括弧の中身が、cosx\cos xsinx\sin x のマクローリン展開と一致することに注目します。
eix=cosx+isinxe^{ix} = \cos x + i \sin x
したがって、オイラーの公式が証明されました。

3. 最終的な答え

eix=cosx+isinxe^{ix} = \cos x + i \sin x

「解析学」の関連問題

与えられた微分方程式 $yy'' = (y')^2$ を解く問題です。

微分方程式解法
2025/6/25

$\int_{0}^{\frac{1}{2}} \frac{4}{\sqrt{1-x^2}} dx$ を計算しなさい。

積分定積分逆三角関数
2025/6/25

$\lim_{x \to 0} \frac{1 - \cos 2x}{x^2}$ を計算する問題です。

極限三角関数倍角の公式
2025/6/25

$\int_{\frac{1}{2}}^{1} (x^2 + \frac{1}{x^3}) dx$ を計算する問題です。

積分定積分不定積分計算
2025/6/25

関数 $f(x, y) = \frac{x^2}{4} + y^2$ を偏微分し、$f_x(x,y)$ と $f_y(x,y)$ を求めます。さらに、点 $(2, 1)$ における接平面の方程式 $z...

偏微分接平面多変数関数
2025/6/25

定積分 $\int_{1}^{\sqrt{e}} \frac{1}{3x} dx$ を計算し、結果を求める問題です。途中の積分結果を四角で囲まれた箇所に書き込む必要があります。

定積分対数関数積分計算
2025/6/25

関数 $f(x, y) = 1 + 2x^2y - 3xy^3$ を偏微分し、$f_x(x, y)$ および $f_y(x, y)$ を求める問題です。$f_x(x,y)$は $Axy + By^C$...

偏微分多変数関数偏導関数
2025/6/25

与えられた関数 $f(x, y) = 1 + 2x^2y - 3xy^3$ を $x$ で偏微分し、$f_x(x, y) = Axy + By^C$ の形で表したときの、$A$, $B$, $C$ の...

偏微分多変数関数
2025/6/25

定積分 $\int_e^{e^5} \frac{4}{x} dx$ の値を計算する問題です。

定積分積分対数関数
2025/6/25

定積分 $\int_0^{\log 2} e^{7x} dx$ を計算し、結果を求めます。

定積分指数関数積分計算
2025/6/25