整数全体の集合を $Z$ とするとき、集合 $A = \{9x + 5y \mid x \in Z, y \in Z\}$ と集合 $B = \{7x + 3y \mid x \in Z, y \in Z\}$ が等しいことを証明します。
2025/7/22
1. 問題の内容
整数全体の集合を とするとき、集合 と集合 が等しいことを証明します。
2. 解き方の手順
集合が等しいことを示すには、 かつ を示す必要があります。
(1) を示す:
の任意の要素 () が に含まれることを示す必要があります。つまり、 となる整数 が存在することを示します。
を満たす整数 を見つけることを目指します。
まず、 と の線形結合で を表現します。
ユークリッドの互除法を使って、 と の最大公約数を求めます。
よって、最大公約数は です。
したがって、 が成り立ちます。
であることに変わりはありません。
ここで、 より、
を の形で表したいので、
となるように式変形します。
.
任意の整数 は と表せる。
.
に対して、
.
gcd(7,3)=
1. gcd(9,5)=
1.
(2) を示す:
の任意の要素 () が に含まれることを示す必要があります。つまり、 となる整数 が存在することを示します。
となる整数 を見つけることを目指します。
したがって、 が成り立ちます。
.
3. 最終的な答え
集合 A と B は等しい。