已知a2+b2=c2,a,b,c为正整数,且a为质数,求证2(a+b+1)为完全平方数