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

Şablon:Ortala

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{array}{cc}\sin \theta & =\pm \sqrt{1-{\cos }^2\theta },\\ \cos \theta & =\pm \sqrt{1-{\sin }^2\theta }.\end{array}$$

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{array}{cc}& 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{array}$$

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:

Her bir trigonometrik fonksiyon diğer beş fonksiyonun her biri cinsinden

cinsinden	$\sin \theta$	$\csc \theta$	$\cos \theta$	$\sec \theta$	$\tan \theta$	$\cot \theta$
$\sin \theta =$	$\sin \theta$	$\frac{1}{\csc \theta }$	$\pm \sqrt{1-{\cos }^2\theta }$	$\pm \frac{\sqrt{{\sec }^2\theta -1}}{\sec \theta }$	$\pm \frac{\tan \theta }{\sqrt{1+{\tan }^2\theta }}$	$\pm \frac{1}{\sqrt{1+{\cot }^2\theta }}$
$\csc \theta =$	$\frac{1}{\sin \theta }$	$\csc \theta$	$\pm \frac{1}{\sqrt{1-{\cos }^2\theta }}$	$\pm \frac{\sec \theta }{\sqrt{{\sec }^2\theta -1}}$	$\pm \frac{\sqrt{1+{\tan }^2\theta }}{\tan \theta }$	$\pm \sqrt{1+{\cot }^2\theta }$
$\cos \theta =$	$\pm \sqrt{1-{\sin }^2\theta }$	$\pm \frac{\sqrt{{\csc }^2\theta -1}}{\csc \theta }$	$\cos \theta$	$\frac{1}{\sec \theta }$	$\pm \frac{1}{\sqrt{1+{\tan }^2\theta }}$	$\pm \frac{\cot \theta }{\sqrt{1+{\cot }^2\theta }}$
$\sec \theta =$	$\pm \frac{1}{\sqrt{1-{\sin }^2\theta }}$	$\pm \frac{\csc \theta }{\sqrt{{\csc }^2\theta -1}}$	$\frac{1}{\cos \theta }$	$\sec \theta$	$\pm \sqrt{1+{\tan }^2\theta }$	$\pm \frac{\sqrt{1+{\cot }^2\theta }}{\cot \theta }$
$\tan \theta =$	$\pm \frac{\sin \theta }{\sqrt{1-{\sin }^2\theta }}$	$\pm \frac{1}{\sqrt{{\csc }^2\theta -1}}$	$\pm \frac{\sqrt{1-{\cos }^2\theta }}{\cos \theta }$	$\pm \sqrt{{\sec }^2\theta -1}$	$\tan \theta$	$\frac{1}{\cot \theta }$
$\cot \theta =$	$\pm \frac{\sqrt{1-{\sin }^2\theta }}{\sin \theta }$	$\pm \sqrt{{\csc }^2\theta -1}$	$\pm \frac{\cos \theta }{\sqrt{1-{\cos }^2\theta }}$	$\pm \frac{1}{\sqrt{{\sec }^2\theta -1}}$	$\frac{1}{\tan \theta }$	$\cot \theta$

Yansımalar, kaymalar ve periyodiklik

Birim çember incelenerek trigonometrik fonksiyonların aşağıdaki özellikleri belirlenebilir.

Yansımalar

Şablon:Ortala

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 Şablon:Em olarak da bilinir.

$\alpha =0$'da yansıtılan $\theta$ tek/çift özdeşlikler	$\alpha =\frac{\pi }{4}$'te yansıtılan $\theta$	$\alpha =\frac{\pi }{2}$'de yansıtılan $\theta$	$\alpha =\frac{3\pi }{4}$'te yansıtılan $\theta$	$\alpha =\pi$'de yansıtılan $\theta$ $\alpha =0$ ile karşılaştıtma
$\sin (-\theta )=-\sin \theta$	$\sin (\frac{\pi }{2}-\theta )=\cos \theta$	$\sin (\pi -\theta )=+\sin \theta$	$\sin (\frac{3\pi }{2}-\theta )=-\cos \theta$	$\sin (2\pi -\theta )=-\sin (\theta )=\sin (-\theta )$
$\cos (-\theta )=+\cos \theta$	$\cos (\frac{\pi }{2}-\theta )=\sin \theta$	$\cos (\pi -\theta )=-\cos \theta$	$\cos (\frac{3\pi }{2}-\theta )=-\sin \theta$	$\cos (2\pi -\theta )=+\cos (\theta )=\cos (-\theta )$
$\tan (-\theta )=-\tan \theta$	$\tan (\frac{\pi }{2}-\theta )=\cot \theta$	$\tan (\pi -\theta )=-\tan \theta$	$\tan (\frac{3\pi }{2}-\theta )=+\cot \theta$	$\tan (2\pi -\theta )=-\tan (\theta )=\tan (-\theta )$
$\csc (-\theta )=-\csc \theta$	$\csc (\frac{\pi }{2}-\theta )=\sec \theta$	$\csc (\pi -\theta )=+\csc \theta$	$\csc (\frac{3\pi }{2}-\theta )=-\sec \theta$	$\csc (2\pi -\theta )=-\csc (\theta )=\csc (-\theta )$
$\sec (-\theta )=+\sec \theta$	$\sec (\frac{\pi }{2}-\theta )=\csc \theta$	$\sec (\pi -\theta )=-\sec \theta$	$\sec (\frac{3\pi }{2}-\theta )=-\csc \theta$	$\sec (2\pi -\theta )=+\sec (\theta )=\sec (-\theta )$
$\cot (-\theta )=-\cot \theta$	$\cot (\frac{\pi }{2}-\theta )=\tan \theta$	$\cot (\pi -\theta )=-\cot \theta$	$\cot (\frac{3\pi }{2}-\theta )=+\tan \theta$	$\cot (2\pi -\theta )=-\cot (\theta )=\cot (-\theta )$

