Trigonometrik özdeşlikler listesi

Trigonometride, **trigonometrik özdeşlikler** trigonometrik fonksiyonları içeren ve eşitliğin her iki tarafının da tanımlandığı değişkenlerin her değeri için doğru olan eşitliklerdir. Geometrik olarak, bunlar bir veya daha fazla açının belirli fonksiyonlarını içeren özdeşliklerdir. Bunlar üçgen özdeşliklerinden farklıdır, bunlar potansiyel olarak açıları içeren ama aynı zamanda kenar uzunluklarını veya bir üçgenin diğer uzunluklarını da içeren özdeşliklerdir.

Bu özdeşlikler, trigonometrik fonksiyonları içeren ifadelerin basitleştirilmesi gerektiğinde kullanışlıdır. Önemli bir uygulama, trigonometrik olmayan fonksiyonların integrasyonudur: yaygın bir teknik, önce bir trigonometrik fonksiyonla ikame kuralı kullanmayı ve ardından ortaya çıkan integrali bir trigonometrik özdeşlikle basitleştirmeyi içerir.

## Pisagor özdeşlikleri

Sinüs ve kosinüs arasındaki temel ilişki Pisagor özdeşliği ile verilir:

\sin^2\theta + \cos^2\theta = 1,

burada \sin^2 \theta = (\sin \theta)^2 ve \cos^2 \theta = (\cos \theta)^2 anlamına gelir.

Bu Pisagor teoreminin bir versiyonu olarak görülebilir ve birim çember için x^2 + y^2 = 1 denkleminden çıkar. Bu denklem sinüs ya da kosinüs için çözülebilir:

\begin{align}
\sin\theta &= \pm \sqrt{1 - \cos^2\theta}, \\
\cos\theta &= \pm \sqrt{1 - \sin^2\theta}.
\end{align}

Burada işaret \theta'nın çeyreğine (kuadrantına) bağlıdır.

Bu özdeşliği \sin^2 \theta, \cos^2 \theta veya her ikisine böldüğünüzde aşağıdaki özdeşlikler elde edilir:

\begin{align}
&1 + \cot^2\theta = \csc^2\theta \\
&1 + \tan^2\theta = \sec^2\theta \\
&\sec^2\theta + \csc^2\theta = \sec^2\theta\csc^2\theta
\end{align}

Bu özdeşlikleri kullanarak, herhangi bir trigonometrik fonksiyonu diğer herhangi bir fonksiyon cinsinden (artı veya eksi işaretine kadar) ifade etmek mümkündür:

## Yansımalar, kaymalar ve periyodiklik
Birim çember incelenerek trigonometrik fonksiyonların aşağıdaki özellikleri belirlenebilir.

### Yansımalar

Bir Öklid vektörünün yönü bir \theta, açısı ile temsil edildiğinde, bu açı serbest vektör (orijinden başlayan) ve pozitif x-birim vektörü tarafından belirlenen açıdır. Aynı kavram, Öklid uzayında doğrulara da uygulanabilir; burada açı, verilen doğruya orijinden ve pozitif x-ekseninden geçen bir paralel doğru tarafından belirlenen açıdır. \theta doğrultulu bir doğru (vektör) \alpha, doğrultulu bir doğru etrafında yansıtılırsa, bu yansıtılan doğrunun (vektörün) \theta^{\prime} doğrultu açısı \theta^{\prime} = 2 \alpha - \theta.
değerine sahiptir.

Bu açıların trigonometrik fonksiyonlarının değerleri \theta,\;\theta^{\prime} belirli açılar \alpha için basit özdeşlikleri karşılar: ya eşittirler, ya zıt işaretlidirler ya da tamamlayıcı trigonometrik fonksiyon kullanırlar. Bunlar  olarak da bilinir.

### Kaymalar ve periyodiklik

### İşaretler
Trigonometrik fonksiyonların işareti açının çeyreğine (kuadrantına) bağlıdır. Eğer {-\pi}  ve  işaret fonksiyonu ise,

\begin{align}
\sgn(\sin \theta) = \sgn(\csc \theta) &= \begin{cases}
  +1 &  \  0 

\sum_{i=1}^\infty \theta_i serisi mutlak yakınsadığı için, \lim_{i \to \infty} \theta_i = 0, \lim_{i \to \infty} \sin \theta_i = 0, ve \lim_{i \to \infty} \cos \theta_i = 1. Özellikle, bu iki özdeşlikte sonlu sayıda açının toplamları durumunda görülmeyen bir asimetri ortaya çıkar: her çarpımda yalnızca sonlu sayıda sinüs çarpanı vardır, ancak dual sonlu çok sayıda kosinüs çarpanı vardır. Sonsuz sayıda sinüs çarpanı olan terimler zorunlu olarak sıfıra eşit olacaktır.

\theta_i açılarının yalnızca sonlu sayıda olanı sıfırdan farklı olduğunda, sağ taraftaki terimlerin yalnızca sonlu sayıda olanı sıfırdan farklıdır çünkü sonlu sayıda sinüs çarpanı hariç hepsi yok olur (sadeleşir). Ayrıca, her bir terimde sonlu sayıda kosinüs çarpanı hariç hepsi birimdir (tekildir).

### Toplamların tanjantları ve kotanjantları
e_k (k = 0, 1, 2, 3, \ldots için) değişkenler içinde inci derece temel simetrik polinom olsun:
x_i = \tan \theta_i

i = 0, 1, 2, 3, \ldots, için yani,

\begin{align}
e_0 &= 1  \\[6pt]
e_1 &= \sum_i       x_i         &&= \sum_i       \tan\theta_i                 \\[6pt]
e_2 &= \sum_{i

Öyleyse yukarıdaki sinüs ve kosinüs toplam formüllerini kullanarak,

\begin{align}
{\tan}\Bigl(\sum_i \theta_i\Bigr)
&= \frac
    \prod_{i \in A} \tan\theta_i}
= \frac{e_1 - e_3 + e_5 -\cdots}{e_0 - e_2 + e_4 - \cdots} \\[10pt]

{\cot}\Bigl(\sum_i \theta_i\Bigr)
&= \frac{e_0 - e_2 + e_4 - \cdots}{e_1 - e_3 + e_5 -\cdots}
\end{align}

Sağ taraftaki terim sayısı sol taraftaki terim sayısına bağlıdır.

Örneğin:
\begin{align}
\tan(\theta_1 + \theta_2) &
= \frac{ e_1 }{ e_0 - e_2 }
= \frac{ x_1 + x_2 }{ 1 \ - \ x_1 x_2 }
= \frac{ \tan\theta_1 + \tan\theta_2 }{ 1 \ - \ \tan\theta_1 \tan\theta_2 },
\\[8pt]
\tan(\theta_1 + \theta_2 + \theta_3) &
= \frac{ e_1 - e_3 }{ e_0 - e_2 }
= \frac{ (x_1 + x_2 + x_3) \ - \ (x_1 x_2 x_3) }{ 1 \ - \ (x_1x_2 + x_1 x_3 + x_2 x_3) },
\\[8pt]
\tan(\theta_1 + \theta_2 + \theta_3 + \theta_4) &
= \frac{ e_1 - e_3 }{ e_0 - e_2 + e_4 } \\[8pt] &
= \frac{ (x_1 + x_2 + x_3 + x_4) \ - \ (x_1 x_2 x_3 + x_1 x_2 x_4 + x_1 x_3 x_4 + x_2 x_3 x_4) }{ 1 \ - \ (x_1 x_2 + x_1 x_3 + x_1 x_4 + x_2 x_3 + x_2 x_4 + x_3 x_4) \ + \ (x_1 x_2 x_3 x_4) },
\end{align}

