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

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

1. 問題の内容

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

2. 解き方の手順

まず、exe^x, cosx\cos x, sinx\sin x のマクローリン展開を求めます。
exe^x のマクローリン展開は以下のようになります。
ex=n=0xnn!=1+x+x22!+x33!+x44!+e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \dots
次に、cosx\cos x のマクローリン展開を求めます。
cosx=n=0(1)nx2n(2n)!=1x22!+x44!x66!+\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \dots
そして、sinx\sin x のマクローリン展開を求めます。
sinx=n=0(1)nx2n+1(2n+1)!=xx33!+x55!x77!+\sin x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots
ここで、eixe^{ix} のマクローリン展開を考えます。exe^x の展開に ixix を代入すると、
eix=n=0(ix)nn!=1+ix+(ix)22!+(ix)33!+(ix)44!+e^{ix} = \sum_{n=0}^{\infty} \frac{(ix)^n}{n!} = 1 + ix + \frac{(ix)^2}{2!} + \frac{(ix)^3}{3!} + \frac{(ix)^4}{4!} + \dots
i2=1i^2 = -1, i3=ii^3 = -i, i4=1i^4 = 1 であることを利用して、eixe^{ix} の展開を実部と虚部に分けます。
eix=1+ixx22!ix33!+x44!+ix55!e^{ix} = 1 + ix - \frac{x^2}{2!} - \frac{ix^3}{3!} + \frac{x^4}{4!} + \frac{ix^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

「解析学」の関連問題

複素数平面上で、$z_0 = 1+i$ が表す点を $A_0$ とし、$z_0$ と $\alpha = \frac{\sqrt{3}}{6} + \frac{i}{2}$ の積 $z_1 = \al...

複素数平面数列面積無限級数
2025/6/24

点 $(1, -4e^2)$ を通り、関数 $y = x^2e^x$ に接する直線の方程式を求める問題です。ヒントとして、関数 $y = x^2e^x$ 上の点 $(a, a^2e^a)$ で接するこ...

微分接線指数関数
2025/6/24

与えられた問題は、広義積分 $\int_{-\infty}^{\infty} \frac{dx}{4+x^2}$ の値を求める問題です。

広義積分積分逆正接関数極限
2025/6/24

与えられた問題は、広義積分 $\int_{0}^{\infty} e^{-x} dx$ を計算することです。

積分広義積分指数関数極限
2025/6/24

関数 $f(x) = \sin 3x - \sqrt{3} \cos 2x$ が与えられている。 (1) 曲線 $y=f(x)$ 上の点 $(0, f(0))$ における接線の方程式を求める。 (2)...

三角関数微分接線最大値最小値
2025/6/24

関数 $f(x) = \sin{3x} - \sqrt{3}\cos{2x}$ が与えられています。 (1) 曲線 $y = f(x)$ 上の点 $(0, f(0))$ における接線の方程式を求めます...

三角関数微分接線最大値最小値
2025/6/24

$a > 0$、$p$ は実数であるとき、以下の式を示してください。 $\int_{a}^{\infty} \frac{dx}{x^p} = \begin{cases} \frac{a^{1-p}}{...

定積分広義積分積分極限
2025/6/24

与えられた関数 $y = (x-1)^3(x-3)$ のグラフの概形を描きます。

関数のグラフ微分増減極値変曲点
2025/6/24

次の定積分を計算します。 $\int_{-1}^{1} \frac{dx}{\sqrt[3]{x^2}}$

定積分特異積分積分計算
2025/6/24

次の和を求めます。 $\frac{1}{\sqrt{1}+\sqrt{2}} + \frac{1}{\sqrt{2}+\sqrt{3}} + \frac{1}{\sqrt{3}+\sqrt{4}} +...

数列有理化望遠鏡和
2025/6/24