AST
All
Articles
Dictionary
Quotes
Map

Wikiwand ❤️ Wikipedia

PrivacyTerms

Fórmula d'Euler

From Wikipedia, the free encyclopedia

Fórmula d'Euler
HistoriaPotencia complexa de yDemostraciónDemostración usando les Series de TaylorRelevancia matemáticaLlogaritmu d'un númberu negativuLlogaritmu d'un númberu negativu cualesquierIntegración y derivaciónFunciones trigonométriquesEcuaciones diferencialesAnalís de señalesVer tamiénReferenciesEnllaces esternos

La fórmula d'Euler o rellación d'Euler, atribuyida a Leonhard Euler, establez el teorema, nel que:

e i x = cos ⁡ x + i sen ⁡ x {\displaystyle e^{ix}=\cos x+i\,\operatorname {sen} x} {\displaystyle e^{ix}=\cos x+i\,\operatorname {sen} x}

pa tou númberu real x, que representa un ángulu nel planu complexu. Equí, e ye la base del llogaritmu natural, i ye la unidá imaxinaria, sen ⁡ x {\displaystyle \operatorname {sen} x} {\displaystyle \operatorname {sen} x} y cos ⁡ x {\displaystyle \cos x} {\displaystyle \cos x} son les funciones trigonométriques senu y cosenu.

Roger Cotes afayó en 1714 la rellación ente les funciones trigonométriques y el llogaritmu,

i x = ln ⁡ ( cos ⁡ x + i sen ⁡ x ) {\displaystyle ix=\ln(\cos x+i\operatorname {sen} x)} {\displaystyle ix=\ln(\cos x+i\operatorname {sen} x)}

y foi publicada na so obra póstuma Harmonia mensurarum (1722), 20 años primero que lu fixera Leonhard Euler. Euler desenvolvió la fórmula utilizando la función esponencial en vegada del llogaritmu y comunicar nuna carta unviada a Christian Goldbach en 1741, siendo publicada y popularizada na so obra Introductio in analysin infinitorum en 1748. Ye interesante notar que nengún de los descubridores vio la interpretación xeométrica señalada enantes: la visión de los númberos complexos como puntos nel planu surdió en 1787 per parte del matemáticu Caspar Wessel nel so únicu informe pa la Real Academia Danesa.

Un sieglu más tarde B. Peirce concluyó la deducción de la fórmula delantre de los sos alumnos, diciendo: "Caballeros, con seguridá esta fórmula ye cierta , anque-yos paeza paradóxica..."[1]

O bien se suel espresar como:

e z = e x + i y = e x ( cos ⁡ y + i sen y ) {\displaystyle e^{z}=e^{x+iy}=e^{x}(\cos y+i\,\operatorname {sen} \,y)} {\displaystyle e^{z}=e^{x+iy}=e^{x}(\cos y+i\,\operatorname {sen} \,y)}

siendo z {\displaystyle z} {\displaystyle z} la variable complexa definida por z = x + i y {\displaystyle z=x+iy} {\displaystyle z=x+iy}

Demostración

Nótese qu'esta nun ye una demostración basada nes propiedaes de los númberos complexos y de la función esponencial, sinón que ye necesaria la definición de la esponencial complexa como l'equivalente a la serie de Taylor sobre los númberos reales pa parámetros complexos.

La fórmula puede interpretase geométricamente como una circunferencia unidá nel planu complexu, dibuxada pola función eix al variar x {\displaystyle x} {\displaystyle x} sobre los númberos reales. Asina, x {\displaystyle x} {\displaystyle x} ye'l ángulu d'una recta que coneuta l'orixe del planu y un puntu sobre la circunferencia unidá, cola exa positiva real, midíu en sentíu contrariu a les manes del reló y en radianes. La fórmula namái ye válida si tamién el senu y el cosenu tienen los sos argumentos en radianes.

Demostración usando les Series de Taylor

Thumb
La fórmula d'Euler ilustrada nel planu complexu.

Sabiendo que:

