Çizilebilir sayı

Cetvel ve pergel kullanılarak, geometrik olarak oluşturulabilen gerçek sayı

Çizilebilir sayı terimi,[1] geometri ve cebirde kullanılır ve bir reel sayı 'nin, belirli koşullar altında bir çizgi olarak çizilebilip çizilemeyeceğini ifade eder. Eğer birim uzunlukta herhangi çizgiyi kullanarak, sadece pergel ve cetvel yardımıyla ve belirli sayıda adımda, r uzunluğunda bir başka çizgi çizebilirse, bu durumda r sayısı çizilebilir bir sayıdır. Başka bir deyişle, r sayısını, sadece tam sayıları ve temel matematik işlemleri (toplama, çıkarma, çarpma, bölme) ile karekök alma işlemini kullanarak açık bir şekilde ifade edebiliyorsa, r sayısı çizilebilir kabul edilir.

Karekök 2, 1 uzunluğunda iki dik kenarı olan bir dik üçgenin hipotenüsünün uzunluğuna eşittir ve bu nedenle bir çizilebilir sayıdır.

Çizilebilir sayılar kavramı, geometri ve cebirde önemli bir yere sahiptir ve bu kavramla yakından ilgili olan çizilebilir noktalar, geometrik ve cebirsel yöntemlerle tanımlanabilir. Bir noktanın çizilebilir olarak kabul edilebilmesi için, önceden belirlenmiş birim uzunluktaki bir çizginin başlangıcından, pergel ve cetvel kullanarak ulaşılabilecek bir konumda olması gerekir. Bu, bir çizginin sonu, iki çizginin veya iki çemberin kesişme noktası gibi belirli bir noktaya işaret eder. Ayrıca, bir noktanın çizilebilir olması, bu noktanın Kartezyen koordinatlarının her ikisinin de çizilebilir sayılar olmasını gerektirir. Burada bir segmentin başlangıç ve bitiş noktaları, bir Kartezyen koordinat sisteminde sırasıyla (0, 0) ve (1, 0) olarak düşünülür.[2] Çizilebilir sayılar ve noktalar, diğer yöntemlerle elde edilen sayı ve noktalardan farklılaştırılmak amacıyla bazen cetvel ve pergel sayıları ve cetvel ve pergel noktaları olarak adlandırılır.[3] Bu tanımlamalar, geometri ve cebirdeki çeşitli problemlerin çözümünde temel oluşturur.

Çizilebilir sayıların oluşturduğu küme, bir alanı teşkil eder: Bu kümedeki elemanlara uygulanan dört temel aritmetik işlemin her biri, yine bir çizilebilir sayının elde edilmesini sağlar. Bu alan, rasyonel sayılar üzerine bir alan genişlemesi olarak işlev görür ve bu yapı, cebirsel sayılar alanının bir alt kümesi olarak kabul edilir.[4] Rasyonel sayıların Euklidyen kapanışı olarak tanımlanan bu alan, rasyonel sayılardan türeyen ve pozitif elemanlarının tümünün kareköklerini barındıran en minimal alan genişlemesidir.[5]

Çizilebilir sayıların cebirsel ve geometrik tanımlamalarının eşdeğerliğini ispatlama süreci, antik Yunan matematiğine ait birkaç ünlü problemin de içinde bulunduğu, pergel ve cetvel kullanılarak oluşturulan geometrik soruların, cebirsel bir çerçeveye dönüştürülmesine olanak tanır. Bu soruların cebirsel olarak ifade edilmesi, geometrik olarak formüle edilen ve yüzyıllarca çözüme direnç göstermiş aynı problemlerin, çizilebilir olmadıklarına dair ispatların ortaya konulmasını sağlamıştır.

Geometrik tanımlamalar

değiştir

Geometrik olarak çizilebilir noktalar

değiştir

