二元不定方程式が整数解を持つ
\[
ax+by=c\text{が整数解を持つ}\Leftrightarrow c\text{は}\gcd(a,b)\text{の倍数}
\]
\(\Rightarrow\)
\(a=\gcd(a,b)a',b=\gcd(a,b)b'\)とおけるので\(\gcd(a,b)(a'x+b'y)=c\)となり、\(c\)は\(\gcd(a,b)\)の倍数。\(\Leftarrow\)
\(a=\gcd(a,b)a',b=\gcd(a,b)b',c=\gcd(a,b)c'\)とおくと\(a',b'\)は互いに素なので\(a'x+b'y=1\)は整数解を持つ。両辺を\(c\)倍すると、\(a(c'x)+b(c'y)=c\)となるがこれも整数解を持つ。
ページ情報
タイトル | 二元不定方程式が整数解を持つ |
URL | https://www.nomuramath.com/kqw5c78n/ |
SNSボタン |
位数と原始根の定義
\[
a^{n}\overset{p}{\equiv}1
\]
完全剰余系の基本定理
\[
1a,2a,3a,\cdots\cdots,na
\]
n番目の素数の式
\[
P\left(n\right)=1+\sum_{k=1}^{2^{n}}\left\lfloor \sqrt[n]{\frac{n}{\sum_{j=1}^{k}\left\lfloor \cos^{2}\left(\frac{\left(j-1\right)!+1}{j}\pi\right)\right\rfloor }}\right\rfloor
\]
オイラーのトーシェント関数の定義
\[
\phi(n) =\#\left\{ k\in\mathbb{N};1\leq k\leq n,\gcd(k,n)=1\right\}
\]