![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
ABSTRACT
We present a unified framework to illustrate the similarities between unit circle and unit hyperbola when we consider orthogonality, rotation, and reflection. To illustrate the usefulness of this approach, a simple application to physics is given.
1. Introduction
Unit circle and unit hyperbola present similarities when we consider orthogonality, rotation, and reflection. Therefore, we present those concepts using a unified approach. Our presentation could be a complement to the standard approach presented in Assem and Bustamante (Citation2017), Glaeser et al. (Citation2016), and Ladegaillerie (Citation2003). An application to physics (Galperin, Citation2003) concerning a simple problem of elastic collisions is given to illustrate the usefulness of this approach.
2. The mathematical setting
Let where
. Let us define the inner product of the two vectors
and
by
and use the notation for the squared norm (or the energy) of the vector
We observe that
Cauchy–Bunyakovsky–Schwarz inequality holds
with equality only for proportional vectors, i.e. if equality holds and , then there exits a
such that
.
3. Orthogonality
Two vectors and
are said to be
-orthogonal, noted
, if and only if
For a given , we can take
to get a set of two
-orthogonal vectors. Let us remark that
4. Conic
The unit conic is defined to be the set
It is the unit circle for and the unit hyperbola for
.
5. Decomposition
Let us take and consider the
-orthogonal basis of
The decomposition of any with respect to
is
where
For a given , the line of points
such that
is given by
Similarly, for a given , the line of points
such that
is
Those two lines are said to be -orthogonal.
Let or
. The line
given by
intersects at only one point
, so
is tangent to
at the point
, and the direction of this tangent is
.
6. Rotation
Let . A rotation with respect to the vector
is a linear application, noted
, defined by its action on the standard basis
of
. This action is
so
and hence
Obviously, .
From the decomposition of with respect to
, we observe that
From the -orthogonality of the basis, we get
Hence,
so, if , then
. Also,
so
and if one of or
is in
, then both are.
The inverse of a rotation is also a rotation because
Then, we get
Let us consider the composition of two rotations. Let and
. We have
If we set
we verify directly that Therefore,
, and
which means that the composition of two rotations is a rotation.
It follows that where the sequence
in
is generated by the recursive process
Moreover, .
7. Reflection
Let and its corresponding
-orthogonal basis
. A reflection with respect to the vector
is the linear application, noted
, defined by its action on
as follows
A direct consequence is that , so
. Moreover
.
Using the decomposition associated to , we have
and
We observe that . Moreover
then
or
We obtain
From these relations, we get
Therefore, if
then
or
Consequently, if (x,y) then
.
8. Composition of rotations and reflections
From the results of the preceding sections, we can easily prove that
9. A basic problem and its solution
The basic problem presented below is, for , a simplified form of the problem of elastic collisions of particles in classical mechanics. It corresponds to the well-known Euclidean situation. The case
introduces an hyperbolic setting for which a physical interpretation still remains to be found. It is interesting to see that both problems can easily be solved with the help of the preceding sections.
We consider two unit point masses moving on a straight line and a wall. The velocity vector of the two point masses is . The kinetic energy
and the momentum
are the two important quantities to consider. They are given by
where is a given vector in
. The problem is in three parts.
9.1. Part I: elastic collisions between two point masses
For an elastic collision between two point masses, the kinetic energy and the momentum remain constant. Therefore, for given values of and
, we have to find
such that
It might exist at most two points as solutions of this problem. They are the possible points of intersection of a conic and a straight line. From the Cauchy–Bunyakovsky–Schwarz inequality, existence of at least one solution is related to the condition . In fact, there exists at most two points in
that solve the problem under that condition, they are given by
Therefore, from the preceding decomposition, if one solution is
then
is the other solution. Therefore, from a mathematical point of view, an elastic collision between two point masses is a reflection.
9.2. Part II: elastic collision of one point mass with a wall
For an elastic collision of a point mass with a wall, the sign of the velocity of the point mass who hits the wall changes. Suppose the -component changes of sign, so we have
and again, from a mathematical point of view, we still have a reflection. In this case, the kinetic energy remains constant
while the momentum changes
9.3. Part III: two successive collisions
We can combine the preceding kind of collisions. Therefore, let us consider a sequence of two collisions. Firstly, let us consider an elastic collision between the two point masses followed by an elastic collision of the second point mass with a wall. Then, we get
Secondly, let us consider first an elastic collisions of the second point mass with a wall followed by an elastic collision between the two point masses. Then, we get
The result is that in both cases, we get a rotation. Also, each rotation is the inverse of the other.
10. Conclusion
We have presented, in a simple way, how to obtain quite elementary and useful results about orthogonality, rotation, and reflection on conics (circle or ellipse and hyperbola) without considering any parametrization of the curves. We have solved an elementary problem in physics which involve reflections and rotations. Physicists like to compare the first two parts of the problem to Heron’s Law of reflection (see Kocik, Citation1999), and the third part leads to a comparison with Kepler’s Second Law (see Rafat & Dobie, Citation2020).
Public Interest Statement
The study of conics is an important part of analytic geometry. Also, conics appear very often in applied problems in mathematics and physics. Orthogonality, rotation and reflexion are properties and operations that are very important and helpful to solve problem. In this paper a unified approach to these concepts on conics is presented which use vectors without the introduction of angle. We illustrate the usefulness of the approach to identify that the basic structure of a collision problem in physics is essentially a problem of reflection and rotation on a conic.
Acknowledgements
This work has been financially supported by an individual discovery grant from the Natural Sciences and Engineering Research Council of Canada.
Disclosure statement
No potential conflict of interest was reported by the authors.
Additional information
Funding
Notes on contributors
François Dubeau
François Dubeau received his BScA degree in Engineering Physics in 1971 and his MScA degree in Industrial Engineering in 1973, both from Ecole Polytechnique de Montréal, and his PhD degree in Mathematics in 1981 from University of Montréal. He taught at the Royal Military College of St-Jean from 1982 to 1992 and at University of Sherbrooke from 1992 up to 2015. He retired in 2015, and since that time, he is an associate professor at the Mathematics Department of University of Sherbrooke. His research interests include applied mathematics, operational research, numerical analysis, mathematical modeling, and digital image processing.
References
- Assem, I., & Bustamante, J. C. (2017). Géométrie analytique. Presses internationales Polytechnique.
- Galperin, G. (2003). Playing pool with π (the number π from the billiard point of view). Regular and Chaotic Dynamics, 8(4), 375–5. https://doi.org/10.1070/RD2003v008n04ABEH000252
- Glaeser, G., Stachel, H., & Odehnal, B. (2016). The universe of conics. Springer Spektrum, Springer-Verlag.
- Kocik, J. (1999). The geometry of elastic collision and Heron’s law. American Journal of Physics, 67(6), 516–519. https://doi.org/10.1119/1.19315
- Ladegaillerie, Y. (2003). Géometrie affine, projective, euclidienne et anallagmatique. Ellipses Édition Marketing S.A.
- Rafat, M. Z., & Dobie, D. (2020). Throwing π at a wall. arXiv:1901.06260v1 [physics.class-ph], 6.