11 Let a,b, m \in \mathbb{Z}. Prove that (a,b) = (a, b+ma) 12 Show that the product of 3 consecutive integers is divisible by 6. 13. Let a, b \in \mathbb{Z}. Show that either (a+b) & (a-b) are even or both are odd.
The Correct Answer and Explanation is:
11. Prove that (a,b)=(a,b+ma)(a, b) = (a, b + ma)(a,b)=(a,b+ma) for a,b,m∈Za, b, m \in \mathbb{Z}a,b,m∈Z.
We are tasked with proving that the greatest common divisor (gcd) of aaa and bbb is the same as the gcd of aaa and b+mab + mab+ma, where m∈Zm \in \mathbb{Z}m∈Z.
Proof:
Let d=(a,b)d = (a, b)d=(a,b), meaning ddd is the greatest common divisor of aaa and bbb. By the definition of gcd, this means:d∣aandd∣b.d \mid a \quad \text{and} \quad d \mid b.d∣aandd∣b.
We need to show that d=(a,b+ma)d = (a, b + ma)d=(a,b+ma).
Since d∣ad \mid ad∣a and d∣bd \mid bd∣b, we know d∣mad \mid mad∣ma because d∣ad \mid ad∣a and m∈Zm \in \mathbb{Z}m∈Z. Therefore:d∣(b+ma)(since d∣b and d∣ma).d \mid (b + ma) \quad \text{(since \(d \mid b\) and \(d \mid ma\))}.d∣(b+ma)(since d∣b and d∣ma).
Thus, d∣(b+ma)d \mid (b + ma)d∣(b+ma), meaning d≤(a,b+ma)d \leq (a, b + ma)d≤(a,b+ma).
Now, let e=(a,b+ma)e = (a, b + ma)e=(a,b+ma). This means that e∣ae \mid ae∣a and e∣(b+ma)e \mid (b + ma)e∣(b+ma). Since e∣ae \mid ae∣a, we also have e∣mae \mid mae∣ma (because e∣ae \mid ae∣a and m∈Zm \in \mathbb{Z}m∈Z). Moreover, since e∣(b+ma)e \mid (b + ma)e∣(b+ma), we can write:b+ma=k⋅efor some integer k.b + ma = k \cdot e \quad \text{for some integer } k.b+ma=k⋅efor some integer k.
Thus:b=k⋅e−ma.b = k \cdot e – ma.b=k⋅e−ma.
Since e∣ae \mid ae∣a and e∣(k⋅e−ma)e \mid (k \cdot e – ma)e∣(k⋅e−ma), we have e∣be \mid be∣b, which implies e≤de \leq de≤d.
Therefore, since d≤ed \leq ed≤e and e≤de \leq de≤d, we conclude that d=ed = ed=e. Hence:(a,b)=(a,b+ma),(a, b) = (a, b + ma),(a,b)=(a,b+ma),
which completes the proof.
12. Show that the product of 3 consecutive integers is divisible by 6.
Let the three consecutive integers be n−1n-1n−1, nnn, and n+1n+1n+1, where n∈Zn \in \mathbb{Z}n∈Z.
Proof:
The product of these integers is:(n−1)⋅n⋅(n+1).(n – 1) \cdot n \cdot (n + 1).(n−1)⋅n⋅(n+1).
We need to prove that this product is divisible by 6. Notice that 6 can be factored as:6=2⋅3.6 = 2 \cdot 3.6=2⋅3.
For the product to be divisible by 6, it must be divisible by both 2 and 3.
Divisibility by 2:
Among any three consecutive integers, at least one of them must be divisible by 2 (since every other integer is even). Therefore, the product is always divisible by 2.
Divisibility by 3:
Among any three consecutive integers, at least one of them must be divisible by 3. This is because every third integer is divisible by 3. Therefore, the product is always divisible by 3.
Since the product is divisible by both 2 and 3, it is divisible by 6. Hence, the product of any three consecutive integers is divisible by 6.
13. Let a,b∈Za, b \in \mathbb{Z}a,b∈Z. Show that either (a+b)(a + b)(a+b) and (a−b)(a – b)(a−b) are both even or both odd.
We are given a,b∈Za, b \in \mathbb{Z}a,b∈Z, and we need to prove that either both a+ba + ba+b and a−ba – ba−b are even, or both are odd.
Proof:
Consider the parity (whether the number is odd or even) of aaa and bbb. There are two possibilities for each of aaa and bbb:
- aaa is even or odd.
- bbb is even or odd.
We will examine the four possible cases for aaa and bbb:
- Case 1: aaa is even, bbb is even.
- a+ba + ba+b is even (sum of two even numbers).
- a−ba – ba−b is even (difference of two even numbers).
- Case 2: aaa is even, bbb is odd.
- a+ba + ba+b is odd (sum of an even and an odd number).
- a−ba – ba−b is odd (difference of an even and an odd number).
- Case 3: aaa is odd, bbb is even.
- a+ba + ba+b is odd (sum of an odd and an even number).
- a−ba – ba−b is odd (difference of an odd and an even number).
- Case 4: aaa is odd, bbb is odd.
- a+ba + ba+b is even (sum of two odd numbers).
- a−ba – ba−b is even (difference of two odd numbers).
In all four cases, we see that either both a+ba + ba+b and a−ba – ba−b are even, or both are odd. Therefore, the statement is proven.
This completes the proofs for all three questions.
