MathLabs

第1题

求所有满足 o≥2o \ge 2 的正整数四元组 (a,p,m,o)(a, p, m, o),使得 a!+p!=mo+26a! + p! = m^o + 26。
第 2/5 步:排除 p=1p=1
p=1: a!=mo+25, a≥5, 5∣m, m odd, o≥3  ⟹  10≤a≤14, 53∤a!−25p=1:\ a!=m^{o}+25,\ a\ge5,\ 5\mid m,\ m\text{ odd},\ o\ge3 \implies 10\le a\le14,\ 5^3\nmid a!-25
详细分析

若 p=1p=1,则 a!=mo+25a!=m^o+25,由 a!≥26a!\ge26 得 a≥5a\ge5,从而 5∣m5\mid m。若 oo 为偶数,则(因 mm 为奇数)mo≡1(mod4)m^o\equiv1\pmod4,得 a!≡2(mod4)a!\equiv2\pmod4,与 a≥5a\ge5 矛盾;故 oo 为奇数且 o≥3o\ge3。由 53∣mo5^3\mid m^o 得 a!≡25(mod125)a!\equiv25\pmod{125},从而 10≤a≤1410\le a\le14;直接检验可知对所有这些 aa 都有 53∤a!−255^3\nmid a!-25,故 p=1p=1 无解。