i 0 = 1 , i 1 = i , i 2 = − 1 i 3 = − i , i 4 = 1 , i 5 = i , i 6 = − 1 , i 7 = − i , {\displaystyle {\begin{aligned}i^{0}&{}=1,\quad &i^{1}&{}=i,\quad &i^{2}&{}=-1\quad &i^{3}&{}=-i,\\i^{4}&={}1,\quad &i^{5}&={}i,\quad &i^{6}&{}=-1,\quad &i^{7}&{}=-i,\\\end{aligned}}} {\displaystyle {\begin{aligned}i^{0}&{}=1,\quad &i^{1}&{}=i,\quad &i^{2}&{}=-1\quad &i^{3}&{}=-i,\\i^{4}&={}1,\quad &i^{5}&={}i,\quad &i^{6}&{}=-1,\quad &i^{7}&{}=-i,\\\end{aligned}}}

y asina socesivamente. Amás d'esto, les funciones ex, cos(x) y sen(x) (asumiendo que x seya un númberu real) pueden ser espresaes utilizando los sos series de Taylor alredor de cero.

e x = x 0 0 ! + x 1 1 ! + x 2 2 ! + x 3 3 ! + x 4 4 ! + ⋯ cos ⁡ x = x 0 0 ! − x 2 2 ! + x 4 4 ! − x 6 6 ! + ⋯ sin ⁡ x = x 1 1 ! − x 3 3 ! + x 5 5 ! − x 7 7 ! + ⋯ {\displaystyle {\begin{aligned}e^{x}&{}={\frac {x^{0}}{0!}}+{\frac {x^{1}}{1!}}+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+{\frac {x^{4}}{4!}}+\cdots \\\cos x&{}={\frac {x^{0}}{0!}}-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-{\frac {x^{6}}{6!}}+\cdots \\\sin x&{}={\frac {x^{1}}{1!}}-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\cdots \end{aligned}}} {\displaystyle {\begin{aligned}e^{x}&{}={\frac {x^{0}}{0!}}+{\frac {x^{1}}{1!}}+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+{\frac {x^{4}}{4!}}+\cdots \\\cos x&{}={\frac {x^{0}}{0!}}-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-{\frac {x^{6}}{6!}}+\cdots \\\sin x&{}={\frac {x^{1}}{1!}}-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\cdots \end{aligned}}}

Otra definición que se-y puede dar a e x {\displaystyle e^{x}} {\displaystyle e^{x}} basándose nes series de Taylor ye la siguiente:

e x = ( ∑ k = 0 ∞ x k k ! ) {\displaystyle e^{x}={\biggl (}\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}{\biggr )}} {\displaystyle e^{x}={\biggl (}\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}}{\biggr )}}

también válido para:

cos ⁡ x = ( ∑ k = 0 ∞ ( − 1 ) k x 2 k ( 2 k ) ! ) {\displaystyle \cos x={\biggl (}\sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k}}{(2k)!}}{\biggr )}} {\displaystyle \cos x={\biggl (}\sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k}}{(2k)!}}{\biggr )}}
sin ⁡ x = ( ∑ k = 0 ∞ ( − 1 ) k x 2 k + 1 ( 2 k + 1 ) ! ) {\displaystyle \sin x={\biggl (}\sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k+1}}{(2k+1)!}}{\biggr )}} {\displaystyle \sin x={\biggl (}\sum _{k=0}^{\infty }{\frac {(-1)^{k}x^{2k+1}}{(2k+1)!}}{\biggr )}}

Definimos caúna d'estes funciones poles series anteriores, remplazando x por i·z, onde z ye una variable real y i la unidá imaxinaria. Esto ye posible porque'l radio de converxencia ye infinitu en cada serie. Entós atopamos que:

