某数学爱好者玩某种游戏,每局可玩若干次,每次得分可能值为 $0, 7,$ 或 $a$(自然数)。每局中各次得分之和为总积分。
此人曾经得到过这样的总积分:$101,102,103,104,105,106,107$。又知他不可能得到 83 这个总积分。
求 $a$ 的所有可能值。
test1[n_] := AllTrue[Solve[7 x + n y == #, {x, y}, NonNegativeIntegers]& /@ Range[101, 107], # != {} &];
test2[n_] := Solve[7 x + n y ==83, {x, y}, NonNegativeIntegers] == {};
Select[Range[107], test1[#] && test2[#]&]
(* {15} *)
总积分是 $7$ 和 $a$ 的线性组合: $S=7x+ay$.
由 $101,102,103,104,105,106,107$ Mod $7$ 的结果构成集合 $\{0, 1, 2, 3, 4, ,5, 6\}$ 可知 $7$ 与 $a$ 互质,
从而 $\{a, 2a, 3a, 4a, 5a, 6a\} Mod 7$ 结果构成集合 $\{0, 1, 2, 3, 4, ,5, 6\}$。
$ 83\equiv 6(Mod\ 7)$, 如果 $6a \leq 83$, 则 $83$ 可以写成 $a*N+7*M$,与总积分不可能是83矛盾,
所以 $6a>83 \Rightarrow a \geq 14$, 14与7不互质,所以 $a \geq 15$.
如果 $6a > 107$, 则 $101~107$ 中至少有一个数不能写成 $a*N+7*M$,与题意矛盾,
所以 $6a\leq 107 \Rightarrow a\leq17$
分别在 $a=\{15,16,17\}$ 时,对方程 $7x+ay=83$ 求整数解,得仅 $a=15$时,无整数解。
所以 $a=15$.