2以上の自然数nに対して方程式
x^n+2y^n=4z^n
を考える

n≧3のとき方程式を満たす自然数x,y,zが存在しないことを示せ


背理法っすか？どなたかお願いします