e i z = ( i z ) 0 0 ! + ( i z ) 1 1 ! + ( i z ) 2 2 ! + ( i z ) 3 3 ! + ( i z ) 4 4 ! + ( i z ) 5 5 ! + ( i z ) 6 6 ! + ( i z ) 7 7 ! + ( i z ) 8 8 ! + ⋯ = z 0 0 ! + i z 1 1 ! − z 2 2 ! − i z 3 3 ! + z 4 4 ! + i z 5 5 ! − z 6 6 ! − i z 7 7 ! + z 8 8 ! + ⋯ = ( z 0 0 ! − z 2 2 ! + z 4 4 ! − z 6 6 ! + z 8 8 ! − ⋯ ) + i ( z 1 1 ! − z 3 3 ! + z 5 5 ! − z 7 7 ! + ⋯ ) = cos ⁡ ( z ) + i sin ⁡ ( z ) {\displaystyle {\begin{aligned}e^{iz}&{}={\frac {(iz)^{0}}{0!}}+{\frac {(iz)^{1}}{1!}}+{\frac {(iz)^{2}}{2!}}+{\frac {(iz)^{3}}{3!}}+{\frac {(iz)^{4}}{4!}}+{\frac {(iz)^{5}}{5!}}+{\frac {(iz)^{6}}{6!}}+{\frac {(iz)^{7}}{7!}}+{\frac {(iz)^{8}}{8!}}+\cdots \\&{}={\frac {z^{0}}{0!}}+i{\frac {z^{1}}{1!}}-{\frac {z^{2}}{2!}}-i{\frac {z^{3}}{3!}}+{\frac {z^{4}}{4!}}+i{\frac {z^{5}}{5!}}-{\frac {z^{6}}{6!}}-i{\frac {z^{7}}{7!}}+{\frac {z^{8}}{8!}}+\cdots \\&{}=\left({\frac {z^{0}}{0!}}-{\frac {z^{2}}{2!}}+{\frac {z^{4}}{4!}}-{\frac {z^{6}}{6!}}+{\frac {z^{8}}{8!}}-\cdots \right)+i\left({\frac {z^{1}}{1!}}-{\frac {z^{3}}{3!}}+{\frac {z^{5}}{5!}}-{\frac {z^{7}}{7!}}+\cdots \right)\\&{}=\cos(z)+i\sin(z)\end{aligned}}} {\displaystyle {\begin{aligned}e^{iz}&{}={\frac {(iz)^{0}}{0!}}+{\frac {(iz)^{1}}{1!}}+{\frac {(iz)^{2}}{2!}}+{\frac {(iz)^{3}}{3!}}+{\frac {(iz)^{4}}{4!}}+{\frac {(iz)^{5}}{5!}}+{\frac {(iz)^{6}}{6!}}+{\frac {(iz)^{7}}{7!}}+{\frac {(iz)^{8}}{8!}}+\cdots \\&{}={\frac {z^{0}}{0!}}+i{\frac {z^{1}}{1!}}-{\frac {z^{2}}{2!}}-i{\frac {z^{3}}{3!}}+{\frac {z^{4}}{4!}}+i{\frac {z^{5}}{5!}}-{\frac {z^{6}}{6!}}-i{\frac {z^{7}}{7!}}+{\frac {z^{8}}{8!}}+\cdots \\&{}=\left({\frac {z^{0}}{0!}}-{\frac {z^{2}}{2!}}+{\frac {z^{4}}{4!}}-{\frac {z^{6}}{6!}}+{\frac {z^{8}}{8!}}-\cdots \right)+i\left({\frac {z^{1}}{1!}}-{\frac {z^{3}}{3!}}+{\frac {z^{5}}{5!}}-{\frac {z^{7}}{7!}}+\cdots \right)\\&{}=\cos(z)+i\sin(z)\end{aligned}}}

El reordenamientu ye posible por cuenta de que cada serie ye absolutamente converxente. Remplazando z = x como un númberu real resulta na identidá orixinal tal como la afayó Euler.

La fórmula apurre una potente conexón ente l'analís matemáticu y la trigonometría. Utilizar pa representar los númberos complexos en coordenaes polares y dexa definir el llogaritmu pa númberos negativos y númberos complexos.

Llogaritmu d'un númberu negativu

Nesti casu, la fórmula d'Euler ye evaluada en x = π {\displaystyle x=\pi } {\displaystyle x=\pi } , llogrando la identidá d'Euler:

