6
$\begingroup$

I was trying to prove:

To carry out a rotation using matrices the point $(x, y)$ to be rotated from the angle, $θ$, where $(x′, y′)$ are the co-ordinates of the point after rotation, and the formulae for $x′$ and $y′$ can be seen to be

x'= x \cosθ - y \sinθ

y'= x \sinθ + y \cosθ

But when I prove it by trig/geometry, it has to be split into obtuse and acute case. Is there a way I could go straight forward without casework?

  • 0
    Hmmm. "Not by case work". That particular turn of phrase was used by [Victor](http://math.stackexchange.com/users/12796/victor), and there are many other similarities, as noted by [Theo](http://math.stackexchange.com/questions/53180/is-there-anyone-could-explain-the-solution-in-this-book-if-you-could-see-the-goog). Using sock puppets to circumvent a suspension (if that is what is going on)?2011-07-23

2 Answers 2

15

Since rotation is a linear transformation of the plane it suffices to look at the image of a basis, say, just the vectors $(1,0)$ and $(0,1)$. Using elementary trig it is easy to see that after a rotation through the angle $\theta$, $(1,0) \mapsto (\cos{\theta},\sin{\theta})$ and $(0,1)\mapsto (-\sin{\theta},\cos{\theta})$. Thus, by linearity we see that $(x,y)=x(1,0)+y(0,1)$ maps to $(x\cos{\theta}-y\sin{\theta},x\sin{\theta}+y\cos{\theta})$.

16

You can also use polar coordinates. If $(x,y)= (R \cos(\phi), R \sin(\phi))$ then

(x',y')=(R \cos( \phi+\theta), R \sin( \phi+\theta)) $= \left(R\cos(\phi) \cos(\theta) - R\sin(\phi) \sin(\theta) , R\sin(\phi) \cos(\theta) + R\cos(\phi) \sin(\theta) \right) $ $= \left(x \cos(\theta) - y \sin(\theta) , x\sin(\theta) + y\cos(\theta) \right) \,.$

You have to also remeber that this only proves the formula for $(x,y) \neq (0,0)$, so you need to check separatelly that it holds for $(0,0)$ (which is of course trivial)....