Öklidyen düzlemde yer alan   ve   isimli iki ayrı nokta verildiğinde, bu noktaları başlangıç kabul ederek pergel ve cetvel ile çizilebilen noktaların oluşturduğu küme   olarak tanımlanmaktadır. Bu bağlamda,   kümesine ait noktalar çizilebilir noktalar olarak isimlendirilir.   ve   noktaları, bu tanım çerçevesinde,   kümesinin doğal üyeleridir.   kümesindeki diğer elemanları daha detaylı bir şekilde tanımlamak amacıyla, aşağıdaki iki tanım kullanılmaktadır:[5]

  • Uç noktaları   kümesine dahil olan doğru parçasına, çizilebilir doğru parçası denir ve
  • Merkezi   içerisinde yer alan ve bir   noktasından geçen (ya da alternatif bir ifadeyle, yarıçapı   kümesindeki iki ayrı nokta arasındaki mesafe olan) çembere, çizilebilir çember adı verilir.

Buna göre,   ve   haricindeki   noktaları aşağıdakileri içerir:[5][3]

  • İki paralel olmayan çizilmiş doğru parçasının veya bu parçalar üzerinden çizilen doğruların kesişme noktaları,
  • Bir çizilebilir çember ile çizilmiş bir doğru parçasının veya bu parça üzerinden çizilen bir doğrunun kesişim noktaları,
  • İki ayrı çizilebilir çemberin kesişim noktaları.

Örneğin, çizilmiş   doğru parçasının orta noktası bir çizilebilir noktadır. Bunun için bir yöntem,   yarıçapı ile iki çember çizmek ve bu iki çemberin kesişme noktalarından geçen bir çizgi çizmektir. O zaman   segmentinin orta noktası, bu çizilmiş çizginin segmenti kestiği noktadır.[6]

Geometrik olarak çizilebilir sayılar

değiştir

Geometrik formülasyona ilişkin başlangıç verisi,   noktasının orijin olarak   koordinatları ile ve   noktasının   koordinatları ile ilişkilendirildiği bir Kartezyen koordinat sisteminin tanımlanmasını sağlar. Artık,   noktaları, çizilebilir bir noktanın koordinatı olarak tanımlanan bir çizilebilir sayının geometri ile cebir arasında bir bağ kurulmasını mümkün kılar.[5]

Çizilebilir bir sayının eşdeğer tanımları arasında, bir çizilebilir noktanın  -koordinatı olan  [3] veya çizilebilir bir doğru parçasının uzunluğu bulunmaktadır.[7] Bu eşitliğin bir yönünde, eğer bir çizilebilir noktanın koordinatları   ise,   noktası,  -eksenine dik bir projeksiyon olarak çizilebilir ve orijinden bu noktaya kadar olan mesafe   uzunluğundadır. Tersi durumda, eğer   bir çizilebilir doğru parçasının uzunluğu ise,   yarıçapı ve   merkezi ile tanımlanan bir çemberin  -ekseni ile kesişimi   noktasını sağlar. Bu eşitlikten yola çıkarak, Kartezyen koordinatları geometrik olarak çizilebilir sayılar olan her noktanın, kendisinin de geometrik olarak çizilebilir bir nokta olduğu anlaşılmaktadır. Zira,   ve   geometrik olarak çizilebilir sayılar olduğunda,   noktası, koordinat eksenlerine dik   ve   noktalarından geçen doğruların kesişimi ile oluşturulabilir.[8]

Cebirsel tanımlar

değiştir

Cebirsel olarak çizilebilir reel sayılar

değiştir

Cebirsel olarak çizilebilir reel sayılar, toplama, çıkarma, çarpma, çarpmaya göre ters işlem ve pozitif sayıların kareköklerinin kullanımıyla tam sayıların kombinasyonunu içeren formüller aracılığıyla ifade edilebilen reel sayıların bir alt kümesini temsil eder. Bu formüllerin yapısal karmaşıklığını artırarak daha da sadeleştirilebilir şekilde, söz konusu formüllerdeki tam sayılar yalnızca 0 ve 1 olarak kısıtlanabilir.[3] Mesela, 2'nin karekökü çizilebilir olarak kabul edilir, zira bu,   veya   gibi formüllerle ifade edilebilir.