ve bunun gibi. Sadece sonlu sayıda terim olması durumu matematiksel tümevarım ile kanıtlanabilir. Sonsuz sayıda terim olması durumu, bazı temel eşitsizlikler kullanılarak kanıtlanabilir.

### Toplamların sekantları ve kosekantları

\begin{align}
{\sec}\Bigl(\sum_i \theta_i \Bigr) &= \frac{\prod_i \sec\theta_i}{e_0 - e_2 + e_4 - \cdots} \\[8pt]
{\csc}\Bigl(\sum_i \theta_i \Bigr) &= \frac{\prod_i \sec\theta_i }{e_1 - e_3 + e_5 - \cdots}
\end{align}

Burada e_k,  değişkenlerinde inci derece temel simetrik polinom olup, x_i = \tan \theta_i, i = 1, \dots, n, ve paydadaki terim sayısı ile paydaki çarpımdaki çarpan sayısı soldaki toplamdaki terim sayısına bağlıdır. Sadece sonlu sayıda terim olması durumu, bu tür terimlerin sayısı üzerine matematiksel tümevarım yoluyla kanıtlanabilir.

Örneğin,

\begin{align}
\sec(\alpha+\beta+\gamma)
&= \frac{\sec\alpha \sec\beta \sec\gamma}
        {1 - \tan\alpha\tan\beta - \tan\alpha\tan\gamma - \tan\beta\tan\gamma} \\[8pt]
\csc(\alpha+\beta+\gamma)
&= \frac{\sec\alpha \sec\beta \sec\gamma}
        {\tan\alpha + \tan\beta + \tan\gamma - \tan\alpha\tan\beta\tan\gamma}.
\end{align}

### Batlamyus teoremi

Batlamyus teoremi, trigonometrik özdeşlikler tarihinde önemlidir, çünkü sinüs ve kosinüs için toplam ve fark formüllerine eşdeğer sonuçlar ilk kez bu şekilde kanıtlanmıştır. Teorem, yandaki şekilde gösterildiği gibi ABCD çembersel dörtgeninde, karşılıklı kenarların uzunluklarının çarpımlarının toplamının köşegenlerin uzunluklarının çarpımına eşit olduğunu belirtir. Köşegenlerden veya kenarlardan birinin dairenin çapı olduğu özel durumlarda, bu teorem doğrudan açı toplamı ve fark trigonometrik özdeşliklerine yol açar. Bu ilişki en kolay şekilde, burada gösterildiği gibi daire bir çap uzunluğunda olacak şekilde inşa edildiğinde ortaya çıkar.

Thales teoremi ile,  \angle DAB ve  \angle DCB her ikisi de dik açıdır. Dik açılı DAB ve DCB üçgenlerinin her ikisi de uzunluğu 1 olan \overline{BD} hipotenüsünü paylaşır. Böylece kenar \overline{AB} = \sin \alpha, \overline{AD} = \cos \alpha, \overline{BC} = \sin \beta ve \overline{CD} = \cos \beta olur.

Çevre açı teoremine göre, çemberin merkezindeki \overline{AC} akorunun merkezde oluşturduğu açı \angle ADC açısının iki katıdır, yani 2(\alpha + \beta). Dolayısıyla, simetrik kırmızı üçgen çiftinin her birinin merkezinde \alpha + \beta açısı vardır. Bu üçgenlerin her birinin \frac{1}{2} uzunluğunda bir hipotenüsü vardır, dolayısıyla \overline{AC} uzunluğu 2 \times \frac{1}{2} \sin(\alpha + \beta), yani basitçe \sin(\alpha + \beta). Dörtgenin diğer köşegeni 1 uzunluğundaki çaptır, dolayısıyla köşegenlerin uzunluklarının çarpımı da \sin(\alpha + \beta)'dır.

Bu değerler, Batlamyus teoreminin |\overline{AC}|\cdot |\overline{BD}|=|\overline{AB}|\cdot |\overline{CD}|+|\overline{AD}|\cdot |\overline{BC}| ifadesinde yerine konulduğunda, sinüs için açı toplamı trigonometrik özdeşliği elde edilir:  \sin(\alpha + \beta) = \sin \alpha \cos \beta + \cos \alpha \sin \beta .  \sin(\alpha - \beta) için açı farkı formülü, \overline{CD} kenarının \overline{BD} yerine çap olarak kullanılmasıyla benzer şekilde türetilebilir.

## Açının katları ve yarım açı formülleri

### Açının katları formülleri

#### Çift açı formülleri

Bir açının iki katı için formüller.

: \sin (2\theta) = 2 \sin \theta \cos \theta = (\sin \theta +\cos \theta)^2 - 1 = \frac{2 \tan \theta} {1 + \tan^2 \theta}
: \cos (2\theta) = \cos^2 \theta - \sin^2 \theta = 2 \cos^2 \theta - 1 = 1 - 2 \sin^2 \theta = \frac{1 - \tan^2 \theta} {1 + \tan^2 \theta}
: \tan (2\theta) = \frac{2 \tan \theta} {1 - \tan^2 \theta}
: \cot (2\theta) = \frac{\cot^2 \theta - 1}{2 \cot \theta} = \frac{1 - \tan^2 \theta} {2 \tan \theta}
: \sec (2\theta) = \frac{\sec^2 \theta}{2 - \sec^2 \theta} = \frac{1 + \tan^2 \theta} {1 - \tan^2 \theta}
: \csc (2\theta) = \frac{\sec \theta \csc \theta}{2} = \frac{1 + \tan^2 \theta} {2 \tan \theta}

#### Üç kat açı formülleri
Üç kat açılar için formüller.

: \sin (3\theta) =3\sin\theta - 4\sin^3\theta = 4\sin\theta\sin\left(\frac{\pi}{3} -\theta\right)\sin\left(\frac{\pi}{3} + \theta\right)
: \cos (3\theta) = 4 \cos^3\theta - 3 \cos\theta =4\cos\theta\cos\left(\frac{\pi}{3} -\theta\right)\cos\left(\frac{\pi}{3} + \theta\right)
: \tan (3\theta) = \frac{3 \tan\theta - \tan^3\theta}{1 - 3 \tan^2\theta} = \tan \theta\tan\left(\frac{\pi}{3} - \theta\right)\tan\left(\frac{\pi}{3} + \theta\right)
: \cot (3\theta) = \frac{3 \cot\theta - \cot^3\theta}{1 - 3 \cot^2\theta}
: \sec (3\theta) = \frac{\sec^3\theta}{4-3\sec^2\theta}
: \csc (3\theta) = \frac{\csc^3\theta}{3\csc^2\theta-4}

#### Çok kat açı formülleri
Çok katlı açılar için formüller.

