Dört yüzlü

Geometride tetrahedron veya dört yüzlü, dört üçgen yüzden oluşan bir çokyüzlüdür (polihedron), her köşesinde üç üçgen birleşir. Düzgün dört yüzlü dört üçgenin eşkenar olduğu bir dört yüzlüdür ve Platonik cisimlerden biridir. Dörtyüzlü, dört yüzü olan tek konveks çokyüzlüdür. Tetrahedron isminin sıfat hali (tetrahedrona ait veya tetrahedronla ilişkili anlamında) "tetrahedral"dır.

Dörtyüzlü, bir cins piramittir. Piramit, çokgen bir tabanı tek bir noktada birleştiren üçgen yüzlerden oluşur. Dörtyüzlü durumunda taban bir üçgendir (dört yüzün herhangi biri taban sayılabilir), dolayısıyla dört yüzlü ayrıca üçgen piramit olarak da bilinir.

Taban yüze göre bir yüzün eğimi, bir kenarın eğiminin iki katıdır, çünkü taban üzerinde, bir kenar boyunca köşeye olan yatay uzaklık, bir yüzün kenarortayından o köşeye olan uzaklığın iki katıdır. Bir diğer deyişle, eğer C, tabanın ağırlık merkezi (ortacı) ise, Cden tabanın köşelerinden birine olan uzaklık, Cden taban kenarlarından birinin orta noktasına olan uzaklığın iki katıdır. Bunun nedeni, kenarortayların birbirini kütle merkezinde kesmeleri ve bu noktanın her bir kenarortayı uzunlukları 1:2 oranlı olan iki parçaya bölmesidir.

burada tabanın alanı ve h tabandan tepeye olan yüksekliktir. Bu formül her yüz için geçerlidir, dolayısıyla köşelerden karşı yüzlere olan uzaklık, o yüzün alanı ile ters orantılıdır.

burada a, b ve c bir köşede kesişen üç kenara karşılık gelir ve bir üçlü skaler çarpımdır. Bu formülü bir paralelyüzün hacmi ile karşılaştırınca bir dört yüzlünün hacminin, onunla üç kesişen yüz paylaşan bir paralelyüzün hacminin 1/6'sı olduğu sonucuna varabiliriz.

burada indisleri köşelerini temsil eder ve bunlar arasındaki ikili uzaklıklardır, yani iki köşeyi birleştiren kenarın uzunluğu. Determinantın negatif değerli olması, verilen uzunluklara sahip bir dört yüzlünün olamayacağı anlamına gelir. Bu formül, bazen Tartaglia formülü olarak da bilinir, 15. yüzyılda yaşamış ressam Piero della Francesca'dan kaynaklanır. Bir üçgenin alanını hesaplamakta kullanılan, 1. yüzyılda keşfedilmiş Heron formülü'nün üç boyuttaki karşılığıdır.

Dörtyüzlü bir 3-simpleks'tir. Diğer Platonik cisimlerden farklı olarak, bir düzgün dört yüzlünün tüm köşeleri birbirinden eşit uzaklıktadır. Köşeler, üç boyutlu uzayda dört noktanın birbirine eşit uzaklıkta olabileceği tek konumdadır.

Meydana gelen bu dört yüzlünün orijin merkezli olup kenar uzunluğu 2√2'dir. Öbür dört yüzlü (birincisinin öz-çifteşidir) için tüm işaretlerin tersini alın. Bu iki dört yüzlünün köşeleri birlikte küpün köşelerini meydana getirirler. Böylece bir düzgün dört yüzlünün bir 3-yarıküpü (3-demicube) olduğu gösterilmiş olur.

Bu dört yüzlünün hacmi kübün hacminin 1/3'üdür. İki dört yüzlüyü birleştirince bir birleşik çokyüzlü (aynı merkeze sahip birden çok çokyüzlü) oluşur, bunun adı iki dört yüzlü bileşimi (compound of two tetrahedra) veya yıldızlaşmış sekiz yüzlü (stellated octahedron)'dur.

Yıldızlaşmış sekiz yüzlünün içi bir sekiz yüzlüdür. Dolayısıyla, düzgün bir dört yüzlüden yarım kenar uzunluğunda dört tane düzgün dört yüzlü kesilmesinin sonucu, düzgün bir sekiz yüzlüdür. Bu işleme dört yüzlünün rektifikasyonu denir.

