Una identidad trigonométrica es una igualdad que vincula dos funciones
trigonométricas y es válida en el dominio común o descartando los puntos
que anulan alguna función en caso de ser divisor.
Las funciones están ligadas por operaciones racionales y por potencias de
exponente entero, aunque en algunos casos se recurre a la raíz cuadrada.
Los ángulos se suman algebraicamente, se multiplican o se dividen por enteros
positivos y luego actúan como argumento de alguna función.