a^2+b^2=c^2+2
を満たす自然数(a,b,c)が存在するならば、すべて求めよ。