Kaymalar ve periyodiklik

Şablon:Ortala

Bir çeyrek periyot kaydırma	Bir yarım periyot kaydırma	Tam periyotlarla kaydırma	Periyot
$\sin (\theta \pm \frac{\pi }{2})=\pm \cos \theta$	$\sin (\theta +\pi )=-\sin \theta$	$\sin (\theta +k\cdot 2\pi )=+\sin \theta$	$2\pi$
$\cos (\theta \pm \frac{\pi }{2})=\mp \sin \theta$	$\cos (\theta +\pi )=-\cos \theta$	$\cos (\theta +k\cdot 2\pi )=+\cos \theta$	$2\pi$
$\csc (\theta \pm \frac{\pi }{2})=\pm \sec \theta$	$\csc (\theta +\pi )=-\csc \theta$	$\csc (\theta +k\cdot 2\pi )=+\csc \theta$	$2\pi$
$\sec (\theta \pm \frac{\pi }{2})=\mp \csc \theta$	$\sec (\theta +\pi )=-\sec \theta$	$\sec (\theta +k\cdot 2\pi )=+\sec \theta$	$2\pi$
$\tan (\theta \pm \frac{\pi }{4})=\frac{\tan \theta \pm 1}{1\mp \tan \theta }$	$\tan (\theta +\frac{\pi }{2})=-\cot \theta$	$\tan (\theta +k\cdot \pi )=+\tan \theta$	$\pi$
$\cot (\theta \pm \frac{\pi }{4})=\frac{\cot \theta \mp 1}{1\pm \cot \theta }$	$\cot (\theta +\frac{\pi }{2})=-\tan \theta$	$\cot (\theta +k\cdot \pi )=+\cot \theta$	$\pi$

İşaretler

Trigonometrik fonksiyonların işareti açının çeyreğine (kuadrantına) bağlıdır. Eğer $-\pi <\theta \le \pi$ ve Şablon:Math işaret fonksiyonu ise,

