Pergel ve çizgilik çizimleri

Pergel ve çizgilik çizimi, belli uzunlukta doğrular, belli büyüklükte açılar ve diğer geometrik şekilleri çizmek için sadece ideal bir çizgilik (işaretsiz cetvel, veya cetvel tahtası) ve pergel kullanılmasıdır.

Çizgilik ve pergel kullanılarak çizilebilcek her nokta, sadece pergel kullanılarak da elde edilebilir. Düzlem geometrisindeki bazı eski problemler bu kısıtlamayı getirirler.

Pergel ve çizgilik problemlerinin en meşhurlarından birkaçı, Pierre Wantzel tarafından, matematiksel alan teorisi kullanarak ispatlanmıştır. İmkânsızlık kanıtlarına rağmen bazı kişiler bu problemleri çözmek için uğraşmaya devam etmektedir. Bu problemlerin çoğu, başka geometrik dönüşümlere izin verilmesi hâlinde kolaylıkla çözülebilir: örneğin, Küpü iki katına çıkarma, geometrik inşaat yöntemleri ile mümkündür, ama sadece çizgilik ve pergelle yapılamaz.

Pergel istenildiği kadar açılabilir, ama (gerçek pergellerden farklı olarak) üzerinde işaret yoktur. Çizimin daha evvelki adımlarında elde edilmiş genişlikler kadar açılabilir sadece. Çizim yapmak için kullanılmadığında kapanır (yani hafızası yoktur).

Çizgilik sonsuz uzunluktadır, üzerinde işaretler yoktur ve, adi cetvellerden farklı olarak, tek bir kenara sahiptir. Sadece iki nokta arasında bir doğru çizmek için veya mevcut bir çizgiyi uzatmak için kullanılabilir.

Her çizim tam olmalıdır. "Göz kararı" çizim yapmak, yani çizime bakarak onun doğruluğuna hüküm vermek, veya ölçüm yaparak (bir cetveli kenarındaki işaretleri kullanmak gibi) yaklaşık bir sonuç bulmak, gerçek bir çözüm olarak sayılmaz.

Örneğin, bir çizimin en basit hâli olan iki ayrık noktadan başlanarak, bir doğru veya iki çember çizebiliriz. İki çemberin kesişim yerleri ile iki yeni nokta meydana gelir. Bu iki notadan biri ve başlangıçtaki iki nokta arasında doğrular çizerek, bir eşkenar üçgenin çizimi tamamlanır.

Dolayısıyla, herhangi bir geometrik problemde semboller (nokta ve doğrular) içeren bir başlangıç kümesi, bir algoritma ve bir sonuç vardır. Bu bakış açısıyla, geometri, aksiyomatik bir cebire denktir, cebirsel elemanlar yerine semboller kullanır. Muhtemelen Gauss bunu ilk fark eden kişi olmuştur ve bazı çizimlerin imkânsızlığını kanıtlamak için bu yaklaşımı kullanmıştır. Çok sonraları David Hilbert, geometri aksiyomlarının tam kümesini bulmuştur.

Bir şeyin imkânsız olduğunu kanıtlamanın çeşitli yolları vardır. Güçlü bir kanıt, olabilirin sınırlarını belirleyip, bu problemleri çözmek için bu sınırı aşmak gerektiğini göstermektir. Çizilebilen şeylerin çoğu Thales'in kesişim kuramı kapsamındadır.

Geometrimiz ile bir cebir arasında bir ilişki kurabiliriz: iki doğrudan oluşan bir Kartezyen koordinat sistemi içinde noktalar sıralı ikililer (vektörler) şeklinde gösterilebilir. Bu vektörler karmaşık sayılar olarak da yazılabilir.

Doğru ve çember denklemleri kullanarak, kesişimlerindeki noktaların bir F alanının kuadratik genişlemesi olduğu gösterilebilir. Bu alan, doğru üzerindeki iki nokta, çemberin merkezi ve çemberin yarıçapından oluşur. Yani biçimindedirler, burada x, y ve k Fye aittir.

