3つの自然数が互いに素とは？『組ごとに互いに素』との違いを具体例でわかりやすく解説

「3つの自然数が互いに素である」と「3つの自然数からどの2つを選んでも互いに素である」は似た表現ですが、数学では異なる意味として扱われることがあります。この違いを理解すると、最大公約数や整数問題への理解が深まります。本記事では、それぞれの意味や違いを具体例とともにわかりやすく解説します。

「3つの自然数が互いに素」とは何か

3つの自然数 a、b、c が互いに素であるとは、3つすべてに共通する約数が1しかないことを意味します。

つまり、最大公約数を用いて表すと gcd(a,b,c)=1 です。

この定義では、2つずつ取り出したときに共通の約数が存在していても問題ありません。重要なのは、3つ全体で共通する約数が1しかないことです。

「どの2つを選んでも互いに素」とは何か

こちらは「組ごとに互いに素（pairwise coprime）」と呼ばれる考え方です。

3つの数 a、b、c に対して、gcd(a,b)=1、gcd(b,c)=1、gcd(c,a)=1 のすべてが成り立つ場合を指します。

つまり、どの組み合わせの2数を選んでも共通の約数が1しかありません。

組ごとに互いに素である条件は、単に3数全体の最大公約数が1である条件よりも厳しい条件です。

同じではないことがわかる具体例

例えば、6、10、15 を考えてみましょう。

どの組み合わせも最大公約数が1ではないため、組ごとに互いに素ではありません。

しかし、6・10・15の3つ全体に共通する約数は1しかありません。そのため gcd(6,10,15)=1 となり、「3つの自然数が互いに素」という条件は満たします。

この例から、「3つの自然数が互いに素」であっても、「どの2つを選んでも互いに素」とは限らないことがわかります。

逆の場合はどうなるのか

では、どの2つを選んでも互いに素である場合はどうでしょうか。

例えば、2、3、5 を考えます。

• gcd(2,3)=1
• gcd(3,5)=1
• gcd(2,5)=1

すべての組が互いに素です。

当然ながら、3つ全体に共通する約数も1しかありません。

したがって、「どの2つを選んでも互いに素」であれば、「3つの自然数が互いに素」は必ず成り立ちます。

両者の関係を整理すると

2つの条件の関係をまとめると次のようになります。

数学的には、後者の条件が前者より強い条件です。

つまり、「組ごとに互いに素 ⇒ 3数全体で互いに素」は成り立ちますが、その逆は成り立ちません。

まとめ

「3つの自然数が互いに素である」と「どの2つを選んでも互いに素である」は同じ意味ではありません。

3数全体の最大公約数が1であれば前者は成立しますが、各組の最大公約数まで1である必要はありません。一方、どの2つを選んでも互いに素である場合は、必ず3数全体でも互いに素になります。

試験や数学オリンピック系の問題では、この違いが重要になることがあるため、「全体で互いに素」と「組ごとに互いに素」を区別して理解しておくことが大切です。