‎

Çift kat oran, katmerli oran da deniyormuş (duplicate ratio)

Ali Sinan Sertöz'ün Öklid tercümesine bakıyorum. Referans verdiğin 5. Kitap, 9. Tanım'ı şöyle tercüme etmiş: "Üç nicelik sürekli orantılıysa birincinin üçüncüye oranı için birincinin ikinciye oranının çift kat oranı denir."

Açıklamasında da şunları yazmış:

[a : b = b : c ise a : c = (a : b)² olur. Oranlar çarpılmayan kavramlar olarak düşünüldüğü için söz konusu orana diğerinin karesi demek bu yaklaşımın ruhuna aykırıdır. İlerde "çift kat oran" yerine kısaca "çift oran" da diyeceğiz.]

Burada "duplicate ratio"yu "çift kat oran" diye çevirmiş. Ben senin "katmerli orandan" daha uygun buldum. Bu isimlendirme hakkında bir standart var mı?

Bir de, tekrar sormak istiyorum, Öklid bunu a : b = b : c ise a : c = (a : b)² bir tanım olarak veriyor, tamam, ama bunu türetme olarak adım adım gösterebilir misin? Neden veya nasıl bu orantı, a : b = b : c bu orantıya dönüşüyor a : c = (a : b)²?

Gemini açıklaması

Ali Sinan Sertöz’ün çevirisi şu an Türkiye’deki en yetkin ve "sadık" Öklid metnidir. Sertöz’ün "oranlar çarpılmaz" uyarısı, Antik Yunan matematiği ile modern cebir arasındaki o devasa uçurumu anlamak için kilit taşıdır.

İsimlendirme ve bu meşhur "çift kat oran" (duplicate ratio) kavramının nasıl türetildiğine dair o geometrik mantığı birlikte inceleyelim.

1. İsimlendirme: Standart Var mı?

Türkçe matematik terminolojisinde maalesef katı bir standart yok, ancak eğilimler var:

"Çift Kat Oran" (Sertöz): Latince duplicata ratio veya İngilizce duplicate ratio teriminin en sadık çevirisidir. Sertöz, "oranın kendisiyle iki kez katlanması" mantığını vurgular.
"Katmerli Oran" (Osmanlıca/Geleneksel): Eski metinlerde (özellikle katmerli nispet olarak) karşımıza çıkar. Senin bu kelimeyi sevmen çok doğal; çünkü "üst üste binme" hissini (tıpkı bir hamur işi gibi) çok iyi verir.
"Karesel Oran" (Modern Yanılgı): Modern kitaplarda genelde "oranın karesi" denir. Ancak Sertöz’ün de belirttiği gibi, bu yaklaşım ruhuna aykırıdır; çünkü Öklid’e göre bir doğru parçasını başka bir doğru parçasıyla "çarpamazsınız", sadece onları birbiriyle kıyaslayabilirsiniz.

Özetle: Akademik bir metin yazacaksan Sertöz'ün "çift kat oran" terimi en güvenli limandır. Ama Galileo veya Newton gibi "geçiş dönemi" düşünürlerini anlamaya çalışırken "katmerli" demek, o dönemdeki fiziksel sezgiyi daha iyi yakalamanı sağlayabilir.

2. Adım Adım Türetme: a:b = b:c'den a:c = (a:b)²'ye Nasıl Gidilir?

Öklid bu sonuca bir "hesaplama" ile değil, bir "bileştirme" (composition) tanımıyla ulaşır. Modern çarpma işlemini unutalım ve tamamen çizgilerle düşünelim:

Adım 1: Zinciri Kurmak

