S 7 Asol
S 7 Asol
S 7 Asol
4. Show that there are 1000 consecutive positive integers, each of which is divisible by at
least 1000 different prime numbers.
Solution Let n1 be the product of the first 1000 prime numbers (in ascending order
of size), n2 be the product of the next 1000 prime numbers, and so on. Consider the
simultaneous congruences x 0 mod n1 , x 1 mod n2 , x 2 mod n3 , and for
each i = 1, . . . , 1000, x 1 i mod ni . Since the moduli are coprime, the Chinese
Remainder Theorem applies. Let n be the product of all ni . Let m be a simultaneous
solution to this set of congruences (which exists by the CRT) then the solution set for
the simultaneous congruences is {m + kn | k Z}. This set contains a positive integer
u. Now ni divides u + i 1 for each i, so this run of consecutive positive integers has
the required property.
5. (a) Suppose that u, v, d are integers, with u and d coprime. Show that if d divides uv,
then d divides v.
Solution You can obtain this result via the Fundamental Theorem of Arithmetic.
However, there is a quick way. Since u, d are coprime, then there are integers
, such that 1 = d + u. Multiply by v so v = d + uv. Now d divides the
right-hand side, so d | v.
(b) Suppose that m is an odd natural number. Prove that there is a natural number
n such that m divides 2n 1.
Solution Work in Zm . Consider the powers of [2]: [1], [2], [2]2 , [2]3 , . . .. There
are infinitely many terms of this sequence, but Zm is finite, so two terms must be
equal. There are i, j with 0 i < j such that [2]i = [2]j . Therefore [2j 2i ] = [0]
so m divides 2i (2ji 1). Since m is odd, m is coprime to 2i and part (a) applies,
so m divides 2ji 1. Alternatively, go straight for the jugular using the result of
Sheet 6, Problem 6, and work in the group of units Zm of the ring Zm .
6. Suppose that m, n N. Consider the map m,n : Zmn Zm Zn defined by
[x]mn 7 ([x]m , [x]n ) for each x Z, and [x]k denotes the equivalence class of x under the relation k . Determine |Im m,n |. Recall that Im ,mn is the image of m,n ,
and so is {m,n (x) | x Zmn }.
Solution Suppose that m,n ([x0 ]) Im m,n . The fibre of m,n ([x0 ]) is the set of
equivalence classes [y] Zmn such that m,n ([y]) = ([x0 ]m , [x0 ]n ), and this is the set of
equivalence classes [y] such that [y x0 ] is in the fibre of ([0]m , [0]n ). The integers y in
question are those such that y = x0 + kl where k is an integer and l is the lcm of m and
n. The number of different equivalence classes [y] as k varies is determined by counting
the number of integers of the form x0 + kl in a consecutive run of mn integers. Look at
the consecutive run x0 + 1, x0 + 2, . . . , x0 + mn we see that there are mn/l equivalence
classes in each non-empty fibre. Therefore m,n is a mn/l to 1 function. The domain
of m,n has size mn, so the image has size mn/(mn/l) = l = lcm(m, n).
Notice how this generalizes the case when m and n are coprime. In that case the CRT
tells us that m,n is a bijection, and so an onto map. Our calculation uses l = mn, so
the fibres of m,n have size 1 and the image has size mn as expected.
of height 1, stands. Many trees are visible, including those at (1, 0), (7, 8) and (45, 7).
Other trees are invisible, because the view of them from the origin is obstructed by
other trees. For example, the view of the tree at (14, 91) is obstructed by the tree at
(2, 13).
Show that it is possible for a Tunguska event of diameter 1010 to happen, yet be unknown
to the observer. In other words, show that there is a circle in the plane of diameter 1010
which has only invisible trees in its interior.
Solution Not yet! Here is a solution to Problem 10 of Sheet 5. The statements was
this. Let S be a finite set of positive integers which has the following property: if x is
an element of S, then so too are all positive divisors of x. A non-empty subset T of S
is good if whenever x, y T and x < y, the ratio y/x is a power of a prime number.
A non-empty subset T of S is bad if whenever x, y T and x < y, the ratio y/x is
not a power of a prime number. A single element set is considered both good and bad
(by definition, or by vacuous reasoning, as you please). Let k be the largest possible size
of a good subset of S. Prove that k is also the smallest number of pairwise-disjoint bad
subsets whose union is S.
Here is a solution. First notice that a bad subset of S contains at most one element
from a good one, so a partition of S into bad subsets has at least as many members as
a maximal good subset. Notice further that the elements of a good subset of S must
be among the terms of a geometric sequence whose ratio is a prime: if x < y < z are
elements of a good subset of S, then y = xp and z = yq = xp q for some primes p
and q and some positive integers and , so p = q for z/x to be a prime power. Next,
let P = {2, 3, 5, 7, 11, . . .} denote the set of prime numbers, let
m = max{ expp x | x S and p P },
where expp is the exponent of the prime p in the prime-power decomposition of x, and
notice that a maximal good subset of S must be of the form {a, ap, . . . , apm } for some
prime p and some positive integer a which is not divisible by p. Consequently, a maximal
good subset of S has m + 1 elements, so a partition of S into bad subsets has at least
m + 1 members. Finally, notice by maximality of m that the sets
X
Sk = {x | x S and
expp x k (mod m + 1)}
pP
(for k = 0, 1, . . . m) form a partition of S into m+1 bad subsets. The conclusion follows.
This was Problem 3 of the 28th Balkan Mathematical Olympiad held in Iasi Romania
in 2011. The marking scheme allocated 60% of the points for this question to the
cunning Finally, notice . . . observation. The UK competed as a guest team. Two
British students solved this particular problem, including the outright winner of the
competition, James Aaronson
http://www.bmo2011.lbi.ro/index.php?page=results