Daha önce bu blogda düzgün onyedigenin trigonotmetrisini Casey'nin A Treatise on Plane Trigonometry adlı kitabından bir algoritma eşliğinde çalışmıştık. Benzer bir çalışmanın düzgün onüçgen için nasıl yapılacağını alıştırmalar şeklinde yine Casey'nin kitabından (sayfa 64) aktaracağım. Takip edilen basamaklar hemen hemen düzgün onyedigen için yaptıklarımızla aynı. Bir çemberi merkezinden birbirine eşit 13 parçaya dilimlediğimizde tepe açısı 2π/13 olan açılar ortaya çıkacaktır. Biz bu postada α:=π/13 açısının trigonometrisine bakacağız. Alıştırmanın basamakları yan sütundadır.
Alıştırmaların son basamğından da görüleceği üzere cos(π/13) için üretilen cebirsel denklem kuartik yani dördüncü dereceden. O zaman bu denklem analitik yöntemlerle (mesela Ferrari-Cardano metoduyla) çözülebilir. Kuartik denklemlerin bir sakıncası genelde çözümleri için ara basamakta resolvent cubic
diye tabir edilen üçüncü dereceden denklemlere ihtiyaç duyulmasıdır. (Kübik denklemlerin çözümünü daha önce bu blogda çalıştık.) Bu ise çoğu zaman karmaşık sayılara başvurmayı mecburi kılar. Düzgün onyedigeni eğer şimdi çalıştığımız yöntemle çalışsaydık, yani Chebyshev polinomlarının T9(z)=T8(z) eşitliğinin köklerini soruştursaydık, o zaman karşımıza sekizinci dereceden bir denklem çıkacaktı. Tabii ki en genel haliyle sekizinci dereceden cebirsel denklemler çözülemez. Ama bizim orada uyguladığımız algoritma bu sekizinci dereceden denklemi üç defa kuadratik formülünü uygulayarak çözmüştü.
- n pozitif bir tamsayı olmak üzere θ:=π/(2n+1) tanımlanıyor. n−1∑k=0cos((2k+1)θ)=12 olduğunu gösteriniz.
- cosα+cos3α+cos9α ve cos5α+cos7α+cos11α niceliklerinin x2−12x−34=0 denkleminin kökleri olduğunu gösteriniz.
- cos((k+1)θ)=2cos(θ)cos(kθ)−cos((k−1)θ) olduğunu gösteriniz. Bu aynı zamanda Chebyshev polinomları için de geçerli olan yineleme bağıntısıdır.
- Çalıştığımız açı cos(9α)=−cos(4α) denklemini sağlar. Bunu köklerden birisinde yerine koyarak z:=2cos(α) tanımıyla z4−z3−4z2+2z+5+√132=0 olduğunu gösteriniz.
Hiç yorum yok:
Yorum Gönder