de Moivres formel

Från Wikipedia
Hoppa till navigering Hoppa till sök

de Moivres formel, uppkallad efter Abraham de Moivre, är ett sätt att beräkna värdet av ett komplext tal upphöjt till ett heltal n, det vill säga zn = (a + bi)n. På polär form lyder formeln:

Uttryckt i naturligt språk betyder detta att man multiplicerar den polära formens vinkel med exponenten och upphöjer radien till exponenten för att få fram resultatet.

Bevis[redigera | redigera wikitext]

Att bevisa de Moivres formel hänger på att visa

då resten av formeln följer av potenslagarna.

Med Eulers formel[redigera | redigera wikitext]

Givet Eulers formel:

och följande exponentlag:

följer det lätt att:

Värt att nämna är att de Moivre inte använde Eulers formel, då de Moivre publicerade sin formel 1723 (dock skrev han den inte i denna form)[1] och Eulers formel bevisades först 1748[2].

Med induktionsbevis[redigera | redigera wikitext]

Det är möjligt att bevisa de Moivres formel för heltalsexponenter med hjälp av Matematisk induktion. Beviset bygger på ungefär samma resonemang som ett bevis Leonhard Euler publicerade 1748.[2]

Vi börjar med att bevisa för basfallet n = 0:

Sedan antar vi att formeln stämmer för ett heltal n:

Därefter behöver vi visa att formeln stämmer för nästa heltal, n+1:

Vi kan förenkla genom att använda summaformlerna för sinus och cosinus:

Detta innebär att formeln stämmer för det nästkommande talet, och genom principen för matematisk induktion har vi därför bevisat att de Moivres formel stämmer för alla heltalsexponenter större än noll.

Bevis för de negativa heltalen[redigera | redigera wikitext]

Vi kan även visa att formeln stämmer för de negativa heltalen genom att använda sambandet:

(Detta samband kan härledas från vänsterledet genom att sätta z = a + bi och multiplicera med konjugatet)

Sätter vi in ett negativt heltal, -n i vänsterledet på de Moivres formel får vi:

Vi kan därefter använda det ovannämnda sambandet, vilket ger:

(Nämnaren är lika med ett enligt Trigonometriska ettan)

Eftersom cosinus är en jämn funktion och sinus är en udda funktion kan vi skriva:

vilket är de Moivres formel.

Källor[redigera | redigera wikitext]

Noter[redigera | redigera wikitext]

  1. ^ de Moivre, Abraham (1723). ”VII. De sectione anguli” (på en). Philosophical Transactions 32 (374): sid. 228–230. doi:10.1098/rstl.1722.0039. ISSN 0261-0523. http://rstl.royalsocietypublishing.org/content/32/374/228. Läst 13 januari 2018. 
  2. ^ [a b] Euler, Leonhard (1748). Introductio in analysin infinitorum. sid. 100, 106. http://eulerarchive.maa.org/docs/originals/E101capitel7.8.pdf. Läst 13 januari 2018