31.12.2022

Konular

2022
2020

30.12.2022

LaTeX ve GitHub

Bu yıl iki önemli teknoloji birleşti ve matematik sayfalarının daha güzel görünmesini ve daha kolay yapılmasını sağladı. Matematik formülleri kitap kalitesinde yazmanın en kolay yolu olan LaTeX ile kendi sayfalarımızı yayınlamanın en etkin yolu olan GitHub nasıl bir araya geldi? Sorunun cevabı üç meşhur yazılım sisteminin tarihçesinde...

Şu GitHub sayfası bugün vardığımız yeri özetliyor:
maeyler.github.io/Sunumlar/math/sample

Bu iki teknolojiyi web sayfaları (HTML) birleştiriyor

TeX 1978 ve LaTeX 1984
Bilgisayar bilimlerindeki bütün bilgileri bir araya getirip 5 ciltlik bir ansiklopedi yazmak isteyen Donald Knuth, 3. cildi hazırlarken bir sürprizle karşılaştı: Geleneksel baskı teknikleri yerini bilgisayarlı dizgi makinelerine bırakıyordu. Lakin yeni ürünlerin kalitesi kabul edilir gibi değildi. Durumu düzeltmek için bir yılını feda etmeye karar verdi ve üniversiteden bir yıl izin alarak işe koyuldu.

Bir sene sonunda ürün ortaya çıktı ama titiz bir yazar için yeterli değildi. Knuth'un kendi onayını alması için 10 yıl daha geçti. Tek kişilik çabanın ürünü olan TeX hakikaten fizik ve mühendisliğin bütün alanlarında standart yazım dili haline geldi. 
https://en.wikipedia.org/wiki/TeX

LaTeX, bu sisteme akademik yayınları kolaylaştırmaya yönelik pek çok şablon eklemiş. Bu özellikler hazır geldiği için TeX yazılımının yaygınlaşmasına önemli bir katkı sağlıyor.

Ansiklopediye ne oldu dersiniz? 4. cilt iki kitap olarak tamamlandı. 85 yaşındaki yazar, 5. ciltten sonra geri dönüp ilk üç cildi yeniden yazmayı planlıyor! Sonra da hepsini tek ciltte özetlemek istiyor. Hayat hakikaten kısa, bilimin bir dalı bile sığmıyor...

HTML 1993 ve MD 2004
TeX yazılımının henüz bilinmediği 1980 yılında, tanınmamış bir fizikçi, Tim Berners-Lee dokümanlar arasında hızlı geçiş sağlayan basit bir sistem önerdi. Teklif "çok basit, işimize yaramaz" diyerek çöpe atıldı. Basitliğin büyük bir güç olduğunun anlaşılması 10 yıldan fazla sürdü. Tek kişilik çabanın ürünü olan HTML, hakikaten bütün web sayfalarının standart dili haline geldi. Bunu bilgisayar mühendisleri tasarlasaydı çok daha karmaşık kapalı bir sistem olurdu.
https://en.wikipedia.org/wiki/HTML

Lakin, HTML ile sayfa hazırlamak (bütün basitliğine rağmen) zor geliyordu. Adındaki M harfinin "markup" olduğunu gören iki yazılımcı, buna nazire olarak MarkDown kavramını geliştirdi. Buradaki katkı HTML ile kıyaslanamaz ama işleri basitleştiren her gayret kayda değer.

Git 2005 ve GitHub 2008
Bu arada, başka bir basitleştirme ustası, Linus Torvalds dev bir yazılım olan Linux işletim sistemini açık kaynak olarak dünyaya kabul ettirmişti. Linux 10 yıl içinde iyice büyüdü ve çok sayıda yazılımcının katkısı ile güçlendi. Farklı kişilerin yaptığı işleri kontrol edebilmek için geliştirilen Git, karmaşık bir sürüm yönetim sistemi. Karmaşıklığına rağmen, çok basit komutlarla kullanılıyor. Tek kişilik çabanın ürünü olarak ortaya çıkan Git, bugün pek çok yazılım sisteminin standart aracı haline geldi.
https://en.wikipedia.org/wiki/git

