Prove that for any given $c_1,c_2,c_3\in \mathbb{Z}$,the equations set has integral solution. $$ \left\{
\begin{aligned}
c_1 & = a_2b_3-b_2a_3 \\
c_2 & = a_3b_1-b_3a_1 \\
c_3 & = a_1b_2-b_1a_2
\end{aligned}
\right.
$$
$c_1,c_2,c_3\in  \mathbb{Z}$ is given,prove that $\exists a_1,a_2,a_3,b_1,b_2,b_3\in\mathbb{Z}$ meet the equations set.
Apparently,the question equal to how to decompose the integer vector into the cross product (vector product) of two integer vector.And the real question I want to ask just is it.

First let us assume that $c_1, c_2, c_3$ are coprime, that is $(c_1, c_2, c_3) = 1$.
Suppose first that there exist integer numbers $u_1, u_2, u_3$ and $v_1, v_2, v_3$ such that
$$
\begin{vmatrix}
c_1 & c_2 & c_3 \\ 
u_1 & u_2 & u_3 \\ 
v_1 & v_2 & v_3
\end{vmatrix}
 = 1
$$
In that case we can take $a = c \times u$ and $b = c \times v$. Then $a \times b = (c \times u) \times (c \times v) = (c \cdot (u \times v))c$ (this is one of triple product properties, see http://en.wikipedia.org/wiki/Triple_product for details). Now $c \cdot (u \times v)$ is equal to the determinant above and hence is equal to one. So $a \times b = c$.
Now let us go back and prove the assumption. Let $d = (c_2, c_3)$ and pick $u_2, u_3$ such that $c_2 u_3 - c_3 u_2 = d$. Also pick $u_1 = 0$. Now we have
$$
\begin{vmatrix}
c_1 & c_2 & c_3 \\ 
u_1 & u_2 & u_3 \\ 
v_1 & v_2 & v_3
\end{vmatrix}
=
v_1 d - v_2 (c_1 u_3 - c_3 u_1) + v_3 (c_1 u_2 - c_2 u_1) = v_1 d + c_1(v_3 u_2 - v_2 u_3).
$$
Now $(c_1, d) = 1$ and $(u_2, u_3) = 1$. Let us pick $v_2$ and $v_3$ such that $v_3 u_2 - v_2 u_3 \equiv c_1^{-1} \pmod d$. In that case the right hand side is congruent to $1$ modulo $d$. Finally let us pick $v_1$ such that it is equal to $1$.
