Carnot teoremi (dikmeler)

Adını Fransız matematikçi Lazare Carnot'dan alan Carnot teoremi, üçgenin (uzatılmış) kenarlarına dik olan üç doğrunun ortak bir kesişme noktası için tanımlar. Teorem ayrıca Pisagor teoreminin bir genellemesi olarak düşünülebilir.

Üçgenin kenarlarındaki dikmeler için Carnot teoremi:
mavi alan = kırmızı alan

Teoremin açıklaması

Kenarları ${\displaystyle a,b,c}$ olan bir ${\displaystyle \triangle ABC}$ üçgeni için, üçgenin kenarlarına dik olan ve ortak bir ${\displaystyle F}$ noktasında kesişen üç doğru düşünün. Eğer ${\displaystyle P_{a},P_{b},P_{c}}$ ${\displaystyle a,b,c}$ kenarları üzerindeki bu üç dikmenin ayak noktaları ise, ardından aşağıdaki denklem geçerli olur:

${\displaystyle |AP_{c}|^{2}+|BP_{a}|^{2}+|CP_{b}|^{2}=|BP_{c}|^{2}+|CP_{a}|^{2}+|AP_{b}|^{2}}$

Yukarıdaki ifadenin tersi de doğrudur, yani bir üçgenin üç kenarındaki üç dikmenin ayak noktaları için denklem geçerliyse, o zaman bu dikmeler ortak bir noktada kesişirler. Bu nedenle denklem, gerekli ve yeterli bir koşulu sağlar.

Özel durumlar

Eğer ${\displaystyle \triangle ABC}$ üçgeni ${\displaystyle C}$ noktasında bir dik açıya sahipse ve kesişme noktası ${\displaystyle F}$, ${\displaystyle A}$ veya ${\displaystyle B}$ üzerinde bulunuyorsa, yukarıdaki denklem Pisagor teoremini verir. Örneğin eğer ${\displaystyle F}$ noktası, ${\displaystyle A}$ ile çakışırsa bu, ${\displaystyle |AP_{b}|=0}$, ${\displaystyle |AP_{c}|=0}$, ${\displaystyle |CP_{a}|=0}$, ${\displaystyle |CP_{b}|=b}$, ${\displaystyle |BP_{a}|=a}$ ve ${\displaystyle |BP_{c}|=c}$ olduğu sonucunu doğurur. Bu nedenle, yukarıdaki denklem ${\displaystyle a^{2}+b^{2}=c^{2}}$ haline yani Pisagor teoremine dönüşür.

Diğer bir sonuç, bir üçgenin dik açıortaylarının ortak bir noktada kesişme özelliğidir. Dikey açı ortaylar söz konusu olduğunda ${\displaystyle |AP_{c}|=|BP_{c}|}$, ${\displaystyle |BP_{a}|=|CP_{a}|}$ ve ${\displaystyle |CP_{b}|=|AP_{b}|}$ olur ve bu nedenle yukarıdaki denklem geçerlidir. Bu, üç dikey açıortayın da aynı noktada kesiştiği anlamına gelir.

İspat

Carnot teoreminin ispatı

Şekilden görülebileceği gibi dik açıortayların ayakları ${\displaystyle A_{a},B_{b},C_{c}}$ olarak gösterilsin.

Carnot Teoremi, aşağıdaki ifade doğrulandığında istenen tutarlılığı garanti eder.

${\displaystyle \left(\;|AC_{c}|^{2}-|BC_{c}|^{2}\;\right)+\left(\;|BA_{a}|^{2}-|CA_{a}|^{2}\;\right)+\left(\;|CB_{b}|^{2}-|AB_{b}|^{2}\;\right){\stackrel {?}{=}}\ 0\qquad (\star )}$

Öncelikle ${\displaystyle (\star )}$ ifadesinin ilk kısmını ele alalım:

${\displaystyle |AC_{c}|^{2}-|BC_{c}|^{2}=\left(\;|AC_{c}|+|BC_{c}|\;\right)\left(\;|AC_{c}|-|BC_{c}|\;\right)=|AB|\;\left(\;|AC_{c}|-|BC_{c}|\;\right)}$

${\displaystyle |AC_{c}|={\frac {1}{2}}(\;|AA_{c}|+|AB_{c}|\;)={\frac {1}{2}}(\;|AA_{c}|+|AB|-|BB_{c}|\;)}$

