Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
If you allow negative angles (corresponding to your obtuse case), well... – J. M. Jul 22 '11 at 18:08
Hmmm. "Not by case work". That particular turn of phrase was used by Victor, and there are many other similarities, as noted by Theo. Using sock puppets to circumvent a suspension (if that is what is going on)? – Arturo Magidin Jul 23 '11 at 2:23
up vote 7 down vote accepted

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})$.

share|cite|improve this answer
@abcde - it's not a guess at all. Why do you think it's a guess? – mixedmath Jul 22 '11 at 21:24

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)....

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.