代数学をやるその19　多項式と平方数

はじめに

またまた大学入試でも問われそうな大学院入試の問題を解いていきます．

※代数学をやるそのうんたらの他の問題たちが こちらのまとめページ から見れます．良ければリンクをご利用ください．

問題と解答

感想

「正の」という枕詞のおかげで$n$には$1$という下限が勝手についてくるため，問題はどうやって$n$を上から抑えるか？にすり替わります．$f(n)$の最初の項が$a^2{n}^2$とわざわざ平方数になっていることに着目すると，$an$に近い整数の平方と$f(n)$を比べてみよう，と思考が進むと思います．

発展

問題では$b$が$a$で割り切れないという条件が付いていましたが，上の証明は$b$が$2a$で割り切れないという条件さえあれば同様に展開できます．つまり条件を弱めることができるということですね．

$b$が$2a$で割り切れる場合を考えましょう．整数$k,l$によって$b=2ka,c=k^2+l$と表します．このとき
$$f(n)=a^2{n}^2+2kan+k^2+l=(an+k{)}^2+l$$
となります．
$l=0$のときは$f(n)=(an+k{)}^2$ですから，全ての正の整数$n$に対して$f(n)$が平方数となります．
$l\ne 0$とします．$f(n)$が平方数であるとすると，ある整数$m$によって$f(n)=m^2$と書けます．これより
$$(m-(an+k))(m+an+k)=m^2-(an+k{)}^2=l$$
となります．$l<0$なら両辺に$-1$を掛ければ同様の考察ができるので，ここでは$l>0$とします．$l$の素因数分解を考えると，$m-(an+k),m+an+k$の組み合わせは$l$の約数の個数しか存在せず，特にそれは有限です．その各組合せからは$m,n$に関する2元連立1次方程式を得ることができます．よってそれらの解として得られる$m,n$は高々有限個しか存在しません．これより$f(n)$が平方数となる正の整数$n$は高々有限個であることが分かります．

以上より，$f(n)$が平方数となる正の整数$n$の個数に関して，問題で示したことよりも詳しい次の命題を得ることができました．

次に，$f(n)$が平方数となる負の整数の個数はどうなるか考えてみましょう．多項式$g(X)$を$g(X)=a^2{X}^2-bX+c$で定めます．負の整数$n$を正の整数$n^{\prime }$によって$n=-n^{\prime }$と表すと，
$$f(n)=a^2{n}^2+bn+c=a^2{n}^{\prime 2}-b{n}^{\prime }+c=g(n^{\prime })$$
が成り立ちます．従って，$f(n)$が平方数であることと$g(n^{\prime })$が平方数であることは同値です．$g(X)$は$f(X)$と比べて$b$が$-b$に置き換わっただけなので，命題1から
$$\begin{array}{rl}& f(n)が平方数となる負の整数nが高々有限個\\ & ⟺g(n^{\prime })が平方数となる正の整数n^{\prime }が高々有限個\\ & ⟺-bが2aで割り切れない，もしくは，-b=2ka(k\in \mathbb{Z})と書けるときc\ne k^2\\ & ⟺bが2aで割り切れない，もしくは，b=2ka(k\in \mathbb{Z})と書けるときc\ne k^2\\ & ⟺f(n)が平方数となる正の整数nが高々有限個\end{array}$$
が成り立つことが分かります．以上より，$f(n)$が平方数となる整数の個数に関する次の定理が導かれました．

今回の記事は以上です．
最後までお読みいただきありがとうございました．