任意の整数 $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の倍数である。

「数論」の関連問題

与えられた選択肢の中から、正しいものを全て選ぶ問題です。 選択肢は以下の4つです。 (1) 無理数と無理数の差は常に無理数である。 (2) 有理数と有理数の差は常に有理数である。 (3) 無理数と無理...

有理数無理数数の性質四則演算
2025/7/30

$n^2 + n$ が200の倍数となるような自然数 $n$ のうち、最も小さい数を求めよ。

整数の性質因数分解倍数約数
2025/7/30

自然数 $n$ に対して、$2^{6n-5} + 3^{2n}$ が11で割り切れることを示す問題です。

数学的帰納法整数の性質割り算倍数
2025/7/30

自然数 $n$ が与えられたとき、$n$ と 28 の最小公倍数が 168 であるような $n$ をすべて求める問題です。

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

4で割ると1余る整数と4で割ると3余る整数の積に1を加えた数が、4の倍数であることを証明する問題です。空欄(1)~(6)に適切な選択肢を当てはめます。

整数の性質合同式剰余
2025/7/30

$1997^{20}$ の一の位の数を求める問題です。

整数の性質合同算術一の位周期性
2025/7/30

$\sqrt{5}$が無理数であることを利用して、$2 - \sqrt{5}$が無理数であることを証明する問題です。与えられた証明の空欄を埋めます。

無理数有理数背理法数の性質
2025/7/30

自然数 $n$ についての命題「$n$ が 3 の倍数ならば、$n$ は 6 の倍数である」の真偽を判定する問題です。

倍数命題真偽判定反例
2025/7/30

次の2つの一次不定方程式の整数解をすべて求めます。 (1) $11x + 8y = 1$ (2) $56x - 23y = 2$

一次不定方程式整数解ユークリッドの互除法
2025/7/30

問題は、次の不定方程式を満たす整数 $x$ と $y$ の組を1つ求めることです。 (1) $42x + 29y = 2$ (2) $25x - 61y = 12$

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