前回 (abc予想と昔考えたこと)は、素数次円分多項式はその素数が7以上ならばabc予想の仮定の下で平方以上の素冪の値を高々有限回しか取らないということを示した。
素数次以外も同様のことが証明できる、というのはまあ読者の練習問題でもいいのだが、せっかくなので書いてみることにする。
を合成数とし、 が 以上(つまり 以外)と仮定しよう。
次円分多項式 が、 で素冪の値 を取ると仮定する。ここでもちろん である。
円分多項式はよく知られているように を満たすので、
と書ける。ただし、右辺の積は 以外の の約数に亘る。
と右辺の各因子は互いに素なのでabc予想が使える。
abc予想:
任意の に対して, ある正の定数 が存在して, 次を満たす:
, , が互いに素な整数で を満たすならば, 不等式
が成立する.
少し余談を挟むと、前回もそうだったのだが、左辺は を取るのが大事なのではなく、「 右辺」かつ「 右辺」と二つの式を両立できる、と考えるのが使い方のコツである。
ではまず から使おう。
ここで円分多項式の積の部分は 次の多項式なので、適当な定数 を取れば で上から抑えられる。
さらに について左辺にまとめてしまおう。
次は を使う。
そして今度は を左辺に、 を右辺にまとめる。
先程と同様円分多項式の積の部分は上からの評価に代えて
を得る。
式変形を簡単にするために とおく。
の評価式の冪は次のようになる。
一方 の評価式の右辺の の冪は
となる。
ここで両者に共通する を と の間という気持ちを込めて と書くことにする。
それでは二つの式をまとめていこう。
ここで の評価を第2式で置き換えたいのだが、冪 がちょうど のとき、そのままでは なので、乗する(仮定した条件から乗すれば良いことは容易に判る)。
ここで を左辺に移項すると、
という評価を得る。
ここで最初に仮定したように なので左辺の の冪は正であり、右辺は定数であるから、可能な の整数値は有限個である。
まとめると次のことが証明できた。
を を満たす合成数とすると、abc予想が成り立つならば、円分多項式 が平方以上の素冪の値をとるのはどの についても高々有限回に限る。