Proving the Existence of a Rotation Matrix from Given Relations

Click For Summary

Homework Help Overview

The discussion revolves around proving the existence of a rotation matrix given certain properties of a 2x2 matrix A, specifically that A is orthogonal (ATA = I) and has a determinant of -1. Participants are tasked with demonstrating that there exists an angle θ such that A can be expressed in a specific form involving cosine and sine functions.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants express uncertainty about how to transition from the orthogonality condition to the desired rotation matrix form. Some suggest starting with the general form of the matrix and evaluating the implications of the properties given, while others question how to relate the entries of the matrix to trigonometric functions.

Discussion Status

There is an ongoing exploration of the problem, with some participants providing suggestions on how to approach the proof. Guidance has been offered regarding evaluating the matrix and its properties, but no consensus or complete solution has emerged yet.

Contextual Notes

Participants note constraints such as the requirement to avoid using eigenvalues and vectors, as these topics have not been covered in their coursework. The discussion also highlights the importance of the determinant condition in relation to the properties of the matrix.

whatisreality
Messages
286
Reaction score
1

Homework Statement


Let A∈M2x2(ℝ) such that ATA = I and det(A) = -1. Prove that for ANY such matrix there exists an angle θ such that

A = ##
\left( \begin{array}{cc}
cos(\theta) & sin(\theta)\\
sin(\theta) & -cos(\theta)\\
\end{array} \right) ##

It is not sufficient to show that this matrix satisfies the specified relations.

Homework Equations

The Attempt at a Solution


Where do I start with this?! I'm supposed to get from ATA = I to the rotation matrix! I have looked at several proofs online. But they seem to either use eigenvalues and vectors (which we haven't done, so can't use them!) or don't mention the properties I've been given.

I know a few things that might be useful.
##(A^T)^{-1} = (A^{-1})^T##
And ##det(A^T) = det(A)##
Also, I know that the matrix A is orthogonal.

Don't know how to start!
 
Physics news on Phys.org
whatisreality said:

Homework Statement


Let A∈M2x2(ℝ) such that ATA = I and det(A) = -1. Prove that for ANY such matrix there exists an angle θ such that

A = ##
\left( \begin{array}{cc}
cos(\theta) & sin(\theta)\\
sin(\theta) & -cos(\theta)\\
\end{array} \right) ##

It is not sufficient to show that this matrix satisfies the specified relations.

Homework Equations

The Attempt at a Solution


Where do I start with this?! I'm supposed to get from ATA = I to the rotation matrix! I have looked at several proofs online. But they seem to either use eigenvalues and vectors (which we haven't done, so can't use them!) or don't mention the properties I've been given.

I know a few things that might be useful.
##(A^T)^{-1} = (A^{-1})^T##
And ##det(A^T) = det(A)##
Also, I know that the matrix A is orthogonal.

Don't know how to start!

Start with
A = \pmatrix{a &b \\ c& d}

Evaluate ##P_1 = A A^T## and ##P_2 = A^T A##. You need both ##P_1 = I## and ##P_2 =I##, and those will give you several equations that the entries ##a,b,c,d## must satisfy. You also need ##\det(A) = 1##, giving you ##ad - bc = 1##.
 
  • Like
Likes   Reactions: whatisreality
If you have ##a^2 + b^2 = 1##, can you show that there exists ##\theta## such that ##a = cos\theta## and ##b = sin\theta##?
 
Ray Vickson said:
Start with
A = \pmatrix{a &b \\ c& d}

Evaluate ##P_1 = A A^T## and ##P_2 = A^T A##. You need both ##P_1 = I## and ##P_2 =I##, and those will give you several equations that the entries ##a,b,c,d## must satisfy. You also need ##\det(A) = 1##, giving you ##ad - bc = 1##.
Got there. Thank you!
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
Replies
24
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 69 ·
3
Replies
69
Views
10K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 16 ·
Replies
16
Views
5K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K