Dik açı

Geometri ve trigonometride, bir dik açı, bir çeyrek dönüşe tam olarak 90° (derece) bir açıdır. Bir ışın, uç noktası bir doğru üzerinde olacak şekilde yerleştirilirse ve bitişik açılar eşitse, o zaman bunlar dik açılardır. Terim, Latince angulus rectus’tan öykünmedir; burada rectus, yatay bir taban çizgisine düşey olan dikey manasında "dik (direk)" anlamına gelir.Yakından ilgili ve önemli geometrik kavramlar dik kesişim alanına ve dik açı oluşturacak doğruları, yani doğru diklik (ortagonal) genellikle vektörlere uygulanan dik açı oluşturan bir özelliktir. Bir üçgende dik açının varlığı, dik üçgenler için belirleyici faktördür, bu da dik açıyı trigonometri için temel yapar."Dik açı"daki "dik" kelimesinin anlamı, muhtemelen dikili (erect), düz (straight), dikey (upright) veya dik (perpendicular) olarak tercüme edilebilen latin sıfat rectusa atıfta bulunur. Bir Yunan eşdeğer, düz (straight) ya da dik (perpendicular) anlamına gelen orthos (bakınız diklik, ortogonal)'dur.Bir dikdörtgen, dört dik açıya sahip bir dörtgendir. Bir kare, eşit uzunluktaki kenarlara ek olarak dört dik açıya sahiptir.Unicode'da, bir dik açı için sembol, 'dir. Benzer şekle sahip olan  sembolu ile karıştırılmamalıdır. İlişkili semboller , , and 'dir.Diyagramlarda, bir açının dik açı olduğu gerçeği, bir dik üçgenin diyagramında görüldüğü gibi, genellikle diyagramdaki açıyla bir kare oluşturan sağa doğru küçük bir dik açı eklenerek ifade edilir (İngiliz İngilizcesinde, dik açılı üçgen). Ölçülen açı sembolü, noktalı bir yay, Almanca konuşulan ülkeler ve Polonya dahil olmak üzere bazı Avrupa ülkelerinde dik açı için alternatif bir sembol olarak kullanılır.Öklid'in Elementlerinde dik açılar temeldir. Dik doğruları da tanımlayan Kitap 1, tanım 10'da tanımlanmıştır. Tanım 10, sayısal derece ölçümlerini kullanmaz, bunun yerine dik açının ne olduğunun tam kalbine, yani iki eşit ve bitişik açı oluşturmak için kesişen iki düz çizgiye dokunur. Dik açı oluşturan düz doğrulara dik denir. Öklid, keskin açıları (dik açıdan küçük olanlar) ve geniş açıları (dik açıdan büyük olanlar) tanımlamak için 11 ve 12 numaralı tanımlarda dik açıları kullanır. Toplamları dik açı ise iki açı, tamamlayıcı olarak adlandırılır.Kitap 1 Önerme 4, tüm dik açıların eşit olduğunu belirtir, bu da Öklid'in diğer açıları ölçmek için bir birim olarak dik açıyı kullanmasına izin verir. Öklid'in yorumcusu Proclus, önceki önermeleri kullanarak bu önermenin bir ispatını verdi, ancak bu ispatın bazı gizli varsayımları kullandığı tartışılabilir. Saccheri de bir kanıt verdi, ancak daha açık bir varsayım kullanıyordu. Hilbert'in geometri aksiyomatizasyonunda bu ifade bir teorem olarak verilir, ancak çok fazla temel çalışmadan sonra verilir. Öklid'in malzemesini sunma sırasına göre, 4 numaralı önerme öncekilerden ispatlanabilse bile, bunu dahil etmenin gerekli olduğu ileri sürülebilir, çünkü o olmadan, dik açıyı bir ölçü birimi olarak kullanan 5. önerme, hiçbir anlam ifade etmez.Tarih boyunca, marangozlar ve duvarcılar bir açının gerçek bir "dik açı" olup olmadığını doğrulamanın hızlı bir yolunu biliyorlardı. Bu, en çok bilinen Pisagor üçlüsü 'e dayanır ve "3-4-5 kuralı" olarak adlandırılır. Söz konusu açıdan, bir taraf boyunca tam olarak 3 birim uzunluğunda ve ikinci taraf boyunca tam olarak 4 birim uzunluğunda düz bir çizgi geçmek, bir hipotenüs (ölçülen iki uç noktayı birleştiren dik açının karşısındaki daha uzun çizgi) tam olarak 5 birim uzunluğundadır. Bu ölçüm hızlı ve teknik aletler olmadan yapılabilir. Ölçümün arkasındaki geometrik yasa Pisagor teoremidir ("Bir dik üçgenin hipotenüsünün karesi, bitişik iki kenarın karelerinin toplamına eşittir").Thales teoremi, bir yarım çember içine çizilmiş bir açının (yarım çember üzerinde bir tepe noktası ve yarım çemberin uç noktalarından geçen tanımlayıcı ışınları ile) bir dik açı olduğunu belirtir.