Küpün içine bir dört yüzlü yerleştirince beş dört yüzlü meydana gelir, bunlardan biri düzgündür. Bir küpü oluşturmak için gereken dört yüzlü sayısı en az 5'tir.

Düzgün çokyüzlüler uzayı karolayamazlar. Bunun olabileceği o kadar makul görünmüştür ki Aristo bunun olabileceğini iddia etmiştir. Ancak, iki düzgün dört yüzlü ve bir sekiz yüzlü ile birleştirilerek bir eşaltı yüzlü (rhombohedron) oluşur, bununla uzay karolanabilir.

Ancak, uzayın karolayabilen en az bir düzensiz dört yüzlü vardır. Dörtyüzlülerin hepsinin aynı boyda olması şartı esnetilirse, sadece dört yüzlüler kullanarak uzayı kaplamak mümkündür. Örneğin bir sekiz yüzlüyü dört döryüzlüye bölüp bunları iki düzgün dört yüzlü ile birleştirilebilir (bu iki tip dört yüzlünün hacimleri eşittir).

Bir dört yüzlüye uygulanacak bir kesme işlemi düzgün bir çokyüzlüler serisi meydana getirir. Kalan kenarları nokta haline getirecek şekilde kesmek, rektifiye bir dört yüzlü olan bir sekiz yüzlü oluşturur. Bu işlem devam ettirilirse sonunda ikili rektifikasyon (birectification) olur, başlangıçtaki yüzler birer noktaya indirgenir ve öz-çifteş dört yüzlü yeni baştan ortaya çıkar.

Kesişen beş tane dört yüzlü ile ilginç bir çokyüzlü inşa edilebilir. Beş tane dörtlüden oluşan bu bileşik yüzyıllardır bilinmektedir. Origamide sık sık görülür. 20 köşenin birleştirilmesi ile bir dodekahedron (yirmiyüzlü) meydana gelir. Birbirinin ayna görüntüsü olan sağ elli ve sol elli biçimleri vardır.

Bir küpün köşeleri, her biri bir dört yüzlü oluşturan, dörtlü iki gruba ayrılabilir (bkz. yukarısı ve ayrıca animasyon). Düzgün bir dört yüzlünün simetrileri bir küpün simetrilerinin yarısına karşılık gelir: dört yüzlüleri kendilerine dönüştürenler ve birbirine dönüştürmeyenler.

bir düzlemde yansıma ile o düzleme dik bir eksen etrafında 90° dönme: 3 eksen, eksen başına 2, birlikte 6; buna eşdeğer olarak, 90° dönmelerle ters dönmeler (xin −xe dönüşmesi) birleşimidir: dönmeler bir küpte bir yüzü öbür yüze dönüştüren dönmelere karşılık gelir.

Düzensiz bir dört yüzlünün izometrileri (eşölçer dönüşümleri) dört yüzlünün geometrisine bağlıdır, 7 durum olabilir. Her durumda bir 3-boyutlu noktalar kümesi meydana gelir.

Eşkenar üçgen bir taban ve (eşkenar olmayan) ikizkenar üçgen kenarlar durumunda 6 izometri vardır, bunlara tabanın 6 izometrisine karşılık gelir. Köşelerin permütasyonlarına karşılık gelen bu 6 izometri şunlardır: özdeşlik 1, (123), (132), (12), (13) ve (23). Bunlar S3 ile izomorfik olan C3vsimetri grubunu oluşturur.

Dört (eşkenar olmayan) ikizkenar üçgen 8 izometri verir. Eğer (1,2) ve (3,4) kenarları diğer dört kenardan farklı uzunluktaysa bu 8 izometri şunlardır: özdeşlik 1, yansımalar (12) ve (34) ve 180° dönmeler (12)(34), (13)(24), (14)(23) ve 90° dönmeleri (1234) ve (1432). Bunlar D2d simetri grubunu oluşturur.

