IJMCER - A0140107 Paper 17011
IJMCER - A0140107 Paper 17011
IJMCER - A0140107 Paper 17011
Abstract: The symmetry is a property of certain plane figures which remain unchanged during transformations
made with respect to a point, an axis or a plane. It also represents an involutional geometric transformation that
maintains parallelism. In particular, the present work explains a very explicit geometric method giving the
analytical and complex expression of a non-orthogonal axial symmetry. An orthogonal symmetry is its particular
case.
I- INTRODUCTION
Symmetry is the property of a system when two parts are similar, usually with respect to a point or an axis or a
plane. The best-known example is the symmetry in geometry. In general, a system is symmetrical when one can
switch its elements leaving its shape unchanged [18], [7]. The concept of automorphism makes it possible to
specify this definition. A butterfly, for example (see Figure 1), is symmetrical because one can swap all the points
of the left half of one's body with all the points of the line half without its appearance being modified.
We can exchange the two halves without changing the shape of the set. Symmetrical figures make visible the
equality of forms because the permutable parts always have the same form. We could make a definition of the
concept: a figure is symmetrical when it repeats the same form on a regular basis [8], [10], [1], [19]. On this
subject, we contribute in this paper the very explicit geometric method of the analytical and complex expression
of the non-orthogonal axial symmetries generating from that of orthogonal. Indeed, learning about these
expressions is always a subject sincerely to be exploited by way of improvement. In fact, in geometry, symmetry
also constitutes property of certain plane figures which remain unchanged during transformations made with
respect to a point, an axis or a plane. It also represents an involutional geometric transformation that maintains
parallelism. There are several kinds of symmetries in the plane or in space. Note that the term symmetry also has
another meaning in mathematics. Common symmetries include reflection and central symmetry. This term
designates either a translation, an orthogonal automorphism, or the compound of the two [16], [12], [17], [6]. In
terms of learning the geometries in terminal S, this fact still remains in a way not expressly formulated [7], [4],
[5], [9], [13], [14], [15] and [3]. In what follows, our work is divided into five sections. Section 7 gives some
symmetries existing in the literature. Section 3 presents the analytical and complex expression of non-orthogonal
axial symmetry. Section 4 introduces the opposite problem of Section 3. Section 5 concludes.
Let us observe that the only invariant point of this symmetry is the point O. A symmetry of center O is also a
rotation of flat angle and a homothety of center O and ratio 1.
Now, the image of the line Δ by the angle rotation 𝜃 and center I is the line Δ′. Which means that:
𝜋 ⃗⃗⃗⃗⃗⃗⃗⃗⃗ , 𝑈
For 𝜃 = − 𝛼 where 𝛼 = (𝑀𝑀′ ⃗ ), this relationship allows us to have the relationship (2) defined by:
2
𝑎′ = −𝑏𝑐𝑜𝑠𝛼 + 𝑎𝑠𝑖𝑛𝛼
{ ′ (2)
𝑏 = 𝑏𝑠𝑖𝑛𝛼 + 𝑎𝑐𝑜𝑠𝛼
𝜋
Note 1. We noticed that if the line (𝛥) is (𝛥′) which is orthogonal to the segment [𝑀𝑀′] then 𝛼 = i.e. 𝑏 ′ = 𝑏 and
2
𝑎′ = 𝑎.
𝑥 ′ +𝑥 𝑦 ′ +𝑦
As I is the middle of segment [𝑀𝑀′], it follows that 𝐼 ( , ), 𝐼 ∈ (Δ) and 𝐼 ∈ (Δ′).
2 2
Point𝐼 ∈ (Δ)is equivalent to
As well,
⃗⃗⃗⃗⃗⃗⃗⃗⃗
𝑀𝑀′ ⊥ Δ ⇔ ⃗⃗⃗⃗⃗⃗⃗⃗⃗
𝑀𝑀′ ⊥ 𝑈 ⃗
{ (5)
⃗⃗⃗⃗⃗⃗⃗⃗⃗
⇔ 𝑀𝑀′. 𝑈 = 0⃗
𝑥 ′ − 𝑥 −𝑏′
( ′ )( )=0 (6)
𝑦 −𝑦 𝑎′
The two relations (3) and (6) lead us to have the expression (7) called the general analytical expression of anon-
orthogonal axis symmetry (Δ) of the angle 𝛼 (Cf. Figure 6).
1
𝑥′ = [−(𝑎𝑎′ − 𝑏𝑏 ′ )𝑥 −2𝑎′ 𝑏𝑦 − 2𝑎′𝑐]
𝑎𝑎′ +𝑏𝑏′
{ 1 (7)
𝑦′ = [−2𝑎𝑏 ′ 𝑥 + (𝑎𝑎′ − 𝑏𝑏 ′ )𝑦 − 2𝑏′𝑐]
𝑎𝑎′ +𝑏𝑏′
By playing on the two equations (4) and (7) we have the expression (8) by:
1
𝑐′ = [(𝑎′ 𝑏 − 𝑏′𝑎)(𝑏 ′ 𝑥 − 𝑎′ 𝑦) − 𝑐(𝑎′2 + 𝑏 ′2 )] (8)
𝑎𝑎′ +𝑏𝑏′
Moreover, the expression (7) leads us to have the expression (9) called general complex expression of a non-
⃗⃗⃗⃗⃗⃗⃗⃗⃗ , 𝑈
orthogonal axis symmetry (Δ) of the angle 𝛼 = (𝑀𝑀′ ⃗ ) defined by:
1
𝑧′ = [(𝑎𝑎′ − 𝑏𝑏 ′ + 2𝑖𝑎𝑏)𝑧̅ + 2𝑎′ 𝑐 + 2𝑖𝑏′𝑐] (9)
𝑎𝑎′ +𝑏𝑏′
Consequently, without however foreseeing what future research will give, we will state in the form of a theorem.
Theorem 1. Let (𝛥) ∶ 𝑎𝑥 + 𝑏𝑦 + 𝑐 = 0 and (𝛥′) ∶ 𝑎′𝑥 + 𝑏′𝑦 + 𝑐′ = 0 two respective director vector lines
⃗ (−𝑏, 𝑎) and 𝑈
𝑈 ⃗ ′(−𝑏′, 𝑎′) with (𝑈 ⃗⃗⃗ ) = 𝜃, M and 𝑀′are two distinct points of P such that 𝑆𝛥,𝛼 (𝑀) = 𝑀′ and
⃗ , 𝑈′
𝑆𝛥′ (𝑀′) = 𝑀 . Furthermore, 𝑆𝛥 and 𝑆𝛥′ are non-orthogonal axis symmetry 𝛥 and orthogonal axis
⃗⃗⃗⃗⃗⃗⃗⃗⃗
symmetry 𝛥′ respectivelyand 𝛼 = (𝑀𝑀′, 𝑈 ⃗ ) (cf. figure 6). If (𝛥′) ∶ 𝑎′𝑥 + 𝑏′𝑦 + 𝑐′ = 0 is the orthogonal
symmetry image of (𝛥) by a rotation r of center I of angle 𝜃, then the general analytical expression of this axial
symmetry is defined by:
1
𝑥′ = [−(𝑎𝑎′ − 𝑏𝑏 ′ )𝑥 −2𝑎′ 𝑏𝑦 − 2𝑎′𝑐]
𝑎𝑎′ +𝑏𝑏′
{ 1 (10)
𝑦′ = [−2𝑎𝑏 ′ 𝑥 + (𝑎𝑎′ − 𝑏𝑏 ′ )𝑦 − 2𝑏′𝑐]
𝑎𝑎′ +𝑏𝑏′
With
𝑎′ = −𝑏𝑐𝑜𝑠𝛼 + 𝑎𝑠𝑖𝑛𝛼
{ ′
𝑏 = 𝑏𝑠𝑖𝑛𝛼 + 𝑎𝑐𝑜𝑠𝛼
and
1
𝑐′ = [(𝑎′ 𝑏 − 𝑏′𝑎)(𝑏 ′ 𝑥 − 𝑎′ 𝑦) − 𝑐(𝑎′2 + 𝑏 ′2 )] (12)
𝑎𝑎′ +𝑏𝑏′
𝑧 ′ = 𝒜𝑧̅ + ℬ (13)
And
𝑎𝑎′ −𝑏𝑏 ′
ℛ𝑒(𝒜) = −
𝑎𝑎′ +𝑏𝑏′
2𝑎′ 𝑏
ℐ𝑚(𝒜) = −
𝑎𝑎′ +𝑏𝑏′
2𝑎′ 𝑐
(14)
ℛ𝑒(ℬ) = −
𝑎𝑎′ +𝑏𝑏′
2𝑏 ′𝑐
{ ℐ𝑚(ℬ) = − 𝑎𝑎′ +𝑏𝑏′
With expression (14), we can search for the equation of (Δ) defined by (Δ): 𝑎𝑥 + 𝑏𝑦 + 𝑐 = 0knowing the
complex expression of 𝑆𝛥 defined on(13).
Corollary 2. As we have already noticed that if the line(𝛥) is (𝛥′) which is orthogonal to the segment [𝑀𝑀′] then
𝜋
𝛼 = i.e. 𝑏 ′ = 𝑏 and 𝑎′ = 𝑎 (C.f Figure 7).
2
On this subject, we have the analytical expression of orthogonal axis symmetry 𝑆𝛥 defined on (15) above.
Moreover, the expression (15) leads us to have the expression (16) called complex expression of 𝑆𝛥 by:
From where the corollary 3 makes it possible to look for the coefficients a, b, c structuring the equation of Δ
defined by (Δ) ∶ 𝑎𝑥 + 𝑏𝑦 + 𝑐 = 0 knowing the complex expression of 𝑆𝛥 defined on (16).
𝑧 ′ = 𝒜𝑧̅ + ℬ (17)
𝑎2 −𝑏 2
ℛ𝑒(𝒜) = −
𝑎2 +𝑏 2
2𝑎′ 𝑏
ℐ𝑚(𝒜) = −
𝑎2 +𝑏 2 (18)
2𝑎𝑐
ℛ𝑒(ℬ) = −
𝑎2 +𝑏 2
2𝑏𝑐
{ ℐ𝑚(ℬ) = − 𝑎2 +𝑏2
We now have a method to calculate the coefficients a, b, c structuring the equation of (Δ) defined by (Δ) ∶ 𝑎𝑥 +
𝑏𝑦 + 𝑐 = 0 knowing the complex expression of 𝑆𝛥 defined on (16).
REFERENCES
[1] S. Benhimane and E. Malis. Real-time image-based tracking of planes using efficient second-order
minimization. In: IEEE/RSJ International Conference on Intelligent Robots Systems, Sendai, Japan,
October, pages 176–186, 2004.
[2] Keith Devlin. Introduction to mathematical thinking. Volume 331 Poe St, Unit 4 Palo Alto, CA 94301
USA http:// profkeithdevlin.com, pages 67–84, 2012.
[3] Gérard Dumont. Thales en quatrième, vers une approche de la démonstration par les aires, 2004.
[4] ÉduSCOL. Ressource pour la classe de seconde. Notation et raisonnement mathématiques. http:
//idif.education.gouv.fr, 2009.
[5] Kolette E. Albert, I. Calin. Guide pratique du maître. EDICEF, Paris. Pages 321–425, 1993.
[6] O. Faugeras. What can be seen in three dimensions with an uncalibrated stereo rig? Actes de l’European
Conference on Computer Vision, Santa Margherita Ligure, Italie, pages 563–578, 1992.
[7] Kevin Houston. How to think like a mathematician. Pages 22–24, 2009.
[8] Yvo Jacquier. La naissance de la géometrie: La géometrie avec les yeux des egyptiens. In: REPERES–
IREM. No 87 avril, number 1, pages 2–22, 2012.
[9] S. Maury. Revue des instituts des recherches sur l’enseignement des mathématiques. In TOPIQUES
édition, volume 15, pages 10–14, Repères IREM, 1994.
[10] E. Malis and F. Chaumette. Theoretical improvements in the stability analysis of a new class of model
free visual servoing methods. In: IEEE Transaction on Robotics and Automation April, pages 176–186,
2002.
[11] M. Moakher. Means and averaging in the group of rotations. In: SIAM Journal on Matrix Analysis and
Applications, number 1, pages 1–16 2002.
[12] EzioMalis& Manuel Vargas. Deeper understanding of the homography decomposition for vision-based
control. Research Report RR-6303, 2007.
[13] Jules Payot. Journal des instituteurs et des institutrices. Armand colin, paris. Pages 38, 154–157, 1913.
[14] G. POLYA. Poser et résoudre un problème mathématique- physique- jeux-philosophie. dunod paris,
1965.
[15] Cabassut Richard. Demonstration, Raisonnement et Validation dans L’enseignement secodaire des
Mathémetiques en France et en Allemagne. PhD thesis, Université Paris 7, 2005.
[16] Jaen Lus Shabert. Les géométries non euclidiennes. In: REPERES - IREM. No01 octobre, number 1,
pages 69–91, 1990.
[17] J.G. Semple& G.T. Kneebone. Algebraic projective geometry. Oxford Science Publication, 1952.
[18] UNESCO. Les défis de l’enseignement de mathématiques dans l’éducation de base, 2011.
[19] W.E. Dixon, Y. Fang, D.M. Dawson & M.S. de Queiroz. Homography-based visual servoing of wheeled
mobile robots. In:Proc. IEEE Conf. Decision and Control, pp, Las Vegas, NV, Dec, pages 2866–282871,
2002.