De Moivre formülü

Vikipedi, özgür ansiklopedi
Şuraya atla: kullan, ara

Matematikte de Moivre formülü, 18. yüzyıl Fransız matematikçisi Abraham de Moivre anısına isimlendirilmiş ve herhangi bir karmaşık sayı (özellikle herhangi bir gerçel sayı x ve herhangi bir tamsayı n) için şu ifadenin geçerli olduğunu önerir:

Bu formülün önemi (burada önünde i sanal birim ifade ile verilmiş olan) karmaşık sayılar ile trigonometri arasındaki bağlantıyı açıklamasındadır.

Bu formülde "cos x + i sin x" bazen "cis x" olarak kısaltılabilir.

Formülün sol tarafi binom teoremi kullanarak açılıp gerçel kısmına ve sanal kısmına yeni şekil verilirse, cos(nx) ve sin(nx) için yalnızca sin(x) ve cos(x) kullanan uygulamalı matematikde çok önemli ifadeler elde edilir.

Bu formülün diğer bir uygulaması ise De Moivre sayısı adı verilen birimin köklerini (yani 1in köklerini) karmaşık sayılar (yani zn = 1 ise zkarmaşık sayıları) ile ifade edilmesini sağlamasıdır

Tarihi olarak başka şekilde isbat edilmekle beraber, de Moivre'in formülü Euler'in formülünü kullanarak hemen şöyle isbat edilebilir:

ve üstel yasaya göre

O halde Euler'in formülü ile,

. olur.

İndüksiyon ile ispat[değiştir | kaynağı değiştir]

Üç değişik hal ele alınabilir:

Eğer n > 0 ise, matematiksel endüksiyon ile şöyle ilerliyebiliriz.

Eğer n = 1 ise, sonuç açıkca geçerlidir. Hipotezimiz icin, sonucun bir tamsayı olan k için geçerli olduğunu varsayalım. Yani varsayımız şu olsun:

Şimdi n = k + 1 halini ele alalim:

Bundan, eğer sonucun, n = k için geçerli olması halinde, n = k + 1 için de geçerli olduğu anlamına varılır. Öyle ise, matematik endüksiyon prensipine göre, tüm pozitif tamsayılar için (yani n≥1 için) bu sonuç geçerli olur.

Eğer n = 0 ise, olduğu için ve konvansiyonel olarak olarak verildiği için, bu formül geçerlidir.

Eğer n < 0 ise, n = -m olduğu zaman bir pozitif tamsayı m ele alsın. O halde

Böylelikle, teorem nin tüm tamsayı değerleri için geçerlidir.

Kosinus ve sinus için tek tek formüller[değiştir | kaynağı değiştir]

Karmaşık sayıların eşitliğini gösterdiği için bu denklemin hem gerçel kısımları hem de sanal kısımları ayrı ayrı birbirine eşit olmalıdır. Eğer x (ve bundan dolayı ve ) gerçel sayılar ise, o zaman bu kısımların özdeşlikleri (taraf değiştirilerek) şöyle yazılabilir:

Ayrıştırılamadı (bilinmeyen işlev "\begin{alignat}"): {\displaystyle \begin{alignat}2 \cos(nx)&=\sum_{i=0}^{\lfloor n/2\rfloor}{\tbinom{n}{2i}}(-1)^i(\cos{x})^{n-2i}(\sin{x})^{2i}& &=\sum_{i=0}^{\lfloor n/2\rfloor}{\tbinom{n}{2i}}(\cos{x})^{n-2i}((\cos{x})^2-1)^i\\ \sin(nx)&=\sum_{i=0}^{\lfloor (n-1)/2\rfloor}{\tbinom{n}{2i+1}}(-1)^i(\cos{x})^{n-2i-1}(\sin{x})^{2i+1}& &=(\sin{x})\sum_{i=0}^{\lfloor(n-1)/2\rfloor}{\tbinom{n}{2i+1}}(\cos{x})^{n-2i-1}((\cos{x})^2-1)^i\\ \end{alignat}}

Bu denklemler xin karmaşık değerleri için geçerlidir. Buna neden, her iki tarafın da x in holomorf fonksiyonları olması ve gerçel eksende birbiriyle çakışan bu şekildeki iki fonksiyonun karmaşık düzeyde de mutlaka birbiriyle çakışması gereğidir.

Bu denklemlerin örnek ifadeleri olarak ve için şu sonuçlar çıkarılır:

Ayrıştırılamadı (bilinmeyen işlev "\begin{alignat}"): {\displaystyle \begin{alignat}2 \cos(2x) &= (\cos{x})^2 +((\cos{x})^2-1) &&= 2(\cos{x})^2-1\\ \sin(2x) &= 2(\sin{x})(\cos{x})\\ \cos(3x) &= (\cos{x})^3 +3\cos{x}((\cos{x})^2-1) &&= 4(\cos{x})^3-3\cos{x}\\ \sin(3x) &= 3(\cos{x})^2(\sin{x})-(\sin{x})^3 &&= 3\sin{x}-4(\sin{x})^3\\ \end{alignat}}

için formülün sağ tarafı gerçekte değerli Çebişev polinomu olan ifadesinin n(cosx) değeridir.

Genelleştirme[değiştir | kaynağı değiştir]

Bu formül yukarıda verilen hallerden daha geniş hallerde de geçerlidir. Eğer z ve w karmaşık sayılarsa, o halde

bir çokludeğerli fonksiyon olur ve

ise bir çokludeğerli fonksiyon olmaz. Böylece

ifadesi sunun bir parcasidir .

1 in küpköklerinin karmaşık düzeyde gösterimi.

Uygulamalar[değiştir | kaynağı değiştir]

Bu formül bir karmaşık sayı için ninci kökleri bulmak için kullanılabilir. Eğer bir karmaşık sayı ise bu polar koordinatlı olarak şu şekilde yazılabilir:

O halde

olur. Burada tamsayıdır. için tane değişik kök bulmak için nin den e aralığını incelemek gerekir.

Ayrıca bakınız[değiştir | kaynağı değiştir]

Dış bağlantılar[değiştir | kaynağı değiştir]