Dört çeşitkenar üçgen 4 izometri verir. İzometriler şunlardır: 1 ve 180° dönmeleri (12)(34), (13)(24) ve (14)(23). Bu, Klein dört-kümesi V4 ≅ Z22 (nokta kümesi D2 olan).

İki çift izomorfik (eşkenar olmayan) ikizkenar üçgen. Birbirine dik ve farklı uzunlukta (1,2) and (3,4) kenarları vardır. 4 izometeriler şunlardır: 1, yansıma (12) ve (34) ve 180° dönmeleri (12)(34). Simetri grubu C2vdır, V4e izomorfiktir.

İki çift izomofik çeşitkenar üçgen. İki çift eşit uzunluklu kenar vardır (1,3), (2,4) ve (1,4), (2,3) ama bunlar dışında hiçbir kenar eşit değildir. Olan izometriler 1 ve (12)(34) dönmesidir. Simetri grubu C2dır, Z2e izomorfiktir.

Ortak kenarlı iki farklı eşkenar üçgen. İki çift eşit uzunluklu kenarlar vardır (1,3), (1,4) ve (2,3), (2,4), ama bunlar dışında hiçbir kenar eşit değildir. Olan izometriler 1 ve (34) yansımasıdır. Simetri grubu Csdır, Z2e izomorfiktir.

Dört köşeden her birini O köşesi yerine koymak buna benzer dört eşitlik yaratır, ama bunların en fazla üç tanesi bağımsızdır: eğer eşitliklerin "saat yönlü" tarafları birbiriyle çarpılırsa, sonucun "ters saat yönlü" tarafların çarpımına eşit olduğu çıkarımı yapılabilir. Her iki taraftaki ortak çarpanlar atılırsa geriye kalan, dördüncü eşitliktir. Bu "bağımsızlık" ilişkisinin önemli olmasının bir nedeni şudur: üç açının bir üçgene ait olması için toplamlarının yarım çembere (180°) eşit olması gerekir. 12 açı için hangi şart bunların bir dört yüzlüye ait olmasını sağlar? Dörtyüzlünün her bir yüzündeki açıların toplamı yarım çemberdir. Bu şekilde dört üçgen olduğuna göre açı toplamlarına etki eden dört kısıt vardır. Dolayısıyla serbestlik derecesi 12'den 8'e düşer. Bu sinüs teoreminindeki dört ilişki, serbestlik derecelerini 8'den 4'e değil, 5'e indirir, çünkü dördüncü kısıt ilk üçten bağımsız değildir. Dolayısıyla olasıl tüm dört yüzlülerin oluşturduğu açı değerlerinin uzayı 5 boyutludur.

Sayısal analizde, özellikle kısmi diferansiyel denklemlerin sayısal çözümlerinde, sonlu eleman analizi için denklemler kurarken, karmaşık üç boyutlu şekiller çoğu zaman düzensiz dört yüzlülerden oluşan bir çokgen ağ ile yaklaşıklanır. Bu yöntemler çeşitli mühendislik dallarında yaygın olarak kullanılmaktadır.

Özellikle rol oyunlarında dört-yüzlü zar sık kullanılır. Atılan sayı ya tabanın etrafında ya da üst köşede yazılı olur. MÖ 2600'den kalma Ur Kraliyet Oyunu, bir dizi dört yüzlü zarla oynanmıştır. Bazı Rubik Küpü benzeri bulmacalar dört yüzlüdür, örneğin Pyraminx ve Pyramorphix.

Dörtyüzlü (tetrahedron) şekli, moleküllerin kovalent bağlarında görülür. sp3-hibritlenmiş atomlara çevreleyen atomlar bir dört yüzlünün köşelerinde yer alır, yani tetrahedral moleküler geometriye sahiptir. Örneğin, bir metan molekülü (CH4) veya bir amonyum iyonunda (NH4+), merkezdeki karbon veya azot atomu, tetrahedral simetriye sahip dört hidrojen atomu ile çevrilidir. Bu yüzden organik kimyanın önde gelen dergilerinden biri Tetrahedron olarak adlandırılmıştır.

Elektronikte kullanılan en yaygın yarı iletken olan silikonun değerlik sayısı dörttür. Silikon atomunun bağlarının tetrahedral şekli, silikon kristallerinin oluşumunu ve şekillerini belirler.