$$\begin{array}{cc}\mathrm{sgn}(\sin \theta )=\mathrm{sgn}(\csc \theta )& =\{\begin{array}{cc}+1& 0<\theta <\pi \text{ ise}\\ -1& -\pi <\theta <0\text{ ise}\\ 0& \theta \in \{0,\pi \}\text{ ise}\end{array}\\ \mathrm{sgn}(\cos \theta )=\mathrm{sgn}(\sec \theta )& =\{\begin{array}{cc}+1& -\frac{1}{2}\pi <\theta <\frac{1}{2}\pi \text{ ise}\\ -1& -\pi <\theta <-\frac{1}{2}\pi \text{veya}\frac{1}{2}\pi <\theta <\pi \text{ ise}\\ 0& \theta \in \{-\frac{1}{2}\pi ,\frac{1}{2}\pi \}\text{ ise}\end{array}\\ \mathrm{sgn}(\tan \theta )=\mathrm{sgn}(\cot \theta )& =\{\begin{array}{cc}+1& -\pi <\theta <-\frac{1}{2}\pi \text{veya}0<\theta <\frac{1}{2}\pi \text{ ise}\\ -1& -\frac{1}{2}\pi <\theta <0\text{veya}\frac{1}{2}\pi <\theta <\pi \text{ ise}\\ 0& \theta \in \{-\frac{1}{2}\pi ,0,\frac{1}{2}\pi ,\pi \}\text{ ise}\end{array}\end{array}$$

Trigonometrik fonksiyonlar ortak periyot $2\pi ,$ ile periyodiktir, bu nedenle $(-\pi ,\pi ],$ aralığının dışındaki Şablon:Mvar değerleri için tekrar eden değerler alırlar (yukarıdaki Şablon:Slink bölümüne bakın).

Açı toplam ve fark özdeşlikleri

Bunlar aynı zamanda Şablon:Em (veya Şablon:Em) olarak da bilinir.

$$\begin{array}{cc}\sin (\alpha +\beta )& =\sin \alpha \cos \beta +\cos \alpha \sin \beta \\ \sin (\alpha -\beta )& =\sin \alpha \cos \beta -\cos \alpha \sin \beta \\ \cos (\alpha +\beta )& =\cos \alpha \cos \beta -\sin \alpha \sin \beta \\ \cos (\alpha -\beta )& =\cos \alpha \cos \beta +\sin \alpha \sin \beta \end{array}$$

$\sin (\alpha -\beta )$ ve $\cos (\alpha -\beta )$ için açı farkı özdeşlikleri, $-\beta$ yerine $\beta$ koyarak ve $\sin (-\beta )=-\sin (\beta )$ ile $\cos (-\beta )=\cos (\beta )$ gerçeklerini kullanarak açı toplamı versiyonlarından türetilebilir. Açı toplamı özdeşlikleri için şeklin biraz değiştirilmiş bir versiyonu kullanılarak da elde edilebilirler, her ikisi de burada gösterilmektedir.

Bu özdeşlikler, diğer trigonometrik fonksiyonlar için toplam ve fark özdeşliklerini de içeren aşağıdaki tablonun ilk iki satırında özetlenmiştir.

Sinüs	$\sin (\alpha \pm \beta )$			$=$	$\sin \alpha \cos \beta \pm \cos \alpha \sin \beta$
Kosinüs	$\cos (\alpha \pm \beta )$			$=$	$\cos \alpha \cos \beta \mp \sin \alpha \sin \beta$
Tanjant	$\tan (\alpha \pm \beta )$			$=$	$\frac{\tan \alpha \pm \tan \beta }{1\mp \tan \alpha \tan \beta }$
Kosekant	$\csc (\alpha \pm \beta )$			$=$	$\frac{\sec \alpha \sec \beta \csc \alpha \csc \beta }{\sec \alpha \csc \beta \pm \csc \alpha \sec \beta }$
Sekant	$\sec (\alpha \pm \beta )$			$=$	$\frac{\sec \alpha \sec \beta \csc \alpha \csc \beta }{\csc \alpha \csc \beta \mp \sec \alpha \sec \beta }$
Kotanjant	$\cot (\alpha \pm \beta )$			$=$	$\frac{\cot \alpha \cot \beta \mp 1}{\cot \beta \pm \cot \alpha }$
Arksinüs	$\arcsin x\pm \arcsin y$			$=$	$\arcsin (x\sqrt{1-y^2}\pm y\sqrt{1-x^2\phantom{y}})$
Arkkosinüs	$\arccos x\pm \arccos y$			$=$	$\arccos (xy\mp \sqrt{(1-x^2)(1-y^2)})$
Arktanjant	$\arctan x\pm \arctan y$			$=$	$\arctan \left(\frac{x\pm y}{1\mp xy}\right)$
Arkkotanjant	$\mathrm{arccot}x\pm \mathrm{arccot}y$			$=$	$\mathrm{arccot}\left(\frac{xy\mp 1}{y\pm x}\right)$

Sonsuz sayıda açının toplamlarının sinüs ve kosinüsleri

$\sum _{i=1}^{\mathrm{\infty }}{\theta }_i$ serisi, mutlak yakınsar olduğunda;

$$\begin{array}{cc}\sin \left(\sum _{i=1}^{\mathrm{\infty }}{\theta }_i\right)& =\sum _{\text{tek}k\ge 1}(-1{)}^{\frac{k-1}{2}}\sum _{\begin{array}{c}A\subseteq \{1,2,3,\dots \}\\ \left|A\right|=k\end{array}}(\prod _{i\in A}\sin {\theta }_i\prod _{i\in ̸A}\cos {\theta }_i)\\ \cos \left(\sum _{i=1}^{\mathrm{\infty }}{\theta }_i\right)& =\sum _{\text{çift}k\ge 0}(-1{)}^{\frac{k}{2}}\sum _{\begin{array}{c}A\subseteq \{1,2,3,\dots \}\\ \left|A\right|=k\end{array}}(\prod _{i\in A}\sin {\theta }_i\prod _{i\in ̸A}\cos {\theta }_i).\end{array}$$

$\sum _{i=1}^{\mathrm{\infty }}{\theta }_i$ serisi mutlak yakınsadığı için, $\underset{i\to \mathrm{\infty }}{\lim }{\theta }_i=0,$ $\underset{i\to \mathrm{\infty }}{\lim }\sin {\theta }_i=0,$ ve $\underset{i\to \mathrm{\infty }}{\lim }\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,\dots$ için) değişkenler içinde Şablon:Mvarinci derece temel simetrik polinom olsun: $$x_i=\tan {\theta }_i$$

$i=0,1,2,3,\dots ,$ için yani,

$$\begin{array}{cc}{e}_0& =1\\ e_1& =\sum _i{x}_i& & =\sum _i\tan {\theta }_i\\ e_2& =\sum _{i<j}{x}_i{x}_j& & =\sum _{i<j}\tan {\theta }_i\tan {\theta }_j\\ e_3& =\sum _{i<j<k}{x}_i{x}_j{x}_k& & =\sum _{i<j<k}\tan {\theta }_i\tan {\theta }_j\tan {\theta }_k\\ & ⋮& & ⋮\end{array}$$

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

$$\begin{array}{cc}\tan \left(\sum _i{\theta }_i\right)& =\frac{\sin \left(\sum _i{\theta }_i\right)/\prod _i\cos {\theta }_i}{\cos \left(\sum _i{\theta }_i\right)/\prod _i\cos {\theta }_i}\\ & =\frac{\sum _{\text{tek}k\ge 1}(-1{)}^{\frac{k-1}{2}}\sum _{\begin{array}{c}A\subseteq \{1,2,3,\dots \}\\ \left|A\right|=k\end{array}}\prod _{i\in A}\tan {\theta }_i}{\sum _{\text{çift}k\ge 0}(-1{)}^{\frac{k}{2}}\sum _{\begin{array}{c}A\subseteq \{1,2,3,\dots \}\\ \left|A\right|=k\end{array}}\prod _{i\in A}\tan {\theta }_i}=\frac{e_1-e_3+e_5-\cdots }{e_0-e_2+e_4-\cdots }\\ \cot \left(\sum _i{\theta }_i\right)& =\frac{e_0-e_2+e_4-\cdots }{e_1-e_3+e_5-\cdots }\end{array}$$

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

Örneğin: $$\begin{array}{cc}\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},\\ \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_1{x}_2+x_1{x}_3+x_2{x}_3)},\\ \tan ({\theta }_1+{\theta }_2+{\theta }_3+{\theta }_4)& =\frac{e_1-e_3}{e_0-e_2+e_4}\\ & =\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{array}$$

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{array}{cc}\sec \left(\sum _i{\theta }_i\right)& =\frac{\prod _i\sec {\theta }_i}{e_0-e_2+e_4-\cdots }\\ \csc \left(\sum _i{\theta }_i\right)& =\frac{\prod _i\sec {\theta }_i}{e_1-e_3+e_5-\cdots }\end{array}$$

