互いに素の判定計算機とは？
2つの整数が互いに素（英語でcoprime、コプライムとも呼ばれます）であるとは、両方を割り切る正の整数が1しかない状態を指します。言い換えれば、最大公約数（gcd）がちょうど1になるということです。この計算機に2つの整数を入力すると、それらが互いに素かどうかを、最大公約数とあわせて瞬時に判定します。
使い方
a と b の入力欄にそれぞれ整数を入れて実行するだけです。ツールはユークリッドの互除法を使って \(\gcd(a, b)\) を計算します。最大公約数が1なら2つの数は互いに素であり、1以外であれば共通の約数を持つため互いに素ではありません。互いに素かどうかは絶対値だけで決まるため、マイナスの符号は無視して計算します。
計算式の仕組み
ユークリッドの互除法では、ペア \((a, b)\) を \((b, a \bmod b)\) に置き換える操作を、2番目の値が0になるまで繰り返します。このとき最後に残った0でない値が最大公約数です。そして、この最大公約数が1のときに限り、2つの数は互いに素になります。
$$\text{Coprime} \iff \gcd\left(a,\ b\right) = 1$$
たとえば8と15は共通の素因数を持たないので \(\gcd = 1\) となり、どちらの数自体が素数でなくても互いに素です。
具体例で確認
\(a = 12\)、\(b = 35\) で考えてみましょう。12の素因数は2と3、35の素因数は5と7です。共通の素因数がないので \(\gcd(12, 35) = 1\) となります。したがって12と35は互いに素です。一方、12と18は約数6を共有するため \(\gcd = 6\) となり、互いに素ではありません。
よくある質問（FAQ）
互いに素な数は素数でなければならないのですか？ いいえ。互いに素とは「1より大きい共通の約数を持たない」という意味であり、数そのものが素数である必要はありません（例：8と9）。
1はすべての数と互いに素ですか？ はい。任意の整数 n に対して \(\gcd(1, n) = 1\) となるため、1はあらゆる整数と互いに素です。
2つの偶数が互いに素になることはありますか？ いいえ。どんな2つの偶数も約数2を共有するので、最大公約数は必ず2以上になります。
