任意の整数 $n$ に対して、$n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3$ が18の倍数であることを示す問題です。

数論整数の性質因数分解倍数合同式
2025/5/17

1. 問題の内容

任意の整数 nn に対して、n76n65n5+6n4+4n3n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3 が18の倍数であることを示す問題です。

2. 解き方の手順

まず、与えられた式を因数分解します。
n76n65n5+6n4+4n3=n3(n46n35n2+6n+4)n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3 = n^3(n^4 - 6n^3 - 5n^2 + 6n + 4)
次に、n46n35n2+6n+4n^4 - 6n^3 - 5n^2 + 6n + 4 の部分をさらに因数分解できるか考えます。
n=1n=1 のとき、165+6+4=01 - 6 - 5 + 6 + 4 = 0 なので、n1n-1 を因数に持ちます。
同様に、n=1n=-1 のとき、1+656+4=01 + 6 - 5 - 6 + 4 = 0 なので、n+1n+1 を因数に持ちます。
また、n=2n=2 のとき、164820+12+4=36016 - 48 - 20 + 12 + 4 = -36 \ne 0
n=2n=-2 のとき、16+482012+4=36016 + 48 - 20 - 12 + 4 = 36 \ne 0
n=7n=7 のとき、746×735×72+6×7+4=24012058245+42+4=16407^4 - 6\times7^3 - 5\times7^2 + 6\times7 + 4 = 2401 - 2058 - 245 + 42 + 4 = 164 \ne 0
n=8n=8 のとき、846×835×82+6×8+4=40963072320+48+4=75608^4 - 6\times8^3 - 5\times8^2 + 6\times8 + 4 = 4096 - 3072 - 320 + 48 + 4 = 756 \ne 0
多項式を n21n^2 - 1 で割ると、
n46n35n2+6n+4=(n21)(n26n4)n^4 - 6n^3 - 5n^2 + 6n + 4 = (n^2 - 1)(n^2 - 6n - 4)
したがって、
n76n65n5+6n4+4n3=n3(n21)(n26n4)=n3(n1)(n+1)(n26n4)n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3 = n^3(n^2 - 1)(n^2 - 6n - 4) = n^3(n - 1)(n + 1)(n^2 - 6n - 4)
ここで、n1n-1, nn, n+1n+1 は連続する3つの整数なので、少なくとも一つは2の倍数であり、一つは3の倍数です。
したがって、n3(n1)(n+1)n^3(n-1)(n+1)2×3=62 \times 3 = 6 の倍数です。
つまり、n3(n1)(n+1)(n26n4)n^3(n - 1)(n + 1)(n^2 - 6n - 4)6(n26n4)6(n^2 - 6n - 4) の倍数です。
次に、n26n4n^2 - 6n - 4 が3の倍数となる条件を調べます。
n26n4=n24(mod3)n^2 - 6n - 4 = n^2 - 4 \pmod 3
n0(mod3)n \equiv 0 \pmod 3 のとき、n24412(mod3)n^2 - 4 \equiv -4 \equiv -1 \equiv 2 \pmod 3
n1(mod3)n \equiv 1 \pmod 3 のとき、n241430(mod3)n^2 - 4 \equiv 1 - 4 \equiv -3 \equiv 0 \pmod 3
n2(mod3)n \equiv 2 \pmod 3 のとき、n24440(mod3)n^2 - 4 \equiv 4 - 4 \equiv 0 \pmod 3
したがって、n1(mod3)n \equiv 1 \pmod 3 または n2(mod3)n \equiv 2 \pmod 3 のとき、n26n4n^2 - 6n - 4 は 3 の倍数です。
n0(mod3)n \equiv 0 \pmod 3 のとき、n3(n1)(n+1)n^3(n-1)(n+1)nn が 3 の倍数なので、n3n^3 も 3 の倍数なので、n3(n1)(n+1)n^3(n-1)(n+1) は3の倍数。さらに n1n-1n+1n+1 のどちらかは偶数になるので、n3(n1)(n+1)n^3(n-1)(n+1) は2の倍数。よって、6の倍数。
n1(mod3)n \equiv 1 \pmod 3 のとき、n1n-1 は 3 の倍数なので、n3(n1)(n+1)n^3(n-1)(n+1) は3の倍数。さらに n1n-1 は偶数となるため、n3(n1)(n+1)n^3(n-1)(n+1) は6の倍数。 n26n4n^2 - 6n - 4 が 3 の倍数なので、n3(n1)(n+1)(n26n4)n^3(n-1)(n+1)(n^2 - 6n - 4) は 18 の倍数。
n2(mod3)n \equiv 2 \pmod 3 のとき、n+1n+1 は 3 の倍数なので、n3(n1)(n+1)n^3(n-1)(n+1) は3の倍数。さらに n+1n+1 は奇数だが、 nn は偶数となるため、n3n^3 は偶数となり、n3(n1)(n+1)n^3(n-1)(n+1) は6の倍数。n26n4n^2 - 6n - 4 が 3 の倍数なので、n3(n1)(n+1)(n26n4)n^3(n-1)(n+1)(n^2 - 6n - 4) は 18 の倍数。
いずれの場合も、n3(n1)(n+1)(n26n4)n^3(n-1)(n+1)(n^2 - 6n - 4) は18の倍数となります。

3. 最終的な答え

n76n65n5+6n4+4n3n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3 は18の倍数である。

「数論」の関連問題

正の偶数の列を、第 $n$ 群に $(2n-1)$ 個の数が入るように群に分ける。 (1) 第 $n$ 群の最初の数を $n$ の式で表す。 (2) 第10群に入るすべての数の和 $S$ を求める。

数列等差数列群数列偶数和の公式
2025/5/18

$2^l 3^m 5^n$ ($l, m, n$は自然数)の形で表される数で、500以下のものの個数とそれらの総和を求める。

整数の性質素因数分解不等式約数
2025/5/17

整数 $n$ について、「$3n$ が偶数ならば、$n$ は偶数である」という命題を、対偶を利用して証明する。

命題対偶整数偶数奇数証明
2025/5/17

整数 $n$ について、「$3n$が偶数ならば、$n$は偶数である」という命題を、対偶を利用して証明する。

命題対偶整数偶数奇数証明
2025/5/17

任意の整数 $n$ に対して、$n^7 - 6n^6 - 5n^5 + 6n^4 + 4n^3$ が18の倍数であることを示す問題です。

整数の性質倍数因数分解合同式
2025/5/17

問題は、与えられた数 (1) 16 と (2) 360 の正の約数の個数をそれぞれ求める問題です。

約数素因数分解整数の性質
2025/5/17

問題は、次の2つの不定方程式の整数解をすべて求めることです。 (1) $12x - 17y = 2$ (2) $71x + 32y = 3$

不定方程式整数解ユークリッドの互除法
2025/5/17

与えられた方程式を満たす自然数の組 $(x, y, z)$ をすべて求めよ。ただし、$x \le y \le z$ とする。 (1) $\frac{1}{x} + \frac{1}{y} + \fra...

不定方程式分数自然数解
2025/5/17

1から200までの整数のうち、以下の条件を満たす数がそれぞれ何個あるかを求める問題です。 (1) 2と3と5の少なくとも1つで割り切れる数 (2) 2と3の両方で割り切れるが、5で割り切れない数

整数の性質約数倍数包除原理
2025/5/16

連続する3つの偶数の和が6の倍数になることを示してください。

整数の性質倍数偶数証明
2025/5/16