Benzer bir biçimde, cebirsel olarak çizilebilir karmaşık sayılar, pozitif sayılarla sınırlı olmayan ve rastgele karmaşık sayıları argüman olarak kabul edebilen, argümanının ana karekökünü hesaplayan genelleştirilmiş bir karekök işlemi kullanılarak ifade edilebilen karmaşık sayıların bir alt kümesini oluşturur. Bu kapsamda, gerçek ve sanal kısımları her ikisi de çizilebilir reel sayılar olan karmaşık sayılar da, aynı karmaşık sayılar sisteminin bir parçası olarak tanımlanabilir.[9] Mesela,   karmaşık sayısı için   veya   gibi formüller geçerlidir ve bu sayının gerçek ve sanal kısımları sırasıyla çizilebilir sayılar olan 0 ve 1 değerlerindedir.

Bu iki çizilebilir karmaşık sayılar tanımı eşdeğerdir.[10] Bir bakış açısından, eğer   formülüyle ifade edilen bir karmaşık sayının reel ve sanal bileşenleri   ve  , çizilebilir reel sayılar kategorisinde ise, bu bileşenlerin formülleri   genel formülü içerisine yerleştirilerek   karmaşık sayısının bir formülü türetilebilir. Diğer yandan, cebirsel olarak çizilebilir bir karmaşık sayı için var olan herhangi bir formül, söz konusu formüldeki her işlemin reel ve sanal kısımlar üzerindeki işlemlere dönüştürülmesi ile, bu sayının reel ve sanal parçaları için formüllere çevrilebilir. Bu dönüşüm için aşağıdaki genişletmeler kullanılır:[11]

  •  
  •  
  •  
  •  , burada   ve   olarak ifade edilir.

Cebirsel olarak çizilebilir noktalar

değiştir

Cebirsel olarak çizilebilir noktalar, her iki reel Kartezyen koordinatı da cebirsel olarak çizilebilir reel sayılar olan noktalar olarak ifade edilebilir. Diğer bir deyişle, cebirsel olarak çizilebilir karmaşık sayılarla tanımlanan karmaşık düzlemdeki noktalar şeklinde de tanımlanabilirler. Cebirsel olarak çizilebilir karmaşık sayılarla ilgili iki tanım arasındaki eşdeğerlik dikkate alındığında, cebirsel olarak çizilebilir noktaların her iki tanımının da birbirine eşdeğer olduğu sonucuna varılır.[10]

Cebirsel ve geometrik tanımların eşdeğerliği

değiştir

  ve   değerleri, geometrik yöntemlerle oluşturulan segmentlerin sıfırdan farklı uzunluklarına karşılık geliyorsa, temel pergel ve düz çizgi kullanımı ile  ,  ,   ve   uzunluklarında yeni segmentlerin oluşturulması mümkündür. Bu işlemlerin son ikisi, kesişme teoremine dayalı bir yöntemle gerçekleştirilebilir. Bu araçlara dayanarak gerçekleştirilen biraz daha karmaşık bir inşa yöntemi, geometrik ortalama teoremini temel alır ve   uzunluğunda bir segment kullanılarak   uzunluğunda bir segmentin oluşturulmasını sağlar. Bu teknikler, bir sayının formülünün ilgili sayının geometrik inşasına dönüştürülmesi suretiyle, her cebirsel olarak çizilebilir sayının geometrik olarak da çizilebileceği sonucunu doğurmaktadır.[12]

Bu görseller, çizilebilir sayıların oluşturulması için pergel ve cetvel kullanılarak gerçekleştirilen çizme işlemlerini göstermektedir.
 , kesişme teoremi temelinde yapılmıştır.
 , kesişme teoremi temelinde yapılmıştır.
 , geometrik ortalama teoremi temelinde yapılmıştır.

