$a$와 $b$는 자연수이고 $a^2+b^2$ 은 $ab+1$ 로 나누어떨어진다. \[ \frac{a^2+b^2}{ab+1}\]은 완전제곱수임을 보여라.