MathLabs

第1問

o≥2o \ge 2 を満たす正の整数の組 (a,p,m,o)(a, p, m, o) で a!+p!=mo+26a! + p! = m^o + 26 となるものをすべて求めよ。
ステップ 4/5: p=3p=3 を解く
p=3: a!=mo+20; a=4⇒(m,o)=(2,2); a=5⇒(m,o)=(10,2); a≥6 impossiblep=3:\ a!=m^{o}+20;\ a=4\Rightarrow(m,o)=(2,2);\ a=5\Rightarrow(m,o)=(10,2);\ a\ge6\text{ impossible}
詳しい解説

p=3p=3 のとき a≥3a\ge3 だが、a=3a=3 では a!−26<0a!-26<0 となり mo>0m^o>0 に反するので、a≥4a\ge4 である。直接計算すると a=4⇒mo=4a=4\Rightarrow m^o=4 より (m,o)=(2,2)(m,o)=(2,2)、a=5⇒mo=100a=5\Rightarrow m^o=100 より (m,o)=(10,2)(m,o)=(10,2)。a≥6a\ge6 では 16∣a!16\mid a! なので mo≡−20≡12(mod16)m^o\equiv-20\equiv12\pmod{16} となり mm は偶数。4∣m4\mid m または o≥3o\ge3 なら 8∣mo8\mid m^o となり mo≡4(mod8)m^o\equiv4\pmod8 に反する。m≡2(mod4)m\equiv2\pmod4 かつ o=2o=2 なら m2≡4(mod16)m^2\equiv4\pmod{16} なので m2+20≡8(mod16)≠0≡a!(mod16)m^2+20\equiv8\pmod{16}\ne0\equiv a!\pmod{16}。よって a≥6a\ge6 は不可能で、上の二つの解のみが残る。