Kutupsal gösterim bölümünde incelediğimiz çarpma kuralı bir karmaşık sayıya tekrarlı şekilde uygulandığında görülür ki, kutupsal gösterimdeki bir karmaşık sayının pozitif tam sayı üssü alınırken sayının modülünün aynı sayı üssü, argümanının üs ile çarpımı alınır.
\( n \in \mathbb{Z^+} \) olmak üzere,
\( z = r(\cos{\theta} + i\sin{\theta}) \) olmak üzere,
\( z^n = r^n[\cos(n\theta) + i\sin(n\theta)] \)
\( z = 2\left( \cos{\dfrac{\pi}{5}} + i\sin{\dfrac{\pi}{5}} \right) \)
\( z^2 = 2^2\left( \cos{\dfrac{2\pi}{5}} + i\sin{\dfrac{2\pi}{5}} \right) \)
\( z^3 = 2^3\left( \cos{\dfrac{3\pi}{5}} + i\sin{\dfrac{3\pi}{5}} \right) \)
Verilen eşitliği bir \( p(n) \) açık önermesi şeklinde tanımlayalım ve doğruluğunu ispatlamak için tümevarım yöntemini kullanalım.
\( p(n): z^n = r^n[\cos(n\theta) + i\sin(n\theta)] \)
Başlangıç adımı: Önermenin \( n = 1 \) için doğru olduğunu gösterelim.
\( n = 1 \) için ifade \( z \) sayısının polar gösterimine eşittir.
\( p(1): z^1 = z = r(\cos{\theta} + i\sin{\theta}) \)
Buna göre \( p(1) \) doğrudur.
Tümevarım adımı: \( k \ge 1 \) olmak üzere, önermenin \( n = k \) için doğru olduğunu kabul edelim ve \( n = k + 1 \) için de doğru olduğunu gösterelim.
\( p(k) \Rightarrow p(k + 1) \)
Tümevarım hipotezi: \( p(k) \) önermesinin doğru olduğunu kabul edelim.
\( z^k = r^k[\cos(k\theta) + i\sin(k\theta)] \)
\( p(k + 1) \) önermesinin doğru olduğunu gösterelim.
\( z^{k+1} \stackrel{?}{=} r^{k+1}[\cos((k + 1)\theta) + i\sin((k + 1)\theta)] \)
\( z^{k+1} \) ifadesini \( z^k \) ve \( z \) ifadelerinin çarpımı şeklinde yazarak yukarıdaki eşitliği elde etmeye çalışalım.
\( z^{k+1} = z^kz \)
\( = [r^k(\cos(k\theta) + i\sin(k\theta))][r(\cos{\theta} + i\sin{\theta})] \)
Kutupsal gösterimdeki iki karmaşık sayı arasındaki çarpma işleminde sayıların modüllerinin çarpımı, argümanlarının toplamı alınır.
\( = (r^kr)[\cos(k\theta + \theta) + i\sin(k\theta + \theta)] \)
\( = r^{k+1}[\cos((k + 1)\theta) + i\sin((k + 1)\theta)] \)
\( p(k + 1) \) önermesindeki eşitliğin sağ tarafını elde etmiş olduk.
O halde \( p(k) \) doğru ise \( p(k + 1) \) de doğru olur.
Dolayısıyla, tümevarım yöntemine göre \( p(n) \) önermesi her \( n \ge 1 \) tam sayısı için doğrudur.
Bu kuralın negatif tam sayı üsler için de, dolayısıyla tüm tam sayılar için geçerli olduğu gösterilebilir.
\( m \in \mathbb{Z^+} \) olmak üzere,
\( z^{-m} = r^{-m}[\cos(-m\theta) + i\sin(-m\theta)] \)
\( z = 2\left( \cos{\dfrac{\pi}{4}} + i\sin{\dfrac{\pi}{4}} \right) \)
\( z^{-3} = 2^{-3}\left( \cos{\dfrac{(-3)\pi}{4}} + i\sin{\dfrac{(-3)\pi}{4}} \right) \)
\( = \dfrac{1}{8}\left( \cos\left( -\dfrac{3\pi}{4} \right) + i\sin\left( -\dfrac{3\pi}{4} \right) \right) \)
Aşağıdaki gibi bir karmaşık sayı tanımlayalım.
\( z = r(\cos{\theta} + i\sin{\theta}) \)
\( m \in \mathbb{Z^+} \) şeklinde bir pozitif tam sayı tanımlayalım.
Eşitliğin taraflarının \( -m \) kuvvetini alalım.
\( z^{-m} = [r(\cos{\theta} + i\sin{\theta})]^{-m} \)
\( = r^{-m}(\cos{\theta} + i\sin{\theta})^{-m} \)
\( = r^{-m}\dfrac{1}{(\cos{\theta} + i\sin{\theta})^m} \)
Paydadaki ifadeye pozitif tam sayı üs formülünü uygulayalım.
\( = r^{-m}\dfrac{1}{\cos(m\theta) + i\sin(m\theta)} \)
İkinci çarpanda paydayı rasyonelleştirmek için payı ve paydayı paydanın eşleniği ile çarpalım.
\( = r^{-m}\dfrac{\cos(m\theta) - i\sin(m\theta)}{(\cos(m\theta) + i\sin(m\theta))(\cos(m\theta) - i\sin(m\theta))} \)
\( = r^{-m}\dfrac{\cos(m\theta) - i\sin(m\theta)}{\cos^2(m\theta) + \sin^2(m\theta)} \)
Pisagor özdeşliğine göre paydadaki ifade 1'e eşittir.
\( = r^{-m}(\cos(m\theta) - i\sin(m\theta)) \)
Kosinüs çift, sinüs tek fonksiyondur, dolayısıyla iki fonksiyon için aşağıdaki özdeşlikler geçerlidir.
\( \cos(-m\theta) = \cos(m\theta) \)
\( \sin(-m\theta) = -\sin(m\theta) \)
Elde ettiğimiz son ifadede bu özdeşliklerin sağ tarafı yerine sol tarafını yazalım.
\( z^{-m} = r^{-m}(\cos(-m\theta) + i\sin(-m\theta)) \)
Buna göre ispatıyla birlikte verdiğimiz pozitif tam sayı üs kuralı, negatif tam sayı üs değerleri için de geçerlidir.
Pozitif ve negatif tam sayılar için geçerli olduğunu gösterdiğimiz üs kuralı formülünde \( r = 1 \) yazıldığında aşağıdaki de Moivre formülü olarak bilinen özdeşlik elde edilir.
\( n \in \mathbb{Z} \) olmak üzere,
\( (\cos{\theta} + i\sin{\theta})^n = \cos(n\theta) + i\sin(n\theta) \)
Bu formül ilk kez Fransız matematikçi Abraham de Moivre tarafından bulunmuştur ve karmaşık sayılarla trigonometri arasında bir köprü kurar.
Trigonometride gördüğümüz sinüs ve kosinüs iki kat açı formüllerini de Moivre formülünü kullanarak türetelim.
De Moivre formülünde \( n = 2 \) yazalım.
\( (\cos{\theta} + i\sin{\theta})^2 = \cos(2\theta) + i\sin(2\theta) \)
Eşitliğin sol tarafının açılımını yazalım.
\( \cos^2{\theta} + 2i\sin{\theta}\cos{\theta} + i^2\sin^2{\theta} = \cos(2\theta) + i\sin(2\theta) \)
Eşitliğin sol tarafını düzenleyelim.
\( (\cos^2{\theta} - \sin^2{\theta}) + 2i\sin{\theta}\cos{\theta} = \cos(2\theta) + i\sin(2\theta) \)
İki karmaşık sayının eşitliğinde sayıların reel ve sanal bileşenleri ayrı ayrı birbirine eşittir.
\( \cos(2\theta) = \cos^2{\theta} - \sin^2{\theta} \)
\( \sin(2\theta) = 2\sin{\theta}\cos{\theta} \)
Yukarıdaki iki özdeşlik sırasıyla trigonometride bulduğumuz kosinüs ve sinüs iki kat açı formülleridir.
Üstel gösterimdeki bir karmaşık sayının pozitif ve negatif tam sayı kuvvetleri de benzer şekilde alınabilir.
\( n \in \mathbb{Z} \) olmak üzere,
\( z^n = (re^{i\theta})^n = r^ne^{in\theta} \)
\( z^{-n} = (re^{i\theta})^{-n} = r^{-n}e^{-in\theta} \)
\( z = 3e^{i\frac{3\pi}{4}} \)
\( z^{100} = 3^{100}e^{i\frac{100 \cdot 3\pi}{4}} \)
\( = 3^{100}e^{i75\pi} \)
\( 75\pi \) açısının esas ölçüsünü yazalım.
\( = 3^{100}e^{i(37 \cdot 2\pi + \pi)} \)
\( = 3^{100}e^{i\pi} \)