[[Berkas:AngleAdditionDiagramSine.svg|jmpl|Diagram jumlah sudut fungsi [[Sinus (trigonometri)|sinus]] dan [[kosinus]].]]
==== Kosinus ====
==== Kosinus ====
==== Tangen ====
==== Tangen ====
[[Berkas:AngleAdditionDiagramTangent.svg|kiri|jmpl|Diagram jumlah sudut dalam fungsi [[tangen]].]]
==== Kotangen<ref>{{Cite web|title=Proof of cot(A+B) {{!}} cot(x+y) formula in Geometric Method|url=https://www.mathdoubts.com/cot-angle-sum-identity-proof/|website=www.mathdoubts.com|language=en|access-date=2021-12-11}}</ref> ====
==== Kotangen<ref>{{Cite web|title=Proof of cot(A+B) {{!}} cot(x+y) formula in Geometric Method|url=https://www.mathdoubts.com/cot-angle-sum-identity-proof/|website=www.mathdoubts.com|language=en|access-date=2021-12-11}}</ref> ====
Identitas trigonometri merupakan suatu identitas yang mencakup berbagai rumus-rumus trigonometri untuk mengkomputasi bentuk-bentuk yang elusif menjadi lebih mudah. Untuk memverifikasi suatu identitas trigonometri, dibutuhkanlah suatu bukti-bukti identitas trigonometri. Berikut adalah kumpulan bukti-bukti identitas trigonometri.
Fungsi trigonometri elementer
Definisi fungsi trigonometri
Untuk memulai pemahaman identitas, perlu terlebih dahulu memahami definisi dari keenam fungsi trigonometri. Perhatikan bahwa trigonometri mengaitkan sudut-sudut dan sisi-sisisegitiga siku-siku. Suatu fungsi tersebut didefinisikan sebagai berikut.
Secara geometri, sinus pada sudut sama dengan rasio sisi depan dengan hipotenusa, sementara kosinus pada sudut sama dengan rasio sisi samping dengan hipotenusa. Misal , , dan adalah sisi depan, sisi miring, dan hipotenusa.
Secara geometri, tangen pada sama dengan rasio sisi depan dengan sisi samping. Ini dirumuskan secara matematis, yaitu:
(1.3)
Fungsi tangen juga merupakan rasio fungsi trigonometri sinus dan kosinus. Untuk membuktikannya, cukup menggunakan rumus di atas dan mengeksploitasinya dengan memakai sifat-sifat pembatalan aljabar.
Bukti dapat dipakai menggunakan segitiga siku-siku. Pada persamaan (1.8), dengan menggunakan definisi fungsi trigonometri di atas. Hal yang serupa pada persamaan (1.9) dan (1.10).
Pada pembuktian (1.9), , yang diperoleh melalui teorema Pythagoras. Pembuktian (1.10) dan (1.11) dapat dilakukan dengan hal yang serupa. Terdapat versi lain untuk membuktikan (1.10) dan (1.11). Dengan menggunakan (1.3) dan (1.7), yakni rasio fungsi trigonometri tersebut, maka ekspresi yang diperoleh adalah
Versi lainnya adalah menggunakan teorema Pythagoras, masing-masing , , dan membagi persamaan tersebut.
Bukti-bukti mengenai identitas Pythagoras masih jauh lebih banyak. Buktinya dapat dikerjakan melalui satuan lingkaran, deret pangkat, persamaan diferensial, dan rumus Euler. Lihat Identitas Pythagoras#Bukti untuk melihat lebih lanjut.
Jumlah dan selisih sudut
Jumlah dan selisih suatu sudut dirumuskan sebagai[1]
Ini dapat menggunakan sifat dan , serta menggunakan (2.2).
Hal yang serupa untuk membuktikan .
Kosinus
Lagi-lagi, gunakan sifat identitas komplementer, yakni dan juga memerlukan (2.1).
Hal yang seruap untuk membuktikan .
Tangen
Ini tidak dapat menggunakan identitas sudut komplementer, melainkan menggunakan (1.4) beserta (2.1) dan (2.2), lalu membagi pembilang dan penyebut pada pecahan tersebut dengan .
Hal yang serupa untuk membuktikan .
Kotangen
Ini dilakukan dengan cara yang serupa, cukup membagi pembilang dan penyebut pada pecahan tersebut dengan .
Misal adalah segitiga siku-siku. Titik dan masing-masing berada di garis (sebagai hipotenusa) dan .(sebagai sisi segitiga) sehingga dan tegak lurus. Begitu pula dengan titik adalah titik di pertengahan garis sehingga dan juga tegak lurus. Misalkan pula adalah titik di pertengahan garis (tetapi tidak terletak di sehingga bukanlah titik perpotongan kedua garis tersebut). Maka, adalah segitiga siku-siku.
Sekarang, misalkan dan , maka sehingga
.
Disini, terdapat , , dan sehingga
.
Karena
,
maka
.
Targetnya adalah mencari pada segitiga . Untuk memulainya, perlu berfokus pada sudut, bahwa . Karena garis dan tegak lurus, maka sudut siku-siku. Juga, adalah segitiga siku-siku sehingga adalah sudut siku-siku, yakni derajat atau radian.
Sebagai catatan, bahwa . Dengan demikian, persamaan di atas dapat dimodifikasikan sebagai
Hanya perlu mencari pada segitiga siku-siku dan untuk melengkapi potongan-potongan bukti ini. Arkian, cari rumus untuk dan , kemudian substitusi ke persamaan jumlah sudut kotangen.