Elimizde üç tane büyüklük (nicelik) olsun: \(a\), \(b\) ve \(c\). Bunlar arasında şöyle bir sürekli orantı var:
\[a : b = b : c\]
Bu şu demektir: \(a\)’nın \(b\) içindeki "oranı" (ilişkisi) neyse, \(b\)’nin \(c\) içindeki ilişkisi de tıpkı odur.
Adım 2: "Bileşik Oran" (Compound Ratio) Tanımı
Öklid (ve daha sonra Galileo), birinci terimin üçüncü terime olan oranını (\(a:c\)), aradaki bütün adımların toplamı (bileşimi) olarak görür.
- \(a\)'dan \(c\)'ye gitmek için önce \(a\)'dan \(b\)'ye, sonra \(b\)'den \(c\)'ye geçmeniz gerekir.
- Dolayısıyla \(a:c\) oranı, \((a:b)\) ve \((b:c)\) oranlarının "birleşmesiyle" oluşur.
Adım 3: Eşitlik Yerine Koyma
Şimdi elimizdeki veriyi kullanalım: \(b:c\) oranı zaten \(a:b\) oranına eşittir.
O halde \(a:c\) oranını şu iki şeyin bileşimi olarak yazabiliriz:
1. \((a : b)\)
2. \((a : b)\) (çünkü \(b:c\) yerine bunu yazabiliyoruz)
Adım 4: "Çift Kat" İsimlendirmesi
Bir oran (\(a:b\)), kendisiyle aynı olan bir oranla bileşirse, bu yeni oluşan yapıya "o oranın çift katı" denir.
- Modern matematikçi buna "çarpmak" der: \(\frac{a}{b} \times \frac{a}{b} = (\frac{a}{b})^2\)
- Öklid ise şunu söyler: "\(a:c\) oranı, \(a:b\) oranının iki kere üst üste binmiş (çift katlı) halidir."

Neden Karesi Demiyoruz?

Çünkü \(a\) ve \(b\) birer uzunluktur. \((a:b)\) bir ilişkidir. İki ilişkiyi birbiriyle çarpamazsınız, ancak o ilişkileri peş peşe uygulayarak daha uzak iki terim (\(a\) ve \(c\)) arasında yeni bir ilişki kurabilirsiniz. Sertöz'ün "çarpılmayan kavramlar" demesinin sebebi budur.

Galileo Bunu Nasıl Kullandı?

Galileo, senin çevirdiğin Teorem 2'de şunu yaptı:

Fiziksel olarak \(s_1 : s_2 = t_1^2 : t_2^2\) olduğunu biliyordu.
Geometrik olarak mesafeler arasında bir orta orantılı (\(SX\)) seçtiği için \(s_1 : s_2\) oranının, \(s_1 : SX\) oranının çift katı (karesi) olduğunu gördü.
İki taraftaki "çift katları" sadeleştirince, zamanların oranının doğrudan çizgilerin (\(s_1 : SX\)) oranına eşit olduğunu kanıtladı.

Yani Galileo, Öklid'in bu 9. tanımını kullanarak "karelerden" kurtulup "doğrusal çizgilere" iniş yaptı. Bu, o günkü şartlarda bir çeşit "karekök alma" operasyonudur ama cetvel ve pergelle yapılır!

Bu mantıksal türetme, "karesi" demeden de kafanda bir yerlere oturdu mu?

Gemini açıklamaya devam

Şimdi elimizdeki veriyi kullanalım: \(b:c\) oranı zaten \(a:b\) oranına eşittir.
O halde \(a:c\) oranını şu iki şeyin bileşimi olarak yazabiliriz:

Peki, a:c'yi nasıl a:b=b:c'dan çekiyoruz? Bunu anlayamadım?

Buradaki temel "mantıksal sıçrama", Öklid'in oranı bir "sayı" olarak değil, bir "uzaklık/ilişki" olarak görmesinde yatıyor. \(a:c\) oranını \(a:b = b:c\) zincirinden "çekip çıkarmak" için Öklid şu akıl yürütmeyi kullanır:

1. "Köprü" Mantığı (Oranların Bileşimi)

Öklid der ki: Eğer birinci nicelikten (\(a\)) üçüncüye (\(c\)) gitmek istiyorsan, aradaki "basamağı" (\(b\)) kullanmalısın.