Burada $e_k$, Şablon:Mvar değişkenlerinde Şablon:Mvarinci 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{array}{cc}\sec (\alpha +\beta +\gamma )& =\frac{\sec \alpha \sec \beta \sec \gamma }{1-\tan \alpha \tan \beta -\tan \alpha \tan \gamma -\tan \beta \tan \gamma }\\ \csc (\alpha +\beta +\gamma )& =\frac{\sec \alpha \sec \beta \sec \gamma }{\tan \alpha +\tan \beta +\tan \gamma -\tan \alpha \tan \beta \tan \gamma }.\end{array}$$

Batlamyus teoremi

Şablon:Ortala

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, $\mathrm{\angle }DAB$ ve $\mathrm{\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çı $\mathrm{\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

Şablon:Mvar, Şablon:Mvarinci Chebyshev polinomudur	$\cos (n\theta )=T_n(\cos \theta )$
de Moivre formülü, Şablon:Mvar sanal birimdir	$\cos (n\theta )+i\sin (n\theta )=(\cos \theta +i\sin \theta {)}^n$

Açının katları formülleri

Çift açı formülleri

Şablon:Ortala

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 (\frac{\pi }{3}-\theta )\sin (\frac{\pi }{3}+\theta )$

$\cos (3\theta )=4{\cos }^3\theta -3\cos \theta =4\cos \theta \cos (\frac{\pi }{3}-\theta )\cos (\frac{\pi }{3}+\theta )$

$\tan (3\theta )=\frac{3\tan \theta -{\tan }^3\theta }{1-3{\tan }^2\theta }=\tan \theta \tan (\frac{\pi }{3}-\theta )\tan (\frac{\pi }{3}+\theta )$

$\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{array}{cc}\sin (n\theta )& =\sum _{k\text{ tek}}(-1{)}^{\frac{k-1}{2}}(\genfrac{}{}{0ex}{}{n}{k}){\cos }^{n-k}\theta {\sin }^k\theta =\sin \theta \sum _{i=0}^{(n+1)/2}\sum _{j=0}^i(-1{)}^{i-j}(\genfrac{}{}{0ex}{}{n}{2i+1})(\genfrac{}{}{0ex}{}{i}{j}){\cos }^{n-2(i-j)-1}\theta \\ & =2^{(n-1)}\prod _{k=0}^{n-1}\sin (k\pi /n+\theta )\end{array}$

$\cos (n\theta )=\sum _{k\text{ çift}}(-1{)}^{\frac{k}{2}}(\genfrac{}{}{0ex}{}{n}{k}){\cos }^{n-k}\theta {\sin }^k\theta =\sum _{i=0}^{n/2}\sum _{j=0}^i(-1{)}^{i-j}(\genfrac{}{}{0ex}{}{n}{2i})(\genfrac{}{}{0ex}{}{i}{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 (2n\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}}(\genfrac{}{}{0ex}{}{n}{k}){\tan }^k\theta }{\sum _{k\text{ çift}}(-1{)}^{\frac{k}{2}}(\genfrac{}{}{0ex}{}{n}{k}){\tan }^k\theta }$

Chebyshev yöntemi

Chebyshev yöntemi, $(n-1)$inci ve $(n-2)$inci değerleri bilerek Şablon:Mvarinci ç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{array}{cc}\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{array}$$

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{array}{cc}\sin \frac{\theta }{2}& =\mathrm{sgn}(\sin \frac{\theta }{2})\sqrt{\frac{1-\cos \theta }{2}}\\ \cos \frac{\theta }{2}& =\mathrm{sgn}(\cos \frac{\theta }{2})\sqrt{\frac{1+\cos \theta }{2}}\\ \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 }\\ & =\mathrm{sgn}(\sin \theta )\sqrt{\frac{1-\cos \theta }{1+\cos \theta }}=\frac{-1+\mathrm{sgn}(\cos \theta )\sqrt{1+{\tan }^2\theta }}{\tan \theta }\\ \cot \frac{\theta }{2}& =\frac{1+\cos \theta }{\sin \theta }=\frac{\sin \theta }{1-\cos \theta }=\csc \theta +\cot \theta =\mathrm{sgn}(\sin \theta )\sqrt{\frac{1+\cos \theta }{1-\cos \theta }}\\ \sec \frac{\theta }{2}& =\mathrm{sgn}(\cos \frac{\theta }{2})\sqrt{\frac{2}{1+\cos \theta }}\\ \csc \frac{\theta }{2}& =\mathrm{sgn}(\sin \frac{\theta }{2})\sqrt{\frac{2}{1-\cos \theta }}\\ \end{array}$$

Ayrıca $$\begin{array}{cc}\tan \frac{\eta \pm \theta }{2}& =\frac{\sin \eta \pm \sin \theta }{\cos \eta +\cos \theta }\\ \tan (\frac{\theta }{2}+\frac{\pi }{4})& =\sec \theta +\tan \theta \\ \sqrt{\frac{1-\sin \theta }{1+\sin \theta }}& =\frac{|1-\tan \frac{\theta }{2}|}{|1+\tan \frac{\theta }{2}|}\end{array}$$

Tablo

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

	Sinüs	Kosinüs	Tanjant	Kotanjant
Çift açı formülü	$\begin{array}{cc}\sin (2\theta )& =2\sin \theta \cos \theta \\ & =\frac{2\tan \theta }{1+{\tan }^2\theta }\end{array}$	$\begin{array}{cc}\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 }\end{array}$	$\tan (2\theta )=\frac{2\tan \theta }{1-{\tan }^2\theta }$	$\cot (2\theta )=\frac{{\cot }^2\theta -1}{2\cot \theta }$
Üç kat açı formülü	$\begin{array}{cc}\sin (3\theta )& =-{\sin }^3\theta +3{\cos }^2\theta \sin \theta \\ & =-4{\sin }^3\theta +3\sin \theta \end{array}$	$\begin{array}{cc}\cos (3\theta )& ={\cos }^3\theta -3{\sin }^2\theta \cos \theta \\ & =4{\cos }^3\theta -3\cos \theta \end{array}$	$\tan (3\theta )=\frac{3\tan \theta -{\tan }^3\theta }{1-3{\tan }^2\theta }$	$\cot (3\theta )=\frac{3\cot \theta -{\cot }^3\theta }{1-3{\cot }^2\theta }$
Yarım açı formülü	$\begin{array}{cc}& \sin \frac{\theta }{2}=\mathrm{sgn}(\sin \frac{\theta }{2})\sqrt{\frac{1-\cos \theta }{2}}\\ \\ & (\text{or }{\sin }^2\frac{\theta }{2}=\frac{1-\cos \theta }{2})\end{array}$	$\begin{array}{cc}& \cos \frac{\theta }{2}=\mathrm{sgn}(\cos \frac{\theta }{2})\sqrt{\frac{1+\cos \theta }{2}}\\ \\ & (\text{or }{\cos }^2\frac{\theta }{2}=\frac{1+\cos \theta }{2})\end{array}$	$\begin{array}{cc}\tan \frac{\theta }{2}& =\csc \theta -\cot \theta \\ & =\pm \sqrt{\frac{1-\cos \theta }{1+\cos \theta }}\\ & =\frac{\sin \theta }{1+\cos \theta }\\ & =\frac{1-\cos \theta }{\sin \theta }\\ \tan \frac{\eta +\theta }{2}& =\frac{\sin \eta +\sin \theta }{\cos \eta +\cos \theta }\\ \tan (\frac{\theta }{2}+\frac{\pi }{4})& =\sec \theta +\tan \theta \\ \sqrt{\frac{1-\sin \theta }{1+\sin \theta }}& =\frac{|1-\tan \frac{\theta }{2}|}{|1+\tan \frac{\theta }{2}|}\\ \tan \frac{\theta }{2}& =\frac{\tan \theta }{1+\sqrt{1+{\tan }^2\theta }}\\ & \text{for }\theta \in (-\frac{\pi }{2},\frac{\pi }{2})\end{array}$	$\begin{array}{cc}\cot \frac{\theta }{2}& =\csc \theta +\cot \theta \\ & =\pm \sqrt{\frac{1+\cos \theta }{1-\cos \theta }}\\ & =\frac{\sin \theta }{1-\cos \theta }\\ & =\frac{1+\cos \theta }{\sin \theta }\end{array}$

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.Şablon:Kaynak belirt