Diğer bir perspektiften, geometrik nesnelerin bir kümesi, cebirsel olarak çizilebilir reel sayılar kullanılarak belirlenebilir: noktalar için koordinatlar, doğrular için eğim ve  -kesişim, çemberler için ise merkez ve yarıçap. Bu değerlere dayanarak, sadece aritmetik ve karekökler kullanılarak, pergel ve düz çizgi ile yapılan bir çizimin tek bir adımında dahil edilebilecek herhangi bir ek nesne için formüllerin geliştirilmesi mümkündür (bu, oldukça meşakkatli bir süreçtir). Bu formüllerden hareketle, geometrik olarak çizilebilir her sayının, cebirsel olarak da çizilebileceği sonucuna varılmaktadır.[13]

Cebirsel özellikler

değiştir

Cebirsel olarak çizilebilir sayıların tanımı, ilgili sayıların toplamları, farkları, çarpımları ve çarpmaya bağlı tersleri gibi işlemleri kapsar; bu işlemler, soyut cebir içerisinde bir alanın tanımlanmasında kullanılan temel işlemlerle özdeştir. Bu bağlamda, ele alınan herhangi bir yöntemle tanımlanan konstrüktif sayılar bir alan yapısını oluşturur. Özellikle, çizilebilir reel sayılar, pozitif elemanlarının her birinin bir karekökünü barındıran, sıralanabilir bir alan olan bir Öklid alanını meydana getirir.[14] Bu alanın ve alt alanlarının incelenmesi, bir sayının çizilebilir olabilmesi için zorunlu koşulları belirlememize olanak tanır. Bu koşullar, klasik geometrik yapı problemlerinde karşımıza çıkan ve çizilebilir olmayan belirli sayıların tespit edilmesinde kullanılabilir.

Çizilebilir sayıların genel alanı yerine, herhangi bir çizilebilir sayı   ile üretilen ve bu sayıya özgü   alt alanını incelemek ve  'nın cebirsel yapısını kullanarak söz konusu alanı parçalara ayırmak daha faydalıdır.  , çizilebilir bir reel sayı olduğunda, bu sayının çizilebilirliğini mümkün kılan formülasyondaki değerlerin kullanılması, her bir   için,  'nın,  'ya kıyasla derecesi 2 olan bir genişlemesi olduğu bir   reel sayı dizisinin oluşturulmasına imkan tanır.[15] Alternatif bir terminoloji ile ifade edildiğinde, bir reel sayının çizilebilir olması, yalnızca bu sayının,   rasyonel alanı ile başlayıp,  'nın bulunduğu  'ye kadar uzanan ve her   için   olan sonlu bir kuadratik genişleme alan kulesinin zirvesindeki bir alanda yer alması durumuna bağlıdır.[16] Bu ayrışma sürecinden,   alan genişlemesinin derecesinin, kuadratik genişleme aşamalarının sayısını gösteren   ile   olduğu anlaşılır.[17]

Reel sayıların durumuna paralel olarak, bir karmaşık sayının çizilebilirliği, yalnızca o sayının, sonlu sayıda karmaşık kuadratik genişlemelerden oluşan bir alan kulesinin en üstünde yer alan bir alanda bulunması ile mümkündür. Daha açık bir tanımla,   sayısının çizilebilir olması;  , şeklinde bir alanlar dizisi var olduğunda,   sayısının   içinde yer alması ve her   için   ilişkisinin geçerli olması durumunda gerçekleşir. Bu tanımlama ile reel çizilebilir sayılara ilişkin tanımlama arasındaki temel fark, bu kapsamdaki alanların yalnızca reel sayıları kapsamak zorunda olmayışıdır. Dolayısıyla, bir karmaşık sayı   çizilebilirse, bu durumda  , ikinin bir kuvveti şeklinde ifade edilir. Ancak, bu gerekli koşul, tek başına yeterli olmayıp; derecesi ikinin bir kuvveti olan fakat kuadratik genişlemeler dizisi ile ayrıştırılamayan alan genişlemelerinin var olduğu durumlar da bulunmaktadır.[18][19]

  üzerinden kuadratik genişlemelerin kuleleri aracılığıyla oluşturulabilen alanlar,   için tekrarlanan kuadratik genişlemeler olarak adlandırılır. Reel ve karmaşık çizilebilir sayıların oluşturduğu alanlar,   üzerinden gerçekleştirilen tüm gerçek veya karmaşık tekrarlanan kuadratik genişlemelerin birleşimlerinden meydana gelir.[20]