: \begin{align}
  \sin(n\theta) &= \sum_{k\text{ tek}} (-1)^\frac{k-1}{2} {n \choose k}\cos^{n-k} \theta \sin^k \theta =
  \sin\theta\sum_{i=0}^{(n+1)/2}\sum_{j=0}^{i} (-1)^{i-j} {n \choose 2i + 1}{i \choose j}
  \cos^{n-2(i-j)-1} \theta \\
  {}&=2^{(n-1)} \prod_{k=0}^{n-1} \sin(k\pi/n+\theta)
  \end{align}
: \cos(n\theta) = \sum_{k\text{ çift}} (-1)^\frac{k}{2} {n \choose k}\cos^{n-k} \theta \sin^k \theta =
  \sum_{i=0}^{n/2}\sum_{j=0}^{i} (-1)^{i-j} {n \choose 2i}{i \choose j} \cos^{n-2(i-j)} \theta
  
: \cos((2n+1)\theta)=(-1)^n 2^{2n}\prod_{k=0}^{2n}\cos(k\pi/(2n+1)-\theta)
: \cos(2 n \theta)=(-1)^n 2^{2n-1} \prod_{k=0}^{2n-1} \cos((1+2k)\pi/(4n)-\theta)
: \tan(n\theta) = \frac{\sum_{k\text{ tek}} (-1)^\frac{k-1}{2} {n \choose k}\tan^k \theta}{\sum_{k\text{ çift}} (-1)^\frac{k}{2} {n \choose k}\tan^k \theta}

#### Chebyshev yöntemi
Chebyshev yöntemi, (n-1)inci ve (n-2)inci değerleri bilerek inci çok katlı açı formülünü bulmak için bir özyineleme algoritmasıdır.

\cos(nx) değeri, \cos((n-1)x), \cos((n-2)x) ve \cos(x)'den \cos(nx)=2 \cos x \cos((n-1)x) - \cos((n-2)x) eşitliği yardımıyla hesaplanabilir.

Bu durum aşağıdaki formüllerin toplanmasıyla kanıtlanabilir:

\begin{align}
  \cos ((n-1)x + x) &= \cos ((n-1)x) \cos x-\sin ((n-1)x) \sin x \\
  \cos ((n-1)x - x) &= \cos ((n-1)x) \cos x+\sin ((n-1)x) \sin x
\end{align}

Tümevarım yoluyla \cos(nx)'in \cos x, 'in bir polinomu olduğu sonucuna varılır, buna birinci türden Chebyshev polinomu denir, bkz. Chebyshev polinomları#Trigonometrik tanım.

Benzer şekilde, \sin(nx), \sin((n-1)x), \sin((n-2)x), ve \cos x'ten \sin(nx)=2 \cos x \sin((n-1)x)-\sin((n-2)x) yardımıyla hesaplanabilir.

Bu, \sin((n-1)x+x) ve \sin((n-1)x-x) formülleri eklenerek kanıtlanabilir.

Chebyshev yöntemine benzer bir amaca hizmet ederek, tanjnat için şunu yazabiliriz:

\tan (nx) = \frac{\tan ((n-1)x) + \tan x}{1- \tan ((n-1)x) \tan x}\,.

### Yarım açı formülleri

\begin{align}
\sin \frac{\theta}{2} &= \sgn\left(\sin\frac\theta2\right) \sqrt{\frac{1 - \cos \theta}{2}} \\[3pt]

\cos \frac{\theta}{2} &= \sgn\left(\cos\frac\theta2\right) \sqrt{\frac{1 + \cos\theta}{2}} \\[3pt]

\tan \frac{\theta}{2}
&= \frac{1 - \cos \theta}{\sin \theta}
= \frac{\sin \theta}{1 + \cos \theta}
= \csc \theta - \cot \theta
= \frac{\tan\theta}{1 + \sec{\theta}} \\[6mu]

&= \sgn(\sin \theta) \sqrt\frac{1 - \cos \theta}{1 + \cos \theta}
= \frac{-1 + \sgn(\cos \theta) \sqrt{1+\tan^2\theta}}{\tan\theta} \\[3pt]

\cot \frac{\theta}{2}
&= \frac{1 + \cos \theta}{\sin \theta}
= \frac{\sin \theta}{1 - \cos \theta}
= \csc \theta + \cot \theta
= \sgn(\sin \theta) \sqrt\frac{1 + \cos \theta}{1 - \cos \theta} \\

\sec \frac{\theta}{2}
&= \sgn\left(\cos\frac\theta2\right) \sqrt{\frac{2}{1 + \cos\theta}} \\

\csc \frac{\theta}{2}
&= \sgn\left(\sin\frac\theta2\right) \sqrt{\frac{2}{1 - \cos\theta}} \\

\end{align}

Ayrıca
\begin{align}
  \tan\frac{\eta\pm\theta}{2} &= \frac{\sin\eta \pm \sin\theta}{\cos\eta + \cos\theta} \\[3pt]
  \tan\left(\frac{\theta}{2} + \frac{\pi}{4}\right) &= \sec\theta + \tan\theta \\[3pt]
       \sqrt{\frac{1 - \sin\theta}{1 + \sin\theta}} &= \frac{\left|1 - \tan\frac{\theta}{2}\right|}{\left|1 + \tan\frac{\theta}{2}\right|}
\end{align}

### Tablo

Bunlar, toplam ve fark özdeşlikleri ya da çoklu açı formülleri kullanılarak gösterilebilir.


{\left|1 + \tan\frac{\theta}{2}\right|} \\[5pt]
  \tan\frac{\theta}{2} &= \frac{\tan\theta}{1 + \sqrt{1 + \tan^2\theta}} \\
                       &\text{for } \theta \in \left(-\tfrac{\pi}{2},\tfrac{\pi}{2} \right)
\end{align}
| \begin{align}
  \cot \frac{\theta}{2}
    &= \csc \theta + \cot \theta \\
    &= \pm\, \sqrt\frac{1 + \cos \theta}{1 - \cos \theta} \\[3pt]
    &= \frac{\sin \theta}{1 - \cos \theta} \\[4pt]
    &= \frac{1 + \cos \theta}{\sin \theta}
\end{align}
|}


Sinüs ve kosinüs için üç kat açı formülünün yalnızca tek bir fonksiyonun kuvvetlerini içermesi, açıyı üçe bölmenin pergel ve düzeç konstrüksiyonu geometrik problemini kübik denklem çözme cebirsel problemiyle ilişkilendirmeye izin verir, bu da alan teorisi tarafından verilen araçları kullanarak üçlemenin genel olarak imkansız olduğunu kanıtlamaya izin verir.

Üçte bir açı için trigonometrik özdeşlikleri hesaplamak amacıyla bir formül mevcuttur, ancak bu  kübik denklemin sıfırlarını yani köklerini bulmayı gerektirir, burada x kosinüs fonksiyonunun üçte birlik açıdaki değeri ve  kosinüs fonksiyonunun tam açıdaki bilinen değeridir. Bununla birlikte, bu denklemin diskriminantı pozitiftir, bu nedenle bu denklemin üç reel kökü vardır (bunlardan sadece biri üçte birlik açının kosinüsü için çözümdür). Bu çözümlerin hiçbiri küp köklerin altında ara karmaşık sayılar kullandıkları için gerçek bir cebirsel ifadeye indirgenemez.

## Kuvvet indirgeme formülleri
Kosinüs çift açı formülünün ikinci ve üçüncü versiyonlarının çözülmesiyle elde edilir.

 Genel olarak \sin \theta veya \cos \theta kuvvetleri cinsinden aşağıdaki doğrudur ve De Moivre formülü, Euler formülü ve binom teoremi kullanılarak çıkarılabilir.

