Este fue un descubrimiento sorprendente para mí que las identidades como este existen:
$$\tan \frac{c}{2}=\tan \frac{a}{2}\tan \frac{b}{2} \qquad \rightarrow$$
$$\tanh^{-1} (\cos c)=\tanh^{-1} (\cos a)+\tanh^{-1} (\cos b)$$
Este es un muy bien conocido, y puede ser probado por hacer sustituciones:
$$u=\tan \frac{a}{2}, \qquad v=\tan \frac{b}{2}$$
Otro, muy interesante, existe uno (probado en la misma manera):
$$\tan \frac{c}{2}=\frac{\tan \frac{a}{2}-\tan \frac{b}{2}}{\tan \frac{a}{2}+\tan \frac{b}{2}} \qquad \rightarrow$$
$$\tanh^{-1} (\sin c)=\tanh^{-1} (\cos b)-\tanh^{-1} (\cos a)$$
¿Qué otras identidades como este existen?
¿Cuál es la interpretación de dichas identidades en términos de:
- Los números complejos
- La geometría
O es sólo un coincidense con ningún significado particular?