Moivrejeva teorema o tem, kaj so, demonstracije in rešene vaje



The Moivrejev izrek uporablja temeljne procese algebre, kot so moči in ekstrakcija korenin v kompleksnih številkah. Izrek je izrekel znani francoski matematik Abraham de Moivre (1730), ki je povezal kompleksna števila s trigonometrijo.

Abraham Moivre je to povezavo naredil preko izrazov prsi in kosinusa. Ta matematik je ustvaril nekakšno formulo, s katero je mogoče dvigniti kompleksno število z na moč n, ki je pozitivno celo število, večje od ali enako 1..

Indeks

  • 1 Kaj je Moivrejev izrek??
  • 2 Predstavitev
    • 2.1 Induktivna osnova
    • 2.2 Induktivna hipoteza
    • 2.3 Preverjanje
    • 2.4 Negativno celo število
  • 3 Vaje rešene
    • 3.1 Izračun pozitivnih moči
    • 3.2 Izračun negativnih moči
  • 4 Reference

Kaj je Moivrejev izrek??

Moivrejev izrek določa naslednje:

Če imate kompleksno število v polarni obliki z = rɵ, kjer je r modul kompleksnega števila z in kot Ɵ imenujemo amplituda ali argument kateregakoli kompleksnega števila z 0 ≤ Ɵ ≤ 2π, da bi izračunali njeno n-to moč, je ne bo treba sam pomnožiti n-krat; to pomeni, da ni potrebno izdelati naslednjega proizvoda:

Zn = z * z * z* ... * z = r* r* r... * ... * rɵ   n-krat.

Nasprotno, izrek pravi, da pri pisanju z v svoji trigonometrični obliki za izračun n-te moči nadaljujemo na naslednji način:

Če je z = r (cos i + i * sin Ɵ), nato zn = rn (cos n * i + i * sin n * Ɵ).

Na primer, če je n = 2, potem je z2 = r2[cos 2 (+) + i sin 2 (Ɵ)]. Če imate n = 3, potem z3 = z2 * z. Poleg tega:

z3 = r2[cos 2 (Ɵ) + i sin 2 (Ɵ)] * r [cos 2 (+) + i sin 2 (Ɵ)] = r3[cos 3 (Ɵ) + i sin 3 (Ɵ)].

Na ta način lahko dobimo trigonometrična razmerja sinusov in kosinusov za mnogokratnike kota, dokler so znani trigonometrični razmerji kota..

Na enak način se lahko uporablja za iskanje natančnejših in manj zmedenih izrazov za n-ti koren kompleksnega števila z, tako da je zn = 1.

Za prikaz Moivrejevega izreka se uporablja načelo matematične indukcije: če ima celo število "a" lastnost "P", in če je za celo število "n" večje od "a", ki ima lastnost "P", je izpolnjuje, da ima n + 1 tudi lastnost "P", potem imajo vsa cela števila, ki so večja ali enaka "a", lastnost "P".

Predstavitev

Na ta način je dokaz teorema izveden z naslednjimi koraki:

Induktivna baza

Prvo preverjanje za n = 1.

Kot z1 = (r (cos i + i * sen Ɵ))1 = r1 (cos i + i * sen Ɵ)1 = r1 [cos (1* +) + I * sen (1* Ɵ)], imamo za n = 1 izrek izpolnjen.

Induktivna hipoteza

Predpostavlja se, da je formula pravilna za določeno pozitivno celo število, to je n = k.

zk = (r (cos i + i * sen Ɵ))k  = rk (cos k i + i * sen k Ɵ).

Preverjanje

Dokazano je, da je to res za n = k + 1.

Kot zk + 1= zk * z, nato zk + 1 = (r (cos i + i * sen Ɵ))k + 1 = rk (cos kƟ + i * sen kƟ) *  r (cos i + i* senƟ).

Nato se izrazi pomnožijo:

zk + 1 = rk + 1((cos kƟ)*(cosƟ) + (cos kƟ)*(i*senƟ) + (i * sen kƟ)*(cosƟ) + (i sen kƟ)*(i* senƟ)).

Za trenutek se faktor r ne upoštevak + 1,  in skupni faktor i se odstrani:

(cos kƟ)*(cosƟ) + i (cos kƟ)*(sinƟ) + i (sen kƟ)*(cosƟ) + i2(sen kƟ)*(senƟ).

Kako i2 = -1, nadomestimo ga v izrazu in dobimo:

