As a preparation for graduate entrance exam and mostly for fun, I am reading a linear algebra textbook.
It's been quite a while since I read that material last time.
So today, I got stuck at the part of deducing the 2 by 2 matrix which rotates a vector (x, y) to (x', y') by some angle $\theta$.
Thinking about it for some half an hour, I found out that polar coordinates do it.
My question is, then, is there any way to prove it not using polar coordinates or complex numbers?
That is, (x',y') is related to (x, y) by \[ x'= \cos \theta x - \sin \theta y, y' = \sin \theta x + \cos \theta y. \]
Is there any way to show this by drawing lines? (Or compass or ruler or whatever).