Trigonometrik sayılar

değiştir

Trigonometrik sayılar,  'nin rasyonel katlarının sinüs veya kosinüs değerleri olarak tanımlanır. Bu tür sayılar daima cebirsel niteliktedir; ancak, bu sayıların her birinin çizilebilir olması zorunlu değildir. Özellikle,   açısının sinüsü veya kosinüsü, sadece belirli   sayıları için çizilebilir olma özelliği gösterir:

  • İki sayısının kuvvetleri
  • İki sayısının bir kuvvetine bir eklenmesiyle elde edilen asal sayılar olan Fermat asalları
  • İki sayısının kuvvetlerinin ve birbirinden farklı Fermat asallarının herhangi bir sayıda kombinasyonunun çarpımları.

Buna göre,  , 15 sayısının 3 ve 5 olmak üzere iki Fermat asalının çarpımı olması sebebiyle çizilebilir bir değere sahiptir. Ancak,   (farklı Fermat asallarının bir çarpımı olmadığı için) ve   (bir Fermat asalı olmayan bir asal sayı olduğu için) çizilebilir sayılar arasında yer almaz.

İmkansız çizimler

değiştir
Bir küp ve onun iki katı
Bir açı ve onun üçe bölünmesi
Eşit alanlara sahip daire ve kare

Antik Yunanlılar, çözümünü bulamadıkları bazı pergel ve cetvel çizimi problemlerinin sadece zorlu değil, çözümsüz olduğunu varsaymıştır.[21] Ancak, birtakım sayıların çizilemezliği, bu tür yapıların mantıken gerçekleştirilemeyeceğini ortaya koymaktadır.[22] Bununla birlikte, problem kendileri, sadece pergel ve cetvel kullanımıyla sınırlı kalmadan, bu sınırların ötesindeki yöntemlerle çözülebilir; Antik Yunanlılar bu tür çözümleri bilmekteydi. Bu yöntemlerden bir tanesinin, Arşimet'in Neusis çizimi yöntemiyle Açının Üçe Bölünmesi problemine getirdiği çözüm olduğu bilinmektedir.[23]

Özellikle, çizilebilir sayılarla ilgili cebirsel ifadeleme, aşağıda belirtilen çizim problemlerinin gerçekleştirilemeyeceğinin ispatlanmasını sağlar:

