Twierdzenie Moivre'a o tym, co składa się na demonstrację i rozwiązane ćwiczenia



The Twierdzenie Moivre'a stosuje podstawowe procesy algebry, takie jak moce i wydobywanie korzeni w liczbach zespolonych. Twierdzenie zostało wypowiedziane przez znanego francuskiego matematyka Abrahama de Moivre'a (1730), który powiązał liczby zespolone z trygonometrią.

Abraham Moivre dokonał tego skojarzenia poprzez ekspresję piersi i cosinusa. Ten matematyk wygenerował rodzaj formuły, dzięki której możliwe jest podniesienie liczby zespolonej z do potęgi n, która jest liczbą całkowitą dodatnią większą lub równą 1.

Indeks

  • 1 Co to jest twierdzenie Moivre'a??
  • 2 Demonstracja
    • 2.1 Podstawa indukcyjna
    • 2.2 Hipoteza indukcyjna
    • 2.3 Sprawdzanie
    • 2.4 Negatywna liczba całkowita
  • 3 rozwiązane ćwiczenia
    • 3.1 Obliczanie uprawnień pozytywnych
    • 3.2 Obliczanie mocy ujemnych
  • 4 odniesienia

Jakie jest twierdzenie Moivre'a??

Twierdzenie Moivre'a brzmi następująco:

Jeśli masz liczbę zespoloną w postaci biegunowej z = rƟ, gdzie r jest modułem liczby zespolonej z, a kąt Ɵ nazywany jest amplitudą lub argumentem dowolnej liczby zespolonej z 0 ≤ Ɵ ≤ 2π, aby obliczyć jej n-tą moc nie będzie konieczne mnożenie jej przez n-razy; to znaczy, nie ma potrzeby tworzenia następującego produktu:

Zn = z * z * z* ... * z = rƟ * rƟ * rƟ * ... * rƟ   n-razy.

Przeciwnie, twierdzenie mówi, że pisząc z w swojej trygonometrycznej formie, aby obliczyć n-tą moc, postępujemy następująco:

Jeśli z = r (cos Ɵ + i * sin Ɵ) następnie zn = rn (cos n * Ɵ + i * sin n * Ɵ).

Na przykład, jeśli n = 2, to z2 = r2[cos 2 (Ɵ) + i sin 2 (Ɵ)]. Jeśli masz to n = 3, to z3 = z2 * z. Ponadto:

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

W ten sposób można uzyskać stosunki trygonometryczne sinusów i cosinusów dla wielokrotności kąta, o ile znane są stosunki trygonometryczne kąta..

W ten sam sposób może być użyty do znalezienia bardziej precyzyjnych i mniej mylących wyrażeń dla n-tego korzenia liczby zespolonej z, tak że zn = 1.

Aby zademonstrować twierdzenie Moivre'a, stosuje się zasadę indukcji matematycznej: jeśli liczba całkowita „a” ma właściwość „P” i jeśli dla dowolnej liczby całkowitej „n” jest większa niż „a”, która ma właściwość „P”, to jest spełnia, że ​​n + 1 ma również właściwość „P”, wtedy wszystkie liczby całkowite większe lub równe „a” mają właściwość „P”.

Demonstracja

W ten sposób dowód twierdzenia jest wykonywany w następujących krokach:

Podstawa indukcyjna

Najpierw sprawdź n = 1.

Jak z1 = (r (cos Ɵ + i * sen Ɵ))1 = r1 (cos Ɵ + i * sen Ɵ)1 = r1 [cos (1* Ɵ) + i * sen (1* Ɵ)], mamy, że dla n = 1 twierdzenie jest spełnione.

Hipoteza indukcyjna

Zakłada się, że formuła jest prawdziwa dla pewnej dodatniej liczby całkowitej, to znaczy n = k.

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

Sprawdzanie

Okazało się, że jest prawdziwe dla n = k + 1.

Jak zk + 1= zk * z, następnie zk + 1 = (r (cos Ɵ + i * sen Ɵ))k + 1 = rk (cos kƟ + i * sen kƟ) *  r (cos Ɵ + i* senƟ).

Następnie wyrażenia mnożą się:

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

Przez chwilę współczynnik r jest ignorowanyk + 1,  a wspólny czynnik i zostaje usunięty:

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

Jak ja2 = -1, zastępujemy go w wyrażeniu i otrzymujemy:

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

Teraz część rzeczywista i część urojona są uporządkowane:

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

Aby uprościć wyrażenie, stosowane są trygonometryczne tożsamości sumy kątów dla cosinusu i sinusa:

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

sen (A + B) = grzech A * cos B - cos A * bo B.

W tym przypadku zmiennymi są kąty Ɵ i kƟ. Stosując tożsamości trygonometryczne, mamy:

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

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

W ten sposób pozostaje wyrażenie:

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

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