Lakin tek başına sürüm kontrolü yetmiyor. Yazılımı buluta kaydetmek ve takımların çalışmasını uzaktan yönetebilmek de lazım. GitHub işte bu ihtiyaca cevap veriyor. Eski bir öğrencim "GitHub yazılımcılar için CV görevi görüyor" demişti, ne kadar doğru olduğunu içine girince anladım.

Kendi hayatıma etkileri
1979'da doktorayı tamamlarken çok kişi elektronik yöntemlere geçmişti. Benim tezim ise (o bölümde) daktiloda yazılan son işlerden biri olmalı. TeX henüz. duyulmamıştı. 1988'de doçent olarak Bilkent'e gittiğimde nerdeyse bütün makalelerin LaTeX ile yazıldığını gördüm. O sırada yeni çıkan Mac yazılımını (What You See Is What You Get) tercih ettim, çünkü TeX bana çok zor göründü. 2008'de talebemin yardımı ile bir makale yazdım ama o da yayınlanmadı. Yani, TeX akademik hayatımda hiç etkili olmadı.

HTML ise 2004'de öğrenip uyguladığım bir dil. O zaman takdir ettim ama hayatıma 2018'de gerçekten girdi. O sırada üç yıldır GitHub kullanıyor ve öğretiyordum. MarkDown ile tanışmam da aynı döneme rastlıyor. Son beş yıldır bu iki teknolojiyi yakından takip ediyorum.

Hepsi bir araya gelince, Matemacik sayfalarını elden geçirmek ve gerçek bir kitap kalitesini sağlamak mümkün olacak, hemen başlıyorum. Şöyle bir değişim olacak:

Düz metin ve LaTeX -- çok fark var!


Bir ay sonra
Matemacik sayfalarını TeX ile yazarken en önemli sorun "inline math" denilen metin içindeki formüller oldu. Standart yöntem olan "$...$" yaklaşımı, kullandığım MathJax içinde aktif değildi. Halbuki GitHub ve VS Code standarda uygun çalışıyordu. Bunun yöntemini 2016 tarihli bir makalede buldum -- demek 2017'de başlayan bu blog daha o zaman TeX ile yazılabilirmiş. Çevremde bunu bilen kimse olmadığı için 5 yıl gecikmeyle katıldım...

Ocak 2023 sonunda çözümü yayınladım ve son 6 yazıyı düzelttim. Eski sürümle kıyaslamak için web adresindeki tarihi "p" yapmak yeterli. Bir örnek:
https://matemacik.blogspot.com/2020/06/carpsan-toplar.html TeX
https://matemacik.blogspot.com/p/carpsan-toplar.html  Düz metin

TeX öncesi ve sonrası aynı denklemler


29.12.2022

Ardışık toplama

Erkan Türe Hocam bu bilmeceyi gönderdi, hemen kontrol edip baktım, toplama işlemleri doğru. "Ardında bir basitlik olmalı" dedim ve buldum.

1. soru: $n+1$ ardışık sayının toplamı, takip eden $n$ sayının toplamına eşit olsun.

Örnek olarak $\mathbf{n=3}$ alalım. Öyle $x$ sayısı arıyoruz ki
$ x+(x+1)+(x+2)+(x+3) = (x+4)+(x+5)+(x+6) $
olsun. Sağdaki her terim için solda $3$ eksiği var,
aranan değer $3$ kere $3$, yani $x=9$ bulunur.

O halde, $9+10+11+12 = 13+14+15$

Verilen $n$ değeri için genelleştirelim:
$ x+(x+1)+\ldots+(x+n) = (x+n+1)+\ldots+(x+n+n) $
olsun. Sadeleştirince sağda $n$ kere $n$, yani $x=n^2$ bulunur

Cevap:
Verilen $n$ sayısının karesinden başlayan $n+1$ ardışık sayının toplamı,
takip eden $n$ sayının toplamına eşittir. 

Aşağıdaki şekil aynı cevaba geometri ile ulaşıyor:

Mavi çizgi toplam alanı iki eşit parçaya böler
O halde mavi alanlar eşit olmalı

