整数 $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

「数論」の関連問題

$99^{100}$ の下位5桁を求める問題です。

合同算術二項定理剰余指数
2025/4/9

自然数 $n$ と $28$ の最小公倍数が $168$ であるような $n$ を全て求める。ただし、$n=ab$ とし、$n$ と $28$ の最大公約数を $a$ とする。

最小公倍数最大公約数約数互いに素
2025/4/9

$x, y$ を自然数とするとき、$4x + 5y$ の形で表すことのできない最大の整数を求めます。

不定方程式最大整数線形結合自然数
2025/4/8

問題は3つの部分から構成されています。 (1) ユークリッドの互除法を用いて37と11の最大公約数と最小公倍数を求めます。 (2) (1)の結果を利用して、方程式 $37x + 11y = 3$ を満...

ユークリッドの互除法最大公約数最小公倍数一次不定方程式整数解
2025/4/8

$\sqrt{540-20n}$ が整数となるような自然数 $n$ の値をすべて求めよ。

平方根整数の性質約数倍数
2025/4/8

問題は、以下の3つの条件を満たす $a$ と $b$ の例をそれぞれ1つずつ挙げることです。 (1) $a, b$ は自然数で、$a - b$ と $\frac{a}{b}$ がいずれも自然数でない。...

自然数整数無理数有理数数の性質
2025/4/8

$\sqrt{5}$ が無理数であることを用いて、$\sqrt{15} - \sqrt{3}$ が無理数であることを証明する問題です。証明の穴埋め形式になっています。

無理数背理法平方根証明
2025/4/8

$\sqrt{n^2+24}$ が自然数となるような自然数 $n$ をすべて求める問題です。

平方根整数の性質因数分解約数
2025/4/8

ある自然数 $x$ が500未満であり、$x$ を7で割ると1余り、8で割ると3余り、9で割ると5余る。このとき、$x$ を5で割った余りを求める。

合同式中国剰余定理剰余整数
2025/4/8

問題は、以下の3つの条件を満たす $a, b$ の例をそれぞれ1つ挙げることです。 (1) $a, b$ は自然数で、$a - b$ と $\frac{a}{b}$ がいずれも自然数ではない。 (2)...

自然数整数無理数有理数割り算代数的性質
2025/4/8