1以上1000以下の整数の中で、2, 3, 4, 5, 6で割った余りが全て異なるようなものはいくつあるか。

数論剰余合同式最小公倍数整数の性質
2025/4/25

1. 問題の内容

1以上1000以下の整数の中で、2, 3, 4, 5, 6で割った余りが全て異なるようなものはいくつあるか。

2. 解き方の手順

整数 nn が条件を満たすとする。
nn を2, 3, 4, 5, 6で割った余りはそれぞれ異なり、2で割った余りは0か1, 3で割った余りは0, 1, 2、4で割った余りは0, 1, 2, 3、5で割った余りは0, 1, 2, 3, 4、6で割った余りは0, 1, 2, 3, 4, 5である。
これらの余りは全て異なるので、nn を2, 3, 4, 5, 6で割った余りの組み合わせは、2×3×4×5×6=7202 \times 3 \times 4 \times 5 \times 6 = 720 通りよりはるかに少ない。
nnを2で割った余り: r2r_2
nnを3で割った余り: r3r_3
nnを4で割った余り: r4r_4
nnを5で割った余り: r5r_5
nnを6で割った余り: r6r_6
nr2(mod2)n \equiv r_2 \pmod{2}
nr3(mod3)n \equiv r_3 \pmod{3}
nr4(mod4)n \equiv r_4 \pmod{4}
nr5(mod5)n \equiv r_5 \pmod{5}
nr6(mod6)n \equiv r_6 \pmod{6}
r2,r3,r4,r5,r6r_2, r_3, r_4, r_5, r_6は全て異なる。
nr2(mod2)n \equiv r_2 \pmod{2} かつ nr3(mod3)n \equiv r_3 \pmod{3} かつ nr4(mod4)n \equiv r_4 \pmod{4} かつ nr5(mod5)n \equiv r_5 \pmod{5} かつ nr6(mod6)n \equiv r_6 \pmod{6}を満たす整数は、LCM(2,3,4,5,6)=60LCM(2, 3, 4, 5, 6) = 60 を法として一意に定まる。
rir_iが全て異なるとき、条件を満たすnn
na(mod60)n \equiv a \pmod{60}
と表せる。
ここで、LCM(2,3,4,5,6)=60LCM(2,3,4,5,6) = 60である。
もしna(mod60)n \equiv a \pmod{60}なら、n=60k+an = 60k + a (kは整数)である。
このとき、n(mod2)a(mod2)n \pmod{2} \equiv a \pmod{2}, n(mod3)a(mod3)n \pmod{3} \equiv a \pmod{3}, n(mod4)a(mod4)n \pmod{4} \equiv a \pmod{4}, n(mod5)a(mod5)n \pmod{5} \equiv a \pmod{5}, n(mod6)a(mod6)n \pmod{6} \equiv a \pmod{6}.
a,a+1,...,a+59a, a+1, ..., a+59を2, 3, 4, 5, 6で割った余りが全て異なるとき、aaは特別である。
2,3,4,5,6の最小公倍数は60なので、60で割った余りが0,1,2,3,4,5の順列になるものだけが答えになる。
0,1,2,3,4,5の順列の個数は6!=7206! = 720個ある。しかし、全ての割り算で余りが異なる必要がある。
ある整数nnが条件を満たす時、n+60n+60も条件を満たす。
nnを60で割った余りがaaであるとすると、aaは0から59のいずれか。
aaを2,3,4,5,6で割った余りが全て異ならなければならない。
0から59までの整数のうち、2,3,4,5,6で割った余りが全て異なるものは存在しない。
したがって、条件を満たす整数は存在しない。
しかし、問題文を読み返すと、2,3,4,5,62,3,4,5,6で割った余りがどの2つも異なる、とある。
これは、全て異なるという条件より弱い。
整数 nn が存在すると仮定する。
nr2(mod2)n \equiv r_2 \pmod{2}
nr3(mod3)n \equiv r_3 \pmod{3}
nr4(mod4)n \equiv r_4 \pmod{4}
nr5(mod5)n \equiv r_5 \pmod{5}
nr6(mod6)n \equiv r_6 \pmod{6}
ここで、rir_i は全て異なるとは限らない。
例えば、n=1n = 12,3,4,5,62, 3, 4, 5, 6 で割った余りがそれぞれ 1,1,1,1,11, 1, 1, 1, 1 である。
n=1n = 1 の場合、どの2つの余りも異ならない。
nnの個数は0である。
LCM(2,3,4,5,6)=60LCM(2, 3, 4, 5, 6) = 60.
n,n+1,...,n+59n, n+1, ..., n+59.

3. 最終的な答え

0

「数論」の関連問題

問題は、真分数を分母の小さい順に並べた数列 $\{a_n\}$ について、いくつかの値を求めたり、和を計算したりする問題です。

数列分数数列の一般項
2025/7/28

真分数を分母の小さい順に並べた数列$\{a_n\}$について、以下の問いに答える問題です。 (1) $a_{15}$ を求め、分母に初めて8が現れる項を求めます。 (2) $k \ge 2$ の自然数...

分数数列分母
2025/7/28

自然数 $n$ に対して、$n+1$ が6の倍数であり、$n+4$ が9の倍数であるとき、$n+13$ が18の倍数であることを証明する。

倍数整数の性質合同式証明
2025/7/28

2つの自然数 $a$ と $b$ が互いに素であるとき、$a$ と $a+b$ が互いに素であることを証明する。

互いに素証明背理法整数の性質
2025/7/28

2つの自然数 $a, b$ (ただし $a < b$)について、以下の2つの条件を満たす $a, b$ の組を全て求める問題です。 (1) 和が160で、最大公約数が8 (2) 積が300で、最小公倍...

最大公約数最小公倍数整数の性質互いに素
2025/7/28

$n$ は正の整数とする。$n, 175, 250$ の最大公約数が $25$、最小公倍数が $3500$ であるような $n$ をすべて求めよ。

最大公約数最小公倍数整数の性質素因数分解
2025/7/28

500以下の自然数の中で、正の約数の個数が9個である数は何個あるか。

約数素因数分解整数の性質
2025/7/28

問題は、与えられた数 (1) 196, (2) 936, (3) 3150 の正の約数の個数を求めることです。さらに、(1) 196 と (2) 936 については、約数の総和も求める必要があります。

約数素因数分解約数の個数約数の総和
2025/7/28

与えられた3つの整数(252, 675, 1782)をそれぞれ素因数分解する問題です。

素因数分解整数の性質
2025/7/28

20の倍数で、正の約数の個数が15個である自然数 $n$ をすべて求めよ。

約数素因数分解倍数
2025/7/28