Cebirsel denklemlerden derecesi sadece dörde kadar olan denklemlerin köklerini cebirsel yöntemlerle hesaplayabiliyoruz. Birinci dereceden denklemleri çözmek aşırı derecede kolay. Biz öğrenciyken ax+b=0 denkleminin a≠0 olmak kaydıyla çözümünün x=−b/a olduğu orta okuldayken anlatılırdı. Kuadratik (ikinci dereceden) denklemlerin çözümlerini ise lise birinci sınıfta öğrendik. 500 yıl önce çözümleri Ferrari ve Cardano tarafından yapılan kübik ve kuartik (sırasıyla, üçüncü ve dördüncü dereceden) denklemlerin cebirsel çözümlerini ise ben, itiraf edeyim ki, analitik kimya dersini verirken öğrendim ve iki dönem öğrencilerime de aktarmaya çalıştım. Günümüzde fizikçilerin ve kimyacıların kübik ve kuartik denklemler için hala Raphson-Newton gibi kestirme yöntemler kullanması bir trajikomedidir. Örneğin monoprotik zayıf bir asidin sulu çözeltisindeki hidronyum derişimini dürüstçe tayin etmek için kübik bir denklemin köklerini bulmanız gerekir. Tüm analitik kimyacılar burada kestirme bir yöntem veya bir bilgisayar cebir sistemi kullanıyor olmaktan hiçbir acziyet hissetmezler. Cehalet saadettir.
diyenin bir bildiği var.
Daha önce yerölçüsünde kübik denklemlerin Cardano yöntemiyle cebirsel çözümünü anlatmış, ilgili işlemlerin C dilinde yapıldığı bir bilgisayar programına da yer vermiştik. Bu postada ise kuartik denklemlerin çözümünü yapacağız. Çözümü, ünlü cebirci Leonard Eugene Dickson'ın (1874-1954) First Course in the Theory of Equations adlı kitabının 48. bölümünden buraya aktaracağım. (Umarım bir tercüman ve yayın evi bu kitabın tercümesine ve Türkçe basımına zaman ve para ayırır.)
Kuartik denklemlerin hemen hemen en genel hali aşağıdaki formdadır. x4+bx3+cx2+dx+e=0
Hemen hemenbu formda olduğunu söyledik çünkü denklemin önde giden teriminin katsayısı 1 ve bu yüzden çok az ve önemsiz bir genellik kaybı var. Bu denklemdeki son üç terimi denklemin sağ tarafına atarsak, o zaman aşağıdaki forma ulaşıyoruz. x4+bx3=−cx2−dx−e
Çözümün bu aşamasında Ferrari, değeri sonradan tayin edilecek bir y değişkeni tanımlıyor ve bir önceki denklemin her iki tarafına da (x2+12bx)y+14y2 ifadesini ekliyor. Bu ilaveyle denklemin sol tarafı hala bir tam kare olma özelliğini koruyor. (x2+12bx+12y)2=(14b2−c+y)x2+(12by−d)x+14y2−e (∗)
resolvent cubic equation) ulaşıyoruz. y3−cy2+(bd−4e)y−b2e+4ce−d2=0
Hiç yorum yok:
Yorum Gönder