この項目では、2つの整数の関係について説明しています。互いに素な集合については「素集合」をご覧ください。
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "互いに素" 整数論 ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL（2016年6月）

二つの整数 a, b が互いに素（たがいにそ、英: coprime, relatively prime, prime to[1]）であるとは、a, b を共に割り切る正の整数が 1 のみであることをいう。このことは a, b の最大公約数 gcd(a, b) が 1 であることと同値である。a, b が互いに素であることを、記号で a ⊥ b と表すこともある[2]。なお、「互いに素」を意味する英単語には coprime と disjoint があるが、coprime は整数について「互いに素」「共通点を持たない」という意味で使用される。
概要

例えば、3 と 10 を共に割り切る正の整数は 1 だけなので、これらは互いに素である。逆に、3 と 6 は共に 3 で割り切れるので、これらは互いに素ではない。もう少し大きい数だと、729 と 1000 を共に割り切る正の整数は 1 だけなので、これらは互いに素である。逆に、729 と 1296 は 3、9、27、81 の四つで割り切れるので、この二つは互いに素ではない。同じく、1000 と 1296 も、2、4、8 の三つで割り切れるので、この二つも互いに素ではない。

互いに素であることの判定は素因数分解を用いて行うこともできるが、二つの整数のうち少なくとも一方が巨大である場合など一般には困難である。素因数分解によって公約数を調べる方法よりも、ユークリッドの互除法によって最大公約数を調べる方法のほうが遥に速い。

正の整数 n と互いに素となる（1 から n の間の）整数の個数は、オイラー関数 φ(n) によって与えられる。

三つの整数 a, b, c が互いに素であるとは、gcd(a, b, c) = 1 が成り立つことをいう。また、gcd(a, b)、gcd(b, c)、gcd(c, a) がすべて 1 に等しいとき、a, b, c は対ごとに素（英: pairwise coprime）またはどの二つも互いに素であるという。一般に、互いに素であるからといって対ごとに素であるとは限らない　　（例：a = 6, b = 15, c = 10）。一般の n 個の整数についても同様に定義される。
性質

0 と互いに素となる整数は 1 と −1 だけであり、また任意の整数と互いに素となる整数も 1 と −1 だけである。

異なる二つの素数は互いに素であり、連続する二つの整数も互いに素である。

2 以上の整数は、その（自身を含む）倍数や 2 以上の約数と互いに素でない。

a と b1、a と b2 がそれぞれ互いに素ならば、a と b1b2 も互いに素である。

以下は、整数 a, b が互いに素であることと同値な条件である。

a, b を共に割り切る素数が存在しない。

ax + by = 1 を満たす整数 x, y が存在する。（ベズーの等式を参照）

b は a を法とする逆数をもつ。即ち by ≡ 1 (mod a) を満たす整数 y が存在する。別の言い方をすれば、b は a を法とする剰余類環 Z/aZ の単元となっている。

a, b の最小公倍数 lcm(a, b) が積 ab に等しい。

a, b の最大公約数 gcd(a, b) が 1 に等しい。

2a − 1 と 2b − 1 が互いに素。

互いに素である確率

整数の中から任意に選んだ2つの数 a と b が互いに素である確率を、ナイーブには、以下のように求めることができる。

a と b が互いに素とは、任意の素数 p に対して、a と b の少なくとも一方が p の倍数でないこと、と言い換える。

p を固定したとき、この事象は、a, b がともに p の倍数である事象の余事象である。

a が p の倍数である確率は .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1/p である。（b についても同様）

各 p に対して、これらの試行は独立だから、求める確率は、 ∏ p :  prime { 1 − ( 1 p ) 2 } = ( ∏ p :  prime 1 1 − p − 2 ) − 1 = 1 ζ ( 2 ) = 6 π 2 ≈ 0.6079271. {\displaystyle \prod _{p:{\text{ prime}}}\left\{1-\left({\frac {1}{p}}\right)^{2}\right\}=\left(\prod _{p:{\text{ prime}}}{\frac {1}{1-p^{-2}}}\right)^{-1}={\frac {1}{\zeta (2)}}={\frac {6}{\pi ^{2}}}\approx 0.6079271.} [3]