(cos kƟ)*(cosƟ) + i (cos kƟ)*(sinƟ) + i (sen kƟ)*(cosƟ) - (sen kƟ)*(senƟ).

Zdaj je urejen pravi in ​​namišljeni del:

(cos kƟ)*(cosƟ) - (sen kƟ)*(sinƟ) + i [(sen kƟ)*(cosƟ) + (cos kƟ)*(senƟ)].

Za poenostavitev izraza se uporabljajo trigonometrične identitete vsote kotov za kosinus in sinus, ki so:

cos (A + B) = cos A * cos B - sen A. \ t * sen B.

sen (A + B) = sin A * cos B - cos A. \ t * cos B.

V tem primeru so spremenljivke koti Ɵ in kƟ. Z uporabo trigonometričnih identitet imamo:

cos kƟ * cosƟ -  sen kƟ * senƟ = cos (kƟ + Ɵ)

sen kƟ * cosƟ + cos kƟ * senƟ = sen (kƟ + Ɵ)

Tako ostane izraz:

zk + 1 = rk + 1 (cos (kƟ + Ɵ) + i * sen (kƟ + Ɵ))

zk + 1 = rk + 1(cos [(k +1) +] + i * sen [(k +1) Ɵ]).

Tako je mogoče pokazati, da je rezultat veljaven za n = k + 1. Po načelu matematične indukcije se zaključi, da je rezultat resničen za vsa pozitivna cela števila; to je n ≥ 1.

Integer negativno

Moiverov izrek se uporablja tudi, ko je n ≤ 0. Upoštevajmo negativno celo število "n"; potem lahko "n" zapišemo kot "-m", to je, n = -m, kjer je "m" pozitivno celo število. Zato:

(cos i + i * sen Ɵ)n = (cos i + i * sen Ɵ) -m

Da dobimo eksponent "m" na pozitiven način, izraz zapišemo obratno:

(cos i + i * sen Ɵ)n = 1 ÷ (cos i + i * sen Ɵ) m

(cos i + i * sen Ɵ)n = 1 ÷ (cos mƟ + i * sen mƟ)

Sedaj se uporablja, da če je z = a + b * i kompleksno število, potem je 1 = z = a-b * i. Zato:

(cos i + i * sen Ɵ)n = cos (mƟ) - i * sen (mƟ).

Z uporabo cos (x) = cos (-x) in -sen (x) = sin (-x) moramo:

(cos i + i * sen Ɵ)n = [cos (mƟ) - i * sen (mƟ)]

(cos i + i * sen Ɵ)n = cos (- mƟ) + i * sen (-mƟ)

(cos i + i * sen Ɵ)n = cos (nƟ) - i * sen (nƟ).

Na ta način lahko rečemo, da se izrek uporablja za vse celoštevilčne vrednosti "n"..

Rešene vaje

Izračun pozitivnih moči

Ena od operacij s kompleksnimi številkami v polarni obliki je množenje med dvema od teh; v tem primeru se moduli pomnožijo in argumenti se dodajo.

Če imate dve kompleksni številki z1 in z2 in želite izračunati (z1* z2)2, Nato nadaljujemo na naslednji način:

z1z2 = [r1 (cos Ɵ1 + i * sen1)] * [r2 (cos Ɵ2 + i * sen2)]

Uporabi se distribucijska lastnost:

z1z2 = r1 r2 (cos Ɵ1 * cos Ɵ2 + i * cos Ɵ1 * i * sen2 + i * sen1 * cos Ɵ2 + i2* sen1 * sen2).

Združeni so z izrazom "i" kot skupnim faktorjem izrazov:

z1z2 = r1 r2 [cos Ɵ1 * cos Ɵ2 + i (cos Ɵ1 * sen2 + sen1 * cos Ɵ2) + i2* sen1 * sen2]

Kako i2 = -1, se nadomesti v izrazu:

z1z2 = r1 r2 [cos Ɵ1 * cos Ɵ2 + i (cos Ɵ1 * sen2 + sen1 * cos Ɵ2) - sen1 * sen2]

Realni izrazi so združeni z resničnim in imaginarnim z imaginarnim:

z1z2 = r1 r2 [(cos Ɵ1 * cos Ɵ2 - sen1 * sen2) + i (cos Ɵ1 * sen2 + sen1 * cos Ɵ2)]

Nazadnje so uporabljene trigonometrične lastnosti:

z1z2 = r1 r2 [cos (Ɵ1 + ɵ2) + i sen (1 + ɵ2)].

