Gauss-Lucas teoremi

Matematiğin bir alt dalı olan karmaşık analizde **Gauss-Lucas teoremi**, bir polinomun kökleri ile yine aynı polinomun türevinin kökleri arasında geometrik bir ilişki ortaya koyar. 
Gerçel veya karmaşık katsayılı polinomların kökleri karmaşık düzlemde sonlu bir küme oluşturur. Teorem, polinomun türevinin köklerinin, polinomun köklerinden oluşan kümenin dışbükey kaplamında yer aldığını ifade eder. Diğer deyişle, polinomun köklerinin hepsini birden içeren en küçük dışbukey çokgen, polinomun türevinin köklerini de içerir. 
Teorem, Carl Friedrich Gauss ve Félix Lucas'ın adlarını taşımaktadır.

## Teoremin ifadesi
Karmaşık katsayılı ve sabit olmayan bir polinomun türevinin kökleri, polinomun köklerinin dışbükey kaplamının içindedir.

## Özel hâller
* P(x) = ax^2+bx+c ikinci dereceden bir polinomsa,  o zaman P'(x) = 2ax+b polinomunun kökleri P'in köklerinin aritmetik ortalamasıdır.
* Üç ayrı sıfırı olan üçüncü dereceden karmaşık bir polinom P(kübik fonksiyon) için Marden teoremi, P'nin türevinin sıfırlarının, P'nin sıfırlarının oluşturduğu üçgenin orta noktalarına teğet olan tek elips olan Steiner elipsinin odakları olduğunu belirtir.
* Dört ayrı sıfırı içbükey bir dörtgen oluşturan dördüncü dereceden karmaşık bir polinom P (kuartik fonksiyon) için, P'nin sıfırlarından biri diğer üçünün dışbükey kaplamının içinde yer alır. Bu sebeple, geriye kalan diğer üç noktanın oluşturduğu üçgen şeklindeki dışbükey kaplam, içeride kalan kökten diğer köklere çizilen doğru parçalarıyla üç ayrı üçgene bölünür. O zaman, bu üçgenlerden biri P'nin türevinin sıfırlarından hiçbirini içermez.
* Ayrıca, gerçel katsayılı n dereceli bir polinomun n farklı gerçek sıfırı varsa (x_1), Rolle teoremini kullanılarak polinomun türevinin sıfırlarının [x_1,x_n] aralığında olduğunu görürüz ki bu aralık \{x_1,\cdots ,x_n\} kümesinin dışbükey kaplamıdır.
*  p_n x^n+p_{n-1}x^{n-1}+\cdots +p_0  biçimindeki bir polinomun köklerinin dışbükey kaplamı, özellikle, -\frac{p_{n-1}}{n\cdot p_n} noktasını da içerir.

## İspat
Karmaşık katsayılı, derecesi n olan ve sabit olmayan bir polinomu P ile gösterelim. 
Cebirin temel teoremi gereği P çarpanlarına ayrılır. 
: P(z)= \alpha \prod_{i=1}^n (z-a_i).
Burada, a_1, a_2, \ldots, a_n sayıları karmaşık sayıdır ve polinomun köklerini temsil etmektedir. Bu sayılar, birbirinden farklı olmak zorunda değillerdir. \alpha karmaşık sayısı da sıfıra eşit değildir ve polinomun en başta gelen katsayısıdır:   P(z)= \alpha z^n+\cdots.

z sayısı, P' fonksiyonun kökü olsun. z sayısı aynı zamanda P nin de köküyse, o zaman teorem zaten doğrudur. Ama  z sayısı Pnin kökü değilse, logaritmik türev aracılığıyla

:0 =  \frac{P^\prime(z)}{P(z)} = \sum_{i=1}^n \frac{1}{z-a_i} = \sum_{i=1}^n \frac{\overline{z}-\overline{a_i}} {|z-a_i|^2}
yazılır. Bu yüzden,
:
\sum_{i=1}^n \frac{\overline{z} } {|z-a_i|^2} = \sum_{i=1}^n \frac{\overline{a_i} } {|z-a_i|^2} 
yazılabilir. Her iki tarafın eşleniği alınıp  \sum_{j=1}^n |z-a_j|^{-2} ifâdesine bölünürse 
:z = \sum_{i=1}^n \frac{|z-a_i|^{-2}}{ \sum_{j=1}^n |z-a_j|^{-2}} a_i
elde edilir. Yâni, z sayısı a_i köklerinin ağırlıklı ortalaması olarak yazıldı.

## Kaynakça

## Ayrıca bakınız

* Marden teoremi
* Bôcher teoremi
* Sendov hipotezi
* Routh-Hurwitz teoremi
* Hurwitz teoremi (karmaşık analiz)
* Descartes'ın İşaret Kuralı
* Rouché teoremi
* Polinom köklerinin geometrik özellikleri
* Cauchy iç içe geçme teoremi

## Dış bağlantılar

* 
* Wolfram Demonstrations Project'de Lucas–Gauss Teoremi (Bruce Torrence tarafından),
* Gauss-Lucas teoremi - interaktif illüstrasyon