Difference between revisions of "Symmetry"

(Composition of symmetries)
(Composition of symmetries)
Line 21: Line 21:
  
 
==Composition of symmetries==
 
==Composition of symmetries==
[[File:Combination S.png|300px|right]]
+
[[File:Combination S.png|290px|right]]
[[File:Combination Sy.png|300px|right]]
+
[[File:Combination Sy.png|290px|right]]
 
Let the inscribed convex hexagon <math>ABCDEF</math> be given,
 
Let the inscribed convex hexagon <math>ABCDEF</math> be given,
 
<cmath>AB || CF || DE, BC ||AD || EF.</cmath>  
 
<cmath>AB || CF || DE, BC ||AD || EF.</cmath>  
Line 35: Line 35:
 
<math>\ell \cap m = O, \alpha</math> the smaller angle between lines <math>\ell</math> and <math>m,</math>
 
<math>\ell \cap m = O, \alpha</math> the smaller angle between lines <math>\ell</math> and <math>m,</math>
  
<math>S_l</math> is the symmetry with respect axis <math>\ell, T_m</math> is the symmetry with respect axis <math>m.</math>
+
<math>S_l</math> is the symmetry with respect axis <math>\ell, S_m</math> is the symmetry with respect axis <math>m.</math>
  
 
It is known that the composition of two axial symmetries with non-parallel axes is a rotation centered at
 
It is known that the composition of two axial symmetries with non-parallel axes is a rotation centered at
 
point of intersection of the axes at twice the angle from the axis of the first symmetry to the axis of the second symmetry.
 
point of intersection of the axes at twice the angle from the axis of the first symmetry to the axis of the second symmetry.
  
<cmath>B = T_l(A), C = T_m(B) = T_m(T_l(A)) \implies \overset{\Large\frown} {AC} = 2 \alpha.</cmath>
+
<cmath>B = S_l(A), C = S_m(B) = S_m(S_l(A)) \implies \overset{\Large\frown} {AC} = 2 \alpha.</cmath>
<cmath>F = T_l(C), E = T_m(F) = T_m(T_l(C)) \implies \overset{\Large\frown} {CE} = 2 \alpha.</cmath>
+
<cmath>F = S_l(C), E = S_m(F) = S_m(S_l(C)) \implies \overset{\Large\frown} {CE} = 2 \alpha.</cmath>
<cmath>D = T_l(E), A = T_m(D) = T_m(T_l(E)) \implies \overset{\Large\frown} {EA} = 2 \alpha.</cmath>
+
<cmath>D = S_l(E), A = S_m(D) = S_m(S_l(E)) \implies \overset{\Large\frown} {EA} = 2 \alpha.</cmath>
 
Therefore <cmath>\overset{\Large\frown} {AC} + \overset{\Large\frown} {CE} + \overset{\Large\frown} {EA} = 6 \alpha = 360^\circ \implies</cmath>
 
Therefore <cmath>\overset{\Large\frown} {AC} + \overset{\Large\frown} {CE} + \overset{\Large\frown} {EA} = 6 \alpha = 360^\circ \implies</cmath>
 
<cmath>\alpha = 60^\circ \implies \angle ABC = 120^\circ.\blacksquare.</cmath>
 
<cmath>\alpha = 60^\circ \implies \angle ABC = 120^\circ.\blacksquare.</cmath>
 
'''vladimir.shelomovskii@gmail.com, vvsss'''
 
'''vladimir.shelomovskii@gmail.com, vvsss'''

Revision as of 13:55, 28 August 2023

A proof utilizes symmetry if the steps to prove one thing is identical to those steps of another. For example, to prove that in triangle ABC with all three sides congruent to each other that all three angles are equal, you only need to prove that if $AB = AC,$ then $\angle C = \angle B;$ the other cases hold by symmetry because the steps are the same.

Hidden symmetry

Hidden S.png
Hidden Sy.png

Let the convex quadrilateral $ABCD$ be given. \[AC = DE, \angle CAD + \angle ACB = 180^\circ.\]

Prove that $\angle ABC = \angle ADC.$

Proof

Let $\ell$ be bisector $AC.$

Let point $E$ be symmetric $D$ with respect $\ell.$

\[\angle CAD = \angle ACE \implies \angle CAD + \angle ACB = 180^\circ \implies E \in BC.\] $AE = CD = AB \implies \triangle ABE$ is isosceles.

Therefore \[\angle ABC = \angle AEC = \angle ADC \blacksquare.\] vladimir.shelomovskii@gmail.com, vvsss

Composition of symmetries

Combination S.png
Combination Sy.png

Let the inscribed convex hexagon $ABCDEF$ be given, \[AB || CF || DE, BC ||AD || EF.\] Prove that $\angle ABC = 120^\circ.$

Proof

Denote $O$ the circumcenter of $ABCDEF,$

$\ell$ the common bisector $AB || CF || DE, m$ the common bisector $BC ||AD || EF,$

$\ell \cap m = O, \alpha$ the smaller angle between lines $\ell$ and $m,$

$S_l$ is the symmetry with respect axis $\ell, S_m$ is the symmetry with respect axis $m.$

It is known that the composition of two axial symmetries with non-parallel axes is a rotation centered at point of intersection of the axes at twice the angle from the axis of the first symmetry to the axis of the second symmetry.

\[B = S_l(A), C = S_m(B) = S_m(S_l(A)) \implies \overset{\Large\frown} {AC} = 2 \alpha.\] \[F = S_l(C), E = S_m(F) = S_m(S_l(C)) \implies \overset{\Large\frown} {CE} = 2 \alpha.\] \[D = S_l(E), A = S_m(D) = S_m(S_l(E)) \implies \overset{\Large\frown} {EA} = 2 \alpha.\] Therefore \[\overset{\Large\frown} {AC} + \overset{\Large\frown} {CE} + \overset{\Large\frown} {EA} = 6 \alpha = 360^\circ \implies\] \[\alpha = 60^\circ \implies \angle ABC = 120^\circ.\blacksquare.\] vladimir.shelomovskii@gmail.com, vvsss