求出不定方程x^2+2y^2=z^2的全部整数解.