2. soru: $n+1$ ardışık sayının kareleri toplamı, takip eden $n$ sayının kareleri toplamına eşit olsun.

Hesap kolaylığı açısından, ilk sayıya değil, tam ortadaki sayıya $x$ diyelim.

Örnek olarak $\mathbf{n=3}$ alalım. Öyle $x$ sayısı arıyoruz ki
$ (x−3)^2+(x−2)^2+(x−1)^2+x^2 = (x+1)^2+(x+2)^2+(x+3)^2 $
olsun. Kareli ve sabit terimleri sadeleştirince,
$ −6x−4x−2x+x^2 = 2x+4x+6x $
$x^2 = 4(1+2+3)x$ ve buradan $x = 24$ bulunur.

$21^2+22^2+23^2+\textbf{24}^2 = 25^2+26^2+27^2$
sonucuna hiç aritmetik yapmadan ulaştık!

Verilen $n$ değeri için genelleştirelim:
$(x-n)^2+\ldots+(x-1)^2+x^2 = (x+1)^2+\ldots+(x+n)^2$
olsun. Kareli ve sabit terimleri sadeleştirince,
$x^2 = 4(1+\ldots+n)x$ ve buradan $x = 2n(n+1)$ bulunur.

Cevap:
Aranan ardışık sayıların ilki $n(2n+1)$ olmalıdır.
(Yukarıdaki bilmecede bu formülü doğrulayın)
Peki, dizideki son sayı ne olur?


29.09.2020

Beşgen, Ongen, Euclid

Bir çember içine eşkenar üçgen, kare ve düzgün altıgen çizmeyi ilkokulda öğrenmiştik. Düzgün beşgen çizmek bunlara göre çok daha zordu, çünkü açı ölçmek için hassas bir yöntem bilmiyorduk. İletki kullanmanın zorluğunu o zaman anlamıştım... Meğer matematikçilerin kabul ettiği bir araç değilmiş iletki!

Yalnız cetvel ve pergel ile (açı ve uzunluk ölçmeden) düzgün beşgen çizmenin yolunu Euclid'in Elemanlar kitabında buluyoruz. Yöntemin modern bir yorumunu bu sabah gif dosyası olarak buldum, hemen aktarıyorum. (Kaynağı referanslarda)

Hareketli resim kendisini açıklıyor ama neden doğru olduğunu üç adımda, üç şekil üstünde anlatabilirim. Euclid bu resmi görseydi, kitabındaki Önerme IV:10'u hemen tanırdı. Çünkü bu işlemin her adımını, matematiksel bütünlük içinde 2300 yıl önce anlatmış.

1. A merkezli birim çemberin merkezine, kenarları 1:2 oranında bir dik üçgen çizelim.
BC uzunluğunu altın oran kullanarak yazalım: 
$\sqrt5/2 = \varphi -1/2$ 


2. B merkezli, C'den geçen çemberi çizelim. 
Çemberin iki yarıçapı eşittir: BC = BD
Şekildeki CD uzunluğu, düzgün beşgen probleminin geometrik çözümüdür. AD uzunluğu da $\varphi -1$, birim çember içindeki düzgün ongenin kenar uzunluğudur. (Neden?)

Problem sadece düzgün beşgeni çizmekten ibaret ise, ongenin köşelerini işaretledikten sonra birer atlayarak birleştirmek yeterli. Kenar uzunluğunu sayısal olarak bulmak için bir adım daha gerekiyor.


3. C merkezli, D'den geçen çemberi çizelim. Birim çemberle kesiştiği iki nokta, aradığımız düzgün beşgenin köşeleri olur. Kalan iki köşe yine aynı p değeri ile bulunur.
İki üçgenin yaklaşık kenar uzunluklarını ve karelerini bir tablo halinde görelim:
   uzunluk  karesi
AB  0.500  0.250 1/4
AD  0.618  0.382 2−φ
BC  1.118  1.250 5/4
CD  1.176  1.382 3−φ

Peki neden CD uzunluğu düzgün beşgenin kenarına eşit? Cevabı yine Euclid versin:

