2026.03.02.19:08:49記
(1) ,
を求めよ.
(2) を示せ.
(3) であるとき,
がとりうる値を求めよ.
2026.03.02.19:08:49記
東大の整数の問題は最近は重たいように思います.自然数 の積
を
で割った余りが
となるのは,片方が
で割った余りが
でもう片方を
で割った余りが
となる場合に限るので,
で割った余りが
となる数を複数乗じたとき,その結果を
で割った余りが
となるのは奇数回乗じたときに限ります.
以下,整数
(1) の正の約数の個数は
個であり,
なるものは存在しない.
は
個の素数の積で,そのうち
であるものは
個である.ここで正の約数が
となるのは,
となる素数を奇数回乗じたものに限る.
(i) となる素数を
回乗じたものは
に
を乗じるか否かの
個.
(ii) となる素数を
回乗じたものは
に
を乗じるか否かの
個.
(iii) となる素数を
回乗じたものは
に
を乗じるか否かの
個.
よって ,
となる.
(2)(a) (
は正の整数)としたとき
,
であるから始めから
は
を素因数にもたないとして良い.
(b) を
となる素因数全ての積
と
となる素因数全ての積
の積によって
としたとき
,
であるから,
と
は同値であるから,始めから
は
となる素因数しか持たないとして良い.
(c) が
となる素因数のみで構成されるとき,
の素因数分解のある素数
の指数
が
以上とする.このとき
の指数が
である正の約数が
のとき,
の指数が
である正の約数は
であり,
の指数が
である正の約数が
のとき,
の指数が
である正の約数は
であるから,
の指数が
である
となる正の約数の個数と,
の指数が
である
となる正の約数の個数は等しい.…(★)
よって繰り返し(★)を用いることにより (
は自然数)を満たす範囲内で「
の指数が
である
となる正の約数の個数と,
の指数が
である
となる正の約数の個数は等しくなる.よって
が奇数のときは
なる
を考えることにより,
となる.
つまり, の素因数分解を構成する
である素数の指数が奇数となるものが
つでも存在すれば
となる.そして
である素数の指数が全て偶数の場合は(★)を繰り返して素数の指数を全て
にすることができ,このとき
となるので
となる.
よって が言えた.
(3) (2)(b)を考えると であるから
以外に
,
,
,
となりうる.
よって ,
,
,
,
となり得る.このとき
,
,
,
,
に注意すると
,
,
,
,
のときに
,
,
,
,
となることがわかる.
以外に例えば
となりうる,としたときの
の
は(2)(c)の
に由来しています.つまり
が
となる素因数のみで構成されるときの
ですから,
である素数
を用いて
としたとき,
の冪乗は
で
が交互に登場するので,
が
回,
が
回登場する
は
(羃が
から始まるので
を引きます)となります.そして
の
は
となる素数の積で約数が
個のものを指していますので,例えば
とすれば良いことがわかります.よって
となる例として
を挙げることができるという訳です.
[大人の解答]として母関数を用いる解法もあります.
以下,整数
(2) である素数
,
である素数
を用いて
のとき,
の偶数次の項の係数和が で奇数次の項の係数和が
となるから
,
が成立する.
について
であるから, となり
が成立する.
(2)の等号成立は の少なくとも
つが奇数となることで,このとき
となります.
よって(3)で のとき
で
の少なくとも
つが偶数となるので
が
で割れないことから
のうち偶数は
つしかありません.あとは
を
以上の奇数の
個以上の積で表現する方法は
だけなので
,
(
は
でなければならないが,
ではない異なる素数
は
でも
でも良い).
そして の全てが偶数のとき,
となります.また
ですから
,
が成立します.よって(3)で のとき
で
の全てが奇数となるので
が偶数で
の可能性があり,このとき
は
と全て素数になっています(絶妙の設定).よって
のいずれかであり,
は奇数です.よって
,
,
,
,
のいずれかとなります.つまり.
,
,
,
,
の形のいずれかとなります.なお,
,
,
,
,
です.
この結果に基づいて具体例を提示すれば良いでしょう( つの異なる素数の積の例を出す人はあまりいないように思いますが).
2026.03.02.19:08:49記
[解答](2)を見直したら冗長((2)(c)の議論だけで十分)でしたので同じ内容ですが書き直しておきます.
以下,整数
(2) が
となる素数
を含むとする.このとき
の指数が
である正の約数が
のとき,
の指数が
である正の約数は
であり,
の指数が
である正の約数が
のとき,
の指数が
である正の約数は
であるから,
の指数が
である
となる正の約数の個数と,
の指数が
である
となる正の約数の個数は等しい.…(★)
よって繰り返し(★)を用いることにより (
は自然数)を満たす範囲内で「
の指数が
である
となる正の約数の個数と,
の指数が
である
となる正の約数の個数は等しくなる.よって
が奇数のときは
なる
を考えることにより,
となる.
つまり, の素因数分解を構成する
である素数の指数が奇数となるものが
つでも存在すれば
となる.
ここで である素数の指数が全て偶数の場合は(★)を繰り返して
である素数の指数を全て
にしたとき(その素数を取り除いたとき)に
が
になったとすると
が成り立つ.ここで
は
である素数の積であるから
の約数は全て
となるので,
,
が成立する.
よって となり
となる.
よって が言えた.