## Çarpım-toplam ve toplam-çarpım özdeşlikleri

Çarpım-toplam özdeşlikleri veya prosthaphaeresis formülleri, açı toplam teoremleri kullanılarak sağ tarafları genişletilerek kanıtlanabilir. Tarihsel olarak, bunlardan ilk dördü, astronomik hesaplamalar için kullanan Johannes Werner'den sonra **Werner formülleri** olarak biliniyordu. 
Çarpım-toplam formüllerinin bir uygulaması için  genlik modülasyonu ve toplam-çarpım formüllerinin uygulamaları için vuru (akustik) ile faz dedektörü bölümlerine bakınız.

### Çarpım-toplam özdeşlikleri

: \cos \theta\, \cos \varphi = {\cos(\theta - \varphi) + \cos(\theta + \varphi) \over 2}
: \sin \theta\, \sin \varphi = {\cos(\theta - \varphi) - \cos(\theta + \varphi) \over 2}
: \sin \theta\, \cos \varphi = {\sin(\theta + \varphi) + \sin(\theta - \varphi) \over 2}
: \cos \theta\, \sin \varphi = {\sin(\theta + \varphi) - \sin(\theta - \varphi) \over 2}
: \tan \theta\, \tan \varphi =\frac{\cos(\theta-\varphi)-\cos(\theta+\varphi)}{\cos(\theta-\varphi)+\cos(\theta+\varphi)}
: \tan \theta\, \cot \varphi = \frac{\sin(\theta + \varphi) + \sin(\theta - \varphi)}{\sin(\theta + \varphi) - \sin(\theta - \varphi)}
: \begin{align} \prod_{k=1}^n \cos \theta_k & = \frac{1}{2^n}\sum_{e\in S} \cos(e_1\theta_1+\cdots+e_n\theta_n) \\[6pt]
  & \text{burada }e = (e_1,\ldots,e_n) \in S=\{1,-1\}^n
\end{align}
: 
\prod_{k=1}^n \sin\theta_k=\frac{(-1)^{\left\lfloor\frac
        {n}{2}\right\rfloor}}{2^n}\begin{cases}
  \displaystyle\sum_{e\in S}\cos(e_1\theta_1+\cdots+e_n\theta_n)\prod_{j=1}^n e_j \; n\; \text{çift ise},\\
  \displaystyle\sum_{e\in S}\sin(e_1\theta_1+\cdots+e_n\theta_n)\prod_{j=1}^n e_j \; n\; \text{tek ise}
  \end{cases}

### Toplam-çarpım özdeşlikleri

Toplam-çarpım özdeşlikleri aşağıdaki gibidir:

: \sin \theta \pm \sin \varphi = 2 \sin\left( \frac{\theta \pm \varphi}{2} \right) \cos\left( \frac{\theta \mp \varphi}{2} \right)
: \cos \theta + \cos \varphi = 2 \cos\left( \frac{\theta + \varphi} {2} \right) \cos\left( \frac{\theta - \varphi}{2} \right)
: \cos \theta - \cos \varphi = -2\sin\left( \frac{\theta + \varphi}{2}\right) \sin\left(\frac{\theta - \varphi}{2}\right)
: \tan\theta\pm\tan\varphi=\frac{\sin(\theta\pm \varphi)}{\cos\theta\,\cos\varphi}

### Hermite kotanjant özdeşliği

Charles Hermite aşağıdaki özdeşliği göstermiştir. a_1, \ldots, a_n sayılarının, hiçbiri 'nin bir tam sayı katı kadar farklı olmayan karmaşık sayılar olduğunu varsayalım. Varsayalım ki

A_{n,k} = \prod_{\begin{smallmatrix} 1 \le j \le n \\ j \neq k \end{smallmatrix}} \cot(a_k - a_j)