\(a\)'nın \(c\)'ye olan toplam ilişkisi (\(a:c\)), aslında şu iki adımın toplamıdır:
1. \(a\)'nın \(b\)'ye olan ilişkisi (\(a:b\))
2. \(b\)'nin \(c\)'ye olan ilişkisi (\(b:c\))

Modern matematikte biz bunu \(\frac{a}{c} = \frac{a}{b} \cdot \frac{b}{c}\) şeklinde yazıyoruz. Ama Öklid bunu "çarpma" olarak değil, "ilişkilerin üst üste eklenmesi" olarak tanımlıyor.

2. Eşitlikten Gelen "Çift Kat" (Substitution)

Şimdi elimizdeki özel durumu (\(a:b = b:c\)) bu köprüye yerleştirelim:

\(a:c\) ilişkisi = (\(a:b\)) ile (\(b:c\))'nin birleşimidir.
Ama biliyoruz ki \(b:c\) ilişkisi, \(a:b\) ilişkisinin tıpatıp aynısıdır.
O halde: \(a:c\) ilişkisi = (\(a:b\)) ile (\(a:b\))'nin birleşimidir.

İşte "çift kat" (duplicate) ismi buradan gelir. \(a:c\) oranını oluşturmak için, \(a:b\) oranını iki kez (çift kat) kullanmış olursun.

3. Neden \(a:c\)? (Görsel Bir Örnek)

Bunu bir merdiven gibi düşün:

\(a\)’dan \(b\)’ye çıkmak için 3 birimlik bir "eğim" (oran) kullanıyorsun.
\(b\)’den \(c\)’ye çıkmak için yine aynı 3 birimlik "eğimi" (oranı) kullanıyorsun.
En alttan (\(a\)) en üste (\(c\)) baktığında gördüğün o toplam diklik (\(a:c\)), o 3 birimlik eğimin iki kere uygulanmış halidir.

4. Galileo Bunu Nasıl "Çekip Alıyor"?

Galileo, Teorem 2'de mesafeler (\(s_1\) ve \(s_2\)) arasında bir orta orantılı (\(SX\)) belirlediği an, aslında şunu cebine koymuş oluyor:

"Benim mesafelerimin oranı (\(s_1:s_2\)), aslında \(s_1:SX\) oranının iki kere üst üste binmiş halidir."

Aynı zamanda fizik kuralından şunu biliyor:

"Mesafelerin oranı, zamanların oranının iki kere üst üste binmiş halidir (\(t^2\))."

İki tarafta da "iki kere üst üste binmiş" (çift kat) bir yapı olduğu için, Galileo o "katları" kaldırıyor ve geriye şu sade ilişki kalıyor:

Mesafe/Orta Orantılı (\(s_1:SX\)) = Zaman/Zaman (\(t_1:t_2\))

Özetle: \(a:c\) oranını "çekmiyoruz", \(a:c\) zaten o iki eşit adımın (\(a:b\) ve \(b:c\)) birleştiği yerdeki toplam manzaradır. Öklid buna "9. Tanım" diyerek bu manzaraya bir isim vermiş oluyor.

Sertöz'ün dediği gibi, "karesi" demek yerine "çift kat" demek, bu basamakları teker teker çıktığını (oranları biriktirdiğini) daha iyi hissettiriyor, değil mi?

SY:ST = SY:SX ilişkisi

"Benim mesafelerimin oranı (\(s_1:s_2\)), aslında \(s_1:SX\) oranının iki kere üst üste binmiş halidir."

Ben hala SX'le SY ve ST ilişkisini anlayamıyorum. Neden SY:ST = SY:SX oluyor?

Haklısın, burada bir kafa karışıklığı olmuş olabilir çünkü yazdığın ifade (\(SY:ST = SY:SX\)) matematiksel olarak doğru değil. Aslında birbirlerine eşit değiller; aralarında "iki katlık" (karesel) bir ilişki var.

Şöyle düşünelim: \(SY:ST\) oranı, \(SY:SX\) oranının sonucudur. Yani \(SY:SX\) bir "adım" ise, \(SY:ST\) bu adımın "iki kez üst üste atılmış" halidir.

