Bu blogda daha önce üçüncü (cubic) ve dördüncü (quartic) dereceden cebirsel denklemleri çalıştık. Cebirde Abel-Ruffini teoremi olarak bilinen bir önerme derecesi dörtten büyük olan cebirsel denklemlerin köklerinin cebirsel yöntemlerle (aritmetik işlemler ve kök alma gibi) bulunamayacağını söyler. Dolayısıyle en genel haliyle beşinci (quintic) dereceden bir denklemin köklerini bulmak imkansızdır. Öte yandan acaba böylesi bir denklemi ne kadar sadeleştirebilirsek -en azından- sayısal çalışmalarda hesaplama kolaylığı getireceği aşikardır. En genel haliyle beşinci dereceden bir cebirsel denklem aşağıdaki gibidir.
AX5+BX4+CX3+DX2+EX+F=0 (☉)
Burada
A,B,C,D,E,F problemin altı parametresi,
X ise denklemin köklerini temsil eden bir niceliktir. (Cebirin temel teoremine göre en çok 5 farklı karmaşık sayı güneş/şems (☉) işaretli denklemi sağlayabilir.)
Güneş işaretli denklemde A≠0 olmalıdır. Aksi takdirde denklemin derecesi dörde düşer ve bu bizi konunun dışına çıkarır. O zaman b:=B/A, c:=C/A, d:=D/A, e:=E/A ve f:=F/A ile yeni parametreler tanımlayabilir ve güneş işaretli denklemi şöyle de ifade edebilir.
X5+bX4+cX3+dX2+eX+f=0 (☿)
Hem Merkür/Utarid (☿) hem de güneş işaretli denklemlerin aynı kökleri paylaştıkları barizdir ama Merkür işaretli denklem 5 parametreye bağlı olduğundan daha sadedir. Baş katsayısı 1 olduğu için bu denklemlere tekabül eden polinomlara
monik polinomlar denir. Bu noktada şöyle bir gözlem yapabiliriz:
b=0 ise, o zaman Merkür işaretli denklemin derecesi değişmez ama dördüncü dereceden terim uzaklaşmış olur. (Literatürde buna, derecesi
n olan cebirsel ifadeden derecesi
n−1 olan ifadenin uzaklaşmasına, o denklemin
depressed formu denir.) Dahası eğer
b≠0 ise, o zaman
X=:bξ ile yeni bir değişken tanımlayabilir ve bu ifadeyi Merkür işaretli denkleme yerleştirip her iki tarafı da
b5 ile bölersek, o zaman
c′:=c/b2,
d′:=d/b3,
e′:=e/b4 ve
f′:=f/b5 ile aşağıdaki Venüs/Zühre işaretli (♀) denkleme ulaşırız.
ξ5+ξ4+c′ξ3+d′ξ2+e′ξ+f′=0 (♀)
Venüs işaretli denklemin sadece 4 parametreye bağlı olduğunu ama hala dördüncü dereceden terimini koruduğunu görüyoruz.
b katsayısı ne olursa olsun, denklemden dördüncü dereceden terimi tamamen uzaklaştırmak suretiyle parametre sayısını 4'e düşürmek problemi hiç kuşkusuz daha da sadeleştirecektir.
Şimdi X=:Y−b/5 ile yeni bir Y değişkeni tanımlayalım ve bunu Merkür işaretli denklemde yerine koyalım. X ve Y arasındaki ilişki çok basit olduğundan birini hesaplamak ile ötekini hesaplamak aynıdır. Bu basamaktan sonra bir bilgisayar cebir sistemi (computer algebra system, CAS) kullanmayı şiddetle tavsiye ediyorum. Ben aşağıdaki hesaplamaları Maxima adlı yazılımla yaptım. (open-axiom ve Maple da cebirciler arasında yaygın olarak kullanılan diğer yazılımlardır.) Söz konusu işlemler yapıldığında Y niceliğinin sağladığı denklem (b ne olursa olsun) aşağıdaki gibidir ve sadece 4 parametreye bağlıdır.
Y5+pY3+qY2+rY+s=0 (♁)
Dünya/Yer (♁) işaretli bu denklemdeki yeni parametreler ile eski parametreler arasında
p:=c−25b2,
q:=d−35bc+425b3,
r:=e−25bd+325b2c−3125b4 ve
s:=f−15be+125b2d−1125b3c+43125b5 ilişkileri geçerlidir. Burada uyguladığımız yöntem çok geneldir ve derecesi
n olan bütün denklemlerden derecesi
n−1 olan terimi uzaklaştırmakta kullanılabilir. (Lütfen ispatlayınız.)
p≠0 ise, o zaman
Y=:p1/2ψ tanımıyla
ψ için elde edilen denklem 3 parametreye bağlı olur. (Lütfen deneyiniz.) Ama bu bizim çok büyük bir kazanım değil. Zira denklemdeki kübik terim hala orada durmaktadır.
Daha iyisini yapmak istiyoruz ama bunun bedeli epeyce ağır olacak. Yani Dünya işaretli denklemden kübik terimi von Tschirnhaus dönüşümüyle uzaklaştıracağız. Bu amaçla yeni bir Z değişkeni tanımlıyoruz. Bu Z değişkeninin sağladığı beşinci dereceden denklem istediğimiz formda.
Z5+αZ2+βZ+γ=0 (♂)
Mars/Merih (♂) işaretli denklemdeki Yunan harfleriyle temsil edilen katsayıları nasıl bulacağız? Bunun için
Y ve
Z arasında kuadratik bir ilişki olduğunu varsayıyoruz. (Neden lineer değil?)
Z=:Y2+δY+η (♃)
Jüpiter/Müşteri/Erendiz (♃) işaretli denklemde verilenlerle beraber toplamda 5 tane katsayıyı Dünya işaretli denklemdeki katsayılar
p,q,r,s cinsiden ifade etmemiz gerekiyor. Bu maksatla Newton toplamlarını tanımlayacağız. Derecesi
n, genel değişkeni
X ve kökleri
{x1,…,xn} olan bir
g(X):=anXn+an−1Xn−1+⋯+a0 polinomunun
k-Newton toplamı köklerin bir simetrik fonksiyonudur ve aşağıdaki denklemle tanımlanır.
Nk(X):=xk1+⋯+xkn (♄)
Satürn/Zuhal (♄) işaretli denklemde tanım gereği
N0(X)=n olduğunu gözleyiniz. Dahası birinci dereceden Newton toplamları bizim temel cebir derslerinden kökler toplamı diye adlandırdığımız temel simetrik fonksiyonlardan (Viète-Girard) ilkiyle aynıdır ve Dünya ve Mars işaretli denklemlere bakarak kolayca
N1(Y)=N1(Z)=0 oldukları görülür. (Her iki denklemde de dördüncü dereceden terimin katsayısı sıfırdır.) von Tschirnhaus'un yöntemini örnekleyerek anlatalım. Şimdi Jüpiter işaretli denklemden 5 kopya hazırlayalım ve birinci kopyada
Z=z1 ve
Y=y1 ilh. koyalım. Ardından bu beş kopyayı taraf tarafa topladığımızda aşağıdaki denkleme ulaşıyoruz.
N1(Z)=N2(Y)+δN1(Y)+5η ⇒ η=−15N2(Y) (♅)
Farkında mısınız Uranüs (♅) işaretli denklem katsayılardan birisini hemen verdi. Yalnız küçük bir sorun var: ikinci dereceden Newton toplamlarını veya en genel haliyle diğer Newton toplamlarını polinomun (ya da cebirsel denklemin) katsayıları cinsinden ifade etmeyi bilmiyoruz! İspatına başka bir zaman girişmek üzere
g polinomunun katsayıları ile onun Newton toplamları arasındaki şu indüktif ilişkiyi not edelim. (İspat için polinomlara dair bir cebir kitabına bakınız.)
N0=n, (n−k)an−k=anNk+⋯+a0Nk−n (♆)
Neptün (♆) etiketli denklemde
i<0 ise o zaman
ai=Ni=0 konvansiyonunu uygulamayı kabulleniyoruz. Neptün denklemini kullanarak beşinci dereceden polinomların ikinci dereceden Newton toplamları için
0=a5N2+a4N1+2a3 formülüne ulaşıyoruz. Dünya ve Mars etiketli denklemlerle kolayca
N2(Y)=−2p ve
N2(Z)=0 ara sonuçlarına ulaşıyoruz. İşte von Tschirnhaus dönüşümü için tayin etmemiz gereken ilk katsayıya ulaştık:
η=25p.
δ katsayısını bulmak için Jüpiter denkleminin karesini alıyoruz: Z2=Y4+2δY3+(2η+δ2)Y2+2δηY+η2. Ardından bu denklemin 5 kopyasını hazırlayıp ilk kopyada Z=z1 ve Y=y1, ilh. yani kökler üzerinden toplarsak, o zaman
N2(Z)=δ2N2(Y)+2(ηN1(Y)+N3(Y))δ+N4(Y)+2ηN2(Y)+5η2 denklemine ulaşıyoruz. Newton toplamlarını veren Neptün bağıntısını Dünya denklemi için uyguladığımızda N3(Y)=−3q ve N4(Y)=2p2−4r elde ederiz. (Lütfen aradaki işlemleri tamamlayınız.) Daha önceki bulgularımızla birleştirdiğimizde δ için kuadratik bir denklemi çözmemiz gerektiği ortaya çıkar.
5pδ2+15qδ−3p2+10r=0 ⇒ δ=−15q±√Δ10p (♇)
Pluto (♇) denkleminde diskriminant
Δ:=225q2+60p2−200rp ile tanımlanıyor. Şimdi bazı işaretlerde bulunalım. (1)
Δ<0 için gerçel
p,q,r,s katsayılardan başlasak bile von Tschirnhaus dönüşümünde karmaşık sayıları kullanmaya mecbur kalacağımız aşikardır. (2) Pluto denkleminde
p=0 durumu bizi hiç endişelendirmiyor. Çünkü
p=0 durumunda Dünya denkleminde von Tschirnhaus dönüşümüne gerek kalmaz.
Jüpiter denkleminin sağ tarafındaki katsayılar belirlendi. Şu aşamada geriye kalan α,β,γ katsayılarını nasıl tayin etmemiz gerektiği artık anlaşılmış olmalı. Örneğin Jüpiter denkleminin küpünü alıp kökler üzerinden topladığımızda sol tarafta N3(Z)=−3α olacak. Sağ taraf ne kadar korkunç olursa olsun (altıncı dereceden Newton toplamı gibi!), orada her şey bilindiği için bu yöntemle α katsayısını da tayin etmiş olacağız. N4(Z)=−4β olduğundan Jüpiter denkleminin dördüncü kuvvetini alıp kökler üzerinden toplarsak o zaman β katsayısını da tayin ederiz. Son olarak N5(Z)=−5γ ile Jüpiter denkleminin beşinci kuvvetini alıp kökler üzerinden toplarsak bu bize γ katsayısını verir. α,β,γ katsayılarının tamamen cebirsel işlemler kullanılarak hesaplanabileceğini ispatlamış olduk ve böylece von Tschirnhaus dönüşümü tamamlanmış oldu. Kabul edelim ki α,β,γ için açık ifadeler vermedik ama böylesi bir çaba postanın hacmini epeyce arttıracağı gibi hammaliyetten başka bir şey de getirmeyecektir. Şunu da eklememiz lazım ki burada yaptığımız kuadratik dönüşümle derecesi n olan bir cebirsel denklemden hem derecesi n−1 hem de derecesi n−2 olan terimler uzaklaştırılabilirler. Yani çalışmamız beşinci dereceden denklemlere has değildir.
Parametre sayısını daha da düşürmek için ne yapmamız gerektiği artık bariz. Mars işaretli denklemde Z=:κW kor ve denklemin her iki tarafını κ5 ile bölersek, o zaman κ:=α1/3 seçimiyle bütün beşinci dereceden denklemlerin
W5+W2+β′W+γ′=0
formuna getirileceği görülür. Burada
β′:=β/κ4 ve
γ′:=γ/κ5 ile tanımlanıyorlar.
Hem von Tschirnhaus dönüşümünün genel mantığı hem de skala dönüşmü ile bir parametreden kurtulmak artık anlaşılmıştır. Mars işaretli denklemden ikinci dereceden terimi de uzaklaştırmak istersek bunun için yapmamız gereken dönüşüm beklenildiği gibi üçüncü değil dördüncü dereceden olacak. Konumuzun dışında ama beşinci dereceden denklemlerin Bring-Jerrard formu aşağıda Koç (♈) işaretli denklemle veriliyor.
W5+lW+m=0 (♈)
Artık Mars denklemindeki
α,β,γ katsayılarının bilindiğini varsayıyoruz. O zaman
W ve
Z dönüşümleri arasında aşağıdaki dördüncü dereceden von Tschirnhaus dönüşümünü tanımlayalım.
W=:Z4+ζZ3+εZ2+θZ+κ (♉)
Boğa (♉) işaretli denklemle Koç deklemindeki
ζ,ε,θ,κ,l,m katsayılarını
α,β,γ cinsinden ifade etmemiz gerekiyor. Toplamda altı tane tayin var. Bu epeyce (ama epeyce) uzun işlemler sonrasında yapılabilecek bir tayin. Bring-Jerrard yöntemini genel hatlarıyla daha sonra tartışmak üzere bu postayı kapatıyorum.