数论题瞎做[1]

前言

某个学MO的朋友给我看的题

这题似乎是1994年国家数学集训队选拔考试D1T1

怪不得我做了好久（

upd.20220513 害，他半途而废退役了

---

---

一、题面

求四个所有的由四个自然数 $a,b,c,d$ 组成的数组，使数组中任意三个数的乘积除以剩下的一个数余数为 $1$

二、题解

（注：我写的可能有点不太正式，毕竟我只是个OIer）

由题意可得

$abc\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}d$

$abd\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}c$

$acd\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}b$

$bcd\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}a$

可化为

$d|(abc-1)$

$c|(abd-1)$

$b|(acd-1)$

$a|(bcd-1)$

$\therefore ab|(acd-1)(bcd-1)\Rightarrow ab|(ab{c}^2{d}^2-acd-bcd+1)$

$\therefore ab|(acd+bcd-1)$

同理 $cd|(abc+abd-1)$

$\therefore abcd|(a^{2}b{c}^{2}d+a{b}^2{c}^{2}d+a^{2}b{c}^{2}d+a{b}^{2}c{d}^2-abc-abd-acd-bcd+1)$

$\therefore abcd|(abc+abd+acd+bcd-1)$

设 $t=\frac{abc+abd+acd+bcd-1}{abcd}$

$\therefore t=\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}-\frac{1}{abcd}$

显然 $a,b,c,d$ 两两互质，且 $a\ge 2$

由于不考虑顺序，则假设 $2\le a<b<c<d$

$\therefore t<\frac{4}{a}\le 2$

$\because t\in {\mathbb{Z}}^{+}$

$\therefore a=2,3,t=1$

当 $a=3$ 时，$t_{max}=\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\frac{1}{6}-\frac{1}{360}=\frac{341}{360}<1$$\therefore$舍去

当 $a=2$ 时，$t_{max}=\frac{1}{2}+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}-\frac{1}{210}=\frac{246}{210}>1$

$\therefore a=2$

$\therefore \frac{1}{2}<\frac{3}{b}$

$\therefore b=3,5$

当 $b=5$ 时，$t_{max}=\frac{1}{2}+\frac{1}{5}+\frac{1}{7}+\frac{1}{9}-\frac{1}{630}=\frac{600}{630}<1$$\therefore$舍去

当 $b=3$ 时，$t_{max}=\frac{1}{2}+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}-\frac{1}{210}=\frac{246}{210}>1$

$\therefore b=3$

$\therefore \frac{1}{6}<\frac{2}{c}$

$\therefore c=7,11$

当 $c=7$ 时，$t_{max}=\frac{1}{2}+\frac{1}{3}+\frac{1}{7}+\frac{1}{11}-\frac{1}{462}=\frac{492}{462}>1$

当 $c=11$ 时，$t_{max}=\frac{1}{2}+\frac{1}{3}+\frac{1}{11}+\frac{1}{13}-\frac{1}{858}=\frac{858}{858}=1$

显然当 $c=11$ 时 $d=13$

则一组解为 $2,3,11,13$

当 $c=7$ 时

$\frac{1}{42}<\frac{1}{d}$

$\therefore d=41$

则另一组解为 $2,3,7,41$

综上所述，答案为 $2,3,11,13$ 或 $2,3,7,41$

---

总结

简单讲了一道简单数论题

为了验算结果我直接敲了个 $O(n^4)$ 的暴力（傻）

转载请说明出处