Exercise 3.15.
By experimentation, we see that , so that and are coprime. (Alternatively, use the Euclidean algorithm.) Hence solutions exist by Theorem 5.2.2, and the complete solution is given by
[As a check, we verify that satisfies the congruence:
We use the Euclidean algorithm to determine :
Since , solutions exist by Theorem 5.2.2. Lemma 5.2.8 enables us to simplify the congruence by dividing by :
Moreover, dividing by in the identity found above, we obtain , and the complete solution is given by
[As a check, we verify that satisfies the original congruence:
Exercise 3.16. Let denote the number of first-year maths students. Then is a simultaneous solution to the two congruences and , and also . We apply the Euclidean algorithm to find the highest common factor of and and express it as an integral linear combination of them:
Thus and are coprime, so that the Chinese Remainder Theorem applies. We have , , , , and , and the complete solution to the pair of congruences is given by
Since and , we can rewrite this as . Now and , so we conclude that there are students.
Bonus exercise 3.22.
Write and , where are prime numbers and . Then we have and . Since , we must have for each ; thus for each , and so as required.
Let . We seek to prove that either or . Now if , this is clearly satisfied, so suppose that , say , where . Squaring this identity, we obtain , so that and therefore . By (i), this implies that , and therefore .
Bonus exercise 3.23. We begin by reducing each of the congruences to the form (if possible), using the techniques from Section 5.2.
: We find the prime factorizations and , so that which divides . Hence solutions exist, and we can simplify the congruence by dividing it by , giving . Now , so that the complete solution is given by
: We find the prime factorizations and , so that which divides . Hence solutions exist, and we can simplify the congruence by dividing it by , giving . Now , so that the complete solution is given by
We have thus shown that satisfies and if and only if
Since , the Chinese Remainder Theorem applies, giving the complete solution