(özellikle, A_{1,1}, bir boş çarpım olmak üzere, 1'dir).O halde

\cot(z - a_1)\cdots\cot(z - a_n) = \cos\frac{n\pi}{2} + \sum_{k=1}^n A_{n,k} \cot(z - a_k).

Aşikar olmayan en basit örnek  durumudur:

\cot(z - a_1)\cot(z - a_2) = -1 + \cot(a_1 - a_2)\cot(z - a_1) + \cot(a_2 - a_1)\cot(z - a_2).

### Trigonometrik fonksiyonların sonlu çarpımları
,  aralarında asal tam sayıları için

\prod_{k=1}^n \left(2a + 2\cos\left(\frac{2 \pi k m}{n} + x\right)\right) = 2\left( T_n(a)+{(-1)}^{n+m}\cos(n x) \right)

burada  Chebyshev polinomudur.

Sinüs fonksiyonu için aşağıdaki ilişki geçerlidir;

\prod_{k=1}^{n-1} \sin\left(\frac{k\pi}{n}\right) = \frac{n}{2^{n-1}}.

Daha genel olarak bir  tam sayı için

\sin(nx) = 2^{n-1}\prod_{k=0}^{n-1} \sin\left(\frac{k}{n}\pi + x\right) = 2^{n-1}\prod_{k=1}^{n} \sin\left(\frac{k}{n}\pi - x\right).

veya kiriş fonksiyonu \operatorname{crd}x \equiv 2\sin\tfrac12x cinsinden yazılabilir,

\operatorname{crd}(nx) = \prod_{k=1}^{n} \operatorname{crd}\left(\frac{k}{n}2\pi - x\right).

Bu, z^n - 1 polinomunun doğrusal çarpanlara ayrılmasından gelir. (bkz. birimin kökü): Herhangi bir karmaşık  ve bir tam sayı  için,

z^n - 1 = \prod_{k=1}^{n}\left( z - \exp\Bigl(\frac{k}{n}2\pi i\Bigr)\right).

## Doğrusal kombinasyonlar
Bazı amaçlar için, aynı periyot veya frekansta ancak farklı faz kaymaları olan sinüs dalgalarının herhangi bir doğrusal kombinasyonunun da aynı periyot veya frekansa ancak farklı bir faz kaymasına sahip bir sinüs dalgası olduğunu bilmek önemlidir. Bu sinüzoidal veri uydurma için kullanışlıdır. Ölçülen veya gözlemlenen veriler, aşağıdaki faz içi ve kareleme bileşenleri temelinin  ve  bilinmeyenleri ile doğrusal olarak ilişkili olduğundan, c ve \varphi ile karşılaştırıldığında daha basit bir Jacobyen ile sonuçlanır.

### Sinüs ve kosinüs
Sinüs ve kosinüs dalgalarının doğrusal kombinasyonu veya harmonik toplamı, faz kayması ve ölçeklendirilmiş genliğe sahip tek bir sinüs dalgasına eşdeğerdir,

a\cos x+b\sin x=c\cos(x+\varphi)

burada a \neq 0 olduğu göz önüne alındığında c ve \varphi şu şekilde tanımlanır:

\begin{align}
        c &= \sgn(a) \sqrt{a^2 + b^2}, \\
  \varphi &= {\arctan}\bigl({-b/a}\bigr),
\end{align}

### Keyfi faz kayması
Daha genel olarak, keyfi faz kaymaları için

a \sin(x + \theta_a) + b \sin(x + \theta_b)= c \sin(x+\varphi)

Burada c ve \varphi aşağıdaki ifadeleri sağlar:
\begin{align}
           c^2 &= a^2 + b^2 + 2ab\cos \left(\theta_a - \theta_b \right) , \\
  \tan \varphi &= \frac{a \sin \theta_a + b \sin \theta_b}{a \cos \theta_a + b \cos \theta_b}.
\end{align}

### İkiden fazla sinüzoid

Genel durum şu şekildedir
\sum_i a_i \sin(x + \theta_i) = a \sin(x + \theta),
burada
a^2 = \sum_{i,j}a_i a_j \cos(\theta_i - \theta_j)
ve
\tan\theta = \frac{\sum_i a_i \sin\theta_i}{\sum_i a_i \cos\theta_i}.

## Lagrange trigonometrik özdeşlikleri
Adını Joseph Louis Lagrange'dan alan bu özdeşlikler şunlardır:

\begin{align}
\sum_{k=0}^n \sin k\theta & = \frac{\cos \tfrac12\theta - \cos\left(\left(n + \tfrac12\right)\theta\right)}{2\sin\tfrac12\theta}\\[5pt]
\sum_{k=0}^n \cos k\theta & = \frac{\sin \tfrac12\theta + \sin\left(\left(n + \tfrac12\right)\theta\right)}{2\sin\tfrac12\theta}
\end{align}
\theta \not\equiv 0\pmod{2\pi} için.

İlgili bir fonksiyon Dirichlet çekirdeğidir:
D_n(\theta) = 1 + 2\sum_{k=1}^n \cos k\theta
= \frac{\sin\left(\left(n + \tfrac12 \right)\theta\right)}{\sin \tfrac12 \theta}.

Benzer bir özdeşlik

\sum_{k=1}^n \cos (2k -1)\alpha = \frac{\sin (2n \alpha)}{2 \sin \alpha}.

Kanıt aşağıdaki gibidir. açı toplam ve fark özdeşlikleri kullanılarak,

\sin (A + B) - \sin (A - B) = 2 \cos A \sin B.

O zaman aşağıdaki formülü inceleyelim,

2 \sin \alpha \sum_{k=1}^n \cos (2k - 1)\alpha = 2\sin \alpha \cos \alpha + 2 \sin \alpha \cos 3\alpha
+ 2 \sin \alpha \cos 5 \alpha + \ldots + 2 \sin \alpha \cos (2n - 1) \alpha 

ve bu formül yukarıdaki özdeşlik kullanılarak yazılabilir,

\begin{align}
& 2 \sin \alpha \sum_{k=1}^n \cos (2k - 1)\alpha \\
&\quad= \sum_{k=1}^n (\sin (2k \alpha) - \sin (2(k - 1)\alpha)) \\
&\quad= (\sin 2\alpha - \sin 0) + (\sin 4 \alpha - \sin 2 \alpha) + (\sin 6 \alpha - \sin 4 \alpha) + \ldots
+ (\sin (2n \alpha) - \sin (2(n - 1) \alpha)) \\
&\quad= \sin (2n \alpha).
\end{align}

Dolayısıyla, bu formülü 2 \sin \alpha ile bölmek kanıtı tamamlar.

## Belirli doğrusal kesirli dönüşümler
Eğer f(x) doğrusal kesirli dönüşüm tarafından veriliyorsa

f(x) = \frac{(\cos\alpha)x - \sin\alpha}{(\sin\alpha)x + \cos\alpha},
ve benzer şekilde
g(x) = \frac{(\cos\beta)x - \sin\beta}{(\sin\beta)x + \cos\beta},
öyleyse
f\big(g(x)\big) = g\big(f(x)\big)
= \frac{\big(\cos(\alpha+\beta)\big)x - \sin(\alpha+\beta)}{\big(\sin(\alpha+\beta)\big)x + \cos(\alpha+\beta)}.

Daha açık bir ifadeyle, eğer tüm \alpha için f_{\alpha} yukarıda f olarak adlandırdığımız şey olsun.

f_\alpha \circ f_\beta = f_{\alpha+\beta}.

Eğer x bir doğrunun eğimi ise, f(x) doğrunun - \alpha açısı boyunca dönüşünün eğimidir.

## Karmaşık üstel fonksiyon ile ilişkisi

Euler'in formülü, herhangi bir gerçek sayı *x* için:

e^{ix} = \cos x + i\sin x,

burada *i* sanal birimdir. *x* yerine -*x* koyduğumuzda aşağıdaki ifadeyi elde ederiz:

e^{-ix} = \cos(-x) + i\sin(-x) = \cos x - i\sin x.

Bu iki denklem, kosinüs ve sinüsü üstel fonksiyon cinsinden çözmek için kullanılabilir. Spesifik olarak,
\cos x = \frac{e^{ix} + e^{-ix}}{2}
\sin x = \frac{e^{ix} - e^{-ix}}{2i}

Bu formüller, diğer birçok trigonometrik özdeşliği kanıtlamak için kullanışlıdır. Örneğin,

 demek oluyor ki

Sol tarafın reel kısmının, sağ tarafın reel kısmına eşit olması kosinüs için bir açı toplama formülüdür. Sanal kısımların eşitliği sinüs için bir açı toplama formülü verir.

Aşağıdaki tablo trigonometrik fonksiyonları ve bunların terslerini üstel fonksiyon ve karmaşık logaritma cinsinden ifade etmektedir.

## Seri açılımları
Trigonometrik fonksiyonları tanımlamak için bir kuvvet serisi açılımı kullanıldığında, aşağıdaki özdeşlikler elde edilir:
:\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} -  \frac{x^7}{7!} + \cdots = \sum_{n=0}^{\infty} \frac{(-1)^nx^{2n+1}}{(2n+1)!},\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} -  \frac{x^6}{6!} + \cdots = \sum_{n=0}^{\infty} \frac{(-1)^nx^{2n}}{(2n)!}.

## Sonsuz çarpım formülleri
Özel fonksiyon uygulamaları için, trigonometrik fonksiyonlar için aşağıdaki sonsuz çarpım formülleri kullanışlıdır:

\begin{align}
   \sin x &= x \prod_{n = 1}^\infty\left(1 - \frac{x^2}{\pi^2 n^2}\right), &
   \cos x &=   \prod_{n = 1}^\infty\left(1 - \frac{x^2}{\pi^2\left(n - \frac{1}{2}\right)\!\vphantom)^2}\right), \\[10mu]
  \sinh x &= x \prod_{n = 1}^\infty\left(1 + \frac{x^2}{\pi^2 n^2}\right), &
  \cosh x &=   \prod_{n = 1}^\infty\left(1 + \frac{x^2}{\pi^2\left(n - \frac{1}{2}\right)\!\vphantom)^2}\right).
\end{align}

## Ters trigonometrik fonksiyonlar

Aşağıdaki özdeşlikler, bir trigonometrik fonksiyonun bir ters trigonometrik fonksiyonla bileşiminin sonucunu verir.


\begin{align}
  \sin(\arcsin x) &=x
& \cos(\arcsin x) &=\sqrt{1-x^2}
& \tan(\arcsin x) &=\frac{x}{\sqrt{1 - x^2}}
\\
  \sin(\arccos x) &=\sqrt{1-x^2}
