最大公約数の定義と基本概念
最大公約数(Greatest Common Factor, GCF、または Greatest Common Divisor, GCD)とは、2つ以上の整数をいずれも割り切ることができる数(公約数)の中で最も大きい数のことです。数学において非常に重要な概念であり、分数の約分、比の計算、パターン分析など、さまざまな分野で活用されます。たとえば12と18を考えてみましょう。12の約数は1, 2, 3, 4, 6, 12で、18の約数は1, 2, 3, 6, 9, 18です。このうち共通して現れる約数は1, 2, 3, 6であり、最も大きい公約数である6が12と18の最大公約数です。最大公約数が1である2つの数は「互いに素(coprime または relatively prime)」と呼ばれ、これは1以外に共通の約数を持たないことを意味します。