Önerme XIII:10
Bir eşkenar beşgen bir çember içine çizilirse, beşgenin kenarı üzerindeki kare, aynı çember içine çizilen altıgenin kenarı ile ongenin kenarı üzerindeki karelere eşittir.

Sayısal bir p değeri aranırsa, ACD dik üçgeninde
$p^2 = 1^2+(\varphi-1)^2 = 3-\varphi$ eşitliğinden hesaplanabilir.

Çember üstünde eşit aralıklı noktalar

Bir çember içine eşkenar üçgen, kare, düzgün beşgen, vb yerleştirme problemi, aslında çemberi $n (=3, 4, 5, ...)$ eşit parçaya bölmekten ibaret. Başka deyişle, birim çember üstünde eşit aralıklı $n$ nokta bulmak istiyoruz. Verilen her $n$ için çözüm var ve açı ölçerek kolayca bulunur.

Açı ölçmeye razı değilsek, yalnız cetvel ve pergel kısıtı ile, her $n$ için çözüm olmayabilir.

Küre üstünde eşit aralıklı noktalar

Üçüncü boyuta geçince durum farklı: Birim küre üstünde eşit aralıklı $n$ nokta aranıyorsa, sadece beş çözüm var: $n = 4, 6, 8, 12, 20$ olabilir. Platonik cisimler olarak bilinen beş düzgün çokyüzlü. Euclid Elemanlar'ın son kitabında bu çözümleri buluyor ve son önermesinde (XIII:18) hepsini yarım çember içinde göstererek muhteşem bir güzellik sergiliyor.

Şimdi de diyorum ki, yukarıda sözü edilen beş şekil dışında, birbirine eşit, eşkenar ve eşaçılı şekiller tarafından içerilen başka şekil [cisim] çizilemez.

Ödev

1. $(\varphi-1)^2 = 2-\varphi, \quad 3-\varphi = (5-\sqrt 5)/2$ eşitliklerini doğrulayın.

2. Kenarları $(1, 1, \varphi-1)$ olan üçgende neden taban açıları tepe açısının iki katıdır? Düzgün ongen yapmak için bu üçgenlerden kaç tane gerektiğini düşünerek, AD uzunluğunun ongenin kenarı olduğunu gösterin.

3. Şekildeki A noktasının DE doğru parçasını altın oranda böldüğünü gösterin.

4. Euclid düzgün beşgen için tutarlı olarak "eşkenarlı ve eşaçılı beşgen" ifadesini kullanır. Yukarıdaki önermede neden "eşaçılı" nitelemesine gerek duymamış?


Referanslar

Öklid'in Elemanları, Ali Sinan Sertöz, 2018
sertoz.bilkent.edu.tr/elemanlar.htm

Yazıya konu olan hareketli resim şurada:
en.wikipedia.org/wiki/Decagon

GIF için linkler: Aldoaldoz / CC BY-SA

Resmi parçalarına bölmek için link: ezgif.com/split

Beşgen sayfasındaki yöntemler çok daha karmaşık:
en.wikipedia.org/wiki/Pentagon

Altın Oran: /2017/07/altn-oran.html


23.09.2020

Üçgenin açıları

Bir üçgenin iç açıları toplamının 180° olduğunu küçük yaşta öğrendik ve öyle kabul ettik. Üçgen kendi boyumuz kadar olunca bu bilgi doğru ve faydalı. Lakin ülkeler boyunda bir üçgenin iç açıları toplamı 180 dereceden daha büyüktür. Mesela kuzey kutbundan başlayıp tam ekvatora kadar çeyrek tur gidelim. 90° dönüp aynı miktar ilerleyelim. Kuzeye dönerek üçgeni tamamlayalım. Kenar uzunluğu tam 10.000 km olan bir eşkenar üçgen tanımladık. Her açısı 90° olduğu için, iç açıları toplamı 270° olan bir üçgen bulduk:
"Ama bu üçgen düz değil, eğri!" diyorsanız, "düz" ne demek bir düşünelim. Elbette uzaydan bakabilsek eğri olduğunu anlarız, ama yeryüzüne bağlı olduğumuz sürece, bu düzgün bir üçgendir. Matematikçiler "küresel üçgen" diyerek bir ayrım yapmışlar. Yani iç açılar toplamı düzlemde basitçe 180° iken küre üstünde daha büyük olabilir. Acaba toplam açıyı bulan basit bir formülü var mı? (var elbette, olmasa bu yazıyı yazamazdım)


