互いに素

Question

こんにちは。
　高校数学の問題集を解いていたら、解説中の一部（問題文中の与式が、有理数の解を持たないことの証明をするための問題の解説です）に次の説明がありました。

「…ｙとｚは互いに素であるから、その少なくとも一方は奇数である。」

　このことは、指摘されるとなんとなくわかるのですが、なぜ？という感じです。
　証明することはできるものなのでしょうか？
よろしくお願いします。

kup3kup3 · Accepted Answer

おはようございます。
>「…ｙとｚは互いに素であるから、その少なくとも一方は奇数である。」

とありますが、y,zは整数ですよね。
◎　整数y,zがあるとき、
　yとzとは互いに素
⇔yとzの最大公約数が１
　と定義します。

したがって「両方とも偶数である」と
仮定すれば、両方とも２で割れる、つまりy,zの
最大公約数は、２の倍数となって矛盾する、
よってどちらかは少なくとも奇数、ということです。

また「２つのうち、少なくとも一方は奇数」ということは
(ア)片方だけ、奇数　の場合と
(イ)両方とも奇数の場合があります。

また、[互いに素」と「素数」とは違う概念なので
注意しましょう。
例　
　(ア)片方だけ奇数のもの
　「　４と１５とは互いに素」、「６と３５とは互いに素」、
　「３と２２は互いに素」
　(イ)両方とも奇数
　　「１５と７７は互いに素」など

しかし、「８と１２とは互いに素でない」（最大公約数が４なので）
整数論そのものは高校ではやりませんけれども、受験勉強などを続けていると、その内に分かってきます。

sanori · Answer

こんにちは。

「少なくとも一方が奇数」の補は、
「両方とも偶数」です。

具体的に数字を挙げてみればよいです。

２と４
４と６
４と８
１２６と３７８９２
これらは全部、２という公約数を持っています。
ですから、偶数同士は、互いに素ではありません。


証明の一例

仮に、
「ｙもｚも偶数である」
としましょう。

すると、整数ｍ、ｎを用いて
ｙ＝２ｍ
ｚ＝２ｎ
と表すことができる。
これはｙとｚが、２という公倍数を持つことを示している。
よって、
ｙもｚも偶数であるとき、ｙとｚは互いに素ではない
ということが証明できました。

つまり、
「ｙもｚも偶数であるとき、ｙとｚは互いに素ではない」
が正しいわけですが、
この対偶は、
「ｙとｚが互いに素であるとき、ｙとｚの少なくとも一方は偶数以外（＝奇数）である」
ですから、これも正しいということになります。

mistery200 · Answer

偶数の定義は２の倍数です。
両方とも偶数とは、両方とも２の倍数です。

edomin2004 · Answer

「ｙとｚが互いに素」なんですよね？
ｙとｚの取り得る組合せは、
奇数・奇数
奇数・偶数
偶数・偶数
になりますが、「偶数・偶数」の時それぞれ
ｙ＝２×ｙ'
ｚ＝２×ｚ'
と表せます。
ｙとｚに共通因数「２」があることになります。
これは、最初の「互いに素」に反するので、前提となる「偶数・偶数」の組合せが間違っていることを表しているので、少なくとも一方は奇数でなくてはなりません。

nettiw · Answer

（背理法）
ｙとｚが共に偶数ならば、ｙとｚは互いに素ではありません。

互いに素

おはようございます。

こんにちは。

偶数の定義は２の倍数です。

「ｙとｚが互いに素」なんですよね？

（背理法）

似たような質問が見つかりました

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング