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

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

1. 問題の内容

nn は自然数とする。n+1n+166 の倍数であり、n+4n+499 の倍数であるとき、n+13n+131818 の倍数であることを証明する。

2. 解き方の手順

まず、n+1n+166 の倍数であることから、ある整数 kk を用いて
n+1=6kn+1 = 6k
と表せる。したがって、
n=6k1n = 6k - 1
次に、n+4n+499 の倍数であることから、ある整数 ll を用いて
n+4=9ln+4 = 9l
と表せる。したがって、
n=9l4n = 9l - 4
これら2つの式から、
6k1=9l46k - 1 = 9l - 4
これを変形すると、
6k=9l36k = 9l - 3
2k=3l12k = 3l - 1
2k1(mod3)2k \equiv -1 \pmod{3}
2k2(mod3)2k \equiv 2 \pmod{3}
k1(mod3)k \equiv 1 \pmod{3}
したがって、k=3m+1k = 3m+1 と表せる(mmは整数)。
これを n=6k1n = 6k - 1 に代入すると、
n=6(3m+1)1n = 6(3m+1) - 1
n=18m+61n = 18m + 6 - 1
n=18m+5n = 18m + 5
したがって、
n+13=18m+5+13n+13 = 18m + 5 + 13
n+13=18m+18n+13 = 18m + 18
n+13=18(m+1)n+13 = 18(m+1)
m+1m+1 は整数であるから、n+13n+131818 の倍数である。

3. 最終的な答え

したがって、n+13n+131818 の倍数である。

「数論」の関連問題

正の整数 $a, b, c$ に対して $M = 3^a + 3^b + 3^c + 1$ を定義します。この $M$ が立方数となるような $a, b, c$ の組を求めます。 (1) $a < b...

整数立方数指数
2025/7/26

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

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

20の倍数であり、正の約数の個数が15個である自然数 $n$ を全て求める問題です。

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

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

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

自然数 $n$ は5の倍数であるならば、自然数 $n$ は10の倍数である、という命題の真偽を判定する問題です。

命題真偽判定倍数整数の性質
2025/7/26

$\sqrt{3}$が無理数であることを用いて、以下の数が無理数であることを背理法で証明せよ。 (1) $1 + \sqrt{3}$ (2) $\sqrt{12}$ (3) $\frac{2}{\sq...

無理数背理法平方根証明
2025/7/26

$m$, $n$, $k$ は自然数であるとき、命題「積 $mnk$ が偶数ならば、$m$, $n$, $k$ の少なくとも1つは偶数である」が真であることを証明する。

命題証明偶数奇数対偶整数の性質
2025/7/26

$\sqrt{3}$ が無理数であることを用いて、以下の数が無理数であることを背理法で証明する。 (1) $1 + \sqrt{3}$ (2) $\sqrt{12}$ (3) $\frac{2}{\s...

無理数背理法平方根証明
2025/7/26

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

命題対偶整数の性質代数
2025/7/26

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

命題対偶証明整数の性質偶数奇数
2025/7/26