整数 $m, n$ が与えられたとき、方程式 $48n + 3 = m^2$ を満たす $m, n$ の組が存在しないことを示します。

数論合同式整数の性質剰余
2025/5/13

1. 問題の内容

整数 m,nm, n が与えられたとき、方程式 48n+3=m248n + 3 = m^2 を満たす m,nm, n の組が存在しないことを示します。

2. 解き方の手順

まず、与えられた方程式を変形します。
48n+3=m248n + 3 = m^2 より、
3(16n+1)=m23(16n + 1) = m^2
この式から、m2m^2 は3の倍数であることがわかります。したがって、mm も3の倍数でなければなりません。そこで、m=3km = 3kkk は整数)とおきます。これを上記の式に代入すると、
3(16n+1)=(3k)23(16n + 1) = (3k)^2
3(16n+1)=9k23(16n + 1) = 9k^2
16n+1=3k216n + 1 = 3k^2
16n=3k2116n = 3k^2 - 1
この式から、3k213k^2 - 1 は16の倍数であることがわかります。
つまり、3k210(mod16)3k^2 - 1 \equiv 0 \pmod{16} となります。
これを変形すると、3k21(mod16)3k^2 \equiv 1 \pmod{16} となります。
k231(mod16)k^2 \equiv 3^{-1} \pmod{16}
ここで、31(mod16)3^{-1} \pmod{16} は、3と掛けて16で割った余りが1になるような数です。
3×11=331(mod16)3 \times 11 = 33 \equiv 1 \pmod{16} なので、3111(mod16)3^{-1} \equiv 11 \pmod{16} です。
したがって、k211(mod16)k^2 \equiv 11 \pmod{16} となります。
次に、kk(mod16)\pmod{16} で考えます。kk は整数なので、kk の候補は 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,150, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 です。
それぞれの kk に対して k2(mod16)k^2 \pmod{16} を計算します。
* 020(mod16)0^2 \equiv 0 \pmod{16}
* 121(mod16)1^2 \equiv 1 \pmod{16}
* 224(mod16)2^2 \equiv 4 \pmod{16}
* 329(mod16)3^2 \equiv 9 \pmod{16}
* 42160(mod16)4^2 \equiv 16 \equiv 0 \pmod{16}
* 52259(mod16)5^2 \equiv 25 \equiv 9 \pmod{16}
* 62364(mod16)6^2 \equiv 36 \equiv 4 \pmod{16}
* 72491(mod16)7^2 \equiv 49 \equiv 1 \pmod{16}
* 82640(mod16)8^2 \equiv 64 \equiv 0 \pmod{16}
* 92811(mod16)9^2 \equiv 81 \equiv 1 \pmod{16}
* 1021004(mod16)10^2 \equiv 100 \equiv 4 \pmod{16}
* 1121219(mod16)11^2 \equiv 121 \equiv 9 \pmod{16}
* 1221440(mod16)12^2 \equiv 144 \equiv 0 \pmod{16}
* 1321699(mod16)13^2 \equiv 169 \equiv 9 \pmod{16}
* 1421964(mod16)14^2 \equiv 196 \equiv 4 \pmod{16}
* 1522251(mod16)15^2 \equiv 225 \equiv 1 \pmod{16}
k2(mod16)k^2 \pmod{16} の値は 0,1,4,90, 1, 4, 9 のいずれかであり、11にはなりません。
したがって、k211(mod16)k^2 \equiv 11 \pmod{16} を満たす整数 kk は存在しません。
よって、48n+3=m248n + 3 = m^2 を満たす整数 m,nm, n の組は存在しません。

3. 最終的な答え

48n+3=m248n + 3 = m^2 を満たす整数 m,nm, n の組は存在しない。

「数論」の関連問題

与えられた6つの一次不定方程式について、全ての整数解を求める。

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

与えられた不定方程式の整数解を全て求める問題です。具体的には以下の4つの方程式の整数解を求めます。 (2) $55x + 23y = 1$ (3) $58x + 47y = 2$ (4) $61x -...

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

次の条件を満たす自然数 $n$ を求めます。 (1) $n, 12, 20$ の最大公約数が 4、最小公倍数が 180 (2) $n, 125, 175$ の最大公約数が 25、最小公倍数が 3500

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

$n$ は正の整数とする。以下の2つの条件を満たす $n$ をすべて求める問題です。 (1) $n$ と18の最小公倍数が900 (2) $n$ と28の最小公倍数が7

最小公倍数素因数分解整数の性質
2025/5/13

(1) 20の倍数で、正の約数の個数が10個である自然数 $n$ を求めよ。 (2) 300以下の自然数のうち、正の約数の個数が9個である数をすべて求めよ。

約数素因数分解倍数
2025/5/13

(1) 整数 $a$ の平方 $a^2$ が3の倍数ならば、$a$ は3の倍数である。このことを用いて、$\sqrt{3}$ が無理数であることを証明する。 (2) 次の等式を満たす有理数 $a, b...

無理数背理法平方根有理数
2025/5/13

正の実数 $x, y$ に関する次の命題の真偽を判定し、真ならば証明し、偽ならば反例を挙げる問題です。 (1) $x$ が無理数かつ $y$ が有理数ならば、$x+y$ は無理数である。 (2) $x...

無理数有理数証明背理法反例
2025/5/13

$\sqrt{3}$ が無理数であることを背理法を用いて証明する。

無理数背理法平方根証明
2025/5/13

自然数の列を、第$n$群が$2^{n-1}$個の自然数を含むように区切る。 (1) 第$n$群の最初の自然数を求める。 (2) 500が第何群の第何項かを求める。 (3) 第$n$群にあるすべての自然...

数列等比数列等差数列自然数
2025/5/13

ある2桁の整数$X$について、以下の情報が与えられている。 * $X$を9で割ると1余る。 * $X$を11で割ると2余る。 このとき、$X$を13で割ったときの余りを求めよ。

合同式不定方程式剰余中国剰余定理
2025/5/13