${\displaystyle |BC_{c}|={\frac {1}{2}}(\;|BB_{c}|+|AB|-|AA_{c}|\;)}$

olduğundan, yukarıdaki ifade,

${\displaystyle |AC_{c}|^{2}-|BC_{c}|^{2}=|AB|\;\left(\;|AA_{c}|-|BB_{c}|\;\right)}$

şeklinde yazılabilir. Aynı şekilde,

${\displaystyle |BA_{a}|^{2}-|CA_{a}|^{2}=|BC|\;\left(\;|BB_{a}|-|CC_{a}|\;\right)}$

${\displaystyle |CB_{b}|^{2}-|AB_{b}|^{2}=|CA|\;\left(\;|CC_{b}|-|AA_{b}|\;\right)}$

Bu nedenle, ${\displaystyle (\star )}$ aşağıdaki ifadeye dönüşür:

${\displaystyle |AB||AA_{c}|+|BC||BB_{a}|+|CA||CC_{b}|{\stackrel {?}{=}}|BA||BB_{c}|+|CB||CC_{a}|+|AC||AA_{b}|\qquad (\star \star )}$

sağ tarafta "${\displaystyle |AB|}$" yerine "${\displaystyle |BA|}$" yazılması, vb. gibi değişiklerle ve aşağıdaki ifadeden faydalanırsak:

“	"Noktanın Kuvveti" teoremi, ${\displaystyle P}$ noktasından geçen bir doğru ${\displaystyle Q}$ ve ${\displaystyle R}$ noktalarında ${\displaystyle K}$ çemberi ile karşılaşırsa ${\displaystyle |PQ||QR|}$ ${\displaystyle Q}$ ve ${\displaystyle R}$'ye değil, yalnızca ${\displaystyle P}$ ve ${\displaystyle K}$'ye bağlı bir değerdir. Bu değer, ${\displaystyle P}$'nin ${\displaystyle K}$'ye göre kuvveti olarak adlandırılır.	„

${\displaystyle (\star \star )}$ ifadesinde, ${\displaystyle |AB||AA_{c}|}$ teriminin değeri ${\displaystyle K_{A}}$'ya göre ${\displaystyle A}$ noktasının kuvvetidir; ama ${\displaystyle |AC||AA_{b}|}$ değeri de öyledir. Bu nedenle her iki terim iptal edilir. Benzer şekilde, ${\displaystyle |BC||BB_{a}|=|BA||BB_{c}|}$ (${\displaystyle B}$'nin ${\displaystyle K_{B}}$'ye göre kuvveti) ve ${\displaystyle |CA||CC_{b}|=|CB||CC_{a}|}$ (${\displaystyle C}$'nin ${\displaystyle K_{C}}$'ye göre kuvveti). Tüm terimler birbirini götürür, böylece Carnot Teoremine ulaşılır: şekildeki doğrular tek noktada kesişir.

Kaynakça

• Wohlgemuth, Martin, (Ed.) (2010). Mathematisch für fortgeschrittene Anfänger : Weitere beliebte Beiträge von Matroids Matheplanet (Almanca). Heidelberg: Spektrum Akademischer Verlag. ss. 273-276. ISBN . OCLC 699828882. 
• & Charles T. Salkind (1996). Challenging problems in geometry (İngilizce). New York: Dover. ss. 85-86. ISBN . OCLC 829151719. 

Dış bağlantılar

• Carnot's theorem @ Interactive Geometry
• Florian Modler: Vergessene Sätze am Dreieck - Der Satz von Carnot 6 Nisan 2019 tarihinde Wayback Machine sitesinde . @ Matheplanet.com (Almanca)
• Carnot's Theorem 6 Ağustos 2020 tarihinde Wayback Machine sitesinde . @ cut-the-knot.org
• Carnot's Theorem 16 Kasım 2020 tarihinde Wayback Machine sitesinde . @ artofproblemsolving

Konuyla ilgili yayınlar

• Prof. Ion Pătrașcu, The Dual of the Orthopole Theorem, Makale 10 Kasım 2020 tarihinde Wayback Machine sitesinde .
• Oğuzhan Demirel & Emine Soytürk, (2008), The Hyperbolic Carnot Theorem in the Poincare Disc Model of Hyperbolic Geometry, Novi Sad J. Math., Vol. 38, No. 2, ss. 33-39, Makale 10 Kasım 2020 tarihinde Wayback Machine sitesinde .