ここで、ζ はリーマンのゼータ関数を表す。ζ(2) の値はレオンハルト・オイラーによって求められた。一般に、任意に選んだ k 個の整数が互いに素である確率は 1/ζ(k) で表される。
互いに素な整数の組の生成このアルゴリズムによる互いに素な組の生成の順番。最初のノード (2, 1) を赤、その三つの子ノードを橙、さらにその子ノードを黄色で示し、それ以降を虹色の順に色を用いて示した。

すべての互いに素な正の整数の組 (m, n)（ただし m > n）は、二つの互いに素な完全三分木（英語版）を用いて並べることができる。片方の木は (2, 1) から始まり偶数・奇数および奇数・偶数の組を[4]、もう片方は (3, 1) から始まり奇数・奇数の組を[5]生成する。このときノード (m, n) から生成される三つの子ノードはそれぞれ次のように表される。
(2m − n, m)

(2m + n, m)

(m + 2n, n)

以上により生成される組は常に互いに素であり、すべての組が重複なく網羅される。
実用、応用

固定ギアの自転車の理想的なスキッドポイントの設計 - 固定ギアの自転車のチェーンリングとコグの歯数が「互いに素」であると、スキッドポイントと呼ばれるタイヤが摩耗する点はコグの歯数と同じになる。

脚注^ Baker 1984, p. 2.
^ Graham, Knuth & Patashnik 1989.
^ “「 2 整数が互いに素になる確率」 の確率論的見方 一数値実験による予想の検証一”. 京都大学. 2024年2月11日閲覧。
^ Saunders & Randall 1994.
^ Mitchell 2001.

参考文献

Baker, Alan (1984). A Concise Introduction to the Theory of Numbers. Cambridge University Press. .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 0-521-28654-9 

Graham, R. L.; Knuth, D. E.; Patashnik, O. (1989), Concrete Mathematics, Addison-Wesley 

Saunders, Robert & Randall, Trevor (July 1994), "The family tree of the Pythagorean triplets revisited", Mathematical Gazette, 78: 190?193, doi:10.2307/3618576。

Mitchell, Douglas W. (July 2001), “An alternative characterisation of all primitive Pythagorean triples”, Mathematical Gazette 85: 273?275, doi:10.2307/3622017 

関連項目.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;line-height:1.25em;background-color:#f9f9f9;display:flow-root}.mw-parser-output .side-box-abovebelow,.mw-parser-output .side-box-text{padding:0.25em 0.9em}.mw-parser-output .side-box-image{padding:2px 0 2px 0.9em;text-align:center}.mw-parser-output .side-box-imageright{padding:2px 0.9em 2px 0;text-align:center}@media(min-width:500px){.mw-parser-output .side-box-flex{display:flex;align-items:center}.mw-parser-output .side-box-text{flex:1}}@media(min-width:720px){.mw-parser-output .side-box{width:238px}.mw-parser-output .side-box-right{clear:right;float:right;margin-left:1em}.mw-parser-output .side-box-left{margin-right:1em}}ウィクショナリーに関連の辞書項目があります。互いに素 (整数論)

最大公約数

素因数分解

オイラーのφ関数

算術の基本定理

分数#規約分数（既約分数）

表

話

編

歴
素数の分類
生成式

フェルマー (22n + 1)

メルセンヌ (2p − 1)

二重メルセンヌ (22p−1 − 1)

ワグスタッフ ((2p + 1)/3)

プロス (k・2n + 1)

階乗 (n! ± 1)

素数階乗 (pn# ± 1)

ユークリッド (pn# + 1)

ピタゴラス (4n + 1)

ピアポント (2u・3v + 1)

Quartan（英語版） (x4 + y4)

ソリナス（英語版） (2a ± 2b ± 1)

カレン (n・2n + 1)

ウッダル (n・2n − 1)

Cuban（英語版） ((x3 − y3)/(x − y))

キャロル ((2n − 1)2 − 2)

Kynea ((2n + 1)2 − 2)

レイランド (xy + yx)

サービト（英語版） (3・2n − 1)

ミルズ ([A]3n)

漸化式（英語版）

フィボナッチ

リュカ

ペル

ニューマン?シャンクス?ウィリアムズ

ペラン

分割

ベル

モツキン

各種の性質

ヴィーフェリッヒ（英語版） (対（英語版）)

ウォール?孫?孫（英語版）

ウォルステンホルム

ウィルソン

幸運

フォーチュン

ラマヌジャン（英語版）

ピライ

正則

強（英語版）

スターン

Supersingular (楕円曲線)（英語版）

Supersingular (ムーンシャイン理論)（英語版）

良い

スーパー