El par de funciones $(\tan, \sec)$ comparte algunas propiedades interesantes con el par $(\sinh, \cosh)$ .
En primer lugar, satisfacen la misma ecuación cuadrática, a saber $$\sec^2 x - \tan^2 x = 1 \qquad \cosh^2 x - \sinh^2 x = 1$$ para cualquier $x$ en los respectivos ámbitos.
Además, $\tan$ y $\sinh$ son ambas funciones impar, mientras que $\sec$ y $\cosh$ son ambas funciones pares.
Ahora, supongamos que definimos una operación binaria $\oplus$ en algún subconjunto de números reales tal que $$\tan (x \oplus y) = \tan x \sec y + \sec x \tan y$$ siempre que $x \oplus y$ está definida. Entonces se puede demostrar que $$\sec(x \oplus y) = \sec x \sec y + \tan x \tan y$$ y estas dos fórmulas son exactamente iguales a las fórmulas de adición de las funciones hiperbólicas. (Para las fórmulas de sustracción basta con dejar que $x \ominus y = x \oplus (-y)$ siempre que se defina).
Hay más: también se puede demostrar que se cumple un análogo de la fórmula de De Moivre, es decir, $$(\sec x + \tan x)^n = \sec (\mathring n x) + \tan (\mathring n x)$$ donde $\mathring n x$ denota $x \oplus x \oplus \dotsb \oplus x$ con $n$ adiciones. Finalmente, si definimos un análogo de la derivada con esta nueva operación dejando que $$\mathring D f(x) = \lim_{h \to 0} \frac {f(x \oplus h) - f(x)} h$$ entonces obtenemos $$\mathring D \tan x = \sec x \qquad \mathring D \sec x = \tan x$$ de forma similar a lo que ocurre con las funciones hiperbólicas.
Mis preguntas son:
¿Existe una forma de precisar esta correspondencia para poder dar una explicación única y sencilla a todas estas analogías (y posiblemente a otras que puedan darse)?
¿Cómo podemos interpretar la operación $\oplus$ ?