Delos problemi
Birim karenin iki katına çıkarılması meselesi, ilk kare üzerine, kenarlarının uzunluğu   ve yüzölçümü   olan yeni bir kare konumlandırılarak halledilir. Eş anlamda, küpün hacmini iki katına çıkarma sorusu, hacmi   olan bir küp için kenar uzunluğunun   değerinde tesis edilmesini talep eder. Ancak, bu uzunluk, söz konusu uzunluğun minimal polinomu olan  'nin,   üstünde üçüncü dereceden olması sebebiyle çizilebilir değildir.[24] Yalnızca tek bir reel irrasyonel köke sahip olan bu kübik polinom, eğer bir kuadratik reel kök mevcut olsaydı, kuadratik eşlenik yoluyla ikinci bir reel kökün elde edilebileceği varsayımıyla, indirgenemez niteliktedir.[25]
Açının üçe bölünmesi
Bu probleme göre, verilen bir   açısından,   açısının inşa edilmesi gerekmektedir. Cebirsel olarak, açılar trigonometrik fonksiyonları, örneğin sinüsleri veya kosinüsleri ile temsil edilebilir, bu da verilen açı ile başlangıç segmenti arasında oluşturulan bir doğru segmentinin son noktasının Kartezyen koordinatlarını verir. Böylece, bir   açısı,   bir çizilebilir sayı olduğunda çizilebilir hale gelir ve açının üçe bölünmesi problemi,   inşa edilmesi olarak formüle edilebilir. Örneğin, eşkenar üçgenin   açısı pergel ve cetvel ile çizilebilir, burada  . Ancak, üçe bölünmüş açısı   çizilemez, çünkü   minimal polinomu   üzerinde 3 dereceli   olur. Bu belirli üçe bölme problemi örneğinin pergel ve cetvel ile çözülemediği için, genel problem de çözülemez.[26]
Daireyi kareleştirme
Alanı bir birim çember ile aynı olan   alanına sahip bir karenin kenar uzunluğu  , bir transandantal sayı olacaktır. Dolayısıyla, bu kare ve kenar uzunluğu çizilebilir değildir, çünkü   üzerinde cebirsel değildir.[27]
Çizilebilir çokgen
Merkezi orijinde olan düzenli bir  -genin köşeleri arasındaki açılar   olacaktır. Çokgen, bu açının kosinüsü bir trigonometrik sayı olduğunda çizilebilir. Bu bağlamda, örneğin, 15-geni çizebilirken, düzenli yedigen çizilemez, çünkü 7 asal sayıdır fakat bir Fermat asalı değildir.[27] Yedigenin çizilemezliğinin daha doğrudan bir kanıtı için, düzenli yedigenin köşelerini   polinomunun karmaşık kökleri olarak temsil edin.   faktörünü çıkarıp,   ile bölerek ve   ile yer değiştirerek daha basit   polinomunu elde edersiniz; bu, üç reel kökü olan indirgenemez bir kübik polinomdur ve her bir kök, bir karmaşık sayı köşenin reel kısmının iki katıdır. Kökleri çizilebilir olmadığı için, yedigen de çizilebilir değildir.[4]
Heysem problemi
İki nokta ve bir dairesel ayna verildiğinde, verilen noktalardan biri diğerinin yansımasını çember üzerinde nerede görür? Geometrik olarak, her bir verilen noktadan yansıma noktasına giden çizgiler, çemberde eşit açılarla ve eşit uzunlukta kirişlerle kesişir. Ancak, bir yansıma noktasını pergel ve cetvel kullanarak çizmek imkansızdır. Özellikle, iki noktası   ve   içinde olan bir birim çember için, çözümün koordinatları indirgenemez derece-dört polinomunun   köklerini oluşturur. Derecesi iki sayısının kuvveti olmasına rağmen, bu polinomun ayrışma alanının derecesi üç ile bölünebilir, bu yüzden iteratif bir karesel genişletmeden gelmez ve Alhazen Problemi'nin pergel ve cetvelle bir çözümü yoktur.[28]

Tarihçe

değiştir

Çizilebilir sayılar kavramının doğuşu, küpün iki katına çıkarılması, bir açının üçe bölünmesi ve dairenin kareye çevrilmesi gibi üç imkansız pergel ve cetvel inşası ile yakından ilişkilidir. Geometrik inşalarda yalnızca pergel ve cetvel kullanımı kısıtlaması sık sık Plato'ya atfedilir, çünkü bu Plutarch'ta geçen bir bölümden kaynaklanır. Plutarch'a göre, Plato, küpün iki katına çıkarılması (Delos) problemini Knidoslu Ödoksus, Archytas ve Menaechmus'a vermiş ve onlar problemi mekanik yöntemler kullanarak çözmüşler, ancak Plato'dan sentetik geometri kullanarak problemi çözmedikleri için bir azar işitmişlerdir.[29] Ancak, bu atfın sorgulandığı bilinmektedir,[5] kısmen, üçünün de çözüm bulduğu ancak bu çözümlerin pratik değerden yoksun olduğunu söyleyen başka bir hikâye versiyonunun varlığı nedeniyle (bu hikâye, Eratosthenes tarafından Askalonlu Eutokios'a atfedilir).[30] Proclus, Rodoslu Eudemos'u alıntılayarak, iki cetvel ve pergel inşasını Oenopides'e (M.Ö. 450 civarı) atfetmiş ve bu, bazı yazarların Oenopides'in kısıtlamayı ortaya koyduğu hipotezini geliştirmelerine yol açmıştır.[30] Pergel ve cetvelle yapılan kısıtlama, klasik inşaat problemlerinin çözülemezliği için esastır. Örneğin, açının üçe bölünmesi, antik Yunanlıların bildiği birçok yöntemle yapılabilir. Hippias of Elis'in Quadratrix'i, Menaechmus'un konik kesitleri veya Archimedes'in işaretli cetveli (neusis) inşası gibi yöntemler kullanılmıştır, aynı zamanda daha modern bir yaklaşım olan kağıt katlama yöntemi de kullanılmıştır.[31]

