[Math] trigonometry with alternative parametrizations of the circle

trigonometry

In trigonometry it is conventional when defining $\cos\theta$, $\sin\theta$, etc., to parametrize the circle by arc length $\theta$. Some trigonometric identities don't depend at all on which parametrization of the circle is used, e.g. $\cos^2\theta+\sin^2\theta=1$. For others that choice of parametrization is crucial, e.g. $\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta$. To me it's amazing how MUCH follows from the simple identities taught to 15-year-olds, things like this and this and this and this, and if you want something yet more sophisticated, this item bearing a famous name. By current stereotype the term "trigonometric identity" connotes something rather humble, but look at that last item.

In a previous question I asked about the role of addition and subtraction. But now I will pose a different question:

Does anything similarly elaborate (the variety of different sorts of identities, some simple; others more involved; some that could bear famous names) happen with any other parametrizations of the circle?

Perhaps the most notable among other parametrizations — almost surely one of the most well known — is this:
$$
\begin{align}
x & = \frac{1-t^2}{1+t^2} \\[8pt]
y & = \frac{2t}{1+t^2}
\end{align}
$$
(The parameter space should be the one-point compactification $\mathbb{R}\cup\{\infty\}$.)

Best Answer

Incidentally, I spent some time a few years ago trying to find connections between parametrisation and natural trigonometry of closed plain curves. My hypothesis is that the answer to your question is generally negative.

Since the statement of your question is rather loose, I shall confine my argument to a certain understanding of trigonometry which I believe to be of relevance.

So I suppose trigonometry is really about finding relations between arcs of a closed curve in general and circumference in particular. It is probably a coincidence that the fundamental relation between sine and cosine gives the corresponding parametrisation.

Now I will try to support my generic statements in a moderately rigorous way by constructing a counter-example.

Basing on the above understanding of trigonometry we shall adopt the following definitions of sine an cosine on terms of the arc length:

$$\phi=\int_0^{\sin \phi}\frac{dt}{\sqrt{1-t^2}} \qquad \phi'=\int_{\cos \phi'}^1\frac{dt}{\sqrt{1-t^2}}$$

Now take the second integral, say, and substitute:

$$t^2=1-z^2$$

$$\phi=\int_{\cos\phi}^{1}\frac{dt}{\sqrt{1-t^2}}=-\int_{\sqrt{1-\cos^2\phi}}^0\frac{z\,dz}{z\sqrt{1-z^2}}=\int_{0}^{\sqrt{1-\cos^2\phi}}\frac{dz}{\sqrt{1-z^2}}$$

Comparing the limits we deduce the fundamental identity as a direct implication of the definitions.

Now consider the following generalisation. Define lemniscate sine and cosine (see Wolfram article for details) as follows:

$$\phi=\int_0^{\operatorname{sinlemn}\phi}\frac{dt}{\sqrt{1-t^4}}\qquad\phi=\int_{\operatorname{coslemn}\phi}^{1}\frac{dt}{\sqrt{1-t^4}}$$

Now in a similar fashion let:

$$t^2=\frac{1-z^2}{1+z^2}$$

$$dt=-\sqrt{\frac{1+z^2}{1-z^2}}\frac{2z^3\,dz}{(1+z^2)^2}$$ $$\phi=-\int_{\sqrt{\frac{1-\operatorname{coslemn}^2\phi}{1+\operatorname{coslemn}^2\phi}}}^0\frac{1}{z}\frac{(1+z^2)}{2z^2}\sqrt{\frac{1+z^2}{1-z^2}}\frac{2z^3\,dz}{(1+z^2)^2}=\int_0^{\sqrt{\frac{1-\operatorname{coslemn}^2\phi}{1+\operatorname{coslemn}^2\phi}}}\frac{dz}{\sqrt{\frac{1-z^2}{1+z^2}}(1+z^2)} =\int_0^{\sqrt{\frac{1-\operatorname{coslemn}^2\phi}{1+\operatorname{coslemn}^2\phi}}}\frac{dz}{\sqrt{1-z^4}}=\int_0^{\sqrt{\frac{1-\operatorname{coslemn}^2\phi}{1+\operatorname{coslemn}^2\phi}}}\frac{dt}{\sqrt{1-t^4}}$$

Hence, we deduce

$$\operatorname{sinlemn}^2\phi=\frac{1-\operatorname{coslemn}^2\phi}{1+\operatorname{coslemn}^2\phi}$$

which is an analogue to the fundamental identity for lemniscate functions. Whittaker and Watson offer the reader to prove this using the connection with Jacobi elliptic functions (see Wolfram page). Using the same connection it is possible to prove, for example, the addition theorem

$$\operatorname{sinlemn}(x+y)=\frac{\operatorname{sinlemn}x \operatorname{coslemn} y +\operatorname{coslemn}x \operatorname{sinlemn} y}{1-\operatorname{sinlemn}x \operatorname{sinlemn}y \operatorname{coslemn} x \, \operatorname{coslemn} y}$$

Some other identities which are not exactly relevant to the present discussion can be deduced from definitions.

Lemniscate is a well-known $\infty$-shaped algebraic curve of the fourth order

lemniscate

given in Cartesian coordinates by the equation:

$$(x^2+y^2)^2=a^2(x^2-y^2)$$

and in polar coordinates by

$$\rho=\sqrt{\cos2\theta}$$

Setting $$y=xt$$ it is also possible to obtain a rational parametrisation.

Now if we plot the identity for the lemniscate functions, we get something that is nowhere near that shape:

lemniscate identity

Still, lemniscate functions do give a representation for the lemniscate in the following polar form: $$\rho=\operatorname{sinlemn} \theta$$ in the same fashion as the circle is given by $$\rho=\sin \theta$$

Thus, the point is that natural definition of trigonometric functions for a certain curve and parametrisation of the same curve are two different tasks whose results are not necessarily linked to each other.

Some interesting implications follow.

  1. Obviously, the definition of a trigonometric system can be generalised to other closed curves with the apparent definition: $$\phi=\int_0^{\mathscr{S}(\phi)}dl\qquad \phi=\int_{\mathscr{C}(\phi)}^1 dl$$

where it is easy to whow that, if

$$\omega=\int_0^1 dl$$

then

$$\mathscr{S}\left(\phi-\frac{\omega}{2}\right)=\mathscr{C}\left(\phi\right)$$

  1. Generalized hyperbolic functions can be defined via area under a curve. In the lemniscate case it is easy to show ($x\to ix$) that the conventional relation with the "trigonometric" functions holds and the responding "hyperbola" ($y^2\to-y^2$) has 4 branches.

  2. Looking at the tricks used to transform integrals (which are largely reverse engineering) we may also say that trigonometric functions have the property of leaving a differential form $p(x) \, dx$ invariant under the change of coordinates. Perhapse this could be generalised to the case $\sum p_i \, dx_i\ldots$

Hope I was not taken too much off the tangent, but then one can do sophisticated things in trigonometry

Related Question