& \cos(\arccos x) &=x
& \tan(\arccos x) &=\frac{\sqrt{1 - x^2}}{x}
\\
  \sin(\arctan x) &=\frac{x}{\sqrt{1+x^2}}
& \cos(\arctan x) &=\frac{1}{\sqrt{1+x^2}}
& \tan(\arctan x) &=x
\\
  \sin(\arccsc x) &=\frac{1}{x}
& \cos(\arccsc x) &=\frac{\sqrt{x^2 - 1}}{x}
& \tan(\arccsc x) &=\frac{1}{\sqrt{x^2 - 1}}
\\
  \sin(\arcsec x) &=\frac{\sqrt{x^2 - 1}}{x}
& \cos(\arcsec x) &=\frac{1}{x}
& \tan(\arcsec x) &=\sqrt{x^2 - 1}
\\
  \sin(\arccot x) &=\frac{1}{\sqrt{1+x^2}}
& \cos(\arccot x) &=\frac{x}{\sqrt{1+x^2}}
& \tan(\arccot x) &=\frac{1}{x}
\\
\end{align}


Yukarıdaki her bir denklemin her iki tarafının çarpımsal tersi alındığında \csc = \frac{1}{\sin}, \;\sec = \frac{1}{\cos}, \text{ ve } \cot = \frac{1}{\tan} denklemleri elde edilir. Yukarıdaki formülün sağ tarafı her zaman ters çevrilecektir. Örneğin, \cot(\arcsin x) için denklem şöyledir:
\cot(\arcsin x) = \frac{1}{\tan(\arcsin x)} = \frac{1}{\frac{x}{\sqrt{1 - x^2}}} = \frac{\sqrt{1 - x^2}}{x}
\csc(\arccos x) ve \sec(\arccos x) için denklemler ise şöyledir:
\csc(\arccos x) = \frac{1}{\sin(\arccos x)} = \frac{1}{\sqrt{1-x^2}} \qquad \text{ ve }\quad \sec(\arccos x) = \frac{1}{\cos(\arccos x)} = \frac{1}{x}.

Aşağıdaki özdeşlikler, yansıma özdeşlikleri tarafından ortaya konmuştur. x, r, s, -x, -r, \text{ ve } -s ilgili fonksiyonların etki alanlarında olduğunda geçerlidirler.
\begin{alignat}{9}
\frac{\pi}{2} ~&=~ \arcsin(x) &&+ \arccos(x) ~&&=~ \arctan(r) &&+ \arccot(r) ~&&=~ \arcsec(s) &&+ \arccsc(s) \\[0.4ex]
\pi ~&=~ \arccos(x) &&+ \arccos(-x) ~&&=~ \arccot(r) &&+ \arccot(-r) ~&&=~ \arcsec(s) &&+ \arcsec(-s) \\[0.4ex]
0 ~&=~ \arcsin(x) &&+ \arcsin(-x) ~&&=~ \arctan(r) &&+ \arctan(-r) ~&&=~ \arccsc(s) &&+ \arccsc(-s) \\[1.0ex]
\end{alignat}

Aynı zamanda,
\begin{align}
\arctan x + \arctan \dfrac{1}{x}
&= \begin{cases}
   \frac{\pi}{2},  &  x > 0 \ \ \text{ise}\\
 - \frac{\pi}{2},  &  x  0 \ \ \text{ise}\\
   \frac{3\pi}{2}, & x 
\arccos \frac{1}{x} = \arcsec x \qquad \text{ ve } \qquad \arcsec \frac{1}{x} = \arccos x
\arcsin \frac{1}{x} = \arccsc x \qquad \text{ ve } \qquad \arccsc \frac{1}{x} = \arcsin x

Arktanjant fonksiyonu bir seri olarak genişletilebilir:

\arctan(nx) = \sum_{m = 1}^n \arctan\frac{x}{1 + (m - 1)mx^2}


## Değişken içermeyen özdeşlikler
Arktanjant fonksiyonu cinsinden aşağıdaki ifadelere sahibiz;

\arctan \frac{1}{2} = \arctan \frac{1}{3} + \arctan \frac{1}{7}.

Morrie yasası olarak bilinen ilginç özdeşlik,
\cos 20^\circ\cdot\cos 40^\circ\cdot\cos 80^\circ = \frac{1}{8},

tek değişken içeren bir özdeşliğin özel bir durumudur:
\prod_{j=0}^{k-1}\cos\left(2^j x\right) = \frac{\sin\left(2^k x\right)}{2^k\sin x}.

Benzer şekilde,
\sin 20^\circ\cdot\sin 40^\circ\cdot\sin 80^\circ = \frac{\sqrt{3}}{8}
x = 20^\circ olan bir özdeşliğin özel bir durumudur:
\sin x \cdot \sin \left(60^\circ - x\right) \cdot \sin \left(60^\circ + x\right) = \frac{\sin 3x}{4}.

x = 15^\circ durumu için,
\begin{align}
  \sin 15^\circ\cdot\sin 45^\circ\cdot\sin 75^\circ &= \frac{\sqrt{2}}{8}, \\
                    \sin 15^\circ\cdot\sin 75^\circ &= \frac{1}{4}.
\end{align}

x = 10^\circ durumu için,
\sin 10^\circ\cdot\sin 50^\circ\cdot\sin 70^\circ = \frac{1}{8}.

Aynı kosinüs özdeşliği
\cos x \cdot \cos \left(60^\circ - x\right) \cdot \cos \left(60^\circ + x\right) = \frac{\cos 3x}{4}.

Benzer şekilde,
\begin{align}
  \cos 10^\circ\cdot\cos 50^\circ\cdot\cos 70^\circ &= \frac{\sqrt{3}}{8}, \\
  \cos 15^\circ\cdot\cos 45^\circ\cdot\cos 75^\circ &= \frac{\sqrt{2}}{8}, \\
                    \cos 15^\circ\cdot\cos 75^\circ &= \frac{1}{4}.
\end{align}

Benzer şekilde,
\begin{align}
  \tan 50^\circ\cdot\tan 60^\circ\cdot\tan 70^\circ &= \tan 80^\circ, \\
  \tan 40^\circ\cdot\tan 30^\circ\cdot\tan 20^\circ &= \tan 10^\circ.
\end{align}

Aşağıdakiler, değişkenleri içeren bir özdeşliğe kolayca genelleştirilemeyebilir (ancak aşağıdaki açıklamaya bakınız):
\cos 24^\circ + \cos 48^\circ + \cos 96^\circ + \cos 168^\circ = \frac{1}{2}.

Bu özdeşliği, paydalarda 21 ile düşündüğümüzde derece ölçüsü radyan ölçüsünden daha isabetli olmaktan çıkar:

\cos \frac{2\pi}{21} +
\cos\left(2\cdot\frac{2\pi}{21}\right) +
\cos\left(4\cdot\frac{2\pi}{21}\right) +
\cos\left( 5\cdot\frac{2\pi}{21}\right) +
\cos\left( 8\cdot\frac{2\pi}{21}\right) +
\cos\left(10\cdot\frac{2\pi}{21}\right)
= \frac{1}{2}.

