「最大公約数」 は、2つ以上の整数について、 「どちらも割り切れる最大の整数」 を指すんだったね。でも、2と5のように、最大公約数が1になってしまうようなケースもある。このとき、2つの数は 「互いに素である」 というんだ。

「互いに素」というのは、 「共通の約数が1だけ」 という意味なんだ。例えば、2と3が互いに素であるか素でないかを考えよう。2の約数は 1 と2。3の約数は 1 と3だから、2と3は、 「互いに素」 だと言えるんだ。

この定義自体はとても単純な話だけど、整数問題ではこの後に、「互いに素」の性質を利用した様々な難しい問題が登場してくる。「互いに素」な2つの数は「共通の約数が1だけ（最大公約数が1）」という定義をしっかり理解しておこう。