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 gerek ve yeter koşulu tanımlar. Teorem ayrıca Pisagor teoreminin bir genellemesi olarak düşünülebilir.

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.

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.

Ş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.

• 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 9783827426079. OCLC 699828882. 
• Alfred S. Posamentier & Charles T. Salkind (1996). Challenging problems in geometry (İngilizce). New York: Dover. ss. 85-86. ISBN 9780486134864. OCLC 829151719. 

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

• Prof. Ion Pătrașcu, The Dual of the Orthopole Theorem, Makale 10 Kasım 2020 tarihinde Wayback Machine sitesinde arşivlendi.
• 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 arşivlendi.