Çizilebilir açılar grubu, açıların yarısını elde etme işlemi için (ki bu karekök almaya karşılık gelir) kapalı bir gruptur. İki noktadan başlanarak çizilebilen, sonlu mertebeye (finite order) sahip açılar, ya ikinin katına sahip olanlar, ya da ikinin bir katı ile bazı Fermat sayılarının çarpımı olanlardır. Bunlara ilaveten, sonsuz mertebeli, yoğun bir çizilebilir açılar kümesi de mevcuttur.

Öklid düzleminde bir noktalar kümesi verilirse, bunlardan biri 0, bir diğeri 1 olarak adlandırmak için seçilirse, ayrıca bir de herhangi bir doğrultu seçilirse, kümedeki diğer noktalar bir karmaşık sayılar kümesi olarak değerlendirilebilir.

Bir noktalar kümesinin bu şekilde bir karmaşık sayılar kümesi olarak yorumlarsak, sadece pergel ve çizgilik ile çizilebilen noktaların kümesi, orijinal noktaları da kapsayan ve, karmaşık eşlenik ve karekök işlemleri için kapalı olan, en küçük alandır (anlamda muğlaklık olmaması için, karmaşık argümanı π'den küçük olan karekök kastedilir). Bu alanın üyeleri, orijinal noktalar için toplama, çıkarma, çarpma, bölme, kompleks argüman ve karekök işlemleri ile ifade edilebilecek bir formüle karşılık gelir; bunların düzlemdeki noktaların yoğun, ama sonlu sayılı bir alt kümesi olduğu görülebilir. Bu altı işlemin her biri bir pergel ve çizgilik işlemine karşılık gelir. Böylesi bir formülden yola çıkarak, her bir aritmetik işleme karşılık gelen çizim işlemini kullanarak, her bir noktayı elde etmek için gereken çizim adımları belirlenebilir. Bazı noktaları elde etmek için bilinen daha kestirme çim yöntemleri, aritmetik işlemlerdeki kestirmelere (kısa yollara) karşılık gelir.

Buna denk olarak (ve herhangi iki noktanın seçilmesine gerek olmadan), herhangi bir doğrultu seçilirse, bir noktalar kümesinde herhangi iki çift nokta arasındaki farklar oranına karşılık gelen karmaşık oranlar, bu noktalar kümesi tarafından belirlenir. Pergel ve çizgilik tarafından bu oranlar kümesi kullanılarak çizilebilen oranların kümesi, orijinal oranları içeren, karmaşık eşlenikler ve karekökler için kapalı olan, en küçük alan ile tıpatıp aynıdır.

Küpün iki katına çıkarılması ve açının üçe bölünmesi için kübik denklemlerin çözümü olan oranlar gerekir. "Çemberin karesinin bulunması" ise bir aşkın oran gerektirmektedir. Bunlar, yukarıda tanımlanan alanlar içinde yer almamaktadır, dolayısıyla pergel ve çizgilik ile bunların çizimi için bir çözüm mevcut değildir. (Bir φ açısının üçte birinin bulunması probleminin istisnası, φ/6'nın bir rasyonel sayı olması ve bu rasyonel sayının paydasının, ikinin bir katı ile bazı Fermat sayılarından birinin çarpımı olmasıdır).

Bu problemlerin en meşhuru olan Çemberin karesinin bulunması, verilen bir çember ile aynı alana sahip olan bir karenin çizimidir, sadece pergel ve çizgilik kullanarak.

üretilebilir. Bunlar tam sayılardan başlanarak sonlu sayıda toplam, çıkarma, çarpma, bölme ve karekök işlemiyle elde edilenlerdir. Bu yüzden "çemberi karelemek" terimi, "imkansızı yapmak" anlamında kullanılır.

Küpün iki katına çıkarılması: sadece pergel ve çizgilik kullanarak, kenar uzunluğu verilen bir küpün iki katı hacimli başka bir küpün kenarını çizilmesi problemidir. Bu problemin çözümü imkânsızdır, çünkü 2'nin küp kökü, cebirsel olmakla birlikte, tam sayılardan başlanarak toplama, çıkarma, çarpma, bölme ve karekök alma yoluyla hesaplanamaz. Rasyonel sayılar üzerinden 2'nin küpköküne karşılık gelen minimal polinom denklem 3. derecedendir. Ancak, pergel ve üzerinde iki işaret olan bir cetvel kullanılarak bu problem çözülebilir.

Açının üçe bölünmesi: sadece pergel ve çizgilik kullanarak, verilen herhangi bir açının üçte biri olan bir açı çizilmesi problemidir. Genel hâliyle bu problem imkânsızdır. Örneğin, /3 radyan (60°) bölünemez ama 2/5 radyan (72° = 360°/5) üçe bölünebilir.

Bazı düzgün çokgenler (örneğin bir düzgün beşgen) pergel ve çizgilikle kolayca çizilebilir; diğerleri kolayca çizilemez. Bu durumdan şu soru ortaya çıkar: bütün düzgün çokgenler pergel ve çizgilik ile çizilebilir mi?

Carl Friedrich Gauss 1796'da düzgün bir n-gen'in pergel ve çizgilik ile çizilebilmesi için nnin tek sayılı asal çarpanların ayrık Fermat sayıları gerektiğini gösterdi. Gauss bu şartın ayrıca gerek şart olduğunu da öne sürdü ama buna bir kanıt göstermedi. Gereklilik 1837'de Pierre Wantzel tarafından kanıtlandı.

Pergel ve çizgilikle çizimi çok karmaşık veya imkânsız olan şekiller için yaklaşık çizim yolları mevcuttur. Bu çizimler, amaçlanan çizimin yaklaştırımlarıdır. Bu tür çizimlerin örnekleri arasında, sayısının yaklaşık çizimi, çemberin yaklaşık karelenmesi, düzgün yedigenin yaklaşık çizimi ve düzgün dokuzgenin yaklaşık çizimi sayilabilir.

Mohr–Mascheroni teoremine göre, eğer bir şey çizgilik ve pergelle çizilebilirse, sadece pergelle de çizilebilir, eğer verilen ve elde edilecek bilgiler ayrık noktalardan oluşuyorsa (yani çizgi ve çember değil). Sadece çizgilik kullanarak karekök almak mümkün değildir, bu yüzden çizgilikle çizilemeyen bazı şeyler pergelle çizilebilir. Ama (Poncelet–Steiner teoremine göre) pergel ve çizgilik ile çizilebilen her şey, eğer bir çember ve merkezi verilirse, sadece bir çizgilik kullanılarak da çizilebilir.

Arşimet ve Pergeli Apollonius çizgilik (işaretsiz cetvel) yerine, üzeri işaretli cetvel kullanarak yapılabilecek çizimleri gösterdiler. Bir doğru parçası, iki doğru (veya çember) ve bir noktadan başlayarak, bu yolla, verilen noktadan geçen ve her iki doğruyu kesen ve kesim noktaları arasındaki uzaklığın verilen doğru parçasına eşit olan bir dogru çizmek mümkündür. Yunanlar buna neusis ("eğilim", "temayül", "sınırında olmak") adını vermiştir, çünkü çizilen doğru, noktaya temayül eder. İşaretli cetvelli çizimlerde, bulunacak bir uzaklığın verilen bir uzaklığa oranı eğer üçüncü veya dördüncü dereceden bir denklemin çözümü ise, bu uzaklık çizim yoluyla bulunabilir. Dolayısıyla, eğer işaretli cetvel ve neusis'e izin verilirse, açını üçe bölünmesi (bakınız Arşimet'in üçe bölme yöntemi) ve küpün iki katına çıkarılması mümkündür. ancak çemberin karelenmesi hâlâ imkânsızdır. Bazi düzgün çokgenler, örneğin yedigen, bu yöntemle çizilebilir ve John H. Conway bunların bazılarının çizimini nasıl yapıldığını göstermiştir ancak 11-gen ve sonsuz sayıda başka düzgün çokgen hâlâ imkânsızdır.

Eğer bir açıyı üçe bölücü sanal bir aracın olduğu varsayılır ve kullanımına izin verilirse, çizilebilecek tüm çokgenlerin bir listesi verilmiştir (bunların arasında yedigen, 13-gen ve 19-gen vardır). Bir açı-üçe-bölücüsü, çizgilik ve pergel kullanarak çizilebilecek p-genlerin sayısının sonsuz olup olmadığı, p'nin asal sayı olması hâlinde, henüz cevabı bilinmeyen bir sorudur.

Origaminin matematiksel kuramı, pergel ve çizgilik çizimlerinden daha güçlüdür. Huzita–Hatori aksiyomlarını tatmin eden katlamalar ile bulunabilen noktaların kümesi ile, pergel ve işaretli cetvel kullanılarak bulunabilecek noktalar kümesi aynıdır. Dolayısıyla, origami ile üçüncü ve dördüncü dereceden denklemlerin çözümünü bulmak ve klasik problemlerden ikisini çözmek mümkündür..

İşaretli cetvele dayanan neusis yöntemi veya origami yöntemi, çizilebilir sayılar alanını genişletir. Bu genişlemiş alanda, karmaşık sayıların sadece karekökleri değil, küpkökleri de bulunur. Yukarıda bahsedilen, çizilebilir noktalara karşılık gelen aritmetik formüllerin bu genişlemiş alanda karşılıkları vardır, böylece formüllerde küpkökler de yer alır. Bu genişlemiş alanda çizilebilen yeni noktaların oluşturduğu alan genişlemesindeki noktaların derecesi, ikinin bir kuvveti ile üçün bir kuvvetinin çarpımıdır.

Felice Feliciano pergel ve çizgilik ile harf tasarımı yapan ilk kişi olmuştur. 1463'de, Roma yazıtlarındaki alfabeyi geomterik olarak yaratılabileceğini göstermiştir. Latin alfabesindeki aş harflerin bir kare ve çember kullanılarak çizilebildiğini gösteren yapıtı Vatikan Kütüphanesinde bulunmaktadır. Pergel ve çizgiliği tipografiye uygulayan diğer Rönesans sanatçıları arasında Francesco Torniello ve Luca Pacioli sayılabilir.

Luca Pacioli sanatta altın oranın kullanımı üzerine De Divina Proportione (İlahi Oran) adlı eserini yayımlamıştır (1509); altın oran pergel ve çizgilik ile elde edilebilen bir oranıdır.

Albrecht Dürer İtalya'da perspektif konusunu çalıştıktan sonra "Pergel ve Çizgilik ile Çizim Hakkında İnceleme" (Underweysung der Messung, mit dem Zirckel und Richtscheyt) adlı eseri yazmıştır. "Insan orantıları Hakkında Dört Kitap" (1532-1534) adlı eserinde geometrinin insan bedeninini çizimine uygulamıştır. Adem ve Havva adlı tablosundaki insan figürlerinin oranlarının estetik mükemelliğini sağlamak için pergel ve çizgilik kullandığını belirtmiştir.

Eflatun, diğer sanatlar arasında inşaat zanaatının yerinin ayrı olduğunu belirtmiştir, çünkü kullanılan araçların (pergel, düzkenar, gönye, çekül ve ip-ve-kazık) ölçümlerde bilimsel bir doğruluğa olanak vermektedir.

Roma mimarisinde bazı yapılarını planlarının pergel ve çizgilik olmadan çizilememiş olduğu barizdir. Günümüze yazılı eseri kalmış ilk Romalı mimar, MÖ 1. yüzyılda yaşayan, De Architecturanın yazarı Vitruvius'dır. Vitruvius, bu eserinin birinci cildinde, pergel ve düz çizgilerin doğru kullanımı sayısinde boş bir sahanın toprağının üzerine şekillerin çizilebildiğini belirtmiştir. Pergel ve çizgilik Orta Çağ mimarları tarafından da kullanılırdı. 13. yüzyıl Fransız mimarı Villard de Honnecourt'ın pergel ve çizgilik kullandığı bilinmektedir.