Dik

Geometride, iki doğru veya iki düzlem (veya bir doğru ve bir düzlem) kesiştiklerinde oluşturdukları komşu açılar birbirine eşitse **dik** olarak kabul edilir.

Bir doğru sonsuz uzunluktadır ve yukarıdaki örnekte AB ve CD iki sonsuz uzunluktaki doğruya ait doğru parçalarıdır. Sonuçta, AB doğru parçası, CD ile dik olmak için onu kesmek zordunda değildir, çünkü iki doğru parçası sonsuza kadar uzatıldığında, aralarındaki açılar yine benzer olacaktır.

Eğer gösterildiği gibi bir doğru, bir diğerine dikse kesişimlerinde oluştan tüm açılar *doğru açı* olarak adlandırılır (doğru açı &pi;/2 radyan ya da 90°'dir). Tersinden bakıldığında, aralarında doğru açı oluşturan doğrular birbirine diktir.

Koordinat düzleminde, dik doğrular birbirine zıt karşılık eğimlere sahiptir. Yatay bir doğrunun eğimi sıfırken dikey bir doğrunun eğimi tanımsız ya da bazen ±sonsuz olarak tanımlanır. Birbirine dik iki doğru AB\perpCD şeklinde gösterilir.

## Dik bir doğru çizmek

P noktasından AB doğrusuna pergel ve cetvel kullanarak dik çizmek için, şu adımlar uygulanmalıdır:

* 1 (kırmızı): AB doğrusu üzerinde P'den eşit uzaklıktaki A' ve B' noktalarını belirlemek için P merkezli bir çember çizin.
* 2 (yeşil): İkisi de P noktasından geçen A' ve B' merkezli iki çember daha çizin. Bu iki çemberin diğer kesiştiği nokta Q olsun.
* 3 (mavi): P ve Q noktalarını birleştiren dik PQ doğrusu çizin.
PQ'nun AB'ye dik olduğunu kanıtlamak için QPA' ve QPB' üçgenlerinde *KKK Benzerlik teoremi* kullanılır ve OPA' ile OPB' açılarının eşit olduğu görülür. Daha sonra OPA' ve OPB' üçgenlerinde *KAK Benzerlik teoremi* kullanılarak POA ve POB açılarının eşit olduğu anlaşılır.

## Paralel doğrularla ilişkisi

Eğer iki doğru (*a* ve *b*) birden üçüncü bir doğruya (*c*) dikse, üçüncü doğru üzerinde oluşan tüm açılar doğru açıdır. Öklid geometrisinde üçüncü bir doğruya dik olan iki açı, birbirine paraleldir. Tersten bakıldığına, bir doğru diğerine dikse, ikinci doğruya paralel olan bütün doğrulara da diktir.

Sağdaki şekilde, turuncuyla işaretlenmiş tüm açılar birbirine benzerdir ve yeşille işaretlenmiş şekiller de kendi içinde benzerdir, çünkü ters açı oluştururlar. Eğer *a* ve *b* birbirine paralelse, aşağıdakilerden herhangi birinin doğru olduğu durumda hepsi doğru olacaktır:

* Diyagramdaki açılardan biri doğru açıdır.
* Turuncu açılardan birisi yeşil açılardan birine eşittir.
* 'c' doğrusu 'a' doğrusuna diktir.
* 'c' doğrusu 'b' doğrusuna diktir.

## Diklik sembolü
Diklik sembolü \perp'dir. Örneğin, AB \perp CD *AB* doğrusunun *CD* doğrusuna dik olduğunu gösterir.

Unicode karakter setinde, diklik sembolü U+27C2 kod numarasına sahiptir ve *Çeşitli Matematik Sembolleri-A* kümesindedir. Up tack sembolüne (U+22A5) benzer.

## Fonksiyonların grafiği
2-boyutlu düzlemde, eğimlerinin çarpımı -1 olan doğrular doğru açı oluşturur. Daha açıkça ifade etmek gerekirse,  ve  şeklinde iki doğrusal fonksiyon tanımladığımızda, fonksiyonlar grafiklerinin birbirine dik olması ve kesiştikleri noktada dört doğru açı oluşturması için  doğru olmalıdır. Fakat bu yöntem doğruların eğiminin sıfır ya da sonsuz olduğu durumlarda (aksislere paralel olma durumu) kullanılamaz.

## Ayrıca bakınız

* Diklik
* Dik bileşen (vektörler için)
* Yüzey normali
* Paralel (geometri)

## Dış bağlantılar

*Tanım: dik etkileşimli animasyonla birlikte 
*Pergel ve cetvel kullanarak bir doğru parçasını ikiye bölen dikme çizmek Animasyonlu gösterim 
*Pergel ve cetvel kullanarak bir doğru parçasının başlangıç noktasından geçen dik çizmek  Animasyonlu gösterim