1, 2, 4, 5, 8, 10 çarpanları, modeli netleştirmeye başlayabilir: bunlar 'den küçük olan ve 21 ile göreceli asal olan (veya ortak asal çarpanları olmayan) tam sayılardır. Son birkaç örnek indirgenemez siklotomik polinomlarla ilgili temel bir gerçeğin sonucudur: kosinüsler bu polinomların sıfırlarının gerçel kısımlarıdır; sıfırların toplamı (yukarıdaki son durumda) 21'de değerlendirilen Möbius fonksiyonudur; sıfırların sadece yarısı yukarıda mevcuttur. Bu sonuncusundan önceki iki özdeşlik, 21 yerine sırasıyla 10 ve 15 konduğunda aynı şekilde ortaya çıkar.

Diğer kosinüs özdeşlikleri şunlardır:
\begin{align}
                                                         2\cos \frac{\pi}{3} &= 1, \\
                             2\cos \frac{\pi}{5} \times 2\cos \frac{2\pi}{5} &= 1, \\
  2\cos \frac{\pi}{7} \times 2\cos \frac{2\pi}{7}\times 2\cos \frac{3\pi}{7} &= 1,
\end{align}
ve tüm tek sayılar için böyle devam eder, dolayısıyla
\cos \frac{\pi}{3}+\cos \frac{\pi}{5} \times \cos \frac{2\pi}{5} + \cos \frac{\pi}{7} \times \cos \frac{2\pi}{7} \times \cos \frac{3\pi}{7} + \dots = 1.

Bu ilginç özdeşliklerin birçoğu aşağıdaki gibi daha genel gerçeklerden kaynaklanmaktadır:
\prod_{k=1}^{n-1} \sin\frac{k\pi}{n} = \frac{n}{2^{n-1}}
ve
\prod_{k=1}^{n-1} \cos\frac{k\pi}{n} = \frac{\sin\frac{\pi n}{2}}{2^{n-1}}.

Bunları birleştirmek bize şunları verir;
\prod_{k=1}^{n-1} \tan\frac{k\pi}{n} = \frac{n}{\sin\frac{\pi n}{2}}

Eğer  bir tek sayı ise (n = 2 m + 1) simetrilerden yararlanarak şu sonucu elde edebiliriz
\prod_{k=1}^{m} \tan\frac{k\pi}{2m+1} = \sqrt{2m+1}

Butterworth alçak geçiren filtresinin transfer fonksiyonu polinom ve kutuplar cinsinden ifade edilebilir. Frekansı kesim frekansı olarak belirleyerek, aşağıdaki özdeşlik kanıtlanabilir:
\prod_{k=1}^n \sin\frac{\left(2k - 1\right)\pi}{4n} = \prod_{k=1}^{n} \cos\frac{\left(2k-1\right)\pi}{4n} = \frac{\sqrt{2}}{2^n}

### 'nin hesaplanması
'yi çok sayıda basamağa kadar hesaplamanın etkili bir yolu, Machin'den kaynaklanan aşağıdaki değişkensiz özdeşliğe dayanır. Bu Machin benzeri formül olarak bilinir:
\frac{\pi}{4} = 4 \arctan\frac{1}{5} - \arctan\frac{1}{239}
veya alternatif olarak Leonhard Euler'in bir özdeşliğini kullanarak:
\frac{\pi}{4} = 5 \arctan\frac{1}{7} + 2 \arctan\frac{3}{79}
veya Pisagor üçlülerini kullanarak:
\pi = \arccos\frac{4}{5} + \arccos\frac{5}{13} + \arccos\frac{16}{65} = \arcsin\frac{3}{5} + \arcsin\frac{12}{13} + \arcsin\frac{63}{65}.

Diğerleri ise şunlardır:
\frac{\pi}{4} = \arctan\frac{1}{2} + \arctan\frac{1}{3},
\pi = \arctan 1 + \arctan 2 + \arctan 3,
\frac{\pi}{4} = 2\arctan \frac{1}{3} + \arctan \frac{1}{7}.

Genel olarak,  olan  sayıları için  olsun. Bu son ifade, tanjantları  olan bir açılar toplamının kotanjantı için formül kullanılarak doğrudan hesaplanabilir ve değeri  içinde olacaktır. Özellikle, tüm  değerleri rasyonel olduğunda hesaplanan  de rasyonel olacaktır. Bu değerlerle,
\begin{align}
  \frac{\pi}{2} & = \sum_{k=1}^n \arctan(t_k) \\
            \pi & = \sum_{k=1}^n \sgn(t_k) \arccos\left(\frac{1 - t_k^2}{1 + t_k^2}\right) \\
            \pi & = \sum_{k=1}^n \arcsin\left(\frac{2t_k}{1 + t_k^2}\right) \\
            \pi & = \sum_{k=1}^n \arctan\left(\frac{2t_k}{1 - t_k^2}\right)\,,
\end{align}

burada ilk ifade hariç hepsinde tanjnat yarım açı formüllerini kullandık. İlk iki formül,  değerlerinden biri veya daha fazlası  içinde olmasa bile çalışır.  rasyonel ise, yukarıdaki formüllerdeki  değerlerinin Pisagor üçlüsü  ile orantılı olduğunu unutmayın.

Örneğin,  terimleri için,
\frac{\pi}{2} = \arctan\left(\frac{a}{b}\right) + \arctan\left(\frac{c}{d}\right) + \arctan\left(\frac{bd - ac}{ad + bc}\right)
\forall \ \ a, b, c, d > 0.

