Связь между матрицей вращения и углами Эйлера

У меня есть матрица вращения$M$(поэтому я знаю, что$M M^T = 1$). Я получаю углы с формулами:

$$\begin{array}{lll} \alpha & = & {\rm atan2}(M_{1 2}, M_{1 1}) \\ \beta & = & {\rm atan2}(- M_{1 3}, \sqrt{1 - M_{1 3}^2}) \\ \gamma & = & {\rm atan2}(M_{2 3}, M_{3 3}) \\ \end{array}$$

У меня есть три матрицы

$$R_x = \begin{bmatrix} 1 & 0 & 0 \\ 0 & \cos(\gamma) & \sin( \gamma) \\ 0 & -\sin(\gamma) & \cos( \gamma) \end{bmatrix}$$

$$R_y = \begin{bmatrix} \cos(\beta) & 0 & -\sin(\beta) \\ 0 & 1 & 0 \\ \sin(\beta) & 0 & \cos(\beta) \end{bmatrix}$$ $$R_z = \begin{bmatrix} \cos(\alpha) & \sin(\alpha) & 0 \\ -\sin(\alpha) & \cos(\alpha) & 0 \\ 0 & 0 & 1 \end{bmatrix}$$

Теперь я хочу доказать, что когда$0 < \cos(\beta)$у нас есть

$$M = R_x R_y R_z$$

Я сделал это для простых случаев ($M_{1 1}$,$M_{1 2}$,$M_{1 3}$,$M_{2 3}$,$M_{3 3}$), но я застрял на остальных случаях. Например, как я могу доказать, что

$$M_{2 1} = \cos(\alpha) \sin(\beta) \sin(\gamma) - \sin(\alpha) \cos(\gamma)$$