- Kas yra Moivre'o teorema?
- Demonstracija
- Indukcinė bazė
- Indukcinė hipotezė
- Patikrinimas
- Neigiamas sveikasis skaičius
- Išspręsta mankšta
- Teigiamų galių apskaičiavimas
- 1 pratimas
- Sprendimas
- 2 pratimas
- Sprendimas
- Neigiamų galių apskaičiavimas
- 3 pratimas
- Sprendimas
- Nuorodos
Iš Moivre teorema taikomas algebros gyvybinius procesus, kaip antai: įgaliojimai ir gavybos šaknų kompleksiniais skaičiais. Teoremą pareiškė garsus prancūzų matematikas Abrahamas de Moivre'as (1730), kuris kompleksinius skaičius susiejo su trigonometrija.
Abraomas Moivre'as šią asociaciją užmezgė per sinuso ir kosinuso išraiškas. Šis matematikas sukūrė tam tikrą formulę, pagal kurią įmanoma padidinti skaičių z z iki galios n, kuris yra teigiamas sveikasis skaičius didesnis arba lygus 1.
Kas yra Moivre'o teorema?
Moivre'o teorema teigia:
Jei turime poliarinės formos sudėtingą skaičių z = r Ɵ , kur r yra komplekso skaičiaus z modulis, o kampas Ɵ vadinamas bet kurio komplekso skaičiaus, turinčio 0 ≤ Ɵ ≤ 2π, amplitudę arba argumentą, kad apskaičiuotume jo n– galia nebus būtina padauginti iš jos n kartų; tai yra, nebūtina gaminti šį produktą:
Z n = z * z * z *. . . * z = r Ɵ * r Ɵ * r Ɵ *. . . * r Ɵ n kartų.
Teorema, priešingai, sako, kad rašydami z trigonometrine forma, kad apskaičiuotume n-tą galią, mes elgiamės taip:
Jei z = r (cos Ɵ + i * sin Ɵ), tada z n = r n (cos n * Ɵ + i * sin n * Ɵ).
Pavyzdžiui, jei n = 2, tada z 2 = r 2 . Jei n = 3, tada z 3 = z 2 * z. Taip pat:
z 3 = r 2 * r = r 3 .
Tokiu būdu gali būti gauti kampo kartotinių sinuso ir kosinuso trigonometriniai santykiai, jei žinomi kampo trigonometriniai santykiai.
Lygiai taip pat jis gali būti naudojamas tikslesnėms ir mažiau painiojančioms posakių n-osios šaknies sudėtiniam skaičiui z rasti, kad z n = 1.
Moivre'o teoremai įrodyti naudojamas matematinės indukcijos principas: jei sveikasis skaičius „a“ turi savybę „P“, o jei kuriam nors sveikam skaičiui „n“ yra didesnis nei „a“, turintis savybė „P“. Tai reiškia, kad n + 1 taip pat turi savybę „P“, tada visi sveikieji skaičiai, didesni ar lygūs „a“, turi savybę „P“.
Demonstracija
Taigi, teoremos įrodymas atliekamas šiais etapais:
Indukcinė bazė
Pirmiausia patikrinama, ar n = 1.
Kadangi z 1 = (r (cos Ɵ + i * sin Ɵ)) 1 = r 1 (cos Ɵ + i * sin Ɵ) 1 = r 1 , teorema galioja n = 1.
Indukcinė hipotezė
Manoma, kad formulė teisinga tam tikram teigiamam sveikam skaičiui, tai yra, n = k.
z k = (r (cos Ɵ + i * sin Ɵ)) k = r k (cos k Ɵ + i * sin k Ɵ).
Patikrinimas
Įrodyta, kad tiesa, kai n = k + 1.
Kadangi z k + 1 = z k * z, tada z k + 1 = (r (cos Ɵ + i * sin Ɵ)) k + 1 = r k (cos kƟ + i * sin kƟ) * r (cos Ɵ + i * senƟ).
Tada posakiai padauginami:
z k + 1 = r k + 1 ((cos kƟ) * (cosƟ) + (cos kƟ) * (i * sinƟ) + (i * sin kƟ) * (cosƟ) + (i * sin kƟ) * (i * senƟ)).
Akimirką koeficientas r k + 1 yra ignoruojamas ir imamas bendras koeficientas i:
(cos kƟ) * (cosƟ) + i (cos kƟ) * (sinƟ) + i (sin kƟ) * (cosƟ) + i 2 (sin kƟ) * (sinƟ).
Kadangi i 2 = -1, mes jį pakeičiame išraiška ir gauname:
(cos kƟ) * (cosƟ) + i (cos kƟ) * (sinƟ) + i (sin kƟ) * (cosƟ) - (sin kƟ) * (sinƟ).
Dabar užsakoma tikroji ir įsivaizduojamoji dalys:
(cos kƟ) * (cosƟ) - (sin kƟ) * (sinƟ) + i.
Išraiškai supaprastinti kosinusui ir sinusui taikomi kampų sumos trigonometriniai tapatumai, kurie yra:
cos (A + B) = cos A * cos B - sin A * sin B.
sin (A + B) = sin A * cos B - cos A * cos B.
Šiuo atveju kintamieji yra kampai Ɵ ir kƟ. Taikydami trigonometrinius tapatumus, turime:
cos kƟ * cosƟ - sin kƟ * sinƟ = cos (kƟ + Ɵ)
sin kƟ * cosƟ + cos kƟ * sinƟ = sin (kƟ + Ɵ)
Tokiu būdu išraiška yra:
z k + 1 = r k + 1 (cos (kƟ + Ɵ) + i * sin (kƟ + Ɵ))
z k + 1 = r k + 1 (cos + i * sin).
Taigi galima parodyti, kad rezultatas yra teisingas n = k + 1. Matematinės indukcijos principu daroma išvada, kad rezultatas yra teisingas visiems teigiamiems skaičiams; tai yra, n ≥ 1.
Neigiamas sveikasis skaičius
Moivre'o teorema taip pat taikoma, kai n ≤ 0. Apsvarstykime neigiamą sveikąjį skaičių «n»; tada "n" gali būti parašytas kaip "-m", tai yra, n = -m, kur "m" yra teigiamas sveikasis skaičius. Taigi:
(cos Ɵ + i * sin Ɵ) n = (cos Ɵ + i * sin Ɵ) -m
Norint gauti teigiamą eksponentą „m“, išraiška užrašoma atvirkščiai:
(cos Ɵ + i * sin Ɵ) n = 1 ÷ (cos Ɵ + i * sin Ɵ) m
(cos Ɵ + i * sin Ɵ) n = 1 ÷ (cos mƟ + i * sin mƟ)
Dabar naudojamasi tuo, kad jei z = a + b * i yra kompleksinis skaičius, tada 1 ÷ z = ab * i. Taigi:
(cos Ɵ + i * sin Ɵ) n = cos (mƟ) - i * sin (mƟ).
Naudodami tą cos (x) = cos (-x) ir -sen (x) = sin (-x), turime:
(cos Ɵ + i * sin Ɵ) n =
(cos Ɵ + i * sin Ɵ) n = cos (- mƟ) + i * sin (-mƟ)
(cos Ɵ + i * sin Ɵ) n = cos (nƟ) - i * sin (nƟ).
Taigi galima sakyti, kad teorema taikoma visoms sveikojo skaičiaus „n“ reikšmėms.
Išspręsta mankšta
Teigiamų galių apskaičiavimas
Viena iš operacijų su sudėtiniais skaičiais jų polinėje formoje yra daugyba iš dviejų; tokiu atveju moduliai padauginami ir argumentai pridedami.
Jei turite du sudėtinius skaičius z 1 ir z 2 ir norite apskaičiuoti (z 1 * z 2 ) 2 , tada elkitės taip:
z 1 z 2 = *
Paskirstomoji nuosavybė taikoma:
z 1 z 2 = r 1 r 2 (cos Ɵ 1 * cos Ɵ 2 + i * cos Ɵ 1 * i * sin Ɵ 2 + i * sin Ɵ 1 * cos Ɵ 2 + i 2 * sin Ɵ 1 * sin Ɵ 2 ).
Jie yra sugrupuoti, atsižvelgiant į terminą „i“ kaip į bendrą posakių veiksnį:
z 1 z 2 = r 1 r 2
Kadangi i 2 = -1, jis pakeičiamas išraiška:
z 1 z 2 = r 1 r 2
Realieji terminai yra pergrupuojami į realius, o įsivaizduojami - su įsivaizduojamais:
z 1 z 2 = r 1 r 2
Galiausiai taikomos trigonometrinės savybės:
z 1 z 2 = r 1 r 2 .
Apibendrinant:
(z 1 * z 2 ) 2 = (r 1 r 2 ) 2
= r 1 2 r 2 2 .
1 pratimas
Parašykite komplekso skaičių poliarine forma, jei z = - 2 -2i. Tada, naudodamiesi Moivre'o teorema, apskaičiuokite z 4 .
Sprendimas
Komplekso skaičius z = -2 -2i išreiškiamas stačiakampio formos z = a + bi, kur:
a = -2.
b = -2.
Žinant, kad polinė forma yra z = r (cos Ɵ + i * sin Ɵ), turime nustatyti modulio „r“ vertę ir argumento „Ɵ“ vertę. Kadangi r = √ (a² + b²), nurodytos vertės pakeičiamos:
r = √ (a² + b²) = √ ((- 2) ² + (- 2) ²)
= √ (4 + 4)
= √ (8)
= √ (4 * 2)
= 2√2.
Tada, norint nustatyti «Ɵ» vertę, taikoma stačiakampio formos forma, kuri apskaičiuojama pagal formulę:
įdegis b = b ÷ a
įdegis Ɵ = (-2) ÷ (-2) = 1.
Kadangi tan (Ɵ) = 1 ir turime <0, tada mes turime:
Ɵ = arktanas (1) + Π.
= Π / 4 + Π
= 5Π / 4.
Kadangi „r“ ir „Ɵ“ vertės jau yra gautos, komplekso skaičius z = -2 -2i gali būti išreikštas poliariniu pavidalu, pakeičiant reikšmes:
z = 2√2 (cos (5Π / 4) + i * sin (5Π / 4)).
Dabar apskaičiuodami z 4 naudojame Moivre'o teoremą :
z 4 = 2√2 (cos (5Π / 4) + i * sin (5Π / 4)) 4
= 32 (cos (5Π) + i * sin (5Π)).
2 pratimas
Raskite sudėtingų skaičių sandaugą, išreikšdami ją poliariniu pavidalu:
z1 = 4 (cos 50 o + i * sin 50 o )
z2 = 7 (cos 100 o + i * sin 100 o ).
Tada apskaičiuokite (z1 * z2) ².
Sprendimas
Pirmiausia suformuojamas nurodytų skaičių sandauga:
z 1 z 2 = *
Tada moduliai padauginami tarpusavyje ir pridedami argumentai:
z 1 z 2 = (4 * 7) *
Išraiška supaprastinta:
z 1 z 2 = 28 * (cos 150 o + (i * sin 150 o ).
Galiausiai taikoma Moivre'o teorema:
(z1 * z2) ² = (28 * (cos 150 o + (i * sin 150 o )) ² = 784 (cos 300 o + (i * sin 300 o )).
Neigiamų galių apskaičiavimas
Padalijus du sudėtingus skaičius z 1 ir z 2 jų polinėje formoje, modulis padalijamas ir argumentai atimami. Taigi koeficientas yra z 1 ÷ z 2 ir išreiškiamas taip:
z 1 ÷ z 2 = r1 / r2 ().
Kaip ir ankstesniu atveju, jei norime apskaičiuoti (z1 ÷ z2) ³, pirmiausia atliekamas padalijimas, o tada naudojama Moivre'o teorema.
3 pratimas
Kauliukai:
z1 = 12 (cos (3π / 4) + i * sin (3π / 4)),
z2 = 4 (cos (π / 4) + i * sin (π / 4)),
apskaičiuokite (z1 ÷ z2) ³.
Sprendimas
Atlikus aukščiau aprašytus veiksmus, galima daryti išvadą, kad:
(z1 ÷ 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)).
Nuorodos
- Arthur Goodman, LH (1996). Algebra ir trigonometrija su analitine geometrija. „Pearson Education“.
- Croucher, M. (nd). Iš Moivre'o trigubų tapatybių teoremos. „Wolfram“ demonstracinis projektas.
- Hazewinkel, M. (2001). Matematikos enciklopedija.
- Maxas Petersas, WL (1972). Algebra ir trigonometrija.
- Pérez, CD (2010). „Pearson Education“.
- Stanley, G. (nd). Tiesinė algebra. Graw-Hill.
- , M. (1997). Išankstinis skaičiavimas. „Pearson Education“.