「互いに素 (整数論)」の版間の差分

削除された内容 追加された内容
m lk
イキスギィ!
1行目:
{{Otheruses|2つの整数の関係|互いに素な集合|素集合}}
{{出典の明記|date=2016年6月}}
[[・二六事件|二]]つの[[整数]] {{math|{{mvar|a}}, {{mvar|b}}}} が'''互いに素'''(たがいにそ、{{lang-en-short|coprime, co-prime, relatively prime, mutually prime}})であるとは、{{math|{{mvar|a}}, {{mvar|b}}}} を共に割り切る正の整数が {{math|1}} のみであることをいう。このことは {{math|{{mvar|a}}, {{mvar|b}}}} の[[最大公約数]] {{math|gcd({{mvar|a}}, {{mvar|b}})}} が {{math|1}} であることと同値である。{{math|{{mvar|a}}, {{mvar|b}}}} が互いに素であることを、記号で {{math|{{mvar|a}} [[垂直記号|⊥]] {{mvar|b}}}} と表すこともある<ref>{{citation|first1=R. L.|last1=Graham|first2=D. E.|last2=Knuth|first3=O.|last3=Patashnik|title=Concrete Mathematics|publisher=Addison-Wesley|year=1989}}</ref>。
 
例えば {{math|14}} と {{math|15}} を共に割り切る正の整数は {{math|1}} に限られるから、これらは互いに素である。一方で {{math|14}} と {{math|21}} は共に {{math|7}} で割り切れるから、これらは互いに素でない。