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
Segitiga siku-siku
A
B
C
{\displaystyle ABC}
, dengan
∠
A
=
θ
{\displaystyle \angle A=\theta }
,
A
B
=
h
{\displaystyle AB=h}
adalah hipotenusa ,
B
C
=
a
{\displaystyle BC=a}
adalah sisi depan dan
A
C
=
b
{\displaystyle AC=b}
adalah sisi samping
Untuk memulai pemahaman identitas, perlu terlebih dahulu memahami definisi dari keenam fungsi trigonometri . Perhatikan bahwa trigonometri mengaitkan sudut-sudut dan sisi-sisi segitiga siku-siku . Suatu fungsi tersebut didefinisikan sebagai berikut.
Secara geometri, sinus pada sudut
θ
{\displaystyle \theta }
sama dengan rasio sisi depan dengan hipotenusa , sementara kosinus pada sudut
θ
{\displaystyle \theta }
sama dengan rasio sisi samping dengan hipotenusa. Misal
a
{\displaystyle a}
,
b
{\displaystyle b}
, dan
h
{\displaystyle h}
adalah sisi depan, sisi miring, dan hipotenusa.
sin
θ
=
a
h
{\displaystyle \sin \theta ={\frac {a}{h}}}
(1.1 )
cos
θ
=
b
h
{\displaystyle \cos \theta ={\frac {b}{h}}}
(1.2 )
Secara geometri, tangen pada
θ
{\displaystyle \theta }
sama dengan rasio sisi depan dengan sisi samping. Ini dirumuskan secara matematis, yaitu:
tan
θ
=
a
b
{\displaystyle \tan \theta ={\frac {a}{b}}}
(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.
tan
θ
=
a
b
=
a
h
b
h
=
sin
θ
cos
θ
{\displaystyle \tan \theta ={\frac {a}{b}}={\frac {\frac {a}{h}}{\frac {b}{h}}}={\frac {\sin \theta }{\cos \theta }}}
(1.4 )
Fungsi kosekan , sekan , dan kotangen merupakan invers perkalian dari sinus , kosinus , dan tangen . Ketiganya dirumuskan sebagai
csc
θ
=
1
sin
θ
=
1
a
h
=
h
a
{\displaystyle \csc \theta ={\frac {1}{\sin \theta }}={\frac {1}{\frac {a}{h}}}={\frac {h}{a}}}
(1.5 )
sec
θ
=
1
cos
θ
=
1
b
h
=
h
b
{\displaystyle \sec \theta ={\frac {1}{\cos \theta }}={\frac {1}{\frac {b}{h}}}={\frac {h}{b}}}
(1.6 )
cot
θ
=
1
tan
θ
=
1
sin
θ
cos
θ
=
cos
θ
sin
θ
{\displaystyle \cot \theta ={\frac {1}{\tan \theta }}={\frac {1}{\frac {\sin \theta }{\cos \theta }}}={\frac {\cos \theta }{\sin \theta }}}
(1.7 )
Identitas Pythagoras
Identitas Pythagoras merupakan turunan dari teorema Pythagoras , yang melibatkan fungsi trigonometri . Dasar-dasar identitas Pythagoras ada tiga, yaitu:
sin
2
θ
+
cos
2
θ
=
1
{\displaystyle \sin ^{2}\theta +\cos ^{2}\theta =1}
(1.8 )
tan
2
θ
+
1
=
sec
2
θ
{\displaystyle \tan ^{2}\theta +1=\sec ^{2}\theta }
(1.9 )
cot
2
θ
+
1
=
csc
2
θ
{\displaystyle \cot ^{2}\theta +1=\csc ^{2}\theta }
(1.10 )
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).
sin
2
θ
+
cos
2
θ
=
(
b
h
)
2
+
(
a
h
)
2
=
a
2
+
b
2
h
2
=
h
2
h
2
=
1
|
tan
2
θ
+
1
=
(
a
b
)
2
+
1
=
a
2
+
b
2
b
2
=
h
2
b
2
=
(
h
b
)
2
=
sec
2
θ
|
cot
2
θ
+
1
=
(
b
a
)
2
+
1
=
b
2
+
a
2
a
2
=
h
2
a
2
=
(
h
a
)
2
=
csc
2
θ
◼
{\displaystyle \left.{\begin{matrix}{\begin{aligned}\sin ^{2}\theta +\cos ^{2}\theta &=\left({\frac {b}{h}}\right)^{2}+\left({\frac {a}{h}}\right)^{2}\\&={\frac {a^{2}+b^{2}}{h^{2}}}\\&={\frac {h^{2}}{h^{2}}}\\&=1\end{aligned}}\\\end{matrix}}\right|\left.{\begin{matrix}{\begin{aligned}\tan ^{2}\theta +1&=\left({\frac {a}{b}}\right)^{2}+1\\&={\frac {a^{2}+b^{2}}{b^{2}}}\\&={\frac {h^{2}}{b^{2}}}=\left({\frac {h}{b}}\right)^{2}\\&=\sec ^{2}\theta \end{aligned}}\end{matrix}}\right|{\begin{aligned}\cot ^{2}\theta +1&=\left({\frac {b}{a}}\right)^{2}+1\\&={\frac {b^{2}+a^{2}}{a^{2}}}\\&={\frac {h^{2}}{a^{2}}}=\left({\frac {h}{a}}\right)^{2}\\&=\csc ^{2}\theta \qquad \blacksquare \end{aligned}}}
Pada pembuktian (1.9),
a
2
+
b
2
=
h
2
{\displaystyle a^{2}+b^{2}=h^{2}}
, 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
tan
2
θ
+
1
=
sin
2
θ
cos
2
θ
+
cos
2
θ
cos
2
θ
=
1
cos
2
θ
=
sec
2
θ
|
cot
2
θ
+
1
=
cos
2
θ
sin
2
θ
+
sin
2
θ
sin
2
θ
=
1
sin
2
A
θ
=
csc
2
θ
◼
{\displaystyle \left.{\begin{matrix}{\begin{aligned}\tan ^{2}\theta +1&={\frac {\sin ^{2}\theta }{\cos ^{2}\theta }}+{\frac {\cos ^{2}\theta }{\cos ^{2}\theta }}\\&={\frac {1}{\cos ^{2}\theta }}\\&=\sec ^{2}\theta \end{aligned}}\end{matrix}}\right|{\begin{aligned}\cot ^{2}\theta +1&={\frac {\cos ^{2}\theta }{\sin ^{2}\theta }}+{\frac {\sin ^{2}\theta }{\sin ^{2}\theta }}\\&={\frac {1}{\sin ^{2}A\theta }}\\&=\csc ^{2}\theta \qquad \blacksquare \end{aligned}}}
Versi lainnya adalah menggunakan teorema Pythagoras, masing-masing
h
2
{\displaystyle h^{2}}
,
b
2
{\displaystyle b^{2}}
, dan
a
2
{\displaystyle a^{2}}
membagi persamaan tersebut.
a
2
+
b
2
=
h
2
(
a
h
)
2
+
(
b
h
)
2
=
(
h
h
)
2
sin
2
θ
+
cos
2
θ
=
1
|
a
2
+
b
2
=
h
2
(
a
b
)
2
+
(
b
b
)
2
=
(
h
b
)
2
tan
2
θ
+
1
=
sec
2
θ
|
a
2
+
b
2
=
h
2
(
a
a
)
2
+
(
b
a
)
2
=
(
h
a
)
2
1
+
cot
2
θ
=
csc
2
θ
◼
{\displaystyle \left.{\begin{matrix}{\begin{aligned}a^{2}+b^{2}&=h^{2}\\\left({\frac {a}{h}}\right)^{2}+\left({\frac {b}{h}}\right)^{2}&=\left({\frac {h}{h}}\right)^{2}\\\sin ^{2}\theta +\cos ^{2}\theta &=1\end{aligned}}\\\end{matrix}}\right|\left.{\begin{matrix}{\begin{aligned}a^{2}+b^{2}&=h^{2}\\\left({\frac {a}{b}}\right)^{2}+\left({\frac {b}{b}}\right)^{2}&=\left({\frac {h}{b}}\right)^{2}\\\tan ^{2}\theta +1&=\sec ^{2}\theta \end{aligned}}\end{matrix}}\right|{\begin{aligned}a^{2}+b^{2}&=h^{2}\\\left({\frac {a}{a}}\right)^{2}+\left({\frac {b}{a}}\right)^{2}&=\left({\frac {h}{a}}\right)^{2}\\1+\cot ^{2}\theta &=\csc ^{2}\theta \qquad \blacksquare \end{aligned}}}
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]
sin
(
α
±
β
)
=
sin
α
cos
β
±
cos
α
sin
β
{\displaystyle \sin(\alpha \pm \beta )=\sin \alpha \cos \beta \pm \cos \alpha \sin \beta }
(2.1 )
cos
(
α
±
β
)
=
cos
α
cos
β
∓
sin
α
sin
β
{\displaystyle \cos(\alpha \pm \beta )=\cos \alpha \cos \beta \mp \sin \alpha \sin \beta }
(2.2 )
tan
(
α
±
β
)
=
tan
α
±
tan
β
1
∓
tan
α
tan
β
{\displaystyle \tan(\alpha \pm \beta )={\frac {\tan \alpha \pm \tan \beta }{1\mp \tan \alpha \tan \beta }}}
(2.3 )
:
cot
(
α
±
β
)
=
cot
α
cot
β
±
1
cot
β
±
cot
α
{\displaystyle \cot(\alpha \pm \beta )={\frac {\cot \alpha \cot \beta \pm 1}{\cot \beta \pm \cot \alpha }}}
(2.4 )
Bukti melalui aljabar
Pada rumus-rumus di atas, dapat dibuktikannya secara aljabar dengan cara mengeksploitasikan suatu identitas-identitas sudut komplementer tersebut.
Sinus
Ini dapat menggunakan sifat
sin
θ
=
cos
(
π
2
−
θ
)
{\displaystyle \sin \theta =\cos \left({\frac {\pi }{2}}-\theta \right)}
dan
cos
θ
=
sin
(
π
2
−
θ
)
{\displaystyle \cos \theta =\sin \left({\frac {\pi }{2}}-\theta \right)}
, serta menggunakan (2.2).
sin
(
α
+
β
)
=
cos
(
π
2
−
(
α
+
β
)
)
=
cos
(
(
π
2
−
α
)
−
β
)
=
cos
(
π
2
−
α
)
cos
β
+
sin
(
π
2
−
α
)
sin
β
=
sin
α
cos
β
+
sin
β
cos
α
{\displaystyle {\begin{aligned}\sin(\alpha +\beta )&=\cos \left({\frac {\pi }{2}}-(\alpha +\beta )\right)\\&=\cos \left(\left({\frac {\pi }{2}}-\alpha \right)-\beta \right)\\&=\cos \left({\frac {\pi }{2}}-\alpha \right)\cos \beta +\sin \left({\frac {\pi }{2}}-\alpha \right)\sin \beta \\&=\sin \alpha \cos \beta +\sin \beta \cos \alpha \end{aligned}}}
Hal yang serupa untuk membuktikan
sin
(
α
−
β
)
=
sin
α
cos
β
−
sin
β
cos
α
{\displaystyle \sin(\alpha -\beta )=\sin \alpha \cos \beta -\sin \beta \cos \alpha }
.
Kosinus
Lagi-lagi, gunakan sifat identitas komplementer, yakni
cos
θ
=
sin
(
π
2
−
θ
)
{\displaystyle \cos \theta =\sin \left({\frac {\pi }{2}}-\theta \right)}
dan juga memerlukan (2.1).
cos
(
α
+
β
)
=
sin
(
(
π
2
−
α
)
−
β
)
=
sin
(
π
2
−
α
)
cos
β
−
sin
α
cos
(
π
2
−
α
)
=
cos
α
cos
β
−
sin
α
sin
β
{\displaystyle {\begin{aligned}\cos(\alpha +\beta )&=\sin \left(\left({\frac {\pi }{2}}-\alpha \right)-\beta \right)\\&=\sin \left({\frac {\pi }{2}}-\alpha \right)\cos \beta -\sin \alpha \cos \left({\frac {\pi }{2}}-\alpha \right)\\&=\cos \alpha \cos \beta -\sin \alpha \sin \beta \end{aligned}}}
Hal yang seruap untuk membuktikan
cos
α
cos
β
+
sin
α
sin
β
{\displaystyle \cos \alpha \cos \beta +\sin \alpha \sin \beta }
.
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
cos
α
cos
β
{\displaystyle \cos \alpha \cos \beta }
.
tan
(
α
+
β
)
=
sin
(
α
+
β
)
cos
(
α
+
β
)
=
sin
α
cos
β
+
sin
β
cos
α
cos
α
cos
β
−
sin
α
sin
β
=
sin
α
cos
β
+
sin
β
cos
α
cos
α
cos
β
−
sin
α
sin
β
⋅
1
cos
α
cos
β
1
cos
α
cos
β
bagi penyebut dan pembilang dengan
cos
α
cos
β
=
tan
α
+
tan
β
1
−
tan
α
tan
β
{\displaystyle {\begin{aligned}\tan(\alpha +\beta )&={\frac {\sin(\alpha +\beta )}{\cos(\alpha +\beta )}}\\&={\frac {\sin \alpha \cos \beta +\sin \beta \cos \alpha }{\cos \alpha \cos \beta -\sin \alpha \sin \beta }}\\&={\frac {\sin \alpha \cos \beta +\sin \beta \cos \alpha }{\cos \alpha \cos \beta -\sin \alpha \sin \beta }}\cdot {\frac {\frac {1}{\cos \alpha \cos \beta }}{\frac {1}{\cos \alpha \cos \beta }}}\qquad {\text{ bagi penyebut dan pembilang dengan }}\cos \alpha \cos \beta \\&={\frac {\tan \alpha +\tan \beta }{1-\tan \alpha \tan \beta }}\end{aligned}}}
Hal yang serupa untuk membuktikan
tan
(
α
−
β
)
=
tan
α
−
tan
β
1
+
tan
α
tan
β
{\displaystyle \tan(\alpha -\beta )={\frac {\tan \alpha -\tan \beta }{1+\tan \alpha \tan \beta }}}
.
Kotangen
Ini dilakukan dengan cara yang serupa, cukup membagi pembilang dan penyebut pada pecahan tersebut dengan
sin
α
sin
β
{\displaystyle \sin \alpha \sin \beta }
.
cot
(
α
+
β
)
=
cos
(
α
+
β
)
sin
(
α
+
β
)
=
cos
α
cos
β
−
sin
α
sin
β
sin
α
cos
β
+
sin
β
cos
α
=
cos
α
cos
β
−
sin
α
sin
β
sin
α
cos
β
+
sin
β
cos
α
⋅
1
sin
α
sin
β
1
sin
α
sin
β
bagi penyebut dan pembilang dengan
sin
α
sin
β
=
cot
α
cot
β
−
1
cot
β
+
cot
α
{\displaystyle {\begin{aligned}\cot(\alpha +\beta )&={\frac {\cos(\alpha +\beta )}{\sin(\alpha +\beta )}}\\&={\frac {\cos \alpha \cos \beta -\sin \alpha \sin \beta }{\sin \alpha \cos \beta +\sin \beta \cos \alpha }}\\&={\frac {\cos \alpha \cos \beta -\sin \alpha \sin \beta }{\sin \alpha \cos \beta +\sin \beta \cos \alpha }}\cdot {\frac {\frac {1}{\sin \alpha \sin \beta }}{\frac {1}{\sin \alpha \sin \beta }}}\qquad {\text{ bagi penyebut dan pembilang dengan }}\sin \alpha \sin \beta \\&={\frac {\cot \alpha \cot \beta -1}{\cot \beta +\cot \alpha }}\end{aligned}}}
Hal yang serupa untuk membuktikan
cot
(
α
−
β
)
=
cot
α
cot
β
+
1
cot
β
−
cot
α
{\displaystyle \cot(\alpha -\beta )={\frac {\cot \alpha \cot \beta +1}{\cot \beta -\cot \alpha }}}
.
Bukti melalui geometri
Sinus
Ilustrasi rumus jumlah sudut melalui geometri.
Kosinus
Tangen
Misal
A
B
C
{\displaystyle ABC}
adalah segitiga siku-siku. Titik
I
{\displaystyle I}
dan
J
{\displaystyle J}
masing-masing berada di garis
A
B
{\displaystyle AB}
(sebagai hipotenusa) dan
B
C
{\displaystyle BC}
.(sebagai sisi segitiga) sehingga
A
J
{\displaystyle AJ}
dan
I
J
{\displaystyle IJ}
tegak lurus. Begitu pula dengan titik
K
{\displaystyle K}
adalah titik di pertengahan garis
A
C
{\displaystyle AC}
sehingga
J
K
{\displaystyle JK}
dan
A
C
{\displaystyle AC}
juga tegak lurus. Misalkan pula
L
{\displaystyle L}
adalah titik di pertengahan garis
J
K
{\displaystyle JK}
(tetapi tidak terletak di
A
J
{\displaystyle AJ}
sehingga
L
{\displaystyle L}
bukanlah titik perpotongan kedua garis tersebut). Maka,
I
J
L
{\displaystyle IJL}
adalah segitiga siku-siku.
Sekarang, misalkan
∠
A
K
L
=
α
{\displaystyle \angle AKL=\alpha }
dan
∠
A
J
I
=
β
{\displaystyle \angle AJI=\beta }
, maka
∠
B
A
C
=
α
+
β
{\displaystyle \angle BAC=\alpha +\beta }
sehingga
cot
(
α
+
β
)
=
A
K
J
K
{\displaystyle \cot(\alpha +\beta )={\frac {AK}{JK}}}
.
Disini, terdapat
A
K
=
A
C
−
K
C
{\displaystyle AK=AC-KC}
,
J
K
=
J
L
+
L
K
{\displaystyle JK=JL+LK}
, dan
J
C
=
L
K
{\displaystyle JC=LK}
sehingga
cot
(
α
+
β
)
=
A
C
−
K
C
J
L
+
L
K
=
A
C
−
K
C
J
L
+
J
C
{\displaystyle \cot(\alpha +\beta )={\frac {AC-KC}{JL+LK}}={\frac {AC-KC}{JL+JC}}}
.
Karena
cot
α
=
A
C
J
C
⟺
A
C
=
J
C
cot
α
{\displaystyle \cot \alpha ={\frac {AC}{JC}}\iff AC=JC\cot \alpha }
,
maka
cot
(
α
+
β
)
=
J
C
cot
α
−
K
C
J
L
+
J
C
{\displaystyle \cot(\alpha +\beta )={\frac {JC\cot \alpha -KC}{JL+JC}}}
.
Targetnya adalah mencari
cot
α
{\displaystyle \cot \alpha }
pada segitiga
I
J
L
{\displaystyle IJL}
. Untuk memulainya, perlu berfokus pada sudut, bahwa
∠
J
A
C
=
∠
A
J
L
=
α
{\displaystyle \angle JAC=\angle AJL=\alpha }
. Karena garis
A
J
{\displaystyle AJ}
dan
I
J
{\displaystyle IJ}
tegak lurus, maka
∠
A
J
I
{\displaystyle \angle AJI}
sudut siku-siku. Juga,
I
J
L
{\displaystyle IJL}
adalah segitiga siku-siku sehingga
∠
I
L
J
{\displaystyle \angle ILJ}
adalah sudut siku-siku, yakni
90
∘
{\displaystyle 90^{\circ }}
derajat atau
π
2
{\displaystyle {\tfrac {\pi }{2}}}
radian.
∠
A
J
I
=
∠
A
J
L
+
∠
L
I
J
π
2
=
α
+
∠
L
I
J
∠
L
I
J
=
π
2
−
α
|
∠
I
L
J
+
∠
I
J
L
+
∠
L
I
J
=
π
π
2
+
π
2
−
α
+
∠
L
I
J
=
π
π
−
α
+
∠
L
I
J
=
π
∠
L
I
J
=
α
|
cot
α
=
I
L
J
L
I
L
=
J
L
cot
α
{\displaystyle {\begin{aligned}\angle AJI&=\angle AJL+\angle LIJ\\{\frac {\pi }{2}}&=\alpha +\angle LIJ\\\angle LIJ&={\frac {\pi }{2}}-\alpha \end{aligned}}\left|{\begin{aligned}\angle ILJ+\angle IJL+\angle LIJ&=\pi \\{\frac {\pi }{2}}+{\frac {\pi }{2}}-\alpha +\angle LIJ&=\pi \\\pi -\alpha +\angle LIJ&=\pi \\\angle LIJ&=\alpha \end{aligned}}\right|{\begin{aligned}\cot \alpha &={\frac {IL}{JL}}\\IL&=JL\cot \alpha \end{aligned}}}
Sebagai catatan, bahwa
K
C
=
J
L
{\displaystyle KC=JL}
. Dengan demikian, persamaan di atas dapat dimodifikasikan sebagai
cot
(
α
+
β
)
=
J
C
cot
α
−
K
C
J
L
cot
α
+
J
C
=
J
L
(
J
C
J
L
cot
α
−
K
C
J
L
)
J
L
(
cot
α
+
J
C
J
L
)
=
J
C
J
L
cot
α
−
1
cot
α
+
J
C
J
L
{\displaystyle \cot(\alpha +\beta )={\frac {JC\cot \alpha -KC}{JL\cot \alpha +JC}}={\frac {JL\left({\frac {JC}{JL}}\cot \alpha -{\frac {KC}{JL}}\right)}{JL\left(\cot \alpha +{\frac {JC}{JL}}\right)}}={\frac {{\frac {JC}{JL}}\cot \alpha -1}{\cot \alpha +{\frac {JC}{JL}}}}}
Hanya perlu mencari
sin
α
{\displaystyle \sin \alpha }
pada segitiga siku-siku
A
B
C
{\displaystyle ABC}
dan
I
J
L
{\displaystyle IJL}
untuk melengkapi potongan-potongan bukti ini. Arkian, cari rumus untuk
J
C
J
L
{\textstyle {\frac {JC}{JL}}}
dan
cot
β
{\displaystyle \cot \beta }
, kemudian substitusi ke persamaan jumlah sudut kotangen.
sin
α
=
J
C
A
J
=
J
L
I
J
J
C
A
J
=
J
L
I
J
J
C
J
L
=
A
J
I
J
|
cot
(
α
+
β
)
=
A
J
I
J
cot
α
−
1
cot
α
+
A
J
I
J
cot
β
=
A
I
I
J
cot
(
α
+
β
)
=
cot
α
cot
β
−
1
cot
α
+
cot
β
◼
{\displaystyle \left.{\begin{aligned}\sin \alpha &={\frac {JC}{AJ}}\\&={\frac {JL}{IJ}}\\{\frac {JC}{AJ}}&={\frac {JL}{IJ}}\\{\frac {JC}{JL}}&={\frac {AJ}{IJ}}\\\end{aligned}}\qquad \right|\left.\qquad {\begin{aligned}\cot(\alpha +\beta )&={\frac {{\frac {AJ}{IJ}}\cot \alpha -1}{\cot \alpha +{\frac {AJ}{IJ}}}}\\\cot \beta &={\frac {AI}{IJ}}\\\cot(\alpha +\beta )&={\frac {\cot \alpha \cot \beta -1}{\cot \alpha +\cot \beta }}\qquad \blacksquare \end{aligned}}\right.}
Rujukan