Üçte bir açı için trigonometrik özdeşlikleri hesaplamak amacıyla bir formül mevcuttur, ancak bu Şablon:Math kübik denklemin sıfırlarını yani köklerini bulmayı gerektirir, burada $x$ kosinüs fonksiyonunun üçte birlik açıdaki değeri ve Şablon:Mvar 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.

Sinüs	Kosinüs	Diğer
${\sin }^2\theta =\frac{1-\cos (2\theta )}{2}$	${\cos }^2\theta =\frac{1+\cos (2\theta )}{2}$	${\sin }^2\theta {\cos }^2\theta =\frac{1-\cos (4\theta )}{8}$
${\sin }^3\theta =\frac{3\sin \theta -\sin (3\theta )}{4}$	${\cos }^3\theta =\frac{3\cos \theta +\cos (3\theta )}{4}$	${\sin }^3\theta {\cos }^3\theta =\frac{3\sin (2\theta )-\sin (6\theta )}{32}$
${\sin }^4\theta =\frac{3-4\cos (2\theta )+\cos (4\theta )}{8}$	${\cos }^4\theta =\frac{3+4\cos (2\theta )+\cos (4\theta )}{8}$	${\sin }^4\theta {\cos }^4\theta =\frac{3-4\cos (4\theta )+\cos (8\theta )}{128}$
${\sin }^5\theta =\frac{10\sin \theta -5\sin (3\theta )+\sin (5\theta )}{16}$	${\cos }^5\theta =\frac{10\cos \theta +5\cos (3\theta )+\cos (5\theta )}{16}$	${\sin }^5\theta {\cos }^5\theta =\frac{10\sin (2\theta )-5\sin (6\theta )+\sin (10\theta )}{512}$

