Let $A,B>0$ and $\alpha,\beta\in\mathbb{R}$ and consider the curve $$\gamma(t)=(A\cos(t+\alpha), B\sin(t+\beta)).$$ Is there a nice way to see that it is always an ellipse centered at the origin? It is clear when $\alpha = \beta$ but I cannot see how to handle the general case without getting involved in some nasty calculations.
-
What is your definition of an ellipse? By foci, as a stretched circle, or something else? – peterwhy Aug 02 '24 at 16:59
-
@peterwhy any of them would work. – 35T41 Aug 02 '24 at 17:01
-
1Related: Rotated Ellipse (Parametric) - Determining Semi-Major and Semi-Minor Axes. – peterwhy Aug 02 '24 at 17:05
-
@peterwhy thank you, yes, I saw that post. It looks like they focus on finding the axes of the ellipse assuming that it is an ellipse. I want to prove that it is an ellipse and I don't care about its dimensions. – 35T41 Aug 02 '24 at 17:14
-
3To reduce the number of parameters you can shift $t\to t-\alpha$ and define $\delta=\beta-\alpha$, so that the parametrization is now $\gamma(t)=(A\cos(t),B\sin(t+\delta)$. (There are a few variations on this idea, so I'm not sure if this is the "best" version.) – Semiclassical Aug 02 '24 at 17:15
-
A particular case of Lissajous curves – Jean Marie Aug 02 '24 at 17:34
-
Please refer to my older post for your interests. – Ng Chung Tak Aug 03 '24 at 09:39
3 Answers
Adopting @Semiclassical's expression, we know $$y=B\sin(t+\delta)=B(\sin t\cos\delta+\sin\delta\cos t),$$ and so, regrouping a little bit we find that $$\gamma(t)=(A,B\sin\delta)\cos t+(0,B\cos\delta)\sin t= \begin{pmatrix} A & 0\\ B\sin\delta & B\cos\delta \end{pmatrix} \begin{pmatrix} \cos t\\ \sin t \end{pmatrix}$$ which is an affine transformation of the unit circle $\mathbf r(t)=(\cos t,\sin t)$ (by definition an ellipse).
It is centered at the origin because the transformation does not include any translation. Otherwise you can argue that the modules of $x$ and $y$ tend to $0$ as $A$ and $B$ tend to $0$ too, meaning, yet again, that the ellipse is centered at the origin.
- 4,060
-
I don't follow your final alternative argument. The "limit of the curve" as $A,B\to0$ says nothing about the curve for a given $(A,B)$. – Anne Bauval Aug 03 '24 at 05:21
-
You can always scale down your ellipse to its center, without deforming its shape, by doing $\gamma(t)=\mathbf r_0+\varepsilon \mathbf A\mathbf r$ as $\varepsilon\to 0$. In our case doing so yields $\mathbf r_0=\mathbf 0$. – Hug de Roda Aug 03 '24 at 10:25
-
Thank you, but I still don't understand: our $\gamma(t)$ equals $\mathbf A\mathbf r(t)$, and of course $\lim_{\epsilon\to0}\epsilon\gamma(t)=0$, but how do we know that this is precisely the "scaling down of our ellipse to its center"? – Anne Bauval Aug 03 '24 at 11:28
-
You have to apply the rescaling factor $\varepsilon$ to the unit circle $\mathbf r(t)$ so that when $\varepsilon\to 0$ the unit circle is just a point (its center) and therefore only translations will be present in $\gamma(t,\varepsilon\to 0)$. When applying this limit we get $\gamma(t,\varepsilon\to 0)=0$ which means there were no translations and thus the center is the origin. I don't know if I can be more explicit, hope this helps. – Hug de Roda Aug 03 '24 at 15:34
-
Sorry, it doesn't. Never mind, thank you for your time. I am pleased with the fact that the unit circle is centered at $O$ and applying $\mathbf A$ preserves this property. – Anne Bauval Aug 03 '24 at 15:48
First note that the origin is a center of symmetry, since $\gamma(t+\pi)=-\gamma(t)$.
Assume now wlog $\beta=0$. $$\exists t\in\Bbb R,\quad x=A\cos(t+\alpha),\quad y=B\sin t$$ $$\iff\exists t\in\Bbb R,\quad\sin t=\frac yB,\quad x=A\left(\cos t\cos\alpha-\frac yB\sin\alpha\right)$$ $$\iff\exists t\in\Bbb R,\quad\sin t=\frac yB,\quad\cos\alpha\cos t=\frac xA+\frac yB\sin\alpha$$ hence the curve is:
- if $\cos\alpha=0$: the degenerate ellipse (line segment) of equation $$y\in[-B,B],\quad x=-(\sin\alpha)\frac ABy,$$
- if $\cos\alpha\ne0$: the ellipse of equation$$\frac1{\cos^2\alpha}\left(\frac xA+\frac yB\sin\alpha\right)^2+\left(\frac yB\right)^2=1.$$
- 49,005
You can observe that $\gamma(t)$ can be written as
$$ \gamma(t)=\begin{pmatrix}\cos(\alpha) & -\sin(\alpha) \\ \sin(\beta) & \cos(\beta)\end{pmatrix}\begin{pmatrix} A\cos(t) \\ B\sin(t)\end{pmatrix}=A_{\alpha,\beta}\begin{pmatrix} A\cos(t) \\ B\sin(t)\end{pmatrix}.$$
So $\gamma$ is the image of the usual ellipse of equation
$$ \frac{x^2}{A^2}+\frac{y^2}{B^2}=1$$
with respect to the application $A_{\alpha,\beta}$. Let us study this application. We can observe that
$$A_{\alpha,\beta}\begin{pmatrix} x\\ y\end{pmatrix}=pr_{e_1}\left(rot_\alpha \begin{pmatrix} x\\ y\end{pmatrix}\right)+pr_{e_2}\left(rot_\beta \begin{pmatrix} x\\ y\end{pmatrix}\right)$$
where $pr_{e_i}$ are the projections over the $x$ and $y$ axes respectively. In other words, this application sends each vector to the sum of the projection of its rotation by an angle $\alpha$ over the $x$-axis, and the projection of its rotation by an angle $\beta$ over the $y$-axis.
However, it is not still clear why the image of $A_{\alpha,\beta}$, hence $\gamma$, should be an ellipse. The determinant of this matrix is equal to $\cos(\alpha-\beta)$, that it is different from zero if $\beta\neq \alpha+k\frac{\pi}{2}$.
Let us assume for simplicity that $\beta\neq \alpha+k\frac{\pi}{2}$. Then the application is an isomorphism and the equation of the image of the usual ellipse is then
$$ \frac{x^2}{A^2}+\frac{y^2}{B^2}=1 \implies \begin{pmatrix} x & y\end{pmatrix}\begin{pmatrix} \frac{1}{A^2} & 0 \\ 0 & \frac{1}{B^2}\end{pmatrix}\begin{pmatrix} x\\ y\end{pmatrix}=1 \implies \begin{pmatrix} x' & y'\end{pmatrix}(A_{\alpha,\beta}^{-1})^t\begin{pmatrix} \frac{1}{A^2} & 0 \\ 0 & \frac{1}{B^2}\end{pmatrix}A_{\alpha,\beta}^{-1}\begin{pmatrix} x'\\ y'\end{pmatrix}=1$$
Thus $\gamma$ is still a conic (this is general fact, the image of a conic by a linear map is still a conic). However, $A_{\alpha,\beta}$ is a homeomorphism, so it is sending the ellipse to something homomorphic to it, and that it is still a conic. Hence the image via $A_{\alpha,\beta}$, namely the curve $\gamma$, is still an ellipse.
Looking at how the map is working, it should be clear that the center of the ellipse is still the origin.
Can you study the remain cases where $\beta= \alpha+k\frac{\pi}{2}$?
- 10,123