３つの自然数a,b,cが a^2+b^2=c^2を満たしている。このときa,bの少なくとも一方は偶数であることを証明せよ。