a^2+(a+1)^2が平方数となるような自然数aは無限に存在するか