整数 $m$ と自然数 $n$ があり、$m$ を $2n-1$ で割ると $n-1$ 余り、$2n+1$ で割ると $n$ 余る。 (1) $2n-1$ と $2n+1$ が互いに素であることを示す。 (2) $n=5$ のときの $m$ を全て求める。 (3) $m$ を $4n^2 - 1$ で割った余りを $n$ で表す。

数論合同式最大公約数中国剰余定理整数の性質
2025/3/30

1. 問題の内容

整数 mm と自然数 nn があり、mm2n12n-1 で割ると n1n-1 余り、2n+12n+1 で割ると nn 余る。
(1) 2n12n-12n+12n+1 が互いに素であることを示す。
(2) n=5n=5 のときの mm を全て求める。
(3) mm4n214n^2 - 1 で割った余りを nn で表す。

2. 解き方の手順

(1) 2n12n-12n+12n+1 の最大公約数を dd とすると、
dd(2n+1)(2n1)=2(2n+1) - (2n-1) = 2 を割り切る。
よって d=1d = 1 または d=2d = 2 である。
しかし、2n12n-12n+12n+1 は奇数なので、dd は奇数でなければならない。
したがって、d=1d=1 であり、2n12n-12n+12n+1 は互いに素である。
(2) n=5n=5 のとき、2n1=92n-1 = 9 で、2n+1=112n+1 = 11 である。
mm99 で割ると n1=4n-1 = 4 余り、1111 で割ると n=5n = 5 余る。
よって、ある整数 k,lk, l を用いて
m=9k+4m = 9k + 4
m=11l+5m = 11l + 5
と表せる。
9k+4=11l+59k + 4 = 11l + 5 より
9k11l=19k - 11l = 1
9(5)11(4)=19(5) - 11(4) = 1 であるから、
9k11l=9(5)11(4)9k - 11l = 9(5) - 11(4)
9(k5)=11(l4)9(k-5) = 11(l-4)
991111 は互いに素なので、k5=11tk-5 = 11ttt は整数)とおける。
k=11t+5k = 11t + 5
m=9(11t+5)+4=99t+45+4=99t+49m = 9(11t + 5) + 4 = 99t + 45 + 4 = 99t + 49
したがって、m=99t+49m = 99t + 49tt は整数)である。
(3) mm2n12n-1 で割ると n1n-1 余り、2n+12n+1 で割ると nn 余るから、ある整数 k,lk, l を用いて
m=(2n1)k+(n1)m = (2n-1)k + (n-1)
m=(2n+1)l+nm = (2n+1)l + n
と表せる。
(2n1)k+(n1)=(2n+1)l+n(2n-1)k + (n-1) = (2n+1)l + n より
(2n1)k(2n+1)l=n+1(2n-1)k - (2n+1)l = n+1
m=(2n1)k+(n1)m = (2n-1)k + (n-1) より
k=m(n1)2n1k = \frac{m-(n-1)}{2n-1}
m=(2n+1)l+nm = (2n+1)l + n より
l=mn2n+1l = \frac{m-n}{2n+1}
これらより
mn1(mod2n1)m \equiv n-1 \pmod{2n-1}
mn(mod2n+1)m \equiv n \pmod{2n+1}
中国剰余定理より、4n21=(2n1)(2n+1)4n^2-1 = (2n-1)(2n+1) なので、
ma(2n+1)+b(2n1)(mod4n21)m \equiv a(2n+1) + b(2n-1) \pmod{4n^2-1}
a(2n+1)n1(mod2n1)a(2n+1) \equiv n-1 \pmod{2n-1}
a(2n+1)a(2n1+2)2an1(mod2n1)a(2n+1) \equiv a(2n-1 + 2) \equiv 2a \equiv n-1 \pmod{2n-1}
b(2n1)n(mod2n+1)b(2n-1) \equiv n \pmod{2n+1}
b(2n1)b(2n+12)2bn(mod2n+1)b(2n-1) \equiv b(2n+1-2) \equiv -2b \equiv n \pmod{2n+1}
2an1(mod2n1)2a \equiv n-1 \pmod{2n-1} より、2a=n1+(2n1)x2a = n-1 + (2n-1)xxxは整数)
2bn(mod2n+1)-2b \equiv n \pmod{2n+1} より、2b=n+(2n+1)y-2b = n + (2n+1)yyyは整数)
m(2n+1)(n1)+(2n1)(n)(mod4n21)m \equiv (2n+1)(n-1) + (2n-1)(-n) \pmod{4n^2-1}
m2n2n12n2+n(mod4n21)m \equiv 2n^2 - n - 1 - 2n^2 + n \pmod{4n^2-1}
m1(mod4n21)m \equiv -1 \pmod{4n^2-1}
m4n22(mod4n21)m \equiv 4n^2 - 2 \pmod{4n^2-1}
よって余りは 4n224n^2 - 2
別解:
m=(2n1)a+n1=(2n+1)b+nm=(2n-1)a + n-1 = (2n+1)b + n とおく。
(2n1)a+n1=(2n+1)b+n(2n-1)a + n-1 = (2n+1)b + n
(2n1)a=(2n+1)b+1(2n-1)a = (2n+1)b + 1
2naa=2nb+b+12na-a = 2nb + b + 1
2n(ab)=a+b+12n(a-b) = a+b+1
ab=1a-b=1とすると、2n=a+b+12n = a+b+1 より、2n=b+1+b+1=2b+22n = b+1+b+1 = 2b+2 なので、b=n1b=n-1, a=na=n
したがって、m=(2n1)n+n1=2n2n+n1=2n21m = (2n-1)n + n-1 = 2n^2-n+n-1 = 2n^2-1
また、m=(2n+1)(n1)+n=2n22n+n1+n=2n21m = (2n+1)(n-1) + n = 2n^2-2n+n-1 + n = 2n^2-1
4n21=2(2n21)+14n^2 - 1 = 2(2n^2 - 1) + 1
4n214n^2-1 で割った余りは 2n212n^2-1

