a,bはa^2+b^2がab+1で割り切れるような正整数とする。このとき、(a^2+b^2)/(ab+1)が完全平方数であることを示せ。