# Kotanjant teoremi
Trigonometride, kotanjant teoremi veya kotanjantlar yasası, bir üçgenin kenar uzunlukları ile üç iç açısının yarılarının kotanjantları arasındaki ilişkidir.
Eşitliği sinüs yasası ile ifade edilen üç niceliğin, üçgenin çevrel çemberinin çapına (veya yasanın nasıl ifade edildiğine bağlı olarak bunun tersine) eşit olması gibi, kotanjantlar yasası da bir üçgenin çevrel çemberinin yarıçapını (iç teğet çemberin yarıçapı) kenarları ve açılarıyla ilişkilendirir.


## İfade.
Bir üçgen için olağan gösterimleri kullanarak (sağ üstteki şekle bakın), burada a, b, c üç kenarın uzunlukları, A, B, C bu üç ilgili kenarın karşısındaki köşeler, α, β, γ bu köşelerdeki karşılık gelen açılar, s yarıçap, yani #YÖNLENDİRME ve r çizilen dairenin yarıçapıdır, kotanjant yasası şunu belirtir:
1/2α/s-a = 1/2β/s-b = 1/2γ/s-c = 1/r,
ve ayrıca iç teğet çemberin yarıçapı şu şekilde verilir:
r = √((s-a)(s-b)(s-c)/s) .


## Kanıt.
Üstteki şekilde, çemberin üçgenin kenarlarına teğet noktaları çevreyi 3 çift halinde 6 parçaya bölmektedir. Her çiftte doğru parçaları eşit uzunluktadır. Örneğin, A tepe noktasına bitişik 2 parça eşittir. Her çiftten bir parça seçersek, bunların toplamı yarıçap olacaktır. s. Bunun bir örneği şekilde renkli olarak gösterilen parçalardır. {{safesubst:ifsubst|1=Kırmızı çizgiyi oluşturan iki parçanın toplamı a'dır, bu nedenle {{safesubst:ifsubst|1=mavi parça #YÖNLENDİRME uzunluğunda olmalıdır. Açıktır ki, diğer beş parçanın uzunlukları da alttaki şekilde gösterildiği gibi, #YÖNLENDİRME , #YÖNLENDİRME veya #YÖNLENDİRME 'dir.
Şekli inceleyerek ve kotanjant fonksiyonunun tanımını kullanarak, şu sonuca varırız:
α/2 = s-a/r 
ve diğer iki açı için de benzer şekilde, ilk önermeyi kanıtlayarak.
İkincisi için —iç teğet çember formülü— genel toplam formülünden başlarız:
 (u+v+w) = u + v + w - u v w/1 - u v - v w - w u.
(12α+ 12β+ 12γ) = π2 = 0,'e uygulayarak şunu elde ederiz:
 α/2 β/2 γ/2 = α/2 + β/2 + γ/2. 
(Bu, aynı zamanda üçlü kotanjant özdeşliğidir).
İlk bölümde elde edilen değerleri yerine koyduğumuzda şunu elde ederiz:
 (s-a)/r(s-b)/r(s-c)/r amp;= s-a/r + s-b/r +s-c/r
 amp;= 3s-2s/r
 amp;= s/r
 - YÖNLENDİRME ile çarpıldığında  YÖNLENDİRME değeri elde edilir ve ikinci önerme kanıtlanmış olur.


## Kotanjantlar yasasını kullanan bazı kanıtlar.
Kotanjantlar yasasından bir dizi başka sonuç türetilebilir.
  - Heron formülü.  YÖNLENDİRME üçgeninin alanının da 3 çift halinde 6 küçük üçgene bölündüğünü ve her çiftteki üçgenlerin aynı alana sahip olduğunu unutmayın. Örneğin, A tepe noktasının yakınındaki iki üçgen, tabanı  YÖNLENDİRME ve yükseklik  YÖNLENDİRME olan dik üçgenlerdir, her birinin alanı  YÖNLENDİRME 'dır. Dolayısıyla, bu iki üçgen birlikte  YÖNLENDİRME alanına sahiptir ve bu nedenle tüm üçgenin S alanı 
 S amp;= r(s-a) + r(s-b) + r(s-c) 
 amp;= r(3s - (a+b+c)) 
 amp;= r(3s - 2s) 
 amp;= rs
Bu, gerektiği gibi aşağıdaki sonucu verir:
S = √(s(s-a)(s-b)(s-c))
 - Mollweide'ın ilk formülü. Toplam formülünden ve kotanjantlar yasasından şunu elde ederiz:
sin12(α- β) /sin1/2(α+ β) = 1/2β- 12 α/1/2β+ 12α = a-b/2s-a-b.
Bu, gerektiği gibi aşağıdaki sonucu verir:
a-b/c = sin1/2(α- β)cos1/2γ
 - Mollweide'in ikinci formülü. Toplam formülünden ve kotanjantlar yasasından şunu elde ederiz:
 cos12(α - β) /cos12(α + β) amp;= 12α 12β + 1/12α 12β - 1
 amp;= 12α + 12β + 212γ/12α + 12β
 amp;= 4s - a - b - 2c/2s - a - b.
Burada, toplam/çarpım formülüne göre bir çarpımı toplama dönüştürmek için ekstra bir adım gereklidir. #YÖNLENDİRME Bu da gerektirdiği gibi şu sonucu verir:
b+a/c = cos12(α- β)sin12γ
 - Tanjant teoremi de bundan türetilebilir. ()


## "Kotanjant yasası" olarak adlandırılan diğer özdeşlikler.
Kotanjantlar yasası, sinüsler yasası, kosinüsler yasası veya tanjantlar yasası kadar yaygın veya iyi kurulmuş değildir, bu nedenle aynı isim bazen kotanjantları içeren diğer üçgen özdeşliklerine de uygulanır. Örneğin:
İki açının kotanjantlarının toplamı, aralarındaki kenarın üçüncü tepe noktasından geçen yükseklik oranına eşittir:
α+ β= c/h_c.
Kosinüs yasası, kosinüs yerine kotanjant cinsinden ifade edilebilir, bu da üçgenin alanını S özdeşliğine dönüştürür:
c^2 = a^2 + b^2 - 4S γ.
Bir üçgenin üç açısının toplamı π olduğundan, bu açıların kotanjantlarının ikili çarpımlarının toplamı birdir:
α β+ α γ+ β γ= 1.