Yay uzunluğu ve Radyan ölçüsü

Alan konusuna gelmeden önce, acaba eğrilerin uzunluğu nasıl ölçülür? En basit eğri, yarıçapı $r=1$ olan birim çember üstündeki yay:

Birim çember üstünde açıyı uzunluğa eşitleyen "radyan" ölçüsünü kullanırsak, tanım gereği, $\alpha$ (alfa) hem açıyı hem de yay uzunluğunu gösterir. Çemberin uzunluğu $2\pi$ olduğuna göre, dik açı $\pi/2$ ve doğru açı $\pi$ radyan olarak ölçülür.

Alıştığımız derece ölçüsü biraz keyfi. Neden tam açı 360° olsun? Çünkü bir yıldaki gün sayısına yakın ve küçük sayıların çoğuna tam bölünebilen bir sayı. Yıldızlar her gün yaklaşık bir derece hareket eder bu ölçü ile... İki ölçü arasındaki geçiş zor değil. Derece ölçüsünü $\pi$ ile çarpıp 180'e bölünce radyan ölçüsü bulunur:
$\large \alpha = \pi d/180$

Yarıçap $r=1$ değilse, bütün uzunluklar $r$ ile çarpılır ve yay uzunluğu şöyle bulunur:
$\alpha r = \pi rd/180.$ Formülde $d = 360^{\circ}$ iken çember uzunluğu $2\pi r$ olarak doğrulanır.


Küresel dilimin alanı

Yarıçapı $r=1$ olan birim küre üstünde, iki kutup noktasından geçen iki büyük çember çizelim. Çemberlerin arasındaki açı $\alpha$ olsun. Arada kalan dilimin alanı nedir?
Özel bir hal olarak $\alpha = 2\pi$ alırsak, dilim bütün küreyi kaplar. Bu durumda alan $4\pi$ olduğuna göre, dilim alanı, açının radyan ölçüsünün iki katı $(2\alpha)$ olmalı.

Kürenin yarıçapı $r=1$ değilse bütün alanlar $r^2$ ile çarpılır. Derece kullanılırsa, yukarıdaki dönüşüm ile dilim alanını veren formüle ulaşırız:
$\large 2\alpha r^2 = \pi r^2 d/90$


Küresel üçgende iç açılar

Radyan ölçüsünü ve kürenin dilim alanını bilince, küresel üçgenin açılarını toplamaya bir adım kaldı. Birim küre üstünde herhangi bir T üçgenini düşünelim. Kırmızı, yeşil, mavi köşelerdeki iç açılar aynı sırayla α, β, γ olsun. 

Üçgenin kenarlarını üç adet büyük çembere uzatalım. Üç çemberin üç çift dilim tanımladığı görülüyor: A+T, B+T, C+T. Bu dilimler kürenin ön ve arka tarafında aynen tekrar ediliyor. T üçgenin tekrarı ise, kürenin arkasında (görünmeyen) kırmızı, yeşil, mavi köşelerde gizli. Yani dört çeşit ügen (T, A, B, C) herbirinden iki adet var.
Şimdiye kadar üçgenlerin adı olan T, A, B, C harflerini, aynı üçgenlerin alanı için kullanırsak, her dilimin alanı şöyle bulunur:
$A+T = 2\alpha, B+T = 2\beta, C+T = 2\gamma$
Üç denklemi toplayınca:
$A+B+C+3T = 2(\alpha+\beta+\gamma)$

Öte yandan, yarım kürenin alanı:
$A+B+C+T = 2\pi$ olduğu için
$T = (\alpha+\beta+\gamma-\pi)$ bulunur.

Birim küre üstündeki üçgenin iç açıları toplamı $= \pi$ radyan (180°) + üçgenin alanı.


 

Eğilen uzay

