Teorem 1. Herhangi bir ABC üçgeninin; çevrel çember merkezi O, ortik üçgeni DEF, teğet üçgeni KLM olsun. Bu durumda DEF ve KLM üçgenlerinin kenarları karşılıklı olarak birbirine paraleldir. Yani DE∥KL, DF∥KM, EF∥LM.
Teorem 2. Çevrel çemberin yarıçaplarını taşıyan doğrular DEF üçgeninin kenarlarına (gerekirse uzantılarına) diktir. Yani OA⊥EF, OB⊥DF, OC⊥DE
Teorem 3. KD, LE, MF doğruları noktadaştır. Bu nokta X25 ile gösterilir.
Teorem 4. ABC üçgeninin kenar orta noktaları P, R, S ise KP, LR, MS doğruları O noktasında kesişir.
Teorem 5. X25 noktası ABC üçgeninin Euler doğrusu üzerindedir.

Notlar ve Yorumlar:
1. Ortik Üçgen: ABC üçgeninin dikme ayaklarını köşe kabul eden üçgendir.
2. Teğet üçgeni: ABC üçgeninin çevrel çemberine A, B, C noktalarında teğet olan doğruların oluşturduğu üçgendir.
3. Teorem 1-2-4'ün ifadelerine denk olan veya bu teoremleri birer sonuç olarak elde etmemizi sağlayacak teoremler Roger Jhonson 1929, sayfa 172 de verilmiştir.
4. R. Jhonson, Teorem 3'deki noktadaşlığı belirtmemiştir, ancak DEF ve KLM arasındaki homotetiyi görüp homoteti mekezinden kaynaklanan noktadaşlığı görmediği düşünülemez.
5. Teorem 5, R. Jhonson'da da yoktur. C. Kimbeling'in sitesinde bir özellik olarak ispatsız biçimde verilmiştir. Ben de henüz ispatını bilmiyorum. Bu ispatı yapabilirsek siteye ekleyelim.
6. Euler Doğrusu: Herhangi bir ABC üçgeninde H diklik merkezi, G ağırlık merkezi (centroid), O çevrel çemberin merkezi doğrusaldır. |HG|=2|GO| eşitliği vardır.
Teorem 1'in İspatı: m(^BAC)=α denirse ortik üçgen özelliklerinden m(^EDC)=m(^FDB)=α olduğunu görmek kolaydır. Çevre açı-merkez açı ilişkisinden m(^BOC)=2α olur. OB⊥KM ve OC⊥KL olduğundan m(^BKC)=180∘−2α dır. |KB|=|KC| eşit teğet parçaları olup m(^KBC)=m(^KCB)=α olur. İç ters açı eşitlikleri sağlandığından DF∥KM, DE∥KL bulunur. Benzer işlemlerle EF∥LM bulunabilir.
Teorem 2'nin İspatı: ABC üçgeninin çevrel çemberi, KLM üçgeninin iç teğet çemberi olduğundan OA⊥LM dir. Ayrıca (Teorem 1'den) EF∥LM olduğundan OA⊥EF dir. Benzer biçimde OB⊥DF, OC⊥DE olduğu gösterilebilir.
Teorem 3'ün İspatı: Teorem 1'e göre DF∥KM, DE∥KL, EF∥LM olduğundan DEF∼KLM üçgenleri homotetiktir. Dolayısıyla homotetik olarak eşlenen noktaları birleştiren KD, LE, MF doğruları bir noktada (homoteti merkezinde) kesişirler.
Teorem 4'ün İspatı: BOCK bir deltoid olduğundan OK⊥BC olup OK, [BC] yi iki eşit parçaya böler. Yani OK, P kenar orta noktasından geçer. Benzer şekilde OL, R den geçer ve OM, S den geçer. Yani KP, LR, MS doğrularının hepsi O noktasından geçer.