-----------
Пусть

и

.
Теперь нам нужно доказать, что
Имеем

, где
![\alpha \in[- \frac{\pi}{2}; \frac{\pi}{2} ] \alpha \in[- \frac{\pi}{2}; \frac{\pi}{2} ]](https://tex.z-dn.net/?f=+%5Calpha+%5Cin%5B-+%5Cfrac%7B%5Cpi%7D%7B2%7D%3B+%5Cfrac%7B%5Cpi%7D%7B2%7D++%5D)
, и также

, где
Откуда

. Используя формулу приведения имеем:
Отметим, что угол

и угол

оба принадлежат промежутку
![[- \frac{\pi}{2}; \frac{\pi}{2} ] [- \frac{\pi}{2}; \frac{\pi}{2} ]](https://tex.z-dn.net/?f=%5B-+%5Cfrac%7B%5Cpi%7D%7B2%7D%3B+%5Cfrac%7B%5Cpi%7D%7B2%7D++%5D)
.
Если равны синусы двух углов, которые принадлежат интервалу
![[- \frac{\pi}{2}; \frac{\pi}{2} ] [- \frac{\pi}{2}; \frac{\pi}{2} ]](https://tex.z-dn.net/?f=%5B-+%5Cfrac%7B%5Cpi%7D%7B2%7D%3B+%5Cfrac%7B%5Cpi%7D%7B2%7D+%5D)
, то равными также будут и эти углы, т.е.:
Что и требовалось доказать
-----------------------------------
формула

,

, где

, где
Теперь нам нужно доказать, что
Аналогично:
Углы

и

принадлежат интервалу
значит и
Что и требовалось доказать