Klasik üç çizim probleminden biri olmamakla birlikte, cetvel ve pergel ile düzenli çokgenlerin çizimi problemi sıklıkla onlarla birlikte ele alınır. Yunanlılar,   (herhangi bir   tam sayısı için), 3, 5 veya bu sayıların herhangi iki veya üçünün çarpımı ile düzenli  -genler çizmeyi biliyordu, ancak diğer düzenli  -genler onlara meydan okuyordu. 1796 yılında, o zamanlar 18 yaşında bir öğrenci olan Carl Friedrich Gauss, bir gazetede cetvel ve pergel ile düzenli bir 17-geni inşa ettiğini duyurdu.[5] Gauss'un yaklaşımı geometrikten ziyade cebirseldi; aslında, poligonu gerçekten inşa etmemiş, ancak merkezi bir açının kosinüsünün bir çizilebilir sayı olduğunu göstermişti. Argüman, 1801 yılında yayımlanan Disquisitiones Arithmeticae kitabında genelleştirilmiş ve bir düzenli  -genin inşası için yeterli koşulu vermiştir. Gauss, bu koşulun aynı zamanda gerekli olduğunu iddia etti ancak kanıtlamadı ve özellikle Felix Klein,[32] bu kanıtın bir kısmını ona atfetti.[5] Heysem problemi de klasik üç problemden biri değildir, ancak İbnü'l-Heysem (Alhazen) adıyla anılmasına rağmen, bir ortaçağ İslam matematikçisi olmasına karşın, problem zaten ikinci yüzyıldan Batlamyus'un optik üzerine çalışmasında yer almaktadır.[17]

Pierre Wantzel (1837) küpün iki katına çıkarılması ve bir açının üçe bölünmesi problemlerinin, yalnızca pergel ve cetvel kullanılarak çözülemeyeceğini cebirsel olarak kanıtladı. Aynı makalede, hangi düzenli çokgenlerin çizilebileceğini belirleyen problemin de çözümünü verdi: bir düzenli çokgenin çizilebilmesi ancak ve ancak kenar sayısının, bir ikinin kuvveti ile herhangi sayıda farklı Fermat asalının çarpımı olması durumudur (yani Gauss tarafından verilen yeterli koşullar aynı zamanda gerekli koşullardır).[33][34] Dairenin kareye çevrilmesinin imkansızlığı üzerine bir kanıt girişimi, James Gregory tarafından 1667 yılında Vera Circuli et Hyperbolae Quadratura (Dairenin ve Hiperbolün Gerçek Kareye Çevrilmesi) adlı eserinde verilmiştir. Kanıtı hatalı olsa da, bu makale, π'nin cebirsel özelliklerini kullanarak problemin çözümünü deneyen ilk çalışmadır. Dairenin kareye çevrilmesinin imkansızlığı, Ferdinand von Lindemann tarafından 1882 yılında, Charles Hermite'in çalışmalarını genişleterek ve π'nin bir transandantal sayı olduğunu kanıtlayarak kesin olarak ispatlanana kadar kanıtlanmadı.[35][32] Heysem problemi'nin pergel ve cetvelle çözülemeyeceği, Elkin (1965)'in çalışmalarına kadar kanıtlanmadı.[36]