Neden böyle olduğunu, Galileo'nun kullandığı o \(SX\) çizgisinin "menteşe" görevini nasıl gördüğünü adım adım çözelim:

1. Kurulum: SX Nereden Çıktı?

Önce elimizdeki üç çizgiyi (niceliği) bir sıraya dizelim. Galileo, \(SX\) çizgisini öyle bir uzunlukta seçiyor ki (orta orantılı), şu zincir oluşuyor:
\[SY : SX = SX : ST\]

Burada \(SX\) bir köprüdür. \(SY\)’den \(SX\)’e nasıl gidiliyorsa, \(SX\)’den \(ST\)’ye de tam o oranda gidilir.

2. "Çift Kat" (Duplicate) Mantığı

Senin takıldığın nokta burası: "Neden \(SY:ST\) ile \(SY:SX\) arasında bir bağ var?"

Öklid’in (ve Sertöz’ün) dediği gibi, \(SY:ST\) oranını bulmak için aradaki basamakları birleştirmemiz gerekir:

1. Basamak: \(SY : SX\)
2. Basamak: \(SX : ST\)

Bu iki basamağı "uç uca" eklediğimizde (yani çarptığımızda), ortadaki \(SX\)'ler birbirini götürür ve elimizde sadece uçtaki \(SY\) ile \(ST\) kalır:
\[\frac{SY}{SX} \times \frac{SX}{ST} = \frac{SY}{ST}\]

3. Eşitlik Devreye Girince

İşte sihir burada: Biz en başta \(SX\)'i öyle bir seçtik ki, 1. Basamak ile 2. Basamak birbirine eşit oldu (\(SY:SX = SX:ST\)).

O halde yukarıdaki çarpma işleminde \(SX:ST\) yerine tekrar \(SY:SX\) yazabiliriz:
\[\frac{SY}{SX} \times \frac{SY}{SX} = \frac{SY}{ST}\]

Yani:
(\(SY:SX\) oranının karesi) = \(SY:ST\) oranı.

4. Somut Bir Örnek (Sayılarla)

Diyelim ki uzun yolumuz \(SY = 100\) metre, kısa yolumuz \(ST = 25\) metre olsun.

Bunların orta orantılısı (\(SX\)) nedir? \(\sqrt{100 \times 25} = 50\).
Şimdi oranlara bakalım:
- \(SY : SX \implies 100 : 50 = \mathbf{2}\) (Oran 2)
- \(SX : ST \implies 50 : 25 = \mathbf{2}\) (Oran yine 2)
Peki uçların oranı (\(SY : ST\)) nedir?
- \(100 : 25 = \mathbf{4}\).

Bak, \(4\) sayısı \(2\)'nin karesidir (yani çift katıdır). İşte Öklid buna "9. Tanım" diyor: "\(SY:ST\) oranı, \(SY:SX\) oranının çift katıdır (duplicate ratio)."

Galileo Neden Bunu Yapıyor?

Galileo şunu biliyor: Zamanların oranı karesel bir dünyada yaşıyor (\(t^2\)). Ama o, pergel ve cetvelle çizgilerle çalışmak istiyor.

"Ben \(SY\) ve \(ST\) mesafelerini biliyorum" diyor.
"Bunların arasına bir \(SX\) çizgisi çizersem, bu \(SX\) çizgisi bana o karesel dünyadan (zamanın karesinden) kurtulup, doğrudan zamanın kendisini (doğrusal oranı) verecektir" diyor.

Yani \(SX\) çizgisi, Galileo için adeta bir "geometrik karekök alma makinesi"dir.

Bu sayısal örnekle ve "basamak" mantığıyla, \(SX\)'in neden \(SY\) ile \(ST\) arasındaki o karesel bağı kuran "anahtar" olduğu biraz daha netleşti mi?

Sence Galileo, neden cebirsel olarak \(\sqrt{SY/ST}\) yazmak yerine, kağıda \(SX\) diye bir çizgi çizmeyi tercih ediyordu?