Şablon:Double image Şablon:Temiz 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.

n  ...ise	${\cos }^n\theta$	${\sin }^n\theta$
n tekse	${\cos }^n\theta =\frac{2}{2^n}\sum _{k=0}^{\frac{n-1}{2}}(\genfrac{}{}{0ex}{}{n}{k})\cos ((n-2k)\theta )$	${\sin }^n\theta =\frac{2}{2^n}\sum _{k=0}^{\frac{n-1}{2}}(-1{)}^{(\frac{n-1}{2}-k)}(\genfrac{}{}{0ex}{}{n}{k})\sin ((n-2k)\theta )$
n çiftse	${\cos }^n\theta =\frac{1}{2^n}(\genfrac{}{}{0ex}{}{n}{\frac{n}{2}})+\frac{2}{2^n}\sum _{k=0}^{\frac{n}{2}-1}(\genfrac{}{}{0ex}{}{n}{k})\cos ((n-2k)\theta )$	${\sin }^n\theta =\frac{1}{2^n}(\genfrac{}{}{0ex}{}{n}{\frac{n}{2}})+\frac{2}{2^n}\sum _{k=0}^{\frac{n}{2}-1}(-1{)}^{(\frac{n}{2}-k)}(\genfrac{}{}{0ex}{}{n}{k})\cos ((n-2k)\theta )$

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

Şablon:Ortala

Ç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 \phi =\frac{\cos (\theta -\phi )+\cos (\theta +\phi )}{2}$

$\sin \theta \sin \phi =\frac{\cos (\theta -\phi )-\cos (\theta +\phi )}{2}$

$\sin \theta \cos \phi =\frac{\sin (\theta +\phi )+\sin (\theta -\phi )}{2}$

$\cos \theta \sin \phi =\frac{\sin (\theta +\phi )-\sin (\theta -\phi )}{2}$

$\tan \theta \tan \phi =\frac{\cos (\theta -\phi )-\cos (\theta +\phi )}{\cos (\theta -\phi )+\cos (\theta +\phi )}$

$\tan \theta \cot \phi =\frac{\sin (\theta +\phi )+\sin (\theta -\phi )}{\sin (\theta +\phi )-\sin (\theta -\phi )}$

$\begin{array}{cc}\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)\\ & \text{burada }e=(e_1,\dots ,e_n)\in S=\{1,-1{\}}^n\end{array}$

