Yukarıdaki cevabıma eklenen soru sanırım ayrı bir madde olmaya hak kazanıyor.
Gerçel sayılarda karesi 4 olan iki sayı vardır, 2 ve −2. Bunlardan biri diğerinden daha büyüktür; dolayısıyla gerçel sayılarda iki karekökten biri seçilebilir. Ve bu seçim çok doğaldır. Gerçel sayılarda kök alma işlemi iyi tanımlanmıştır çünkü iki kökten pozitif olanını seçebiliriz. Bu nedenle √4=2 olur, −2 olmaz.
Oysa pozitif karmaşık sayı diye bir şey yok, dolayısıyla aynı yöntemi kullanamayız. Aslında şansımız yaver gidecek ve iki kökten birini seçebileceğiz, ama seçimimiz sorunlara gebe olacak.
Bir z karmaşık sayısı alalım. Eger z=0 ise √z=0 olur tabii ki. Bundan böyle z≠0 varsayımı yapalım. r>0 ve α∈[0,2π) olmak üzere
z=reiα
olarak yazalim. Bu turden yazılıma
z'nin poler yazılımı diyelim. Kolaylık olsun diye
r=1 alalım. Eğer bu durumda iki karekökten birini seçebilirsek, o zaman
r'nin 1 olmadigi durumda da seçebiliriz.
z=eiα sayısı,
x=eiα/2 ve y=−eiα/2
sayılarının karesidir. Bu ikisinden birini seçmeliyiz. Hangisini? Eksi işaretine aldanıp biri negatif, diğeri pozitif, pozitif olanı seçeyim demeyin. Çünkü karmaşık sayılarda pozitiflik diye bir şey yok. (Bu
x ve
y sayılarını karmaşık düzlemde birim çemberin üstünde göstermek yararlıdır, aralarında
π derece kadar fark vardır, yani
(0,0) noktasına göre simetriktirler.) Yukarıdaki gösterimde,
x sayısı standart poler formunda da,
y değil.
y sayısının standart poler yazılımını bulalım:
y=−eiα/2=eiπeiα/2=ei(π+α/2)
olur. Demek ki z'nin karekökü olarak,
x=eiα/2 ile ei(π+α/2)
sayılarından birini seçmeliyiz. Bir başka deyişle
α/2 ile
π+α/2 sayılarından birini seçmeliyiz. Belli bir kurala göre seçebilir miyiz? Evet:
α açısı
[0,2π) aralığında olduğundan,
α/2 acisi
[0,π) aralığında ve
π+α/2 açısı
[π,2π) aralığındadır. Bu açılardan biri
[0,π) aralığında, diğeri
[π,2π) aralığında. Biz hep
[0,π) aralığındaki açıyı seçelim. En doğal seçim bu sanki. Demek ki
√z=√eiα=eiα/2
tanımını kabul etmeye karar verdik.
Eğer α açısı 0'a çok yakınsa, yani z, 1'e çok yakınsa ama 1'in üstündeyse (birim çemberde gösterin), √z de 1'e cok yakin olur, hatta 1'e z'den daha yakın olur çünkü ne de olsa α>α/2>0. Öte yandan eger α açısı 2π'ye çok yakınsa, yani z, 1'e çok yakınsa ama 1'in altındaysa, √z bu sefer −1'e çok yakın olur, çünkü α/2 bu sefer π'ye çok yakın. Yani tanımladığımız kök alma fonksiyonu z=1'de sürekli değil. Kök alma fonksiyonu karmaşık sayılarda tanımlanabilir ama her yerde sürekli olmaz. Bu tanımı uygularsanız √i sayısı şöyle bulunur:
√i=√eiπ/2=eiπ/4.