Buraya kadar yazılanlar bin yıl önce gemicilerin kullandığı ve matematikçilerin iyi bildiği, küresel geometri. Yerkürenin şeklinden dolayı, büyük üçgenlerin iç açıları toplamı 180 dereceden fazla çıkıyor. Peki uzayda nasıl?

İzafiyet (relativity) teorisi, uzayın (göremediğimiz) bir boyutta eğildiğini söylüyor ve kütle çekiminin temeline geometriyi yerleştiriyor. Gezegenler ölçeğinde bakıldığında, ışığın yolunda gözlenen minik sapmalar bu şekilde açıklanıyor. Üç boyuttan dışarı çıkıp bakamadığımız için belki de gerçekliği hiçbir zaman bilinemeyen bir teori.


Ödev

1. Son şekilde $A = (\alpha-\beta-\gamma+\pi)$ eşitliğini gösterin ve buradan $A+B+C+T = 2\pi$ denklemini doğrulayın

2. $T = (\alpha+\beta+\gamma-\pi)$ ifadesini derece ölçüsü ile, sağ tarafı $r^2$ ile çarparak yazın

3. Yerkürenin alanını 500 milyon km², Türkiye'nin alanını 800 bin km² alarak, ülkemiz boyunda bir üçgenin iç açıları toplamını tahmin edin (cevap 181° civarında)


Referans

Dik açılı eşkenar üçgen Britannica'dan:
https://www.britannica.com/science/latitude

Küresel dilim şekli Wolfram'dan:
https://mathworld.wolfram.com/SphericalLune.html

Son şekli ve açıklamasını buradan basitleştirdim


Bu yazıyı kuzenim Halid Abay'a ithaf ediyorum.

15.06.2020

3-4-5 Üçgeni

Arazide dik üçgen yapmak için çok basit bir gönye kullanılır: Kenarlarları 3-4-5 sayılarının katı olan bir üçgen. Aritmetik $3^2 + 4^2 = 5^2$ ve Pisagor teoremi bu üçgenin dik açılı olduğunu söylüyor.
https://tr.pinterest.com/pin/436286282625753185/


Bu üçgeni kağıttan katlamanın birkaç yolunu okumuştum. Bu sabah gördüğüm çok basit bir yöntem (Kazuo Haga) hepsinden daha kolay. Kare kağıdın A köşesini üst kenarın orta noktasına getirip katlayınca üç adet 3-4-5 üçgeni elde edilir: (daha güzel bir yöntem yazının sonunda)
Kenar uzunluğunu 1 (bir) alarak yukarıda gösterilen uzunluklar kolayca hesaplanır. Yan ürün olarak, alt kenarı altıda bir ve sağ kenarı üçte bir oranında (C noktasında) bölmüş oluruz. 


Genel Formül

Bir problemi çözen matematikçi asla o sonuçla yetinmez. Çözümü daha kısa, daha güzel ve daha genel yapmaya uğraşır. Bu problem, A köşesini üst kenarın ortasına değil, herhangi bir yerine getirmek şeklinde genellenebilir:
A köşesini sol üst köşeden b uzaklığına getirip katlayınca, şekilde görülen x ve y değerleri nasıl hesaplanır? Yani, katlama sonunda sol ve sağ kenarlarda ortaya çıkan B ve C noktalarının alt kenara uzaklığını bulmak istiyoruz. Şekildeki en önemli ayrıntı, katlamanın gereği olarak AB = $x$ uzunluğunun sol tarafta iki kere çizilmiş olması. (Sağdaki üçgende aynı özellik geçerli değil)

Soldaki dik üçgende $(1-x)^2 + b^2 = x^2$  eşitliğini kullanarak

hipotenüs $x = (1+b^2)/2$  ve
dik kenar $1-x = (1-b^2)/2$ bulunur.

Soldaki ve sağdaki üçgenlerin benzerliğini dik kenarlara uygularsak,
$$ \frac {b}{1-y} = \frac {1-x}{1-b} = \frac {1+b}2 $$
ve buradan $y = \frac {1-b}{1+b}$ sonucuna ulaşırız. 

