Prove a matrix belonging to a group represents a rotation

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 3K views
SNOOTCHIEBOOCHEE
Messages
141
Reaction score
0

Homework Statement



Prove algebraically that a real 2x2 matrix [tex]\left(\begin{array}{cc}a&b\\c&d\end{array}\right)[/tex] represents a rotaion iff it is in SO2

Homework Equations



In case you are used to different notation, SO2= {A[tex]\in[/tex] GLn(R)| AtA=I, Det A=1}

The Attempt at a Solution



ok since this is an iff statement, we have to show both directions.

Case1: if the matrix is in SO2 then it represents a rotation

so we know that [tex]\left(\begin{array}{cc}a&b\\c&d\end{array}\right)[/tex] * [tex]\left(\begin{array}{cc}a&c\\b&d\end{array}\right)[/tex]= [tex]\left(\begin{array}{cc}1&0\\0&1\end{array}\right)[/tex]

also ad-bc=1

also if its helpful [tex]\left(\begin{array}{cc}a&b\\c&d\end{array}\right)[/tex] * [tex]\left(\begin{array}{cc}a&c\\b&d\end{array}\right)[/tex]= [tex]\left(\begin{array}{cc}a<sup>2</sup>+b<sup>2</sup>&ac+bd\\ca+db&b<sup>2</sup>+d<sup>2</sup>\end{array}\right)[/tex]

I know i can set this equal to the identity and probably solve for some stuff. but how exactly do i prove that it is a roation? moreover i am completley lost in the other direction.

Edit: maybe i figured it out??!?

Other direction: If [tex]\left(\begin{array}{cc}a&b\\c&d\end{array}\right)[/tex] is a rotation, then it is in SO2

every rotaion through an angle theta can be written as cos -sin sin cos. just show that its transpose * it =1? and that its det 1? which is basically trivial... so I am think i did this second part wrong.
 
Physics news on Phys.org
SNOOTCHIEBOOCHEE said:

Homework Statement



Prove algebraically that a real 2x2 matrix [tex]\left(\begin{array}{cc}a&b\\c&d\end{array}\right)[/tex] represents a rotaion iff it is in SO2

Homework Equations



In case you are used to different notation, SO2= {A[tex]\in[/tex] GLn(R)| AtA=I, Det A=1}
The change in notation wasn't much help, since there are now two symbols I don't know:
[tex]SO_2 \; and GL_n(R)[/tex]

SNOOTCHIEBOOCHEE said:

The Attempt at a Solution



ok since this is an iff statement, we have to show both directions.

Case1: if the matrix is in SO2 then it represents a rotation

so we know that [tex]\left(\begin{array}{cc}a&b\\c&d\end{array}\right)[/tex] * [tex]\left(\begin{array}{cc}a&c\\b&d\end{array}\right)[/tex]= [tex]\left(\begin{array}{cc}1&0\\0&1\end{array}\right)[/tex]

also ad-bc=1

also if its helpful [tex]\left(\begin{array}{cc}a&b\\c&d\end{array}\right)[/tex] * [tex]\left(\begin{array}{cc}a&c\\b&d\end{array}\right)[/tex]= [tex]\left(\begin{array}{cc}a<sup>2</sup>+b<sup>2</sup>&ac+bd\\ca+db&b<sup>2</sup>+d<sup>2</sup>\end{array}\right)[/tex]
The entry in the lower right corner of the matrix above should be c^2 + d^2.
SNOOTCHIEBOOCHEE said:
I know i can set this equal to the identity and probably solve for some stuff. but how exactly do i prove that it is a roation? moreover i am completley lost in the other direction.

Edit: maybe i figured it out??!?

Other direction: If [tex]\left(\begin{array}{cc}a&b\\c&d\end{array}\right)[/tex] is a rotation, then it is in SO2

every rotaion through an angle theta can be written as cos -sin sin cos. just show that its transpose * it =1? and that its det 1? which is basically trivial... so I am think i did this second part wrong.

From your multication of AA^t, you know that a^2 + b^2 = 1, c^2 + d^2 = 1, and ac + bd = 0. A^t * A should also be I, and you get a^2 + c^2 = 1, b^2 + d^2 = 1, and ab + cd = 0.

Let's look at Av, where v = (x, y)
Av = (ax + by, cx + dy)
Now, let's calculate the magnitude of Av
[tex]|Av|^2 = |(ax + by, cx + dy)|^2<br /> = (ax + by)^2 + (cx + dy)^2[/tex]
[tex]= a^2 x^2 + 2abxy + b^2y^2 + c^2x^2 + 2cdxy + d^2y^2[/tex]
[tex]= (a^2 + c^2)x^2 + (b^2 + d^2)y^2 + 2(ab + cd)xy[/tex]
[tex]= x^2 + y^2<br /> = |v|[/tex]
The simplification down to x^2 + y^2 occurs because of what we know about A^t * A = I.
Now, since |Av| = |v|, multiplication by A doesn't change the length of v, so maybe we can conclude that it constitutes a rotation of some sort.