W ten sposób można wykazać, że wynik jest prawdziwy dla n = k + 1. Zgodnie z zasadą indukcji matematycznej stwierdza się, że wynik jest prawdziwy dla wszystkich dodatnich liczb całkowitych; to znaczy n ≥ 1.

Liczba całkowita ujemna

Twierdzenie Moivre'a jest również stosowane, gdy n ≤ 0. Rozważmy ujemną liczbę całkowitą „n”; wtedy „n” można zapisać jako „-m”, to znaczy n = -m, gdzie „m” jest dodatnią liczbą całkowitą. Dlatego:

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

Aby uzyskać wykładnik „m” w pozytywny sposób, wyrażenie jest napisane odwrotnie:

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

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

Teraz używa się tego, że jeśli z = a + b * i jest liczbą zespoloną, to 1 ÷ z = a-b * i. Dlatego:

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

Używając cos (x) = cos (-x) i że -sen (x) = sin (-x), musimy:

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

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

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

W ten sposób możemy powiedzieć, że twierdzenie dotyczy wszystkich wartości całkowitych „n”.

Rozwiązane ćwiczenia

Obliczanie pozytywnych mocy

Jedną z operacji z liczbami zespolonymi w formie polarnej jest mnożenie między nimi dwoma; w takim przypadku moduły są mnożone, a argumenty dodawane.

Jeśli masz dwie liczby zespolone z1 i z2 i chcesz obliczyć (z1* z2)2, Następnie postępujemy w następujący sposób:

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

Stosowana jest właściwość dystrybucji:

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

Są zgrupowane, przyjmując termin „i” jako wspólny czynnik wyrażeń:

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

Jak ja2 = -1, zostaje zastąpione w wyrażeniu:

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

Prawdziwe terminy są przegrupowane z prawdziwymi i wyimaginowanymi z wyobrażeniami:

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

Na koniec stosuje się właściwości trygonometryczne:

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

Podsumowując:

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

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

Ćwiczenie 1

Wpisz liczbę zespoloną w formie polarnej, jeśli z = - 2 -2i. Następnie, używając twierdzenia Moivre'a, obliczyć z4.

Rozwiązanie

Liczba zespolona z = -2 -2i jest wyrażona w postaci prostokątnej z = a + bi, gdzie:

a = -2.

b = -2.

Wiedząc, że forma polarna jest z = r (cos Ɵ + i * sin Ɵ), musisz określić wartość modułu „r” i wartość argumentu „Ɵ”. Ponieważ r = √ (a² + b²), podane wartości są zastępowane:

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

= √ (4 + 4)

= √ (8)

= √ (4 * 2)

= 2√2.

Następnie, aby określić wartość „Ɵ”, stosuje się prostokątną formę tego wzoru, którą określa wzór:

tan Ɵ = b ÷ a

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

Jako tan (Ɵ) = 1 i musisz<0, entonces se tiene que:

Ɵ = arctan (1) + Π.

= Π / 4 + Π

= 5Π / 4.

Ponieważ wartość „r” i „Ɵ” została już uzyskana, liczba zespolona z = -2 -2i może być wyrażona w formie polarnej przez podstawienie wartości:

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

Teraz twierdzenie Moivre'a służy do obliczenia z4:

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

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

Ćwiczenie 2

Znajdź produkt liczb zespolonych, wyrażając go w formie polarnej:

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

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

Następnie oblicz (z1 * z2) ².

Rozwiązanie

Najpierw tworzony jest produkt podanych liczb:

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

Następnie pomnóż moduły razem i dodaj argumenty:

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

Wyrażenie jest uproszczone:

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

Wreszcie stosuje się twierdzenie Moivre'a:

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

Obliczanie mocy ujemnych

Aby podzielić dwie liczby zespolone z1 i z2 w swojej formie polarnej moduł jest podzielony i argumenty są odejmowane. Zatem iloraz wynosi z1 ÷ z2 i jest to wyrażone w następujący sposób:

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

Podobnie jak w poprzednim przypadku, jeśli chcesz obliczyć (z1 ÷ z2) ³ najpierw dokonywany jest podział, a następnie stosowane jest twierdzenie Moivre'a.

Ćwiczenie 3

Biorąc pod uwagę:

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

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

oblicz (z1 ÷ z2) ³.

Rozwiązanie

Postępując zgodnie z krokami opisanymi powyżej, można stwierdzić, że:

(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)).

Referencje

  1. Arthur Goodman, L. H. (1996). Algebra i trygonometria z geometrią analityczną. Pearson Education.
  2. Croucher, M. (s.f.). Z twierdzenia Moivre'a dla tożsamości Triga. Wolfram Demonstrations Project.
  3. Hazewinkel, M. (2001). Encyklopedia matematyki.
  4. Max Peters, W. L. (1972). Algebra i trygonometria.
  5. Pérez, C. D. (2010). Pearson Education.
  6. Stanley, G. (s.f.). Algebra liniowa Graw-Hill.
  7. , M. (1997). Precalculus Pearson Education.