Finding a representation of $D_n$ on $\mathbb{R}^2$? I am trying to write down a representation of $D_n = \langle \sigma, \tau  \mid \sigma^n = \tau^2 =e, \tau \sigma = \sigma^{-1} \tau \rangle$ over $\mathbb{R}^2 \cong \mathbb{C}$ (as an $\mathbb{R}$-vector space).
What I Know:
My representation has to be a group homomorphism $\rho: D_n \rightarrow \text{GL}(2, \mathbb{R})$. I know that the homomorphism will be fully specified by specifying where I send the generators of $D_n$. Intuitively I know that I should be sending $\sigma$ to the $2 \times 2 $ rotation matrix for an angle of $2 \pi /n$ and $\tau$ to a horizontal reflection.
This makes me think I should be choosing
\begin{array}{c c c}
\sigma^k \rightarrow
\begin{pmatrix} 
\cos{(2\pi k /n)} & -\sin{(2\pi k /n)} \\
\sin{(2\pi k /n)} & \cos{(2\pi k /n)} 
\end{pmatrix} 
& 
\text{and
}&
\tau \rightarrow
\begin{pmatrix} 
1 & 0 \\
0 & -1 
\end{pmatrix} \\
\end{array}
My Problem:
I am having issues checking that this map respects the group operation. I know I want to check that: 
$$
\rho((\sigma^a \tau^b)(\sigma^c\tau^d)) = \rho(\sigma^a \tau^b) \rho(\sigma^c\tau^d)
$$
since an arbitrary member of $D_n$ can be written as $\sigma^a \tau^b$. I think it would suffice to show that $\rho(\sigma \tau)= \rho(\sigma) \rho(\tau)$. I can easily write down the matrices on the RHS as I have just defined them above. However, I don't know how to check to see if this product matrix equals the matrix for $\rho(\sigma \tau)$, since I don't know what that is! How should I go about verifying my homomorphism is in fact a homomorphism?

All you have to do is set
$$\rho(\sigma)=\pmatrix{\cos (2\pi/n)&-\sin(2\pi/n)\\\sin(2\pi/n)&\cos(2\pi/n)}$$
and
$$\rho(\tau)=\pmatrix{1&0\\0&-1}$$
and then verify these preserve the relations, that is $\rho(\sigma)^n=I$
(standard property of rotation matrices), $\rho(\tau)^2=I$ (obvious)
and $\rho(\tau)\rho(\sigma)=\rho(\sigma)^{-1}\rho(\tau)$
(a couple of lines of calculation).
Anyway these are just the matrices representing the usual action of
$D_n$ as the symmetry group of the regular $n$-gon with centre at the origin.
