Fermat Noktası: Üç Şehre Toplam En Az Yolu Veren Yer Neresidir?

Şu hayali problemi düşünün. Bir bölgede üç şehir var: A, B ve C. Bu üç şehrin toplam uzaklığı minimum olacak şekilde bir merkez konumu seçmek istiyorsunuz — diyelim, bir havaalanı, bir lojistik deposu veya bir telekomünikasyon kulesi için. Şehrin tam ağırlık merkezini mi seçersiniz? Yoksa üçgenin merkezini (centroid'i) mi?

Cevap, ikisi de değildir. Doğru cevap Fermat noktası (ya da daha tam adıyla Fermat–Torricelli noktası) denilen, çok daha zarif bir noktadır. Üç köşeye uzaklıkları toplamı en küçük olan bu özel nokta, basit ama güzel bir geometrik özellik taşır.

Problem ve cevabın çekirdeği

Bir üçgen $ABC$ verildiğinde, düzlemdeki herhangi bir $P$ noktası için şu büyüklüğü tanımlayalım:

$f(P) = |PA| + |PB| + |PC|$

Yani $P$'nin üç köşeye olan uzaklıklarının toplamı. Fermat'nın sorusu: bu $f$ fonksiyonunu en küçük yapan $P$ noktası nerededir?

Cevap: Eğer üçgenin tüm açıları $120^\circ$'den küçükse, $P^*$ noktası benzersizdir ve Fermat noktası denir. Bu noktanın temel özelliği şudur:

Fermat noktasından üç köşeye giden çizgiler birbirleriyle tam olarak $120^\circ$ açı yapar.

Yani $P^*$'da, $\angle APB = \angle BPC = \angle CPA = 120^\circ$.

Eğer üçgenin bir açısı $120^\circ$ veya daha büyükse, o zaman cevap aslında üçgenin o geniş açılı köşesidir. Çünkü $120^\circ$ veya üstü bir açıda, hiçbir iç nokta bu kadar geniş açıları aynı anda yapamaz.

Nasıl bulunur?

Fermat noktasını bulmanın çok sade bir geometrik yolu vardır (önce Bonaventura Cavalieri'ye, sonra İtalyan fizikçi Evangelista Torricelli'ye atfedilen yöntem):

1. Üçgenin her kenarına, dışa doğru bir eşkenar üçgen çizin. Örneğin $BC$ kenarına, $A$'nın olduğu tarafın aksi yönüne bir eşkenar üçgen ekleyin; bu eşkenar üçgenin üçüncü köşesini $A'$ diye adlandırın. Aynısını $B'$ ve $C'$ için $AC$ ve $AB$ kenarlarında yapın.

2. Şimdi $AA'$, $BB'$, $CC'$ doğrularını çizin. Bu üç doğrunun tek bir noktada kesiştiği görülür. İşte bu nokta Fermat noktasıdır.

Daha da hoşu: $|AA'| = |BB'| = |CC'|$ ve bu ortak uzunluk, Fermat noktasından üç köşeye uzaklıkların toplamına eşittir. Yani:

$f(P^*) = |AA'| = |BB'| = |CC'|$

Bu, problemin cevabını sadece "nerede" değil "ne kadar" sorusuna da geometrik bir formülle veriyor.

Tarihsel arka plan

Problem ilk olarak 17. yüzyıl ortasında Pierre de Fermat tarafından, İtalyan matematikçi Marin Mersenne'in aracılığıyla Evangelista Torricelli'ye soruldu. Torricelli — sıvıların basıncı üzerine deneyleriyle ünlü, ayrıca cıvalı barometreyi icat eden mühendis-fizikçi — yukarıdaki yapıyı tasarladı ve sorunu çözdü (1640 civarı).

Sonraki yüzyıllarda problem birçok kez yeniden keşfedildi ve genişletildi. Genel formu Steiner problemi olarak bilinir: "$n$ verili noktayı en kısa toplam uzaklıkla bağlayan ağ nedir?" Bu sorunun cevabı, modern uygulamalarda telekomünikasyon ağları, elektrik dağıtım sistemleri ve hatta integrasyon devreleri (VLSI) için kullanılır.

Niçin tam $120^\circ$?

Sezgisel açıklama şu: Eğer Fermat noktası denge halindeyse, üç köşeden gelen "çekiş kuvvetleri" birbirini iptal etmelidir. Bu kuvvetlerin büyüklükleri eşit ve doğrultuları üç köşeye yönelik. Toplam sıfır olabilmesi için, üç vektörün simetrik olarak dağılması gerek — yani birbiriyle $120^\circ$ açı yapmaları.

Bu fiziksel sezginin matematik karşılığı şudur: $f(P)$'nin gradyanı sıfır olduğunda — yani $P$ noktasında minimum varsa — üç birim vektörün (her bir köşeye yönelen) toplamı sıfırdır. Üç birim vektörün toplamı sıfır olur ancak ve ancak üçü de aralarındaki açıları $120^\circ$ yaparsa.

Pratik bir oyun: sabun filmiyle

Fermat noktasının çok sevilen bir fiziksel kanıtı vardır. İki paralel cam levha alın; aralarında dik üç ince çubuk (üçgenin köşeleri olarak) yerleştirin. Yapıyı sabun-su karışımına daldırıp çekin. Sabun filmi minimum yüzey alanı için toplam uzunluğunu en aza indirir ve üç çubuğu birleştiren $120^\circ$ açılarla birleşen üç doğrusal sabun yüzeyi oluşturur.

Doğa, Fermat noktasını sabun fizikçisi olarak çözer. Yüzey gerilimi, "toplam uzunluğu minimuma" indirme prensibiyle iyiyse; bu Fermat'nın matematiksel sorusunun sıfırdan farklı bir cevabıdır.

Ağırlık merkezi ile karıştırmayalım

Bir üçgenin birçok "merkezi" vardır:

• Centroid (ağırlık merkezi): $G = \tfrac{A + B + C}{3}$ — üç köşenin ortalaması. Üçgenin alan ağırlık merkezidir. Köşelerin uzaklıkları toplamını minimize etmez.
• Çevrel çember merkezi: Üç köşeye eşit uzaklıkta nokta. Bir minimum noktası değil; bir geometrik özellik.
• İç teğet çember merkezi: Üç kenara eşit uzaklıkta nokta.
• Diklik merkezi (orthocenter): Yükseklik doğrularının kesişimi.
• Fermat noktası: Yukarıda anlattığımız. Üç köşeye toplam uzaklığın minimumu.

Bunların hepsi farklı problemlere cevap verir. Fermat noktası özelinde sorulan soru çok somuttur: "üç sabit noktaya toplam uzaklık ne zaman en azdır?" — bu da pratik konularda en çok ihtiyaç duyulan cevaplardan biri.

Modern bir uzantı: Steiner ağaçları

Üç nokta yerine $n$ nokta verilince ne olur? "Bir grup noktayı en kısa toplam uzaklıkla birleştiren ağaç nedir?" Bu, klasik Steiner ağacı problemidir. İlginç olan: cevap genelde verili noktalara ek olarak Steiner noktaları denilen yeni iç noktalar eklemeyi gerektirir; bu iç noktalarda da yine $120^\circ$ kuralı geçerlidir.

Steiner ağacı problemi NP-zor bir problemdir (bilgisayar bilimlerinde): hızlı bir tam çözüm algoritması bilinmiyor. Ama yaklaşık algoritmalar (Steiner oranı, sabit-faktör yaklaşımlar) modern bilgisayar tasarımı ve telekomünikasyon ağ planlamasında yaygın kullanılır.

Yani bir basit "üç şehir" sorusu olarak başlayan Fermat noktası problemi, modern bilgisayar mühendisliğinin bir köşesinde hâlâ canlıdır.

Bir hayat dersi

Fermat noktası, matematiğin "yanlış sezgiyi düzelten" örneklerindendir. İlk düşündüğümüzde "ortalama" cevap aklımıza gelir (centroid); ama gerçek optimizasyon "denge" mantığı ister ($120^\circ$). Bir sonraki sefer üç şehri birleştirmek, üç noktayı buluşturmak ya da üç ihtiyaca optimal hizmet vermek gerektiğinde, ortalamanın değil dengenin matematiksel olarak daha iyi olduğunu hatırlayabilirsiniz.