MathLabs

第1問

次の性質を満たすすべての合成数 n>1n>1 を求めよ:d1,d2,…,dkd_1, d_2, \ldots, d_k を nn のすべての正の約数とし、1=d1<d2<⋯<dk=n1=d_1<d_2<\cdots<d_k=n とする。このとき、すべての 1≤i≤k−21\le i\le k-2 に対して did_i は di+1+di+2d_{i+1}+d_{i+2} を割り切る。
ステップ 3/3: 連鎖条件が不可能な比を強いる
ざっくり言うと

対称な約数を必要な整除条件に代入すると、問題全体は一つの特定の分数が整数かどうかを確認するだけの話になるが、それは決して整数にならない。

q(p+1)pe∈Z\dfrac{q(p+1)}{p^e}\in\mathbb{Z}
詳しい解説

指数 i=k−e−1i=k-e-1 で性質を適用する:dk−e−1∣dk−e+dk−e+1d_{k-e-1}\mid d_{k-e}+d_{k-e+1} は nq∣npe+npe−1=n(p+1)pe\frac nq \mid \frac n{p^e}+\frac n{p^{e-1}}=\frac{n(p+1)}{p^e} を意味する。両辺を n/pen/p^e で割ると(この整除性は得られる比が整数であることと同値)、q(p+1)pe\frac{q(p+1)}{p^e} が整数でなければならないことが分かる。しかし gcd⁡(p,q)=1\gcd(p,q)=1 かつ gcd⁡(p,p+1)=1\gcd(p,p+1)=1 なので、e≥1e\ge1 である限り pep^e は q(p+1)q(p+1) を割り切れず、矛盾が生じる。したがって nn は素因数を一つしか持たず、ステップ1と合わせると、この性質を持つ合成数はちょうど素数のべき乗 n=pr, r≥2n=p^r,\ r\ge2 である。