An (integral) linear combination of two integers and is a number of the form where .
Theorem: Let and be integers, not both equal to . The smallest positive integral linear combination of and is .
Outline of proof:
Let be the set of positive integral linear combinations of and . Not both 0. Let . At least one is in . By the theorem, has a least element. Call it . By the division algorithm:
.
.
Therefore or . Since and is the least element, . Thus .
=> a = qs
=> s | a
Similar s | b. So s is a common divisor .
and . Therefore, for any .
Thus
So since . Thus the GCD is the smallest positive integral linear combination of a and b.
Let . Assume that . We aim to prove that there is some such that (mod ) or in other words for some . By theorem 18.10, we see that since . Solving for yields which satisfies the definition of modulus. Thus .
E 18.3
a) Proof.
Let , . Let .
We aim to prove .
Since is the greatest common divisor of and , we can write and , where and are integers. Since divides and , it also divides any linear combination of and . Therefore, we have:
Now, we show that . Suppose there exists a common divisor of and such that . Then, divides both and , so it must also divide . However, this contradicts the fact that . Therefore, , which completes the proof.
b)
Let , . Let . We work directly. Assume is a positive common divisor of and , and . We aim to prove
since is also a common divisor of and but possibly not larger than .
Per our assumption, given that is a common divisor of and and , per Theorem 18.5.
Since we have and , it follows that .
E 18.4
Let , and fix . We aim to prove that iff is a linear combination of and .
() We work directly. Assume . Thus for some . Since , per Theorem 18.5, for some . We find
Thus is a linear combination of and .
(<=) We work directly. Assume is a linear combination of and . Then for some in .
Because is the greatest common divisor of and , we can say and for some .
Substituting and into our expression for gives:
This demonstrates that divides , as is an integer.
Therefore, we have proven that if and only if is a linear combination of and .
E 18.5 Proof.
Let . Assume that . We aim to prove that if and then GCD() = 1. We work directly. Since , for some . Assume that and . Thus and for some . We find
Since and are integers, c and d are linear combinations of 1. Per Theorem 18.5, if we can write 1 as a linear combination of c and d, GCD(c, d) = 1 since 1 is the smallest possible positive integer linear combination of two integers.
E 18.6
a) Let , not both zero. Let . We want to show that . Since divides both and , and are integers.
By the definition of GCD, we have:
for some
Dividing by on both sides:
From Theorem 18.10, 1 = GCD(, ).
b)
Fix .
Let and . By definition, and are integers.
Using part (a) of the proof, we have established that .
Therefore, any rational number can be represented as a fraction such that .
c) Proof.
We know that as given, but we don't know whether is positive or negative. will always be positive, so we need to redefine to be positive regardless of the sign of .
We can modify the definitions as follows:
If , let and .
If , let and .
In either case, we guarantee that , since and is either positive (by definition 1) or negative (which then gets multiplied by -1 in definition 2).
d) Proof.
We have that , where both fractions are in lowest terms, meaning .
Assume by way of contradiction that . Then, both and could be multiplied to get a common denominator , resulting in .
Since and are relatively prime, as are and , the numerators and are also relatively prime to their respective denominators, or in other words, and .
But we already have two fractions that are equal and have the same denominator , and both have their numerator and denominator relatively prime. This implies that the numerators are equal, i.e., .
Now suppose that . Then , which is a contradiction. Similarly, if , then , which is also a contradiction. Therefore, we must have .
Now that it is established that , the equation simplifies to .
E 18.7
a) LCM(12, 18) = 36
b) LCM(21, 35) = 105
c)
Proof.
We aim to prove LCM(a, b) = .
Let .
Let .
Let and , where and are integers. Since is the greatest common divisor of and , it follows that per exercise 18.6.
We want to first show that is a common multiple of both and .
Substituting and with and respectively, we have
is clearly a multiple of both and as it contains both as factors.
Let be any common multiple of and . Then, for some integers and . As , we know that divides and divides . So we can write and for some integer .
Substituting back into the equation , we get
Dividing by on both sides, we get:
Since is an integer and is a common multiple of and , is also a common multiple of and .
Therefore, divides every other positive common multiple of and .