已知两个自然数b c ,质数a 且a^2+b^2=c^2 求证:a<b ,c=b+1