$\prod _{k=1}^n\sin {\theta }_k=\frac{(-1{)}^{\lfloor \frac{n}{2}\rfloor }}{2^n}\{\begin{array}{c}\sum _{e\in S}\cos (e_1{\theta }_1+\cdots +e_n{\theta }_n)\prod _{j=1}^n{e}_{j}n\text{çift ise},\\ \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{array}$

Toplam-çarpım özdeşlikleri

Şablon:Ortala

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

$\sin \theta \pm \sin \phi =2\sin \left(\frac{\theta \pm \phi }{2}\right)\cos \left(\frac{\theta \mp \phi }{2}\right)$

$\cos \theta +\cos \phi =2\cos \left(\frac{\theta +\phi }{2}\right)\cos \left(\frac{\theta -\phi }{2}\right)$

$\cos \theta -\cos \phi =-2\sin \left(\frac{\theta +\phi }{2}\right)\sin \left(\frac{\theta -\phi }{2}\right)$

$\tan \theta \pm \tan \phi =\frac{\sin (\theta \pm \phi )}{\cos \theta \cos \phi }$

Hermite kotanjant özdeşliği

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

$$A_{n,k}=\prod _{\begin{array}{c}1\le j\le n\\ j\ne k\end{array}}\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 Şablon:Math 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ı

Şablon:Mvar, Şablon:Mvar aralarında asal tam sayıları için

$$\prod _{k=1}^n(2a+2\cos (\frac{2\pi km}{n}+x))=2(T_n(a)+{(-1)}^{n+m}\cos (nx))$$

burada Şablon:Mvar Chebyshev polinomudur.Şablon:Kaynak belirt

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 Şablon:Math tam sayı için

$$\sin (nx)=2^{n-1}\prod _{k=0}^{n-1}\sin (\frac{k}{n}\pi +x)=2^{n-1}\prod _{k=1}^n\sin (\frac{k}{n}\pi -x).$$

veya kiriş fonksiyonu $\mathrm{crd}x\equiv 2\sin \frac{1}{2}x$ cinsinden yazılabilir,

$$\mathrm{crd}(nx)=\prod _{k=1}^n\mathrm{crd}(\frac{k}{n}2\pi -x).$$

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

$$z^n-1=\prod _{k=1}^n(z-\exp (\frac{k}{n}2\pi i\left)\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 Şablon:Mvar ve Şablon:Mvar bilinmeyenleri ile doğrusal olarak ilişkili olduğundan, $c$ ve $\phi$ 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+\phi )$$

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

$$\begin{array}{cc}c& =\mathrm{sgn}(a)\sqrt{a^2+b^2},\\ \phi & =\arctan \left(-b/a\right),\end{array}$$

Keyfi faz kayması

Daha genel olarak, keyfi faz kaymaları için

$$a\sin (x+{\theta }_a)+b\sin (x+{\theta }_b)=c\sin (x+\phi )$$

Burada $c$ ve $\phi$ aşağıdaki ifadeleri sağlar: $$\begin{array}{cc}{c}^2& =a^2+b^2+2ab\cos ({\theta }_a-{\theta }_b),\\ \tan \phi & =\frac{a\sin {\theta }_a+b\sin {\theta }_b}{a\cos {\theta }_a+b\cos {\theta }_b}.\end{array}$$

İ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{array}{cc}\sum _{k=0}^n\sin k\theta & =\frac{\cos \frac{1}{2}\theta -\cos \left((n+\frac{1}{2})\theta \right)}{2\sin \frac{1}{2}\theta }\\ \sum _{k=0}^n\cos k\theta & =\frac{\sin \frac{1}{2}\theta +\sin \left((n+\frac{1}{2})\theta \right)}{2\sin \frac{1}{2}\theta }\end{array}$$ $\theta \equiv ̸0(\mathrm{mod}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((n+\frac{1}{2})\theta \right)}{\sin \frac{1}{2}\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 +\dots +2\sin \alpha \cos (2n-1)\alpha$$

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

$$\begin{array}{cc}& 2\sin \alpha \sum _{k=1}^n\cos (2k-1)\alpha \\ & =\sum _{k=1}^n(\sin (2k\alpha )-\sin (2(k-1)\alpha ))\\ & =(\sin 2\alpha -\sin 0)+(\sin 4\alpha -\sin 2\alpha )+(\sin 6\alpha -\sin 4\alpha )+\dots +(\sin (2n\alpha )-\sin (2(n-1)\alpha ))\\ & =\sin (2n\alpha ).\end{array}$$

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(g(x))=g(f(x))=\frac{(\cos (\alpha +\beta ))x-\sin (\alpha +\beta )}{(\sin (\alpha +\beta ))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,

Şablon:Math demek oluyor ki Şablon:Blok girinti

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.

Fonksiyon	Ters fonksiyon
$\sin \theta =\frac{e^{i\theta }-e^{-i\theta }}{2i}$	$\arcsin x=-i\ln (ix+\sqrt{1-x^2})$
$\cos \theta =\frac{e^{i\theta }+e^{-i\theta }}{2}$	$\arccos x=-i\ln (x+\sqrt{x^2-1})$
$\tan \theta =-i\frac{e^{i\theta }-e^{-i\theta }}{e^{i\theta }+e^{-i\theta }}$	$\arctan x=\frac{i}{2}\ln \left(\frac{i+x}{i-x}\right)$
$\csc \theta =\frac{2i}{e^{i\theta }-e^{-i\theta }}$	$\mathrm{arccsc}x=-i\ln (\frac{i}{x}+\sqrt{1-\frac{1}{x^2}})$
$\sec \theta =\frac{2}{e^{i\theta }+e^{-i\theta }}$	$\mathrm{arcsec}x=-i\ln (\frac{1}{x}+i\sqrt{1-\frac{1}{x^2}})$
$\cot \theta =i\frac{e^{i\theta }+e^{-i\theta }}{e^{i\theta }-e^{-i\theta }}$	$\mathrm{arccot}x=\frac{i}{2}\ln \left(\frac{x-i}{x+i}\right)$
$\mathrm{cis}\theta =e^{i\theta }$	$\mathrm{arccis}x=-i\ln x$

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}^{\mathrm{\infty }}\frac{(-1{)}^n{x}^{2n+1}}{(2n+1)!},$$$$\cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{x}^{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{array}{cccc}\sin x& =x\prod _{n=1}^{\mathrm{\infty }}(1-\frac{x^2}{{\pi }^2{n}^2}),& \cos x& =\prod _{n=1}^{\mathrm{\infty }}(1-\frac{x^2}{{\pi }^2(n-\frac{1}{2}){\phantom{)}}^2}),\\ \sinh x& =x\prod _{n=1}^{\mathrm{\infty }}(1+\frac{x^2}{{\pi }^2{n}^2}),& \cosh x& =\prod _{n=1}^{\mathrm{\infty }}(1+\frac{x^2}{{\pi }^2(n-\frac{1}{2}){\phantom{)}}^2}).\end{array}$$

Ters trigonometrik fonksiyonlar

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

$$\begin{array}{cccccc}\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 (\mathrm{arccsc}x)& =\frac{1}{x}& \cos (\mathrm{arccsc}x)& =\frac{\sqrt{x^2-1}}{x}& \tan (\mathrm{arccsc}x)& =\frac{1}{\sqrt{x^2-1}}\\ \sin (\mathrm{arcsec}x)& =\frac{\sqrt{x^2-1}}{x}& \cos (\mathrm{arcsec}x)& =\frac{1}{x}& \tan (\mathrm{arcsec}x)& =\sqrt{x^2-1}\\ \sin (\mathrm{arccot}x)& =\frac{1}{\sqrt{1+x^2}}& \cos (\mathrm{arccot}x)& =\frac{x}{\sqrt{1+x^2}}& \tan (\mathrm{arccot}x)& =\frac{1}{x}\\ \end{array}$$

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}}\text{ ve }\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{array}{cccccccccccc}\frac{\pi }{2}& =\arcsin (x)& & +\arccos (x)& & =\arctan (r)& & +\mathrm{arccot}(r)& & =\mathrm{arcsec}(s)& & +\mathrm{arccsc}(s)\\ \pi & =\arccos (x)& & +\arccos (-x)& & =\mathrm{arccot}(r)& & +\mathrm{arccot}(-r)& & =\mathrm{arcsec}(s)& & +\mathrm{arcsec}(-s)\\ 0& =\arcsin (x)& & +\arcsin (-x)& & =\arctan (r)& & +\arctan (-r)& & =\mathrm{arccsc}(s)& & +\mathrm{arccsc}(-s)\\ \end{array}$$