Çizilebilir sayıların kendileri üzerine yapılan çalışma, René Descartes tarafından 1637 yılında yayımlanan kitabı Yöntem Üzerine Konuşmanın bir ek bölümü olan La Géométrie ile başlatılmıştır. Descartes, geometrik doğru parçalarına sayılar atayarak, İskenderiyeli Pappus tarafından öne sürülen antik bir cetvel ve pergel inşaat problemi çözümüyle felsefi yönteminin gücünü sergilemiştir.[37]

Kaynakça

değiştir
  1. ^ Sansan, Burcu (2019). "1.2". Cisim Genişlemeleri ve Origami Çizimleri (PDF) (Master's Thesis tez). Istanbul Technical University. 3 Mart 2024 tarihinde kaynağından arşivlendi (PDF). Erişim tarihi: 3 Mart 2024. 
  2. ^ Kazarinoff (2003, ss. 10 & 15); Martin (1998), Corollary 2.16, p. 41.
  3. ^ a b c d Martin (1998).
  4. ^ a b Courant & Robbins (1996).
  5. ^ a b c d e f g Kazarinoff (2003).
  6. ^ Bu orta nokta inşası, Öklid'in Elementleri kitabının I. Kitap, 10. Önerme'sinde verilmiştir.
  7. ^ Herstein (1986). Uzunluk temelli tanımı uygulamak için, sıfır sayısının özel bir durum olarak çizilebilir sayılar arasına alınması zorunludur.
  8. ^ Moise (1974), s. 227; Martin (1998), Teorem 2.4, s. 33.
  9. ^ Roman (1995).
  10. ^ a b Lawrence & Zorzitto (2021), s. 440.
  11. ^ Toplama ve çarpma işlemleri için bkz. Kay (2021), Teorem 8.1.10, s. 187. Bölme işlemi için bkz. Kay (2021), Denklemler 8.8, s. 188 ve 9.2, s. 224. Karekök genişletmesi, trigonometrinin yarı açı formülü kullanılarak elde edilebilir; eşdeğer bir formül için bkz. Lawrence & Zorzitto (2021), s. 440.
  12. ^ Herstein (1986); Moise (1974); Fraleigh (1994); Courant & Robbins (1996).
  13. ^ Martin (1998); Courant & Robbins (1996).
  14. ^ Martin (1998), Theorem 2.7, p. 35.
  15. ^ Fraleigh (1994), s. 429.
  16. ^ Roman (1995), s. 59.
  17. ^ a b Neumann (1998).
  18. ^ Rotman (2006), s. 361.
  19. ^ Rotman (2006), s. 362.
  20. ^ Martin (1998), Theorem 2.10, p. 37.
  21. ^ Stewart (1989), s. 51.
  22. ^ Klein (1897), s. 3.
  23. ^ Bu alternatif çözümlerin açıklamaları, Knorr (1986) içeriğinin büyük bir kısmını oluşturur.
  24. ^ Klein (1897, s. 13); Fraleigh (1994, ss. 429–430)
  25. ^ Courant & Robbins (1996), Section III.3.1, "Doubling the cube", pp. 134–135.
  26. ^ Fraleigh (1994); Courant & Robbins (1996)
  27. ^ a b Fraleigh (1994).
  28. ^ Neumann (1998). Elkin (1965), farklı noktalar ve farklı bir polinom kullanarak aynı sonuca varır.
  29. ^ Plutarch, Quaestiones convivales VIII.ii, 718ef.
  30. ^ a b Knorr (1986).
  31. ^ Friedman (2018).
  32. ^ a b Klein (1897).
  33. ^ Martin (1998), s. 46.
  34. ^ Wantzel (1837).
  35. ^ Martin (1998), s. 44.
  36. ^ Elkin (1965); ayrıca problemin daha fazla tarihçesi ile bağımsız bir çözüm için bkz. Neumann (1998).
  37. ^ Boyer (2004).

Bibliografya

değiştir

Dış bağlantılar

değiştir