問題は、合同式 $520x \equiv 1 \pmod{17}$ を満たす $x$ を求めることです。

数論合同式逆元ユークリッドの互除法
2025/6/10

1. 問題の内容

問題は、合同式 520x1(mod17)520x \equiv 1 \pmod{17} を満たす xx を求めることです。

2. 解き方の手順

まず、520を17で割った余りを求めます。
520=17×30+10520 = 17 \times 30 + 10 なので、52010(mod17)520 \equiv 10 \pmod{17} です。
したがって、与えられた合同式は
10x1(mod17)10x \equiv 1 \pmod{17}
となります。
次に、10の法17における逆元を求めます。つまり、10x1(mod17)10x \equiv 1 \pmod{17} を満たす xx を探します。
10x=17k+110x = 17k + 1 となる整数 x,kx, k を探します。
10x17k=110x - 17k = 1
これは拡張ユークリッドの互除法で解くことができます。しかし、今回は簡単に試すことができます。
x=1,2,3,x = 1, 2, 3, \dots で順に試すと、
x=1x = 1 のとき、1010(mod17)10 \equiv 10 \pmod{17}
x=2x = 2 のとき、203(mod17)20 \equiv 3 \pmod{17}
x=3x = 3 のとき、3013(mod17)30 \equiv 13 \pmod{17}
x=4x = 4 のとき、406(mod17)40 \equiv 6 \pmod{17}
x=5x = 5 のとき、50161(mod17)50 \equiv 16 \equiv -1 \pmod{17}
よって、10×51(mod17)10 \times 5 \equiv -1 \pmod{17} より、
10×(5)1(mod17)10 \times (-5) \equiv 1 \pmod{17}
したがって、x512(mod17)x \equiv -5 \equiv 12 \pmod{17}
つまり、x=12x = 12 が解の一つです。

3. 最終的な答え

x12(mod17)x \equiv 12 \pmod{17}

「数論」の関連問題

整数 $n$ と実数 $\alpha$ が、$2-\sqrt{10-n} + \alpha$ が整数であり、$0 \le \alpha < 1$ を満たすとき、$n$ と $\alpha$ の値を求め...

整数の性質平方根代数
2025/7/19

$\sqrt{\frac{240-3n}{2}}$ の値が整数となるような自然数 $n$ のうちで、最も小さい値を求めます。

平方根整数の性質代数
2025/7/19

自然数 $N$ を5進法で表すと3桁の数 $abc_{(5)}$ となり、7進法で表すと3桁の数 $cab_{(7)}$ となる。このとき、自然数 $N$ と、整数 $a, b, c$ を求める問題で...

進法整数方程式数の表現
2025/7/18

(1) 整数 $m$ に対して、$m^2$ を4で割った余りは0または1であることを示す。 (2) 自然数 $n, k$ が $25 \times 3^n = k^2 + 176$ を満たすとき、$n...

整数の性質合同式二次不定方程式
2025/7/18

問題は、整数 $x$ について、「$x$ が 6 の倍数ならば、$x$ は 3 の倍数である」という命題の真偽を判定するものです。

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

$5^{100}$ を $7$ で割ったときの余りを求めます。

合同式剰余累乗
2025/7/18

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

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

問題は以下の2つです。 (1) $5^{105}$ は何桁の整数であるか。また、その最高位の数字は何か。 (2) $(\frac{1}{5})^{105}$ は小数第何位に初めて0でない数が現れるか。...

対数桁数最高位の数字常用対数
2025/7/17

整数 $a, b$ があり、$a$ を7で割ると1余り、$b$ を7で割ると2余るとき、以下の数を7で割った余りを求めよ。 (1) $a+b$ (2) $ab$ (3) $a^2-b^2$

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

問題1は、4つの1次不定方程式の全ての整数解を求める問題です。 問題2は、3で割ると2余り、5で割ると4余る2桁の正の整数のうち、最大のものを求める問題です。

一次不定方程式合同式整数解最大公約数
2025/7/17