If or then is the only solution (because of (a) and (b)).
Assume both and are different from
Then any pair of real can be written under the form for some
Since and we have
I'm trying to work through the following theorem in Brannan et al.'s book "Geometry" (you might wish to skip ahead to the bold text "The Source of My Problem", so that you don't waste your time if the context is not necessary):
"A matrix represents a roation of about the origin if and only if it satisfies the following two conditions:
(a) is orthogonal;
(b) ."
So, the proof proceeds as follows:
A matrix represents a rotation if and only if it is of the form
. (*)
I'm accustomed to, and am happy with, this fact (well, the 'if' part), and I am happy that it is easy to verify that if it is of this form, then satisfies conditions (a) and (b).
Next, the proof procees to let be a matrix that satisfies conditions (a) and (b).
Then, since is orthgonal, the vector has length 1; that is, . Thus, there is a number for which
and .
Also, since is orthogonal, the vectors and are orthogonal; that is, (all fine by me so far) or
*******************************
The Source of My Problem:
.
Then the proof goes on to say,
"So there exists some number , say, such that
and ."
Would somebody be able to explain the rationale behind this? Why must and be of this form? I can see from the rest of the proof that it would be very helpful if they would be - but I'm not sure why they have to be. To try to explain my confusion, I think I would be happy saying that there must be some numbers, and , say, such that
and .
But I can't think of any reason for which should equal .
Thanks in advance for your help.
-----
For anyone interested, the rest of the proof is as follows:
"Then since , we have
,
so that . It follows that must be of the form (*), and so represent a rotation of about the origin."
One of the conditions for an orthogonal matrix has been dropped here: we must also have
*******************************
The Source of My Problem:
.
Then the proof goes on to say,
"So there exists some number , say, such that
and ."
Would somebody be able to explain the rationale behind this? Why must and be of this form? I can see from the rest of the proof that it would be very helpful if they would be - but I'm not sure why they have to be. To try to explain my confusion, I think I would be happy saying that there must be some numbers, and , say, such that
and .
But I can't think of any reason for which should equal .
Thanks in advance for your help.
-----
For anyone interested, the rest of the proof is as follows:
"Then since , we have
,
so that . It follows that must be of the form (*), and so represent a rotation of about the origin."