Aynı zamanda, $$\begin{array}{cc}\arctan x+\arctan \frac{1}{x}& =\{\begin{array}{cc}\frac{\pi }{2},& x>0\text{ise}\\ -\frac{\pi }{2},& x<0\text{ise}\end{array}\\ \mathrm{arccot}x+\mathrm{arccot}\frac{1}{x}& =\{\begin{array}{cc}\frac{\pi }{2},& x>0\text{ise}\\ \frac{3\pi }{2},& x<0\text{ise}\end{array}\\ \end{array}$$ $$\arccos \frac{1}{x}=\mathrm{arcsec}x\text{ ve }\mathrm{arcsec}\frac{1}{x}=\arccos x$$ $$\arcsin \frac{1}{x}=\mathrm{arccsc}x\text{ ve }\mathrm{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)m{x}^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 (60^{\circ }-x)\cdot \sin (60^{\circ }+x)=\frac{\sin 3x}{4}.$$

$x=15^{\circ }$ durumu için, $$\begin{array}{cc}\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{array}$$

$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 (60^{\circ }-x)\cdot \cos (60^{\circ }+x)=\frac{\cos 3x}{4}.$$

Benzer şekilde, $$\begin{array}{cc}\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{array}$$

Benzer şekilde, $$\begin{array}{cc}\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{array}$$

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 (2\cdot \frac{2\pi }{21})+\cos (4\cdot \frac{2\pi }{21})+\cos (5\cdot \frac{2\pi }{21})+\cos (8\cdot \frac{2\pi }{21})+\cos (10\cdot \frac{2\pi }{21})=\frac{1}{2}.$$

1, 2, 4, 5, 8, 10 çarpanları, modeli netleştirmeye başlayabilir: bunlar Şablon:Sfrac'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{array}{cc}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{array}$$ 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 Şablon:Mvar bir tek sayı ise ($n=2m+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{(2k-1)\pi }{4n}=\prod _{k=1}^n\cos \frac{(2k-1)\pi }{4n}=\frac{\sqrt{2}}{2^n}$$

Şablon:Pi'nin hesaplanması

[[pi sayısı|Şablon:Pi]]'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, Şablon:Math olan Şablon:Math sayıları için Şablon:Math olsun. Bu son ifade, tanjantları Şablon:Math olan bir açılar toplamının kotanjantı için formül kullanılarak doğrudan hesaplanabilir ve değeri Şablon:Math içinde olacaktır. Özellikle, tüm Şablon:Math değerleri rasyonel olduğunda hesaplanan Şablon:Math de rasyonel olacaktır. Bu değerlerle, $$\begin{array}{cc}\frac{\pi }{2}& =\sum _{k=1}^n\arctan (t_k)\\ \pi & =\sum _{k=1}^n\mathrm{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{array}$$

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

Örneğin, Şablon:Math 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)$$ $\mathrm{\forall }a,b,c,d>0.$

Öklid'in bir özdeşliği

Öklid, 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Şablon:'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}^{\mathrm{\infty }}{J}_{2k}(t)\cos (2kx)$

$\sin (t\sin x)=2\sum _{k=0}^{\mathrm{\infty }}{J}_{2k+1}(t)\sin ((2k+1)x)$

$\cos (t\cos x)=J_0(t)+2\sum _{k=1}^{\mathrm{\infty }}(-1{)}^k{J}_{2k}(t)\cos (2kx)$

$\sin (t\cos x)=2\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k{J}_{2k+1}(t)\cos ((2k+1)x)$

burada Şablon:Mvar 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{array}{cc}\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{array}$$

Tarihsel stenolar

Şablon:Ana 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 Şablon:Math, 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((n+\frac{1}{2})x\right)}{\sin \left(\frac{1}{2}x\right)}.$$

$2\pi$ periyodundaki herhangi bir integrallenebilir fonksiyonun Dirichlet çekirdeği ile konvolüsyonu, fonksiyonun $n$inci 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

Şablon:Ana Eğer $t=\tan \frac{x}{2},$ olarak alırsak $$\sin x=\frac{2t}{1+t^2};\cos x=\frac{1-t^2}{1+t^2};e^{ix}=\frac{1+it}{1-it};dx=\frac{2dt}{1+t^2},$$ burada $e^{ix}=\cos x+i\sin x,$ bazen Şablon:Math olarak kısaltılır.

Kalkülüste $t$ yerine Şablon:Math kullanıldığında, $\sin x$ yerine Şablon:Math, $\cos x$ yerine Şablon:Math ve Şablon:Math diferansiyeli yerine Şablon:Math 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ı

Şablon:Ayrıca bakınız $$\cos \frac{\theta }{2}\cdot \cos \frac{\theta }{4}\cdot \cos \frac{\theta }{8}\cdots =\prod _{n=1}^{\mathrm{\infty }}\cos \frac{\theta }{2^n}=\frac{\sin \theta }{\theta }=\mathrm{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

Bibliyografya

• Şablon:Kitap kaynağı
• Şablon:Kaynak
• Şablon:Kaynak

Dış bağlantılar

• Şablon:Url, and for the same angles Şablon:Url and Şablon:Url
• Şablon:Web kaynağı