De Moivreova formula
Iz Wikipedije, proste enciklopedije
- Pravilni naslov članka je de Moivreova formula. Začetnica je prikazana kot velika zaradi tehničnih omejitev.
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.
Vsebina |
[uredi] Izpeljava
Č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:
[uredi] Dokaz s popolno indukcijo
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:
![\begin{alignat}{2}
\left(\cos x+i\sin x\right)^{k+1} & = \left(\cos x+i\sin x\right)^{k} \left(\cos x+i\sin x\right)\\
& = \left[\cos\left(kx\right) + i\sin\left(kx\right)\right] \left(\cos x+i\sin x\right) \qquad \mbox{(po indukcijski predpostavki)}\\
& = \cos \left(kx\right) \cos x - \sin \left(kx\right) \sin x + i \left[\cos \left(kx\right) \sin x + \sin \left(kx\right) \cos x\right]\\
& = \cos \left[ \left(k+1\right) x \right] + i\sin \left[ \left(k+1\right) x \right] \qquad \mathrm{(po\, trigonometri\check{c} nih\, enakostih)}
\end{alignat}](http://upload.wikimedia.org/math/5/1/9/51918afee241be23664b9f08ca9e8e99.png)
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 cos(0x) + isin(0x) = 1 + i0 = 1 in (po dogovoru) z0 = 1.
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.
[uredi] Posplošitev
Formula velja tudi splošnejše: če sta z in w kompleksni števili, potem lahko funkcija:
zavzame več vrednosti, funkcija:
pa ne. Vidimo, da je
ena vrednost od 
.
[uredi] Uporaba
S formulo lahko najdemo n-te korene kompleksnega števila. Če je z kompleksno število, zapisano v polarni obliki kot:
potem velja:
![\begin{align}
z^{1/n} &= \left[ r\left( \cos x+i\sin x \right) \right]^{1/n} \\
&= r^{1/n} \left[ \cos \left( \frac{x+2k\pi}{n} \right) + i\sin \left( \frac{x+2k\pi}{n} \right) \right] \!\, , \end{align}](http://upload.wikimedia.org/math/6/8/1/681e764cfe2b57c453c89533a460491e.png)
kjer je k celo število. Da dobimo n različnih korenov z, moramo za k upoštevati le vrednosti od 0 do n − 1.
[uredi] Viri
- Abramowitz, Milton; Irene Anne Stegun (1964). Handbook of Mathematical Functions. New York: Dover Publications, str. 74. ISBN 0-486-61272-4.
[uredi] Zunanje povezave
- Michael Croucher, De Moivreov izrek za trigonometrične enakosti, The Wolfram Demonstrations Project (v angleščini)