e i π = cos ⁡ π + i sen ⁡ π = − 1 {\displaystyle e^{\mathrm {i} \pi }=\cos \pi +\mathrm {i} \,\operatorname {sen} \pi =-1} {\displaystyle e^{\mathrm {i} \pi }=\cos \pi +\mathrm {i} \,\operatorname {sen} \pi =-1}
e i π = − 1 {\displaystyle e^{\mathrm {i} \pi }=-1\,\!} {\displaystyle e^{\mathrm {i} \pi }=-1\,\!}

Depués, al aplicar el llogaritmu natural llógrase:

i π = ln ⁡ ( − 1 ) {\displaystyle \mathrm {i} \pi =\ln(-1)\,\!} {\displaystyle \mathrm {i} \pi =\ln(-1)\,\!}.

Llogaritmu d'un númberu negativu cualesquier

Como estensión de la ecuación anterior, el llogaritmu de cualquier númberu negativu defínese como:

ln ⁡ ( − a ) = ln ⁡ ( a ) + ln ⁡ ( − 1 ) = ln ⁡ ( a ) + i π {\displaystyle \ln(-a)=\ln(a)+\ln(-1)=\ln(a)+\mathrm {i} \pi \,\!} {\displaystyle \ln(-a)=\ln(a)+\ln(-1)=\ln(a)+\mathrm {i} \pi \,\!}. Onde a > 0 {\displaystyle a>0} {\displaystyle a>0}.

Amás puede definise'l llogaritmu d'un númberu negativu en cualquier base, a partir del llogaritmu natural y la fórmula de cambéu de base.

Integración y derivación

Una propiedá importante de la fórmula d'Euler ye que ye la única función matemática que permanez cola mesma forma (sacante pola unidá imaxinaria) coles operaciones d'integración y derivación del cálculu integral, lo que dexa que s'utilice pa convertir ecuaciones diferenciales n'ecuaciones con forma alxebraica, simplificando descomanadamente eses operaciones.

De les regles de la exponenciación

e a + b = e a ⋅ e b {\displaystyle e^{a+b}=e^{a}\cdot e^{b}} {\displaystyle e^{a+b}=e^{a}\cdot e^{b}}

y

( e a ) b = e a ⋅ b {\displaystyle (e^{a})^{b}=e^{a\cdot b}} {\displaystyle (e^{a})^{b}=e^{a\cdot b}}

(válides pa tou par de númberos complexos a {\displaystyle a} {\displaystyle a} y b {\displaystyle b} {\displaystyle b}), pueden derivase delles identidaes trigonométriques, según la fórmula de De Moivre.

Funciones trigonométriques

La fórmula d'Euler tamién dexa interpretar funcionar senu y cosenu como meres variaciones de la función esponencial:

cos ⁡ x = e i x + e − i x 2 {\displaystyle \cos x={e^{ix}+e^{-ix} \over 2}} {\displaystyle \cos x={e^{ix}+e^{-ix} \over 2}}
sen ⁡ x = e i x − e − i x 2 i {\displaystyle \operatorname {sen} x={e^{ix}-e^{-ix} \over 2i}} {\displaystyle \operatorname {sen} x={e^{ix}-e^{-ix} \over 2i}}

A partir d'estes igualdaes, ye posible definir les funciones trigonométriques pa los númberos complexos d'esta miente:[2]

sen ⁡ z = e z i − e − z i 2 i {\displaystyle \operatorname {sen} z={\cfrac {e^{zi}-e^{-zi}}{2i}}} {\displaystyle \operatorname {sen} z={\cfrac {e^{zi}-e^{-zi}}{2i}}}
cos ⁡ z = e z i + e − z i 2 {\displaystyle \cos z={\cfrac {e^{zi}+e^{-zi}}{2}}} {\displaystyle \cos z={\cfrac {e^{zi}+e^{-zi}}{2}}}
tan ⁡ z = e z i − e − z i e z i + e − z i ⋅ 1 i {\displaystyle \tan z={\cfrac {e^{zi}-e^{-zi}}{e^{zi}+e^{-zi}}}\cdot {\cfrac {1}{i}}} {\displaystyle \tan z={\cfrac {e^{zi}-e^{-zi}}{e^{zi}+e^{-zi}}}\cdot {\cfrac {1}{i}}}