Özel halde, $b=1/2$ verildiğinde $y=1/3$ bulunur.

Çözüm: $f(b) = (1−b)/(1+b)$  fonksiyonun $0<b<1$ aralığındaki grafiği aşağıda
f(b) fonksiyonu

Pisagor Üçlüleri  

Tanım: $a^2 + b^2 = c^2$  denklemini sağlayan tamsayılar

Konu başlığındaki 3-4-5 üçgeni ne oldu? Açılar değiştiği için her $b$ değeri farklı bir dik üçgen verir. Üstelik $b$ rasyonel bir sayı ise, hesaplanan değerler de rasyonel olacağından, ortak payda ile çarpıldığında bütün kenarlar tamsayı olur ve tanım gereği Pisagor üçlüleri elde edilir. Verilen $b$ sayısından $x$ ve $y$ değerlerini kesir olarak hesaplayan şu sayfanın ürettiği birkaç örneği aşağıda ekledim. Pisagor üçlülerinin ne kadar çok olduğunu bu sayfada görebilirsiniz.

b değerinden hesaplanan x, y ve Pisagor üçlüsü

Verilen bir Pisagor üçlüsünden de rasyonel $b$ ve $y$ değerleri kolayca bulunur.


Yine Euclid!

Bu tablodaki kesirlerin basitliğini merak ettim. Küçük tamsayılarla yapılan kesirlerin sonucunda, formüller çok basit olmadığı halde, yine küçük tamsayılar çıkıyor, acaba neden? 

Konuyu araştırınca, az bilinen başka bir Euclid formülü çıktı. 
$b = n/m \quad (m>n>0)$ rasyonel sayısı ile başlarsak, soldaki üçgenin kenarları şöyle çıkıyor:
$b = 2mn/p,  1-x = (m^2-n^2)/p,  x = (m^2+n^2)/p$
(ortak payda $p = 2m^2$)  ve  $y = (m-n)/(m+n)$

Paydalar eşitlendiği için, üç kesrin payları aranan üçlüyü verir:
$(2mn, m^2-n^2, m^2+n^2) \Rightarrow $ $(2mn)^2 + (m^2-n^2)^2 = (m^2+n^2)^2$

Bu şekilde bulunan sayıların Pisagor üçlüsü olduğunu göstermiş olduk. Fazlası, bütün Pisagor üçlülerinin Euclid formülüne uyduğu aşağıdaki linkte [4] kanıtlanmış.

It is a fascinating thought that this chapter could have been written while Euclid was looking over my shoulder.
"Bu bölüm, Euclid omuzumun üstüden izlerken yazılabilirdi" düşüncesi büyüleyici...
E W Dijkstra (1976), A Discipline of Programming, Prentice-Hall, p. 6
Aynen öyle, bu bölüm (notasyon ve yazılım hariç) 2300 sene önce yazılabilirdi...


Ödev

1. Hipotenüsü AB olan dik üçgende, Pisagor teoremini kullanarak AB uzunluğunu bulun

2. C köşesindeki küçük üçgenin 3-4-5 oranında olduğunu sayılarla doğrulayın

3. BC uzunluğunu hesaplayın ve ABC üçgeninin de diğerlerine benzer olduğunu gösterin

4. $f(b)$ fonksiyonunun tersinin kendisi olduğunu gösterin ve $f(x) = x$ denklemini sağlayan sabit noktasını bulun

5. Yukarıda görülmeyen $(9, 40, 41)$ Pisagor üçlüsü için iki adet $b$ değeri bulun (neden iki?)


Referans

1. Kare kağıdı üç eşit parçaya bölmek

2. Aynı konu, İngilizce

3. Yazının konusu olan 3-4-5 üçgeni hakkında

4. Pisagor üçlüsü, tanımı ve özellikleri

5. f(b) değerini kesir olarak hesaplayan JS sayfamız



Daha basit bir yöntem (Eylul 2021)

3-4-5 üçgenini 4x4 kareden elde etmek için iki kere katlamak yeterli:
Matematikte "en iyiyi buldum" diyemezsiniz!






Kaydol: Kayıtlar (Atom)