3. 最終的な答え

(1) 2n12n-12n+12n+1 は互いに素である。
(2) m=99t+49m = 99t + 49 (tt は整数)
(3) 2n212n^2-1

「数論」の関連問題

$123^{2018}$ を10進法で表したときの一の位の数字と、$123^{2018}$ を5進法で表したときの一の位の数字を求める問題です。

合同算術剰余冪乗位取り記数法
2025/7/24

複数の問題があります。 * 問題1: 与えられた5つの文のうち、正しいものをすべて選択します。 * 問題2: 60と42の正の公約数の個数を求めます。 * 問題3: 60と42の正および負...

約数公約数ユークリッドの互除法整数の性質
2025/7/24

(1) 1000から9999までの4桁の自然数のうち、ちょうど2種類の数字から成り立っているものの個数を求めよ。 (2) $n$ 桁の自然数のうち、ちょうど2種類の数字から成り立っているものの個数を求...

組み合わせ桁数場合の数自然数
2025/7/24

5で割ると2余る整数Aと、5で割ると3余る整数Bがあるとき、A+2Bを5で割ったときの余りが3になることを説明する。

合同算術剰余整数の性質
2025/7/24

与えられた文章は$\sqrt{2}$が無理数であることの背理法による証明である。この証明を参考に以下の3つの問いに答える。 (1) $\sqrt{3}$が無理数であることを証明する。 (2) $\sq...

無理数背理法素数有理数
2025/7/24

連立合同方程式 $2x \equiv 3 \pmod{5}$ $4x \equiv 5 \pmod{7}$ が与えられている。 (1) $x \equiv 4 \pmod{5}$ が $2x \equ...

合同式連立合同方程式中国剰余定理
2025/7/24

与えられた数式群が示す規則性を見つけ、分配法則を用いてそのカラクリを説明する。

数列規則性分配法則一般化
2025/7/24

与えられた数式群の規則性を見つける問題です。数式は以下の通りです。 $1 \times 9 + 1 \times 2 = 11$ $12 \times 18 + 2 \times 3 = 222$ $...

規則性数列整数の性質数式
2025/7/24

$m, n$ を整数とする。命題「$2^3 + 1$ が奇数ならば、$n$ は偶数である」を証明する。

命題整数対偶偶数奇数証明
2025/7/23

## 問題の回答

一次不定方程式整数の性質互いに素極限
2025/7/23