siendo z ∈ C {\displaystyle z\in \mathbb {C} } {\displaystyle z\in \mathbb {C} }, esto ye, que pertenez al conxuntu de númberos complexos. Estes funciones trigonométriques cumplen les lleis de los sos similares aplicaes a los númberos reales. Sean los númberos complexos z {\displaystyle z} {\displaystyle z} y w {\displaystyle w} {\displaystyle w}, ye dicir z ∧ w ∈ C {\displaystyle z\land w\in \mathbb {C} } {\displaystyle z\land w\in \mathbb {C} }, entós son válides les siguientes igualdaes:

cos 2 ⁡ z + sen 2 ⁡ z = 1 {\displaystyle \cos ^{2}{z}+\operatorname {sen} ^{2}{z}=1} {\displaystyle \cos ^{2}{z}+\operatorname {sen} ^{2}{z}=1}
cos ⁡ ( − z ) = cos ⁡ ( z ) {\displaystyle \cos(-z)=\cos(z)} {\displaystyle \cos(-z)=\cos(z)}
sen ⁡ ( − z ) = − sen ⁡ ( z ) {\displaystyle \operatorname {sen}(-z)=-\operatorname {sen}(z)} {\displaystyle \operatorname {sen}(-z)=-\operatorname {sen}(z)}
sen ⁡ ( z + w ) = sen ⁡ ( z ) cos ⁡ ( w ) + sen ⁡ ( w ) cos ⁡ ( z ) {\displaystyle \operatorname {sen}(z+w)=\operatorname {sen}(z)\cos(w)+\operatorname {sen}(w)\cos(z)} {\displaystyle \operatorname {sen}(z+w)=\operatorname {sen}(z)\cos(w)+\operatorname {sen}(w)\cos(z)}
cos ⁡ ( z + w ) = cos ⁡ ( z ) cos ⁡ ( w ) − sen ⁡ ( w ) sen ⁡ ( z ) {\displaystyle \cos(z+w)=\cos(z)\cos(w)-\operatorname {sen}(w)\operatorname {sen}(z)} {\displaystyle \cos(z+w)=\cos(z)\cos(w)-\operatorname {sen}(w)\operatorname {sen}(z)}

Ecuaciones diferenciales

Nes ecuaciones diferenciales, la espresión e i x {\displaystyle e^{ix}} {\displaystyle e^{ix}} ye utilizada de cutiu pa simplificar derivaes, inclusive si la respuesta final ye una función real na qu'apaezan senos o cosenos. La identidá d'Euler ye una consecuencia inmediata de la fórmula d'Euler.

Analís de señales

Les señales que varien dacuando suelen describise como una combinación de funciones seno y cosenu, como asocede nel analís de Fourier, y estes son espresaes más convenientemente como la parte real d'una función esponencial con esponente imaxinariu, utilizando la fórmula d'Euler.

  • Númberu complexu
  • Planu complexu
  • Analís de Fourier
  • Pi
  1. [1]
    N.V. Alexándrova. Diccionariu Históricu de notaciones, términos y conceutos de les matemátiques ISBN 978-5-396-00676-8, distribuyir nel Perú.
  2. [2]
    Alaminos Prats, Jerónimo (15 d'ochobre de 2012). «Apuntes de Cálculu avanzáu». Departamentu d'Analís Matemáticu de la Universidá de Granada. Consultáu'l 18 d'abril de 2016.
  • Plantía:Springer
  • Weisstein, Eric W. «Euler Formula» (inglés). MathWorld. Wolfram Research.
Edit in WikipediaRevision historyRead in Wikipedia

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.

Chrome
Wikiwand for Chrome
Edge
Wikiwand for Edge
Firefox
Wikiwand for Firefox

Historia

Potencia complexa de y

Relevancia matemática

Ver tamién

Referencies

Enllaces esternos