C=0C=0C=0 を AC=B2−kAC=B^2-kAC=B2−k に代入すると k=B2k=B^2k=B2。従って求める商 k=a2+b2ab+1k=\frac{a^2+b^2}{ab+1}k=ab+1a2+b2 は整数 B の平方である。