I'm looking for an elegant way to show the following claim.

**Claim:** Let $m_1, m_2 \in \mathbb{R}^2$ be the two columns of matrix $M \in \mathbb{R}^{(2 \times 2)}$. The singular values of the matrix are $\sigma_1 = \sqrt{\|m_1\|_2 + \left|\cos{\measuredangle \left( m_1, m_2 \right)}\right| \|m_2\|_2}$ and $\sigma_2 = \sqrt{\sin{\measuredangle \left( m_1, m_2 \right)} \|m_2\|_2}$ so that $\sigma_1 > \sigma_2$.

What I have so far is only pretty messy first and second derivations of $max_{a:\|a\|_2=1} \|Ma\|_2$ and $min_{a:\|a\|_2=1} \|Ma\|_2$ w.r.t. the first coordinate of $a$, denoted by $a_1$, after replacing the second coordinate of $a$, which we denote by $a_2$, with $\sqrt{1-a_1^2}$.

Tnx!