Skratka:

(z1* z2)2= (r1 r2 [cos (Ɵ1 + ɵ2) + i sen (1 + ɵ2)])2

= R12r22[cos 2 * (1 + ɵ2) + i sen 2 * (1 + ɵ2)].

Vaja 1

Zapišite kompleksno število v polarni obliki, če je z = - 2 -2i. Nato z uporabo Moivrejevega izreka izračunamo z4.

Rešitev

Kompleksno število z = -2 -2i je izraženo v pravokotni obliki z = a + bi, kjer:

a = -2.

b = -2.

Vedo, da je polarna oblika z = r (cos i + i * sin Ɵ), morate določiti vrednost modula "r" in vrednost argumenta "Ɵ". Kot r = √ (a² + b²) se dane vrednosti zamenjajo:

r = √ (a² + b²) = √ ((- 2) ² + (- 2) ²)

= √ (4 + 4)

= √ (8)

= √ (4 * 2)

= 2√2.

Nato se za določitev vrednosti "," uporabi pravokotna oblika, ki jo poda formula:

tan Ɵ = b. a

tan Ɵ = (-2) ÷ (-2) = 1.

Kot tan (Ɵ) = 1 in morate<0, entonces se tiene que:

Ar = arctan (1) + Π.

= 4/4 + Π

= 5Π / 4.

Ker je bila vrednost "r" in "Ɵ" že dosežena, se lahko kompleksno število z = -2 -2i izrazi v polarni obliki z nadomestitvijo vrednosti:

z = 2√2 (cos (5Π / 4) + i * sen (5Π / 4)).

Zdaj je Moivrejev izrek uporabljen za izračun z4:

z4= 2√2 (cos (5Π / 4) + i * sen (5Π / 4))4

= 32 (cos (5Π) + i * sen (5Π)).

Vaja 2

Poiščite produkt kompleksnih števil, tako da ga izrazite v polarni obliki:

z1 = 4 (cos 50o + i* 50 seno)

z2 = 7 (cos 100o + i* 100 seno).

Nato izračunajte (z1 * z2) ².

Rešitev

Najprej se oblikuje produkt danih števil:

z1 z2 = [4 (cos 50o + i* 50 seno)] * [7 (cos 100o + i* 100 seno)]

Nato pomnožite module in dodajte argumente:

z1 z2 = (4 * 7)* [cos (50o + 100o) + i* sen (50. \ to + 100o)]

Izraz je poenostavljen:

z1 z2 = 28 * (cos 150. \ to + (i* 150 seno).

Na koncu uporabimo Moiverov izrek:

(z1 * z2) ² = (28. \ t * (cos 150. \ to + (i* 150 seno)) ² = 784 (cos 300)o + (i* 300 seno)).

Izračun negativnih moči

Za razdelitev dveh kompleksnih števil z1 in z2 v polarni obliki je modul razdeljen in argumenti se odštejejo. Tako je količnik z1 . Z2 in se izrazi na naslednji način:

z1 . Z2 = r1 / r2 ([cos (Ɵ1- ɵ2) + i sen (1 - ɵ2)]).

Kot v prejšnjem primeru, če želite izračunati (z1 2 z2) ³ najprej naredimo delitev in uporabimo Moivrejev izrek..

Vaja 3

Glede na:

z1 = 12 (cos (3π / 4) + i * sin (3π / 4)),

z2 = 4 (cos (π / 4) + i * sin (π / 4)),

izračunajte (z1 2 z2) ³.

Rešitev

Na podlagi zgoraj opisanih korakov je mogoče sklepati, da: \ t

(z1 2 z2) ³ = ((12/4) (cos (3π / 4 - π / 4) + i * sin (3π / 4 - π / 4)))

= (3 (cos (π / 2) + i * sin (π / 2))) ³

= 27 (cos (3π / 2) + i * sin (3π / 2)).

Reference

  1. Arthur Goodman, L.H. (1996). Algebra in trigonometrija z analitično geometrijo. Pearson Education.
  2. Croucher, M. (s.f.). Iz Moivrejeve teoreme za trik identitete. Wolframov demonstracijski projekt.
  3. Hazewinkel, M. (2001). Enciklopedija matematike.
  4. Max Peters, W. L. (1972). Algebra in trigonometrija.
  5. Pérez, C. D. (2010). Pearson Education.
  6. Stanley, G. (s.f.). Linearna algebra Graw-Hill.
  7. , M. (1997). Precalculus Pearson Education.