### Öklid'in bir özdeşliği
Öklid, *[[Öklid'in Elementleri|Elementler]]* adlı eserinin XIII. Kitabı, 10. Önermesinde bir çemberin içine yerleştirilmiş düzgün beşgenin kenarındaki karenin alanının, aynı çemberin içine yerleştirilmiş düzgün altıgen ve düzgün ongenin kenarlarındaki karelerin alanlarının toplamına eşit olduğunu göstermiştir. Modern trigonometri dilinde bu şöyle ifade edilir:
\sin^2 18^\circ + \sin^2 30^\circ = \sin^2 36^\circ.

Batlamyus bu önermeyi *[[Almagest]]*in I. Kitap, 11. Bölümünde Batlamyus kirişler tablosundaki bazı açıları hesaplamak için kullanmıştır.

## Trigonometrik fonksiyonların bileşimi
Bu özdeşlikler, trigonometrik bir fonksiyonun trigonometrik bir fonksiyonunu içerir:

: \cos(t \sin x) = J_0(t) + 2 \sum_{k=1}^\infty J_{2k}(t) \cos(2kx)
: \sin(t \sin x) = 2 \sum_{k=0}^\infty J_{2k+1}(t) \sin\big((2k+1)x\big)
: \cos(t \cos x) = J_0(t) + 2 \sum_{k=1}^\infty (-1)^kJ_{2k}(t) \cos(2kx)
: \sin(t \cos x) = 2 \sum_{k=0}^\infty(-1)^k J_{2k+1}(t) \cos\big((2k+1)x\big)

burada  Bessel fonksiyonlarıdır.

## ''α'' + ''β'' + ''γ'' = 180° durumu için diğer "koşullu" özdeşlikler

Bir **koşullu trigonometrik özdeşlik**, trigonometrik fonksiyonların argümanları üzerinde belirtilen koşullar sağlandığında geçerli olan bir trigonometrik özdeşliktir. Aşağıdaki formüller rastgele düzlem üçgenler için geçerlidir ve formüllerde yer alan fonksiyonlar iyi tanımlandığı sürece \alpha + \beta + \gamma = 180^{\circ}, formülünden takip edilir (ikincisi sadece tanjant ve kotanjantların yer aldığı formüller için geçerlidir).
\begin{align}
   \tan \alpha + \tan \beta + \tan \gamma &= \tan \alpha \tan \beta \tan \gamma \\
   1 &= \cot \beta \cot \gamma + \cot \gamma \cot \alpha + \cot \alpha \cot \beta \\
   \cot\left(\frac{\alpha}{2}\right) + \cot\left(\frac{\beta}{2}\right) + \cot\left(\frac{\gamma}{2}\right) &= \cot\left(\frac{\alpha}{2}\right) \cot \left(\frac{\beta}{2}\right) \cot\left(\frac{\gamma}{2}\right) \\
   1 &= \tan\left(\frac{\beta}{2}\right)\tan\left(\frac{\gamma}{2}\right) + \tan\left(\frac{\gamma}{2}\right)\tan\left(\frac{\alpha}{2}\right) + \tan\left(\frac{\alpha}{2}\right)\tan\left(\frac{\beta}{2}\right) \\
   \sin \alpha + \sin \beta + \sin \gamma &= 4\cos\left(\frac{\alpha}{2}\right)\cos\left(\frac{\beta}{2}\right)\cos\left(\frac{\gamma}{2}\right) \\
  -\sin \alpha + \sin \beta + \sin \gamma &= 4\cos\left(\frac{\alpha}{2}\right)\sin\left(\frac{\beta}{2}\right)\sin\left(\frac{\gamma}{2}\right) \\
   \cos \alpha + \cos \beta + \cos \gamma &= 4\sin\left(\frac{\alpha}{2}\right)\sin\left(\frac{\beta}{2}\right)\sin \left(\frac{\gamma}{2}\right) + 1 \\
  -\cos \alpha + \cos \beta + \cos \gamma &= 4\sin\left(\frac{\alpha}{2}\right)\cos\left(\frac{\beta}{2}\right)\cos \left(\frac{\gamma}{2}\right) - 1 \\
   \sin (2\alpha) + \sin (2\beta) + \sin (2\gamma) &=  4\sin \alpha \sin \beta \sin \gamma \\
  -\sin (2\alpha) + \sin (2\beta) + \sin (2\gamma) &=  4\sin \alpha \cos \beta \cos \gamma \\
   \cos (2\alpha) + \cos (2\beta) + \cos (2\gamma) &= -4\cos \alpha \cos \beta \cos \gamma - 1 \\
  -\cos (2\alpha) + \cos (2\beta) + \cos (2\gamma) &= -4\cos \alpha \sin \beta \sin \gamma + 1 \\
   \sin^2\alpha + \sin^2\beta + \sin^2\gamma &=  2 \cos \alpha \cos \beta \cos \gamma + 2 \\
  -\sin^2\alpha + \sin^2\beta + \sin^2\gamma &=  2 \cos \alpha \sin \beta \sin \gamma \\
   \cos^2\alpha + \cos^2\beta + \cos^2\gamma &= -2 \cos \alpha \cos \beta \cos \gamma + 1 \\
  -\cos^2\alpha + \cos^2\beta + \cos^2\gamma &= -2 \cos \alpha \sin \beta \sin \gamma + 1 \\
  \sin^2 (2\alpha) + \sin^2 (2\beta) + \sin^2 (2\gamma) &= -2\cos (2\alpha) \cos (2\beta) \cos (2\gamma)+2 \\
  \cos^2 (2\alpha) + \cos^2 (2\beta) + \cos^2 (2\gamma) &=  2\cos (2\alpha) \,\cos (2\beta) \,\cos (2\gamma) + 1 \\
   1 &= \sin^2 \left(\frac{\alpha}{2}\right) + \sin^2 \left(\frac{\beta}{2}\right) + \sin^2 \left(\frac{\gamma}{2}\right) + 2\sin \left(\frac{\alpha}{2}\right) \,\sin \left(\frac{\beta}{2}\right) \,\sin \left(\frac{\gamma}{2}\right)
\end{align}

## Tarihsel stenolar

Versinüs, koversinüs, haversinüs ve ekssekant seyrüseferde kullanılmıştır. Örneğin, haversinüs formülü bir küre üzerindeki iki nokta arasındaki mesafeyi hesaplamak için kullanılmıştır. Günümüzde nadiren kullanılmaktadırlar.

## Diğer
### Dirichlet çekirdeği

**[[Dirichlet çekirdeği]]** , bir sonraki özdeşliğin her iki tarafında meydana gelen fonksiyondur:
1 + 2\cos x + 2\cos(2x) + 2\cos(3x) + \cdots + 2\cos(nx) = \frac{\sin\left(\left(n + \frac{1}{2}\right)x\right) }{\sin\left(\frac{1}{2}x\right)}.

2 \pi periyodundaki herhangi bir integrallenebilir fonksiyonun Dirichlet çekirdeği ile konvolüsyonu, fonksiyonun ninci derece Fourier yaklaşımı ile çakışır. Aynı durum herhangi bir ölçü veya genelleştirilmiş fonksiyon için de geçerlidir.

### Tanjant yarım açı ikamesi

Eğer t = \tan\frac x 2, olarak alırsak
\sin x = \frac{2t}{1 + t^2};\qquad \cos x = \frac{1 - t^2}{1 + t^2};\qquad e^{i x} = \frac{1 + i t}{1 - i t}; \qquad dx = \frac{2\,dt}{1+t^2}, 
burada e^{i x} = \cos x + i \sin x, bazen  olarak kısaltılır.

Kalkülüste t yerine  kullanıldığında, \sin x yerine , \cos x yerine  ve  diferansiyeli yerine  yazılır. Böylece \sin x ve \cos x'in rasyonel fonksiyonları, antitürevlerini bulmak için t'nin rasyonel fonksiyonlarına dönüştürülür.

### Viète sonsuz çarpımı

\cos\frac{\theta}{2} \cdot \cos \frac{\theta}{4}
\cdot \cos \frac{\theta}{8} \cdots = \prod_{n=1}^\infty \cos \frac{\theta}{2^n}
= \frac{\sin \theta}{\theta} = \operatorname{sinc} \theta.

## Ayrıca bakınız

* Aristarkus eşitsizliği
* Trigonometrik fonksiyonların türevleri
* Tam trigonometrik değerler (sinüs ve kosinüsün rasyonel olmayan sayı -surd- cinsinden ifade edilen değerleri)
* Ekssekant
* Yarım kenar formülü
* Hiperbolik fonksiyon
* Üçgenlerin çözümü için yasalar:
** Kosinüs teoremi
*** Küresel kosinüs yasası
** Sinüs teoremi
** Tanjant teoremi
** Kotanjant teoremi
** Mollweide formülü
* Trigonometrik fonksiyonların integralleri
* Trigonometride anımsatıcılar
* Pentagramma mirificum
* Trigonometrik özdeşliklerin ispatları
* Prosthaphaeresis
* Pisagor teoremi
* Tanjant yarım açı formülü
* Trigonometrik sayı
* Trigonometri
* Trigonometrinin kullanım alanları
* Versinüs ve haversinüs

## Kaynakça

## Bibliyografya

* 
* 
* 

## Dış bağlantılar
* , and for the same angles  and 
*