Hur bevisar du Eulers formel?

Eulers formel står det ejagx = cos (x) + isin (x) där jag är den imaginära tal och x är ett verkligt tal.

Det första får vi potensserien av eix med hjälp av formeln:
EZ = Σ∞n = o zn/n! där z = jagx. Det ger oss:
1 + ix + (ix)2/2! + (jagx) 3/3! + (jagx) 4/4! + (jagx) 5/5! + (ix)6/6! + (ix)7/7! + (ix)8/8! + ...
som från egenskaperna för jag är lika med:
1 + jagx - x2/2! - jagx3/3! + x4/4! + jagx5/5! -x6/6! - jagx7/7! + x8/8! + ...
som är lika med:
(1 - x2/2! + x4/4! - x6/6! + x8/8! -...) + i(x - x3/3! + x5/5! - x7/7! +...).

Dessa två uttryck är likvärdiga med Taylor serien av cos(x) och sin(x). Så koppla dessa funktioner till uttrycket ger cos(x) + isin (x).

Q.E.D.

Naturligtvis var du gör x = п i Eulers formel, skulle du få Eulers identitet:
ejagπ = -1
Det beror på din definition frågan förutsätter att någon redan har gett en definition av exponentialfunktionen för komplexa tal. Men denna definition får? Om så, vad är denna officiella definition?

Svaret ovan förutsätter att exponentialfunktionen definieras, för alla komplexa tal, av dess power serien. (Eller, åtminstone, att någon annan redan har visat sig att driva serien definitionen är likvärdiga med vad vi tar till vara den officiella definitionen).

Så beror svaret kritiskt på vad definitionen av exponentialfunktionen för komplexa tal är.

Antar att du vet allt om det verkligt numrerar, och du försöker bygga upp en teori om komplexa tal. De flesta människor förmodligen visa det här sättet: matematiska objekt som komplexa tal är ute någonstans, och vi måste hitta dem och träna deras egenskaper. Men matematikerna ser det lite annorlunda. Om vi kan konstruera en sak som har alla egenskaperna känner vi området för komplexa tal ska ha, sedan för alla praktiska ändamål fältet av komplexa tal finns. Om vi kan definiera en funktion på detta område som har alla de egenskaper vi tror exponentiering på komplexa tal bör ha, då som så bra som visat sig att komplexa tal har exponentialfunktioner. Matematiker är bekväma med konstiga saker som komplexa tal, inte att de har visat att de existerar som sådan, men eftersom de har visat att deras existens är förenligt med allt annat. (Om allt annat är inkonsekvent, vilket skulle vara en verklig smärta men är mycket osannolikt.)

Så hur vi konstruera denna exponentialfunktionen? En metod vore helt enkelt att definiera det av exp(x+iy) = ex(cos(y)+i.sin(y)). Då svaret på denna fråga skulle vara trivialt: exp(iy) = exp(0+iy) = e0(cos(y)+i.sin(y)) = cos(y)+.sin(y). Men skulle du fortfarande ha lite arbete att göra för att bevisa saker som exp(z+w) = exp(z).exp(w). Alternativt kan du definiera exponentialfunktionen av dess power serien. (Det finns en sats som låter dig beräkna radien av konvergens och som berättar att radien är oändlig, dvs potensserien fungerar överallt.) Eller kanske du kan prova något som visar att ekvationen dw/dz = w har en unik lösning upp till en multiplikativ konstant, och definierar den exponentiella funktionen vara den lösning som uppfyller w = 1 på z = 0.

Låt z = cos(x) + i*sin(x)
DZ/dx =-sin(x) + i*cos(x)
= i*(i*sin(x) + cos(x))
= i*(cos(x) + i*sin(x))
= i*(z)
Därför dz/dx = iz
(1/z) dz = jag dx
INT ((1/z) dz = INT(i dx)
ln(z) = ix + c
z = e(ix+c)

Ersätta x = 0, får vi cos(0) + i*sin(0) = e(0i+c)
1 + 0 = e(0+c)
e(0+c) = 1
Därför c = 0

z = eix
Eix = cos(x) + i*sin(x)

Ersätta x = pi, får vi e(i*pi) = -1 + 0
e(i*pi) = -1
e(i*pi) + 1 = 0
qED

  • Relaterade Frågor

  • Hur bevisar du Herons formel?

  • Hur bevisar du kvadratiska formel?

  • Hur bevisar du hemförsäkring vad stals?

  • Vad är Eulers formel?

  • Hur kontrollerar du Eulers sats?

  • Varför fungerar det Eulers formel på en cylinder?

  • Varför är Eulers formel viktigt?

  • Hur lönsamt är formel 1?

  • Hur bevisar jag resor defekter?

  • Hur bevisar jag den operativa användningen av min dator FA?

  • Hur bevisar man Skatteverket att du får inget underhållsbidrag från far till barnet?

  • Hur bevisar man vindar den försäkring om av på bekostnad av huset ska komma?

  • Hur bevisar man en "kärlek match"?

  • Hur bevisar du att någon är en sociopat?

  • Hur mixar du en formel med hjälp av nejlika avdunsta mjölk för spädbarn?

  • Hur bevisar du en negativ som inte kan bevisas?

  • Hur bevisar du att Gud finns?

  • Hur blir man en formel 1 racer?

  • Hur bär du formella slitage på sims 2?