de Moivreova formula

De Moivreova fórmula [dé muávrova ~] (tudi Moivreova ~) je v matematiki formula, po kateri za vsako kompleksno število (in posebej za vsako realno število) x in za vsako celo število n velja:

Imenuje se po francoskem matematiku Abrahamu de Moivreu, Newtonovem prijatelju, ki jo je odkril leta 1707 in objavil leta 1722. Današnjo obliko ji je dal Leonhard Euler. Pomembna je zato, ker povezuje kompleksna števila (i je imaginarna enota) in trigonometrične funkcije. Izraz

včasih označijo kot

Če razvijemo levo stran in primerjamo realne in imaginarne člene, lahko dobimo uporabne izraze za cos(nx) in sin(nx), izražene s cos(x) in sin(x). S formulo lahko najdemo eksplicitne izraze za n-te korene enote, oziroma kompleksna števila z, za katera velja zn = 1.

IzpeljavaUredi

Čeprav je bila formula prej dokazana, se lahko preprosto izpelje iz Eulerjeve formule:

 

in pravil za množenje ali potenciranje eksponentne funkcije:

 
 

Po Eulerjevi formuli potem sledi:

 

Dokaz s popolno indukcijoUredi

Obravnavamo tri primere.

Za n > 0 nadaljujemo s popolno indukcijo. Ko je n = 1, rezultat velja. Predpostavimo, da velja tudi za kakšen pozitivni celi k:

 

Sedaj pogledamo primer za n = k + 1:

 

Vidimo, da rezultat velja za n = k + 1, če velja za n = k. Po načelu popolne indukcije sledi, da rezultat velja za vsa pozitivna cela števila n ≥ 1.

Kadar je n = 0, formula velja, saj je   in (po dogovoru)  .

Za n < 0 obravnavamo takšen pozitivni celi m, da je n = −m. Tako je:

 

De Moivreov izrek tako velja za vse celoštevilske vrednosti n.

PosplošitevUredi

Formula velja tudi splošnejše: če sta   in   kompleksni števili, potem lahko funkcija:

 

zavzame več vrednosti, funkcija:

 

pa ne. Vidimo, da je

       ena vrednost od      .

UporabaUredi

 
Graf kubičnih korenov od 1 v kompleksni ravnini

S formulo lahko najdemo n-te korene kompleksnega števila. Če je   kompleksno število, zapisano v polarni obliki kot:

 

potem velja:

 

kjer je   celo število. Da dobimo n različnih korenov  , moramo za   upoštevati le vrednosti od   do  .

ViriUredi

Zunanje povezaveUredi