翻訳と辞書 Words near each other ・ オイラー–マスケローニ定数 ・ オイラーのγ ・ オイラーのφ函数 ・ オイラーのφ関数 ・ オイラーのガンマ ・ オイラーのコマ ・ オイラーのトーシェント函数 ・ オイラーのトーシェント関数 ・ オイラーのトーティエント関数 ・ オイラーの五角数定理 ・ オイラーの公式 ・ オイラーの分割恒等式 ・ オイラーの和公式 ・ オイラーの四平方恒等式 ・ オイラーの多面体定理 ・ オイラーの定数 ・ オイラーの定理 ・ オイラーの定理 (平面幾何学) ・ オイラーの定理 (微分幾何学) ・ オイラーの定理 (数論) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク オイラーの公式 ： ウィキペディア日本語版 オイラーの公式[おいらーのこうしき] 数学、特に複素解析におけるオイラーの公式（オイラーのこうしき、）は、指数関数と三角関数の間に成り立つ以下の関係をいう。 :$e^\; =\backslash cos\backslash theta\; +i\backslash sin\backslash theta.$ ここで は指数関数、 は虚数単位、 はそれぞれ余弦関数および正弦関数である〔指数関数 は累乗を拡張したもので、複素数 について という関係が成り立つ。 は自然対数の底あるいはネイピア数と呼ばれる。 虚数単位 は を満たす複素数である。 余弦関数 および正弦関数 は三角関数の一種である。正弦関数 は、直角三角形の斜辺とその三角形の変数 に対応する角度を持つ鋭角の対辺（正弦）の長さの比を表す。余弦関数 はもう一方の鋭角（余角）の対辺と斜辺の長さの比を表す。単位円（半径の長さを 1 とする円）の中心を原点とする直交座標系をとったとき、単位円上の点を表す 座標はそれぞれ に等しい（ は円の中心と円周上の点を結ぶ直線と、 軸のなす角の大きさに対応する）。 文献によっては、指数関数は、（指数）から3字取って と表される。また虚数単位には でなく を用いることがある。〕。任意の複素数 に対して成り立つ等式であるが、特に が実数である場合が重要でありよく使われる。 が実数のとき、 は複素数 がなす複素平面上の偏角（角度 の単位はラジアン）に対応する。 公式の名前は18世紀の数学者レオンハルト・オイラー (Leonhard Euler) に因むが、最初の発見者はロジャー・コーツ (Roger Cotes) とされる。コーツは1714年に :$\backslash log\backslash left(\backslash cos\; x\; +\; i\backslash sin\; x\; \backslash right)=ix\; \backslash$ を発見したが、三角関数の周期性による対数関数の多価性を見逃した。 1740年頃オイラーはこの対数関数の形での公式から現在オイラーの公式の名で呼ばれる指数関数での形に注意を向けた。指数関数と三角関数の級数展開を比較することによる証明が得られ出版されたのは1748年のことだった〔。 この公式は複素解析をはじめとする純粋数学の様々な分野や、電気工学・物理学などで現れる微分方程式の解析において重要な役割を演じる。物理学者のリチャード・ファインマンはこの公式を評して''「我々の至宝」かつ「すべての数学のなかでもっとも素晴らしい公式」'' だと述べている。 オイラーの公式は、変数 が実数である場合には、右辺は実空間上で定義される通常の三角関数で表され、虚数の指数関数の実部と虚部がそれぞれ角度 に対応する余弦関数 と正弦関数 に等しいことを表す。このとき、偏角 をパラメータとする曲線 は、複素平面上の単位円をなす。 特に、 のとき（すなわち偏角が 180 度のとき）、 :$e^=-1$ となる。この関係はオイラーの等式 と呼ばれる〔三角関数の周期性（従って複素指数関数の周期性）により、オイラーの等式が成り立つのは に限らない。すなわち、任意の整数 について は を満たす。〕。 が純虚数である場合には、左辺は実空間上で定義される通常の指数関数であり、右辺は純虚数に対する三角関数となる。 オイラーの公式は、三角関数 が双曲線関数 に対応することを導く。また応用上は、オイラーの公式を経由して三角関数を複素指数関数に置き換えることで、微分方程式やフーリエ級数などの扱いを簡単にすることなどに利用される。 == 指数関数と三角関数 == 実関数として定義される指数関数 および三角関数 , を各々マクローリン展開すれば〔 の周りのテイラー展開をマクローリン展開 と呼ぶ。また一般に関数を冪級数として表すことを冪級数展開と呼ぶ。〕 となる。これらの級数の収束半径が であることはダランベールの収束判定法によって確認することができる〔級数 :$\backslash scriptstyle\; \backslash sum\_^\backslash infty\; a\_n\; x^n$ の収束半径 は、極限 :$\backslash scriptstyle\; r=\backslash lim\_\backslash left\; |\backslash frac\backslash right|$ が存在すれば、 である。（極限が存在しない場合、収束半径はこの方法では求まらない。） の収束半径は :$\backslash begin\backslash scriptstyle$ \lim_\left|\frac \right| &\scriptstyle = \lim_\left| \frac \right| \\ \scriptstyle &\scriptstyle = \lim_\left(n+1\right) \\ \scriptstyle &\scriptstyle = \infty \end となる。 の収束半径を求めるには、 についての級数と考えて、その収束半径を求めればよい。 :$\backslash begin\; \backslash scriptstyle$ \lim_\left|\frac \right| &\scriptstyle = \lim_ \frac \\ \scriptstyle &\scriptstyle = \lim_ (2n+2)(2n+1) \\ \scriptstyle &\scriptstyle = \infty \end となるので、任意の で収束し、したがって任意の でも収束する。 もほぼ同様で、まず :$\backslash scriptstyle\; \backslash sum^\_\; \backslash frac\; y^n$ を考える。この級数の収束半径は :$\backslash begin\; \backslash scriptstyle$ \lim_\left |\frac \right| &\scriptstyle = \lim_ \frac \\ \scriptstyle &\scriptstyle = \lim_ (2n+3)(2n+2) \\ \scriptstyle &\scriptstyle =\infty \end であるので、任意の で収束し、 を代入した級数も任意の で収束し、それに をかけた級数（すなわち のマクローリン展開）も任意の で収束する。 以上で , , の右辺の収束半径が であることが証明された。〕。従ってこれらの級数は、 を複素変数と見て全複素平面上広義一様に絶対収束し、これらの級数によって表される関数は整関数である〔全平面上正則な関数を整関数と言う。なおこれらは多項式でないので超越整関数であり、無限遠点を真性特異点に持つ〕。これら級数の収束性と正則関数に関する一致の定理により、正則関数としての拡張は全平面でこの収束冪級数によって確定されるため、複素関数としての指数関数および、三角関数は通常、この級数展開式をもって定義される。 ここで、 の を に置き換え、 の冪級数が絶対収束するために級数の項の順序を任意に交換可能である事を考慮すれば :$\backslash begin$ e^ &= \sum^_ \frac x^\\ &=\sum^_ \fracx^ +\sum^_ \fracx^\\ &=\sum^_ \frac x^ +i\sum^_ \frac x^ \end が成り立つ。この式と三角関数の冪級数展開を比較すれば :$e^\; =\; \backslash cos\; x\; +\; i\backslash sin\; x$ が得られる。 この公式は、歴史的には全く起源の異なる指数関数と三角関数が、複素数の世界では密接に結びついていることを表している。 たとえば、三角関数の加法定理は、指数法則 に対応していることが分かる〔〔 を冪級数で表し、各項を二項展開し、展開した項を改めて整理すれば、指数法則 を導出できる。 :$\backslash begin\backslash scriptstyle$ e^ &\scriptstyle = \sum^_ \frac\\ &\scriptstyle = \sum^_ \frac \sum^_ \fraca^ b^\\ &\scriptstyle = \sum^_ \sum^_ \frac\\ &\scriptstyle = \sum^_ \sum^_ \frac\\ &\scriptstyle = \sum^_ \frac \sum^_ \frac\\ &\scriptstyle \overbrace^ \sum^_ \frac \sum^_ \frac\\ &\scriptstyle = e^e^. \end〕。 オイラーの公式を利用して三角関数を指数関数に置き換えることができる。たとえば余弦関数と正弦関数については直接的に、 :$\backslash begin$ \cos z &= \frac, \\ \sin z &= \frac \end という表現が得られる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「オイラーの公式」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.