Toronto MathComp
Toronto MathComp
EdwardJ.Barbeau
University
of Toronto
Mathematics
Competition
(20012015)
Problem Books in Mathematics
Series editor:
Peter Winkler
Department of Mathematics
Dartmouth College
Hanover, NH 03755
USA
University of Toronto
Mathematics Competition
(20012015)
123
Edward J. Barbeau
University of Toronto
Toronto, Ontario, Canada
Students from the University of Toronto have participated in the annual Put-
nam Competition since its inception in 1938. Many of them have competed
with distinction, but others have not fared so well. Because of the way in
which the Putnam scripts are marked, it is necessary to make signicant
progress on a problem to earn one or two points.
In 2001, I started a mathematics competition for undergraduates at the
University of Toronto to oer the experience of solving problems under a
time constraint. My goal was to provide a paper that would be more widely
accessible while maintaining some challenge and interest. A secondary goal
was to produce a set of problems that might nd a place in regular college and
university courses. So, I have collected them here in the hope that teachers
and students may nd them useful.
The problems have many sources. Some are original; some are side results
in research papers; some have been contributed; some have appeared in the
American Mathematical Monthly, and some, of unknown provenance, have
been lying in folders in my oce. Each problem is graded out of 10, with
opportunity for part marks.
So that students have some choice, there are eight to ten problems on
each paper. I expected that students normally should attempt no more than
ve, and to enforce this, they were told that only their best ve problems
would be marked unless the score on these ve was at least 30. Inevitably,
there were students who correctly solved more than ve.
The rst two years of college mathematics should provide sucient back-
ground. Students should have knowledge of secondary level algebra and ge-
ometry, elementary linear algebra, basic number theory, elementary combi-
natorics, techniques of single variable calculus, as well as fundamental results
on limits, continuous functions, and convergence of sequences and series.
In Chap. 1, I present the questions as they were given. However, the
solutions are in the following chapters, arranged according to their subject
matter in chronological order. Where a problem can be classied in more
v
vi PREFACE
than one way, I have provided the statement of the problem in each relevant
chapter, but the solution appears in only one chapter, indicated by a number
in parentheses at the beginning of its statement in Chap. 1. At the beginning
of some solutions, there is a name in square brackets of either a competitor
or a colleague, to acknowledge the source of an approach to the problem.
However, I take full responsibility for the actual presentation.
The book concludes with two appendices. The rst establishes notation
and conventions and lists denitions and results that might not be readily
available to every student. The second lists the names of students who per-
formed well in the competition.
I am grateful to my colleague, Victor Ivrii, for advice on diagrams; to
graduate student Tyler Holden for valuable advice in solving technical anom-
alies; to Emile LeBlanc and Marco De la Cruz-Heredia, who look after the
computer systems in the mathematics department, for technical help; to grad-
uate students Ian Greig and Samer Seraj for checking over some of the so-
lutions; and to my wife, Eileen, for her sharp eyes and continuous support.
The problems from the American Mathematical Monthly appear with the
permission, freely given, of the Mathematical Association of America.
Preface v
Chapter 1. Problems of the Contests 1
Chapter 2. Algebra 23
Chapter 3. Inequalities 49
vii
viii CONTENTS
9. Combinatorics 197
10. Number Theory 198
Index 205
CHAPTER 1
Except for the rst contest, for which 3 h was allotted, the time allowed for
each contest was 3 12 h.
The chapter in which the solution appears is given in parentheses at the
beginning of the problem.
the line was in front of him, while 1/(n + 1) of the line was behind
him. On Wednesday, the same fraction x of the line was in front of
him, while 1/(n + 2) of the line was behind him. Determine a value
of n for which this is possible.
3. (11) In how many ways can the rational 2002/2001 be written as
the product of two rationals of the form (n + 1)/n, where n is a
positive integer?
4. (5) Consider the parabola of equation y = x2 . The normal is con-
structed at a variable point P and meets the parabola again in
Q. Determine the location of P for which the arc length along the
parabola between P and Q is minimized.
5. (6) Let n be a positive integer. Suppose that f is a function dened
and continuous on [0, 1] that is dierentiable on (0, 1) and satises
f (0) = 0 and f (1) = 1. Prove that, there exist n [distinct] numbers
xi (1 i n) in (0, 1) for which
n
1
= n.
i=1
f (xi )
1. (4) Evaluate
2
arctan .
n=1
n2
4 1. PROBLEMS OF THE CONTESTS
4. (4) Show that the positive integer n divides the integer nearest to
(n + 1)!
.
e
5. (6) For x > 0, y > 0, let g(x, y) denote the minimum of the three
quantities, x, y + 1/x and 1/y. Determine the maximum value of
g(x, y) and where this maximum is assumed.
6. (10) A set of n lightbulbs, each with an on-o switch, numbered
1, 2, . . . , n are arranged in a line. All are initially o. Switch 1 can
be operated at any time to turn its bulb on or o. Switch 2 can
turn bulb 2 on or o if and only if bulb 1 is o; otherwise, it does
not function. For k 3, switch k can turn bulb k on or o if and
only if bulb k 1 is o and bulbs 1, 2, . . . , k 2 are all on; otherwise
it does not function.
(a) Prove that there is an algorithm that will turn all of the bulbs
on.
(b) If xn is the length of the shortest algorithm that will turn on
all n bulbs when they are initially o, determine the largest
prime divisor of 3xn + 1 when n is odd.
7. (6) Suppose that the polynomial f (x) of degree n 1 has all real
roots and that > 0. Prove that the set {x R : |f (x)| |f (x)|}
is a nite union of closed intervals whose total length is equal to
2n.
8. (7) Three m n matrices A, B and A + B have rank 1. Prove that
either all the rows of A and B are multiples of one and the same
vector, or that all of the columns of A and B are multiples of one
and the same vector.
9. (5) Prove that the integral
sin2 x
dx
0 2 x2
exists and evaluate it.
10. (9) Let G be a nite group of order n. Show that n is odd if and
only if each element of G is a square.
1. PROBLEMS OF THE CONTESTS 5
9. (8) Let ABCD be a convex quadrilateral for which all sides and
diagonals have rational length and AC and BD intersect at P .
Prove that AP , BP , CP , DP all have rational length.
3. (7) How many n n invertible matrices A are there for which all
the entries of both A and A1 are either 0 or 1?
4. (7) Let a be a nonzero real and u and v be real 3-vectors. Solve
the equation
2ax + (v x) + u = O
for the vector x.
5. (6) Let f (x) be a polynomial with real coecients, evenly many
of which are nonzero, which is palindromic. This means that the
n read the same in either direction, i.e. ak = ank if
coecients
f (x) = k=0 ak xk or, alternatively, f (x) = xn f (1/x), where n is
the degree of the polynomial. Prove that f (x) has at least one root
of absolute value 1.
6. (9) Let G be a subgroup of index 2 contained in Sn , the group of
all permutations of n elements. Prove that G = An , the alternating
group of all even permutations.
7. (11) Let f (x) be a nonconstant polynomial that takes only integer
values when x is an integer, and let P be the set of all primes that
divide f (m) for at least one integer m. Prove that P is an innite
set.
8. (7) Let AX = B represent a system of m linear equations in n
unknowns, where A = (aij ) is an m n matrix, X = (x1 , . . . , xn )t
is an n 1 vector and B = (b1 , . . . , bm )t is an m 1 vector. Suppose
that there exists at least one solution for AX = B. Given 1 j n,
prove that the value of the jth component is the same for every
solution X of AX = B if and only if the rank of A is decreased if
the jth column of A is removed.
9. (6) Let S be the set of all real-valued functions that are dened,
positive and twice continuously dierentiable on a neighbourhood
1. PROBLEMS OF THE CONTESTS 7
4. (8) Two parabolas have parallel axes and intersect in two points.
Prove that their common chord bisects the segment whose endpoints
are the points of contact of their common tangent.
5. (10) Suppose that you have a 3 3 grid of squares. A line is a
set of three squares in the same row, the same column or the same
diagonal; thus, there are eight lines.
Two players A and B play a game. They take alternate turns,
A putting a 0 in any unoccupied square of the grid and B putting
a 1. The rst player is A, and the game cannot go on for more
than nine moves. (The play is similar to noughts and crosses, or
8 1. PROBLEMS OF THE CONTESTS
10. (8) Let P be a planar polygon that is not convex. The vertices can
be classied as either convex or concave according as to whether the
angle at the vertex is less than or greater than 180 respectively.
There must be at least two convex vertices. Select two consecutive
convex vertices (i.e., two interior angles less than 180 for which all
interior angles in between exceed 180 ) and join them by a segment.
Reect the edges between these two convex angles in the segment
to form along with the other edges of P a polygon P1 . If P1 is not
convex, repeat the process, reecting some of the edges of P1 in a
segment joining two consecutive convex vertices, to form a polygon
P2 . Repeat the process. Prove that, after a nite number of steps,
we arrive at a polygon Pn that is convex.
8[1 (1 x)1/2 ]3
f (x) = .
x2
(a) Prove that limx0 f (x) exists. Take this as the value of f (0).
(b) Determine the smallest closed interval that contains all values
assumed by f (x) on its domain.
(c) Prove that f (f (f (x))) = f (x) for all x 1.
6. (4) Let h(n) denote the number of nite sequences {a1 , a2 , . . . , ak }
of positive integers exceeding 1 for which k 1, a1 a2 ak
10 1. PROBLEMS OF THE CONTESTS
7. (7) Find the Jordan canonical form of the matrix uvt where u and
v are column vectors in Cn .
8. (8) Suppose that n points are given in the plane, not all collinear.
Prove that there are at least n distinct straight lines that can be
drawn through pairs of the points.
9. (11) Which integers can be written in the form
(x + y + z)2
xyz
where x, y, z are positive integers?
10. (5) Solve the following dierential equation
2y = 3|y|1/3
subject to the initial conditions
y(2) = 1 and y(3) = 1.
Your solution should be everywhere dierentiable.
6. (2) [The problem posed on the competition is not available for pub-
lication, as it appeared as Enigma problem 1610 in the August 25,
2010 issue of the New Scientist. It concerned the determination of
the nal score of a three game badminton match where the score of
each competitor was in arithmetic progression. The full statement
of the problem is available on the internet.]
7. (7) Suppose that there are 2011 students in a school and that each
student has a certain number of friends among his schoolmates. It
is assumed that if A is a friend of B, then B is a friend of A, and
also that there may exist certain pairs that are not friends. Prove
1. PROBLEMS OF THE CONTESTS 15
4. (11) (a) Let n and k be positive integers. Prove that the least
common multiple of {n, n + 1, n + 2, . . . , n + k} is equal to
n+k
rn
k
for some positive integer r.
(b) For each positive integer k, prove that there exist innitely many
positive integers n, for which the number r dened in part (a) is
equal to 1.
5. (8) Let C be a circle and Q a point in the plane. Determine the
locus of the centres of those circles that are tangent to C and whose
circumference passes through Q.
6. (6) Find all continuous real-valued functions dened on R that sat-
isfy f (0) = 0 and
f (x) f (y) = (x y)g(x + y)
for some real-valued function g(x).
7. (6) Consider the following problem:
Suppose that f (x) is a continuous real-valued function dened
on the interval [0, 2] for which
2 2
f (x) dx = (f (x))2 dx.
0 0
Prove that there exists a number c [0, 2] for which either f (c) = 0
or f (c) = 1.
(a) Criticize the following solution:
2
Solution. Clearly 0 f (x)dx 0. By the Extreme Value Theo-
rem, there exist numbers u and v in [0, 2] for which f (u) f (x)
f (v) for 0 x 2. Hence
2 2 2
f (u) f (x) dx f (x)2 dx f (v) f (x) dx.
0 0 0
2 2
Since 0 f (x) dx = 1 0 f (x) dx, by the Intermediate Value The-
2
and
n
bn
lim = v > 0.
n an
Prove that
bn
lim =1
n an
and
lim (bn an ) = u log v.
n
endpoint from among them. Prove that the sum of the lengths of
all the remaining segments is less that 12 S.
3. (6) Let f : [0, 1] R be continuously dierentiable. Prove that
1
f (0) + f (1) 1
f (x) dx sup{|f (x)| : 0 x 1}.
2 4
0
4. (3) Determine all the values of the positive integer n 2 for which
the following statement is true, and for each, indicate when equality
holds.
For any nonnegative real numbers x1 , x2 , . . . , xn ,
(x1 + x2 + + xn )2 n(x1 x2 + x2 x3 + + xn1 xn + xn x1 ),
where the right side has n summands.
5. (5) Let f (x) be a real polynomial of degree 4 whose graph has two
real inection points. There are three regions bounded by the graph
and the line passing through these inection points. Prove that two
of these regions have equal area and that the area of the third region
is equal to the sum of the other two areas.
6. (11) Using the digits 1, 2, 3, 4, 5, 6, 7, 8, each exactly once, create
two numbers and form their product. For example, 472 83,156 =
39,249,632. What are the smallest and the largest values such a
product can have?
7. (5) Determine
2
ex dx
.
0 e1x + ex1
8. (4) Let {an } and {bn } be two decreasing positive real sequences for
which
an =
n=1
and
bn = .
n=1
Let I be a subset of the natural numbers, and dene the sequence
{cn } by
an , if n I;
cn =
bn , if n I.
Is it possible for n=1 cn to converge?
9. (7) What is the dimension of the vector subspace of Rn generated
by the set of vectors
((1), (2), (3), . . . , (n))
22 1. PROBLEMS OF THE CONTESTS
Algebra
and
k
x xi1
= .
k i=0
ki
The left side of the required equality is equal to
n! x1 x2 xn
+ + +
x (x n + 1) n 1 n2 nn
n! x n
= =
x (x n + 1) n 1 xn+1
as desired.
2001:8 A regular heptagon (polygon with seven equal sides and seven
equal angles) has diagonals of two dierent lengths. Let a be the length of
a side, b be the length of a shorter diagonal and c be the length of a longer
diagonal of a regular heptagon (so that a < b < c). Prove ONE of the
following relationships:
a2 b2 c2
2
+ 2 + 2 =6
b c a
or
b2 c2 a2
2
+ 2 + 2 = 5.
a b c
Solution 1. Let A, B, C, D, E be consecutive vertices of the regular
heptagon. Let AB, AC and AD have respective lengths a, b, c, and let
BAC = . Then = /7, the length of BC, of CD and of DE is a,
the length of AE is c, CAD = DAE = , since the angles are sub-
tended by equal chords of the circumcircle of the heptagon, ADC = 2,
ADE = AED = 3 and ACD = 4. Triangles ABC and ACD can be
glued together along BC and DC (with C on C) to form a triangle similar
to ABC, whence
a+c b
(2.1) = .
b a
Triangles ACD and ADE can be glued together along CD and ED (with D
on D) to form a triangle similar to triangle ABC, whence
b+c b
(2.2) = .
c a
Equation (2.2) can be rewritten as 1b = a1 1c . whence
ac
b= .
ca
Substituting this into (2.1) yields
(c + a)(c a) c
=
ac ca
2. ALGEBRA 25
which simplies to
(2.3) a3 a2 c 2ac2 + c3 = 0.
Note also from (2.1) that b2 = a2 + ac.
a2 b2 c2 a4 c2 + b4 a2 + c4 b2 6a2 b2 c2
2
+ 2 + 2 6=
b c a a 2 b2 c 2
a c + (a + 2a c + a c )a + c4 (a2 + ac) 6a2 c2 (a2 + ac)
4 2 4 3 2 2 2
=
a 2 b2 c 2
a6 + 2a5 c 4a4 c2 6a3 c3 + a2 c4 + ac5
=
a 2 b2 c 2
a(a + 3ac + c )(a3 a2 c 2ac2 + c3 )
2 2
= = 0.
a 2 b2 c 2
b2 c2 a2
+ + 5
a2 b2 c2
(a4 + 2a3 c + a2 c2 )c2 + a2 c4 + a4 (a2 + ac) 5a2 c2 (a2 + ac)
=
a 2 b2 c 2
a + a c 4a c 3a c + 2a2 c4
6 5 4 2 3 3
=
a 2 b2 c 2
a2 (a + 2c)(a3 a2 c 2ac2 + c3 )
= = 0.
a 2 b2 c 2
Solution 2 (of the rst result). [J. Chui] Let the heptagon be ABCDEF G
and = /7. Using the Law of Cosines in the indicated triangles ACD and
ABC, we obtain the following:
a 2 + c 2 b2 1 a c b2
cos 2 = = +
2ac 2 c a ac
2
2a2 b2 1 b
cos 5 = =1
2a2 2 a
from which, since cos 2 = cos 5,
2
1 b 1 a c b2
1 + = +
2 a 2 c a ac
or
b2 a c b2
(2.4) 2
=2+ + .
a c a ac
Examining triangles ABC and ADE, we nd that cos = b/2a and
cos = (2c2 a2 )/(2c2 ) = 1 (a2 /2c2 ), so that
a2 b
(2.5) 2
=2 .
c a
26 2. ALGEBRA
Examining triangles ADE and ACF , we nd that cos 3 = a/2c and cos 3 =
(2b2 c2 )/(2b2 ), so that
c2 a
(2.6) 2
=2 .
b c
b2 c2 a2 c2 bc b2
+ + = 6 + .
a2 b2 c2 ac
By Ptolemys Theorem, the sum of the products of pairs of opposite sides of
a concylic quadrilaterial is equal to the product of the diagonals. Applying
this to the quadrilaterals ABDE and ABCD, respectively, yields c2 = a2 +bc
and b2 = ac + a2 , whence c2 bc b2 = a2 + bc bc ac a2 = ac and we
nd that
b2 c2 a2
+ + = 6 1 = 5.
a2 b2 c2
a = | 1| = | 6 1|
b = | 2 1| = | 9 1|
c = | 3 1| = | 4 1|.
Also
a b c
= | 4 + 2 + 1| = | 6 + 3 + 1| = | 2 + + 1|,
b c a
2. ALGEBRA 27
whence
a2 b2 c2
2
+ 2 + 2 = ( 4 + 2 + 1)( 3 + 5 + 1) + ( 6 + 3 + 1)( + 4 + 1)
b c a
+ ( 2 + + 1)( 5 + 6 + 1)
= (3 + 2 2 + 3 + 4 + 2 5 ) + (3 + + 2 3 + 2 4 + 6 )
+ (3 + 2 + 2 + 5 + 2 6 )
= 9 + 3( + 2 + 3 + 4 + 5 + 6 ) = 9 3 = 6.
b c a
= 2 cos = 2 cos 6 = 2 cos 2 = 2 cos 4
a b c
whence
b2 c2 a2
2
+ 2 + 2 = 4 cos2 6 + 4 cos2 2 + 4 cos2 4
a b c
= ( 3 + 4 )2 + ( + 6 )2 + ( 2 + 5 )2
= 6 + 2 + + 2 + 2 + 5 + 4 + 2 + 3 = 6 1 = 5.
Also
a sin 6
= = 4 cos2 2 1 = ( + 6 )2 1 = 1 + 2 + 5
b sin 2
b sin 9
= = 4 cos2 3 1 = 4 cos2 4 1
c sin 3
= ( 2 + 5 )2 1 = 1 + 4 + 3
c sin 3
= = 4 cos2 6 1 = ( 3 + 4 )2 1 = 1 + 6 + ,
a sin
28 2. ALGEBRA
whence
a2 b2 c2
+ + = (3 + 2 2 + 3 + 4 + 2 5 ) + (3 + + 2 3 + 2 4 + 6 )
b2 c2 a2
+ (3 + 2 + 2 + 5 + 2 6 )
= 9 + 3( + 2 + 3 + 4 + 5 + 6 ) = 9 3 = 6.
Comment. The regular heptagon is a rich source of interesting relation-
ships. See the paper Golden elds; a case for the heptagon by Peter Steinbach
in Mathematics Magazine 70:1 (February, 1997), 2231.
2002:2. Angus likes to go to the movies. On Monday, standing in line,
he noted that the fraction x of the line was in front of him, while 1/n of
the line was behind him. On Tuesday, the same fraction x of the line was in
front of him, while 1/(n + 1) of the line was behind him. On Wednesday, the
same fraction x of the line was in front of him, while 1/(n + 2) of the line
was behind him. Determine a value of n for which this is possible.
Answer. When x = 5/6, he could have 1/7 of a line of 42 behind him,
1/8 of a line of 24 behind him and 1/9 of a line of 18 behind him. When
x = 11/12, he could have 1/14 of a line of 84 behind him, 1/15 of a line of 60
behind him and 1/16 of a line of 48 behind him. When x = 13/15, he could
have 1/8 of a line of 120 behind him, 1/9 of a line of 45 behind him and 1/10
of a line of 30 behind him.
Solution. The strategy in this solution is to try to narrow down the search
by considering a special case. Suppose that x = (u 1)/u for some positive
integer exceeding 1. Let 1/(u + p) be the fraction of the line behind Angus.
Then Angus himself represents this fraction of the line:
u1 1 p
1 + = ,
u u+p u(u + p)
so that there would be u(u + p)/p people in line. To make this an integer, we
can arrange that u is a multiple of p. To get an integer for p = 1, 2, 3, take
u to be any multiple of 6. Thus, we can arrange that x is any of 5/6, 11/12,
17/18, 23/24, and so on.
Comment 1. The solution indicates how we can select x for which the
amount of the line behind Angus is represented by any number of consecutive
integer reciprocals. For example, in the case of x = 11/12, he could also have
1/13 of a line of 156 behind him. Another strategy might be to look at
x = (u 2)/u, i.e. successively at x = 3/5, 5/7, 7/9, . In this case, we
assume that 1/(u p) of the line is behind him, and need to ensure that
u 2p is a positive divisor of u(u p) for three consecutive values of u p.
If u is odd, we can achieve this with u any odd multiple of 15 and with
p = 12 (u 1), 12 (u 3), 12 (u 5).
2. ALGEBRA 29
Solution 1.
z w
(|z| + |w|) +
|z| |w|
|z|w |w|z
= z + w + +
|w| |z|
1
|z + w| + |
z zw + wzw|
|z||w|
|zw|
= |z + w| + |
z + w|
= 2|z + w|.
|z||w|
30 2. ALGEBRA
Solution 2. Let z = aei and w = bei , with a and b real and positive.
Then the left side is equal to
|(a + b)(ei + ei )| = |aei + aei + bei + bei |
|aei + bei | + |aei + bei |.
Observe that
|z + w|2 = |(aei + bei )(aei + bei )|
= a2 + b2 + ab[ei() + ei() ]
= |(aei + bei )(aei + bei )|
from which we nd that the left side does not exceed
|aei + bei | + |aei + bei | = 2|aei + bei | = 2|z + w|.
Solution 3. Let z = aei and w = bei , where a and b are positive reals.
Then the inequality is equivalent to
1 i
(e + ei ) |ei + (1 )ei |
2
where = a/(a + b). But this simply says that the midpoint of the segment
joining ei and ei on the unit circle in the Argand diagram representing
complex numbers as points in the plane is at least as close to the origin as
another point on the segment.
Solution 4. [G. Goldstein] The inequality is equivalent to
t
(|t| + 1) + 1 2|t + 1|
|t|
where t = z/w.
Let t = r(cos + i sin ). Then the inequality becomes
(r + 1) (cos + 1) + sin 2 (r cos + 1)2 + r2 sin2
2 2
= 2 r2 + 2r cos + 1.
Now,
4(r2 + 2r cos + 1) (r + 1)2 (2 + 2 cos )
= 2r2 (1 cos ) + 4r(cos 1) + 2(1 cos )
= 2(r 1)2 (1 cos ) 0,
from which the inequality follows.
Solution 5. [R. Mong] Consider complex numbers as vectors in the plane.
q = (|z|/|w|)w is a vector of magnitude z in the direction w and p = (|w|/|z|)z
is a vector of magnitude w in the direction z. A reection about the angle
2. ALGEBRA 31
Solution. The polynomial fn (x) has degree n for each n, and we will
write
n
fn (x) = b(n, k)xk .
k=0
Then
n
n
xn fn (1/x) = b(n, k)xnk = b(n, n k)xk .
k=0 k=0
Thus, (a) is equivalent to b(n, k) = b(n, n k) for 0 k n.
n When
n a = 1, it can be established by induction that fn (x) = (x + 1)n =
n n n1
k=0 k x . Also, when a = 0, fn (x) = x + x + + x + 1 = (xn+1
1
1)(x 1) . Thus, (a) holds in these cases and b(n, k) is respectively equal
to nk and 1.
Suppose, henceforth, that a = 1. For n 0,
n
n
fn+1 (x) = b(n, k)xk+1 + ak b(n, k)xk
k=0 k=0
n n
= b(n, k 1)xk + b(n, n)xn+1 + b(n, 0) + ak b(n, k)xk
k=1 k=1
n
= b(n, 0) + [b(n, k 1) + ak b(n, k)]xk + b(n, n)xn+1 ,
k=1
32 2. ALGEBRA
Solution. Wolog, let p(x) have leading coecient 1. Observe that, for
i > 1,
ai a1 = ai b + b a1 < ai b + a2 b < 2(ai b)
and that p(x) = (x ai ), from which p (a1 ) = i2 (a1 ai ). Then
|p(b)| = |b a1 | |b ai |
i2
1
|b a1 | (ai a1 ) = |b a1 ||p (ai )|2(n1) .
2
i2
Since u(x + 1) divides g(x + 1), u(x + 1) must divide 2x2 f (x + 1)g(x).
Since u(x + 1) does not divide f (x + 1), u(x + 1) divides 2x2 g(x). Since
u(x + 1) divides g(x + N + 1), u(x + 1) cannot divide g(x). Therefore,
u(x + 1) must divide x2 , as well as (x + N + 2)2 . But this is an impossibility.
This contradiction yields the result of the problem.
Solution 2. [C. Ochanine] Since
Sn+1 Sn+1 Sn 2n+1
1= = ,
Sn Sn (n + 1)2 Sn
it is enough to show that Sn /2n is not a rational function. Let f (n) = Sn /2n .
Then
1 1
f (n + 1) = f (n) +
2 (n + 1)2
for every positive integer n.
If f were rational, then we would have
1 1
f (x + 1) = f (x) +
2 (x + 1)2
for all real x. Since, by the denition, f (1) is nite, so also is f (0). Substi-
tuting x = 1 in the foregoing equation, we see that 1 is a pole of f (x).
Since
1 1 1 1 1
f (x + 2) = f (x + 1) + = f (x) + + ,
2 (x + 2)2 4 2(x + 1)2 (x + 2)2
we see that 2 is also a pole of f (x). Continuing on, we nd that every
negative integer is a pole of f (x), contradicting its rationality.
The desired result follows.
[Problem 2008:9 was contributed by Franklin Vera Pacheco.]
2009:2. Let n and k be integers with n 0 and k 1. Let x0 , x1 , . . . ,
xn be n + 1 distinct points in Rk and let y0 , y1 , . . . , yn be n + 1 real numbers
(not necessarily distinct). Prove that there exists a polynomial p of degree
at most n in the coordinates of x for which p(xi ) = yi for 0 i n.
The solution to this problem appears in Chap. 7.
2010:5. Let m be a natural number, and let c, a1 , a2 , , am be complex
numbers for which |ai | = 1 for i = 1, 2, , m. Suppose also that
m
lim ani = c.
n
i=1
integers) was also oblong, since for each integer n, (n 1)n n(n + 1) =
(n2 1)n2 . The same is true for integers one more than a perfect square,
since [(n 1)2 + 1][n2 + 1] = (n2 n + 1)2 + 1, and numbers of the form
n2 + n + 1 since (n2 n + 1)(n2 + n + 1) = n4 + n2 + 1. It was not dicult
to conjecture and prove the result that f (x)f (x + 1) = f (x + f (x)) for monic
quadratics f (x).
This problem was also given to high school students participating in
a problems correspondence program. One solver, James Rickards, then in
Grade 9 at an Ottawa, Canada high school, noted that, if the roots of f (x)
were r and s, then those of f (x + 1) were r 1 and s 1. Thus, f (x)f (x + 1)
was a quartic polynomial two of whose roots had the same sum as the other
two. He proved that this root property characterized quartic polynomials
representable as the composite of two quadratics.
In fact, he generalized to polynomials of higher degree and showed that
a polynomial of degree mn could be written as the composite g(h(x)) of
polynomials g of degree m and h of degree n if and only if its set of roots could
be partitioned into m sets of n elements (not necessarily distinct) for which
all the fundamental symmetric functions of degrees up to m 1 had the same
values. I was unable to nd any indication of this result in the literature,
and so felt that it should be published in a journal with wide circulation.
It was accepted and published under the title: James Rickards, When is
a polynomial a composition of other polynomials? American Mathematical
Monthly 118:4 (April, 2011), 358363.
2011:5. Solve the system
x + xy + xyz = 12
y + yz + yzx = 21
z + zx + zxy = 30.
2. In the rst two cases, this would mean that the same person won all
three games, and in the third case that the scores in the second game were
the same and there would be no winner of the second game.
Therefore either the opening or closing game has one person with a score
of 21 and the other with a score s less than 20. Let the scores of the rst
player be (21, 21+x, 21+2x) and of the second be (s, s+y, s+2y), possibly in
reverse order. Note that x cannot be negative, since otherwise s s + 2y =
21 s + y. Since not all three games are won by the same person, we
must have y > x, s + y + 2 = 21 + x and 21 + 2x + 2 = s + 2y. Therefore
s = 19 (y x) = 23 2(y x), whence s = 15. Since the winner of the game
with scores (21, 15) is the same as that of the second game and dierent from
that of the third, this game must be the nal game of the match. Therefore,
the scores of the nal game are (21, 15).
Note that y x = 4, and that, whenever x 1, sets of scores (21 +
2x, 23 + 2x), (21 + x, 19 + x), (21, 15) all satisfy the conditions.
2011:10. Suppose that p is an odd prime. Determine the number of
subsets S contained in {1, 2, . . . , 2p 1, 2p} for which (a) S has exactly p
elements, and (b) the sum of the elements of S is a multiple of p.
Solution. Let be a primitive pth root of unity, so that is a power of
cos(2/p) + i sin(2/p) with the exponent not divisible by p. Let
2p
f (x) = (x i ) = (xp 1)2 = x2p 2xp + 1.
i=1
(c) From (b), we note that no quadratic polynomial will serve. However,
taking h(x) = x3 + 2x2 + 2x + 1, we nd that
f (x)h(x) = x9 + 2x8 + x7 + x6 + x5 + x4 + x3 + x2 + 2x + 1.
Comment. It is known that for a given real polynomial f (x), there exists
a polynomial g(x) for which all the coecients of f (x)g(x) are nonnegative
(resp. positive) if and only if none of the roots of f (x) are positive (resp.
nonnegative).
x2n + xn +
= 2 + xn
xn +
( + )xn + ( 2 2)
=
xn +
3
+ 2
= + + .
2 xn +
This sum is independent of n if and only if the term involving xn vanishes
identically, i.e., if and only if the required condition holds.
Solution 2. From the formula for the product of the roots, we obtain that
xn +
xn1 xn+1 =
xn
so that
xn1 xn xn+1 = xn +
for each index n. Therefore
xn+2 xn+1 x2n xn1 xn2 = (xn+1 + )(xn1 + )
2 xn +
= xn + + + 2
xn xn
= ( 3 + 2 ) xn
whence
3 + 2
xn+2 xn+1 xn xn1 xn2 = + .
xn
The result again follows.
Comments. If x0 = 0, then h(t, x0 ) is linear and there is a single root
/. We can extend the sequence in only one direction, and it begins with
the terms 0, /, ( 3 + 2 )/(), . . . .
The study of the type of sequence given in this problem began with the
recursions given by
xn + c
xn+1 =
xn1
or, equivalently, if you want to continue the sequence backwards,
xn + c
xn1 = ,
xn+1
where c is a parameter and n ranges over the integers. We suppose that
the terms of the sequence are selected to avoid division by 0. When c = 0
and c = 1, any bilateral sequence satisfying the recursion is periodic with
respective periods 6 and 5. For other values of c, certain but not all sequences
are periodic. The examination of the periodic cases lead to the identication
of an invariant for the sequence.
2. ALGEBRA 47
When
x2 y + xy 2 + x2 + (c + 1)x + y 2 + (c + 1)y + c
fc (x, y) = ,
xy
it turns out that
y+c
f (x, y) = f y,
x
with the result that f (xn , xn+1 ) is constant with respect to the index n.
The equation fc (x, y) = k can be rewritten as hc,k (x, y) = 0 where
hc,k (x, y) = x2 y + xy 2 + x2 + y 2 kxy + (c + 1)(x + y) + c
= xy(x + y) + (x + y)2 (k + 2)xy + (c + 1)(x + y) + c
= (y + 1)x2 + (y 2 ky + (c + 1))x + (y + 1)(y + c) .
Remarkably, if we are given any sequence that satises the rst of these
recursion relations, we can select a constant so that it satises the second.
Similarly, given any sequences given by the second recursion relationship, we
can select a value of so that it satises the rst. Thus, either recursion
individually allows us to introduce a function h(x, y) that will allow us to
generate the sequence. This follows from the following proposition.
We have
2
y + y + y 2 + y +
h ,y = h(x, y)
x(y + ) x2 (y + )
and 2
y + y +
h x, y = h(x, y)
y+
with the result that, when x and y are consecutive terms, h(x,y)
xy is invariant
along any recursion satisfying (2.16) and h(x, y) is invariant along any recur-
sion satisfying (2.15). Thus, any recursion satisfying either (2.15) or (2.16)
will satisfy the other with a suitable choice of parameters.
Proof.
2
y + y + (y 2 + y + )2 2 y 2 + y +
h , y =(y + ) + (y + y + )
x(y + ) x2 (y + )2 x(y + )
+ (y 2 + y + )
y 2 + y +
= 2
(y 2 + y + ) + x(y 2 + y + ) + x2 (y + )
x (y + )
y 2 + y + 2
= 2
x y + y 2 x + (x2 + y 2 ) + xy + (x + y) +
x (y + )
y 2 + y +
= h(x, y).
x2 (y + )
Also
2
y + y +
h x, y
y+
2 2x(y 2 + y + ) (y 2 + y + )2
= (y + ) x + +
y+ (y + )2
2
y + y +
(y + y + )
2
+ x + (y 2 + y + )
y+
= x2 y + x2 + 2xy 2 + 2xy + 2x xy 2 xy x + y 2 + y +
= h(x, y).
CHAPTER 3
Inequalities
Since
2
h (x) = (x5/3 + (1 + a3 x)5/3 ),
9
the function h(x) is concave. Since b3 and c3 lie between 1 and a3 , it follows
that 1 + a < b + c, as desired.
2002:6. Let x, y > 0 be such that x3 +y 3 xy. Prove that x2 +y 2 1.
Solution 1. Let y = tx. Since x > y > 0, we have that 0 < t < 1. Then
x3 (1 + t3 ) x(1 t) x2 (1 + t3 ) (1 t). Therefore,
1t
x2 + y 2 = x2 (1 + t2 ) (1 + t2 )
1 + t3
1 t + t2 t3 t(1 t + 2t2 )
= 3
=1 .
1+t 1 + t3
Since 1 t + 2t2 , having negative discriminant, is always positive, the desired
result follows.
3. INEQUALITIES 51
We have that
n1
n + 1 n + 1
|ai+1 ai | 2(1 + 3 + + (n 1)) a1 + a
2 2
n
i=1
n2 n2 2
1= ,
2 2
with the latter inequality becoming equality if and only if {a1 , an } = {n/2, (n+
2)/2}. Suppose, say, that a1 = n/2 and an = (n + 2)/2. Then, to achieve
the maximum, we require that {a3 , a5 , . . . , an1 } = {1, 2. . . . , (n 2)/2} and
{a2 , a4 , . . . , an2 } = {(n/2) + 2, (n/2) + 3, . . . , n}. The maximum value of
(n2 2)/2 can be achieved with 2[(n 2)/2]!2 permutations.
2004:8. Let V be a complex n-dimensional inner product space. Prove
that
1
|u|2 |v|2 |u v|2 |u + v|2 |(u, v)|2 |u|2 |v|2 .
4
The solution to this problem appears in Chap. 7.
2005:2. Suppose that f is continuously dierentiable on [0, 1] and that
1
0
f (x)dx = 0. Prove that
1 1 1
2 f (x)2 dx |f (x)|dx |f (x)|dx.
0 0 0
Hence
(a1 + a2 + + an )2
= a21 + a22 + + a2n1 + a2n + 2(a1 a2 + a2 a3 + + an1 an + an a1 )
+ 2(a1 a3 + a2 a4 + + an1 a1 + an a2 )
+ {ai aj : i j 1, 2 (mod n)}
a21 + a22 + + a2n1 + a2n + 4(a1 a2 + a2 a3 + + an1 an + an a1 )
+ 2an1 (a1 an )
3. INEQUALITIES 55
Solution. We can simplify the problem. Suppose that for some i < j,
xi = yi = yi+1 = = yj < yj+1 . Then yj+1 = xj+1 > xi and
yi (xi+1 xi ) + yi+1 (xi+2 xi+1 ) + + yj (xj+1 xj ) = yi (xj+1 xi ),
so that all of xi+1 , , xj do not gure in the terms of the right side. There-
fore, with no loss of generality, we can assume that
x0 < x1 < < xn1
so that yi = xi for 0 i n 1, and yn is equal to the maximum of xn1
and xn .
The right side of the inequality is equal to
4x2n 4[x0 (x1 x0 ) + x1 (x2 x1 ) + + xn1 (xn xn1 )]
= 2x20 + 2(x1 x0 )2 + 2(x2 x1 )2 + + 2(xn xn1 )2 + 2x2n
= 2x20 + 2(x1 x0 )2 + 2(x2 x1 )2 + + 2(xn1 xn2 )2 + x2n1
+ (2xn xn1 )2 .
Therefore, the right side is greater than or equal to both of 2x2n and x2n1 .
The desired result follows.
Equality occurs if and only if xi = 0 for each i.
Then S0 = 1 and
kn kn
1
Sn Sn =
2 2k 2k+1
k=1 k=1
n
k (k 1)n
=
2k 2k
k=1 k=1
k (k 1)n
n
=
2k
k=1
n1 n2 n3
n k n k n k n1 1
= + + (1)
1 2k 2 2k 3 2k 2k
k=1
whence
n n n n1
Sn = 2 Sn1 Sn2 + Sn3 + (1) .
1 2 3
An induction argument establishes that Sn is twice an odd integer.
Sn+1 (n + 2)Sn
from which the desired result will follow. Suppose that we have established
this for n = m 1. Now
m+1 m+1 m+1
Sm+1 = 2 Sm Sm1 + Sm2
1 2 3
m+1
Sm3 + .
4
m m+2
(m + 1) =
2 2
Hence
m+1 m+1
Sm+1 2 Sm Sm1
1 2
m(m + 1) 1
2 (m + 1)Sm Sm
2 m+1
m
=2 m+1 Sm = (m + 2)Sm .
2
4. SEQUENCES AND SERIES 61
since each term in the numerator of the latter fraction exceeds each corre-
sponding term in the denominator.
Solution 3 (of the rst part). [P. Gyrya] Let f (x) be a dierentiable
function and let D be the dierentiation operator. Dene the operator L by
fractions are {2, 5, 9, 14, 20, . . . } and the denominators are {1, 0,
2, 5, 8, . . . }. We conjecture that
n(n + 3)
tn =
(n 2)(n + 1)
for n 1. This is true for 1 n 5. Suppose that it holds to n = k 1 5,
so that tk1 = (k 1)(k + 2)/(k 3)k. Then
tk1 + 2k 2
tk =
1 2tk1 k 2
k 2 (k 1)(k + 2) + 2(k 3)k
=
k 3 (k 3) + 2(k 1)(k + 2)
k(k + 3)(k 2 2k + 2) k(k + 3)
= = .
(k 2)(k + 1)(k 2k + 2)
2 (k 2)(k + 1)
The desired expression for tn holds by induction and so limn tn = 1.
For n 3, tn < 0 and tan1 (2/n2 ) < /2, so we must have /2 < sn <
and sn = tan1 tn . Therefore
lim sn = arctan( + lim tn ) = (/4) = (3)/4.
n n
2003:4. Show that the positive integer n divides the integer nearest to
(n + 1)!
.
e
Solution. By Taylors Theorem, we have that
1 1 1 1 ec
e1 = 1 + + + (1)n+1 + (1)n+2
1! 2! 3! (n + 1)! (n + 2)!
where 1 < c < 0. Hence
(n + 1)! (n + 1)!
(n + 1)!e1 = (n + 1)! (n + 1)! +
2! 3!
ec
+ + (1)n [(n + 1) 1] + (1)n2 .
n+2
The last term does not exceed 1/(n + 2), which is less than 1/2. The sec-
ond last term is equal to n, and each previous term has a factor n in the
numerator that is not cancelled out by the denominator. Since the sum of
all but the last term is an integer divisible by n and is the nearest integer to
(n + 1)!/e, the result holds.
2004:2. Prove that
1
1 1 1 1
xx dx = 1 2 + 3 4 + 5 + .
0 2 3 4 5
Solution. First, let
1
I(m, n) = xm (log x)n dx
0
64 4. SEQUENCES AND SERIES
Using the fact that the series is uniformly convergent and term-by-term
integration is possible, we nd that
1 1 1
(x log x)k
xx dx = ex log x dx = dx
0 0 0 k!
k=0
k
(1) 1 1
=1+ (k+1)
= 1 2 + 3 .
(k + 1) 2 3
k=1
For m 2, let
bm = {(a1 a2 ak )2 : a1 = m a2 ak 2}.
Since
1 1
bm = + 2 (bm + bm1 + + b2 ),
m2 m
then, for m 3,
(m2 1)bm = 1 + b2 + + bm1 .
Note that
1 1 1 1
+ 2 + 2 + = .
b2 =
22 4 8 3
Assume as an induction hypothesis that, for 2 k m 1, bk =
2/(k(k + 1)). Then
m1
1
(m + 1)(m 1)bm = 1 + b2 + + bm1 = 1 + 2
k(k + 1)
k=2
m1
1 1 1 1
=1+2 =1+2
k k+1 2 m
k=2
2 m1
=2 =2 ,
m m
so that bm = 2/(m(m + 1)).
Hence
h(n) 1 1
= b m = 2 = 1.
n=1
n2 m=2 m=2
m m+1
2008:3. Suppose that a is a real number and the sequence {an } is dened
recursively by a0 = a and
an+1 = an (an 1)
for n 0. Find the values of a for which the sequence {an } converges.
Solution. When the sequence converges, the limit b must satisfy the equa-
tion b = b(b1) so that b = 0 or b = 2. It is clear that the sequence converges
when a = 1, 0, 1, 2. If a > 2, then an induction argument shows that {an }
is increasing and unbounded. If a < 1, then a1 > 2 and the sequence again
diverges.
If 1 < a < 2, we show that the sequence will have an entry in the
interval [0, 1]. Suppose that 1 < a < 2, then a(a 1) < a, so that an will
initially decrease until it arrives in the interval (0, 1]. If 1 < a < 0, then
a1 = (a)(1 a) will lie in (0, 2).
66 4. SEQUENCES AND SERIES
y = x(x1)
It remains to analyze the situation that 0 < a < 1. Then 1/4 a1 < 0
and 0 < a2 5/16 < 1. Thus, the sequence alternates between the intervals
[1/4, 0) and (0, 1). Observe that
an+2 = an+1 (an+1 1) = an (an 1)(a2n an 1)
= an (1 a2n (2 an )).
When n is even, then an and an+2 are both positive and an+2 < an . When
n is odd, then an and an+2 are both negative and 1 a2n (2 an ) (0, 1),
so that the sequence {a2m } decreases to a limit u and {a2m+1 } increases
to a limit v. We must have that u = v(v 1) and v = u(u 1) so that
u = u(u 1)(u2 u 1) or u3 (2 u) = 0. Since u = 2, we must have
u = v = 0.
Hence the sequence converges if and only if 1 a 2; the limit is 2
when a = 1, 2 and 0 when 1 < a < 2.
whence
n
n
a1 + a 2 + + a n 1 1
= xk 1+ (x1 + x2 + + xk ).
n n n
k=1 k=1
Let
n "
ak #
n
L = lim xk = lim .
n n k
k=1 k=1
Then
n
n
1 1
L = lim 1+ xk = lim (x1 + x2 + + xk ).
n n n n
k=1 k=1
Then T1 = 1 and
n+1 n
1 nk 1 k1
k
2Tn+1 Tn = = n1
2n1 k 2 k
k odd k odd
1 n + 1 2n
2
= = = .
(n + 1)2n1 k (n + 1)2n1 n+1
k odd
Therefore the recursions for Sn and Tn agree when n = 1 and satisfy the
same equations. Thus the result holds.
2014:9. Let {an } and {bn } be positive real sequences such that
an
lim =u>0
n n
and
n
bn
lim = v > 0.
n an
Prove that
bn
lim =1
n an
and
lim (bn an ) = u log v.
n
as desired.
If v = 1, we need to exercise more care, as bn could equal an innitely
often. In this case, the indices can be partitioned into two sets A and B,
where respectively bn = an for n A and bn = an for n B; either of these
sets could be innite or nite. If innite, taking the limit over n A and
over n B yields the result 0 = u log v, and the problem is solved.
[Problem 2014:9 was contributed by the AN-anduud Problem Solving
Group in Ulaanbataar, Mongolia.]
2015:8. Let {an } and {bn } be two decreasing positive real sequences for
which
an =
n=1
and
bn = .
n=1
Let I be a subset of the natural numbers, and dene the sequence {cn } by
an , if n I
cn =
bn , if n I.
Is it possible for n=1 cn to converge?
Solution. The answer is yes. Let s1 = 0, and for n 0, let
n
k
sn = 22 .
k=0
For n 0, let In be the set of positive integers k for which sn1 < k sn .
Dene
2n 2n
ak = 22 n and bk = 22 when k I2n ;
2n+1 2n+1
ak = 22 and bk = 22 n
when k I2n+1 .
It can be veried that both {an } and {bn } are decreasing.
72 4. SEQUENCES AND SERIES
Let
$
I= I2n .
n=0
Therefore
an = 2;
nI
an = ;
nI
bn = ;
nI
and
bn = 2.
nI
g(x, y) = x2 y + xy 2 + xy + x + y + 1.
(b) Let
h(x, y) = x2 y + xy 2 + xy + (x + y) +
be a polynomial with real coecients , , . We form a bilateral sequence
{xn : n Z} as follows. Let x0 = 0 be given arbitrarily. We select x1 and
x1 to be the two solutions of the quadratic equation h(t, x0 ) = 0 in either
order. From here, we can dene inductively the terms of the sequence for
positive and negative values of the index so that xn1 and xn+1 are the two
4. SEQUENCES AND SERIES 73
2001:2. Let O = (0, 0) and Q = (1, 0). Find the point P on the line with
equation y = x + 1 for which the angle OP Q is a maximum.
Solution 1. For the point P to maximize OP Q, it must be a point of
tangency of a circle with chord OQ and the line of equation y = x + 1. The
general circle through O and Q has equation
2
1 2 1
x + (y k) = + k 2
2 4
or
x2 x + y 2 2ky = 0.
Solving this with y = x + 1 yields
Solution. Wolog, we may assume that u > 0, as the arc length for u and
u is the same. The tangent to the parabola at (u, u2 ) has slope 2u, and so
the normal has slope 1/2u. The equation of the normal is
1
y u2 = (x u)
2u
and this intersects the parabola at the point
1 2 1
u ,u + 1 + 2 .
2u 4u
The arc length is given by
u
f (u) = 1 + 4x2 dx = F (u) F (u (1/2u)),
u(1/2u)
y = yy .
Hence
n (n+1)
sin2 x 1 sin2 x 1 sin2 x
dx = dx + dx.
0 2 x2 2 x 2 (n1) x
5. CALCULUS AND ITS APPLICATIONS 79
The rst integral on the right vanishes, because the integrand is odd, and so
(n+1) (n+1)
n
sin2 x sin2 x
dx = 1 dx
1 1
dx
1
,
2 x2 2 (n1) x 2 (n1) x (n 1)
0
sin2 x
with the result that 0 2 x2 dx = 0.
2004:2. Prove that
1
1 1 1 1
xx dx = 1 + 3 4 + 5 + .
0 22 3 4 5
log(1 + tan tan x) dx = log sec .
0
80 5. CALCULUS AND ITS APPLICATIONS
Solution 3. Let F () = 0 log(1 + tan tan x) dx. Then, using the sub-
stitution u = tan x, we nd that
sec2 tan x
F () = log(1 + tan2 ) + dx
0 1 + tan tan x
tan
tan u tan
= log sec2 + + 2 + 2 du
0 1 + (tan )u u + 1 u + 1
tan
1
= +2 log sec + log(1 + (tan )u) + log(1 + u2 ) + tan [arctan u]
2 0
1
= 2 log sec log(1 + tan2 ) + log sec2 + tan
2
= log sec + tan .
5. CALCULUS AND ITS APPLICATIONS 81
Also, the derivative of G() log sec is equal to log sec + tan . Since
F () = G () and F (0) = G(0) = 0, it follows that F () = G() for 2 <
< 2 , as desired.
Comment. It is interesting to observe that
log 1 + log sec2
log(1 + tan tan x) dx = ,
0 2
the length of the interval times the average of the integrand values at the
endpoint.
2006:4. Two parabolas have parallel axes and intersect in two points.
Prove that their common chord bisects the segments whose endpoints are the
points of contact of their common tangent.
The solution to this problem appears in Chap. 8.
2007:10. Solve the following dierential equation
2y = 3|y|1/3
subject to the initial conditions
y(2) = 1 and y(3) = 1.
Your solution should be everywhere dierentiable.
Solution. Depending on the sign of y in any region, separation of vari-
ables leads to the solution
y 2/3 = x + c or y = (x + c)3/2
when y 0 and to
y 2/3 = (x + c) or y = [(x + c)]3/2
when y < 0. The desired solution is
[(x + 1)] ,
3/2
if x < 1;
y(x) = 0, if 1 x 2;
(x 2)3/2 , if x > 2.
[Problem 2007:10 was contributed by Victor Ivrii.]
2009:1. Determine the supremum and the inmum of
(x 1)x1 xx
(x (1/2))2x1
for x > 1.
Solution. Let g(x) be the function in question and let
f (x) = log g(x)
= (x 1) log(x 1) + x log x (2x 1) log((2x 1)/2)
= (x 1) log(x 1) + x log x (2x 1) log(2x 1) + (2x 1) log 2.
82 5. CALCULUS AND ITS APPLICATIONS
Then
f (x) = log(x 1) + 1 + log x + 1 2 log(2x 1) 2 + 2 log 2
4x(x 1) 1
= log = log 1
(2x 1)2 (2x 1)2
< log 1 = 0.
Therefore, f (x), and hence g(x) is a decreasing function on (1, ).
log(1 v 2 )
,
2v
and an application of lHopitals Rule yields that its limit is 0 as v 0. It
follows that
lim h(u) = 1.
u
x2 + y 2 2
x4 + x3 y 3 xy + y 4 .
Solution. By scaling and translating, we may assume that the two inec-
tion points are located at x = 1 and x = 1 and that f (x) is monic. Since
f (x) is a multiple of (x + 1)(x 1) = x2 1, we have that
f (x) = (x4 6x2 + 5) + (bx + c)
where 2b = f (1) f (1) and 2c = f (1) + f (1). The line passing through
the inection points (1, f (1)) and (1, f (1)) is y = g(x) with g(x) = bx + c.
Since f (x) g(x) = (x2 5)(x2 1), the curves with equations y = f (x)
and y = g(x) intersect when x = 5, 1. The three areas in question are
given by
1 5
(x 6x + 5) dx = (x4 6x2 + 5) dx
4 2
5 1
5 16
= x5 /5 2x3 + 5x 1 =
5
and 1
1
(x4 6x2 + 5) dx = x5 /5 2x3 + 5x 1 = 32/5.
1
The result follows.
[Problem 2015:5 is #E817 from the American Mathematics Monthly
55:5 (May, 1948), 317; 56:2 (February, 1949), 106108.]
2015:7. Determine
2
ex dx
.
0 e1x + ex1
Solution 1.
2 1 2u
ex dx 1
eu du e du
=e =e
0 e1x + ex1 1 e u + eu
1 e 2u + 1
2
e 2u
1 e e +1
= log(e + 1) 1 = log
2 2 e2 + 1
e
= log e2 = e.
2
Solution 2. Setting u = ex , we nd that the integral is equal to
e2 e2
du u du e e2
=e 2 2
= log(e2 + u2 ) 1
1 (e/u) + (u/e) 1 e +u 2
2
e e + e4 e
= log 2
= log e2 = e.
2 e +1 2
Solution 3. We rst establish a general result: Suppose that f is contin-
uous on the interval [a, b]. Then
b
f (x a) dx 1
= (b a).
a f (x a) + f (b x) 2
84 5. CALCULUS AND ITS APPLICATIONS
2001:7. Suppose that x 1 and that x = x+{x}, where x is the greatest
integer not exceeding x and the fractional part {x} satises 0 {x} < 1.
Dene
x + {x}
f (x) = .
x
(a) Determine the supremum, i.e., the least upper bound, of the values
of f (x) for 1 x.
(b) Let x0 1 be given, and for n 1, dene xn = f (xn1 ). Prove
that limn xn exists.
Solution. (a) Let x = y + z, where y = x and z = {x}. Then
2 yz
f (x)2 = 1 + ,
y+z
which is less than 2 because y = z and yz < 12 (y + z) by the arithmetic-
geometric means inequality. Hence 0 f (x) < 2 for each value of x. Taking
y = 1, we nd that
2 2 z
lim f (x) = lim 1 + = 2,
x2 z1 1+z
whence sup{f (x) : x 1} = 2.
(b) In determining the fate of {xn }, note that after the rst entry, the
sequence lies in the interval [1, 2). So, wolog, we may assume that 1 x0 < 2.
If x0 = 1, then each
xn = 1 and the limit is 1. For the rest, note that f (x)
simplies to (1 + x 1)/ x on (1, 2). The key point now is to observe that
there is exactly one value v between 1 and 2 for which f (v) = v.
Let x =1 + u with u > 0. Then it can be checked that f (x) = x if and
only if 1 + 2 u + u = 1 + 3u + 3u2 + u3 or u5 + 6u4 + 13u3 + 12u2 + 4u 4 = 0.
Since the left side is strictly increasing in u, takes the value 4 when u = 0
and the value 32 when u = 1, the equation is satised for exactly one value
of u in (0, 1); now let v = 1 + u for this value of u. The value of v turns out
to be approximately 1.375.
Since
1 3/2
f (x) =x (x 1)1/2 [(2x 1) (x 1)1/2 ] > 0,
2
thefunction f (x) is strictly increasing on (1, 2). Observing that f (5/4) =
3/ 5 > 5/4 and f (25/16) = 7/5 < 25/16, we conclude that, when 1 < x < v,
x < f (x) < f (v) = v, and when v < x < 2, then v = f (v) < f (x) < x. Thus,
when 1 < x0 < v, the iterates {xn } constitute a bounded increasing sequence
whose limit is a xed point of f , and when v < x0 < 2, the iterates {xn }
constitute a bounded decreasing sequence whose limit is a xed point of f .
In either case, limn xn = v.
2002:5. Let n be a positive integer. Suppose that f is a function dened
and continuous on [0, 1] that is dierentiable on (0, 1) and satises f (0) = 0
and f (1) = 1. Prove that, there exist n [distinct] numbers xi (1 i n) in
(0, 1) for which
n
1
(x )
= n.
i=1
f i
Solution. Since f (x) is continuous on [0, 1], it assumes every value be-
tween 0 and 1 inclusive. Select points 0 = u0 < u1 < u2 < < un1 <
un = 1 in [0, 1] for which f (ui ) = i/n for 0 i n. Then, by the Mean
Value Theorem, for each i = 1, 2, . . . , n, there exists xi (ui1 , ui ) for which
1 f (ui ) f (ui1 )
= = f (xi ).
n(ui ui1 ) ui ui1
Therefore,
n
n
1
= n (ui ui1 ) = n.
i=1
f (xi ) i=1
2003:5. For x > 0, y > 0, let g(x, y) denote the minimum of the three
quantities, x, y + 1/x and 1/y. Determine the maximum value of g(x, y) and
where this maximum is assumed.
Solution 1. Consider Fig. 6.1 showing the curves of equations x = y+1/x,
x= 1/y and y + 1/x = 1/y, all three of which contain the point P
( 2, 1/ 2), and the regions in which g(x, y) is each one of the three given
functions. In region A, g(x, y) = x. In region B, g(x, y) = 1/y. In region C,
g(x, y) = y + 1/x.
When g(x, y) = x, the maximum value of g(x, y) is equal to 2, assumed
at
the point P . When g(x, y) = 1/y, the maximum value of g(x, y) is equal
to 2, also assumed at P . Suppose (x, y) is such that g(x, y) = y +1/x. Note
6. OTHER TOPICS IN ANALYSIS 87
that the curve y = 2 (1/x) passes through the point P , where it intersects
each of the curves y +(1/x) = (1/y) and y +(1/x) = x. It intersects neither of
these curves at any other point, and so
lies vertically above the region
where
g(x, y) = y + (1/x). In this region, y 2 (1/x) and so g(x, y) 2, with
equality only at the point
P. Hence the required maximum is 2, and it is
assumed at (x, y) = ( 2, 1/ 2).
Solution 2. [R. Appel] If x 1 and y 1, then g(x, y) x 1. If y 1,
then g(x, y) 1/y 1. It remains to examine the case x > 1 and y < 1, so
that y + (1/x) < 2. Suppose that min (x, 1/y) = a and max (x, 1/y) = b.
Then max (1/x, y) = 1/a and min (1/x, y) = 1/b, so that
1 1 1 a+b
y+ = + = .
x a b ab
y + 1/x = x
y + 1/x = 1/y
A C
x = 1/y
x
(6.2) x = 1/y
Solution 1.
1 1
2 2
f (x) dx = f (x)[2f (x) f (0) f (1)] dx
0 0
1
= f (x)[(f (x) f (0)) (f (1) f (x))] dx
0
1 x 1
= f (x) f (t)dt f (t) dt dx
0 0 x
1 x 1
|f (x)| f (t) dt f (t) dt dx
0 0 x
90 6. OTHER TOPICS IN ANALYSIS
1 x 1
|f (x)| |f (t)| dt + |f (t)|dt dx
0 0 x
1 1
= |f (x)| |f (t)| dt dx
0 0
1 1
= |f (x)| dx |f (x)| dx.
0 0
x
Solution 2. Let F (x) = 0 f (t) dt. Then, integrating by parts, we nd
that
1 1 1
f (x)F (x) dx = f (x)F (x) dx.
1
f 2 (x) dx = [f (x)F (x)]0
0 0 0
Hence
1 1 1
f 2 (x) dx |f (x)||F (x)| dx |f (x)| dx sup{|F (x)| : 0x1}.
0 0 0
Now
x 1
2|F (x)| = |F (x) F (0)| + |F (1) F (x)| = f (t) dt + f (t) dt
0 x
1
f (t) dt,
0
from which the result follows.
2005:5. Let f (x) be a polynomial with real coecients, evenly many
of which are nonzero, which is palindromic. This means that the
n coecients
read the same in either direction, i.e. ak = ank if f (x) = k=0 ak xk , or
alternatively, f (x) = xn f (1/x), where n is the degree of the polynomial.
Prove that f (x) has at least one root of absolute value 1.
Solution. If n = deg f (x) is odd, then k and n k have opposite parity
and
f (1) = {ak ((1)k + (1)nk ) : 0 k < n/2} = 0.
m m
Then f (ei ) = 2emi j=1 amj cos j. Let P () = j=1 amj cos j. Then
ei is a root of f if and only if P () = 0.
2
Now 0 P ()d = 0 and P () is not constant (otherwise f would be
identically 0), so P () is a continuous real function that assumes both positive
and negative values. Hence, by the Intermediate Value Theorem, P must
vanish somewhere on the interval [0, 2], and the result follows.
2005:9. Let S be the set of all real-valued functions that are dened,
positive and twice continuously dierentiable on a neighbourhood of 0. Sup-
pose that a and b are real parameters with ab = 0, b < 0. Dene operators
from S to R as follows:
A(f ) = f (0) + af (0) + bf (0);
G(f ) = exp A(log f ).
(a) Prove that A(f ) G(f ) for f S;
(b) Prove that G(f + g) G(f ) + G(g) for f, g S;
(c) Suppose that H is the set of functions in S for which G(f ) f (0).
Give examples of nonconstant functions, one in H and one not in
H. Prove that, if > 0 and f, g H, then f , f + g and f g all
belong to H.
Solution. (a) The result if clear if A(f ) 0. Suppose that A(f ) > 0. We
have that (log f ) = f /f and (log f ) = (f /f ) (f /f )2 , so that
2
af (0) bf (0) f (0)
A(log f ) = log f (0) + + b .
f (0) f (0) f (0)
We have that
af (0) bf (0)
log A(f ) = log f (0) + log 1 + +
f (0) f (0)
af (0) bf (0)
log f (0) + +
f (0) f (0)
2
f (0)
= A(log f ) + b A(log f ).
f (0)
Suppose that a = 0, and let f (x) = ekx . Then G(f ) = eka . If ka > 0,
2
then f H; if ka < 0, then f H. Suppose that a = 0, and let f (x) = ekx .
Then G(f ) = e2kb . If k < 0, then f H; if k > 0, then f H.
2006:3. Let p(x) be a polynomial of positive degree n with n distinct
real roots a1 < a2 < < an . Let b be a real number for which 2b < a1 + a2 .
Prove that
2n1 |p(b)| |p (a1 )(b a1 )|.
The solution to this problem appears in Chap. 2.
2006:6. Suppose that k is a positive integer and that
f (t) = a1 e1 t + a2 e2 t + + ak ek t
where a1 , . . . , ak , 1 , . . . , k are real numbers with 1 < 2 < < k . Prove
that f (t) = 0 has nitely many real solutions. What is the maximum number
of solutions possible, as a function of k?
1
f (a) f (u) = (a u)f (u) + (a u)2 f (v),
2
1
f (b) f (u) = (b u)f (u) + (b u)2 f (w).
2
Therefore
1
(b a)f (u) = f (b) f (a) + [(a u)2 f (v) (b u)2 f (w)]
2
so that
1
(b a)|f (u)| |f (a)| + |f (b)| + [(b u)2 |f (w)| + (a u)2 |f (v)|]
2
2 + [(b u)2 + (a u)2 ] 2 + (b a)2 ,
2 2
since
(b a)2 (b u)2 (a u)2 = 2(b u)(u a) 0.
Select a and b so that b a = 2 /. Then
) )
|f (u)| () + = 2 .
Solution. (a) By the Mean Value Theorem, there exists c (0, 1) for
which f (c) = f (1). Since f (x) is increasing, when 0 < a < c, f (a) < 1.
(b) For a (0, c), let g(x) = f (x) xf (a). Then g(0) = 0 and g (x) =
f (x) f (a). For 0 < u < a < v < 1, g (u) < 0 < g (v) (since f (x)
increases). Therefore g(a) < 0 and g(1) > 0. Since g (x) > 0 for a < x < 1,
there is a unique number b for which g(b) = 0, and the result follows.
94 6. OTHER TOPICS IN ANALYSIS
2008:2.
(a) Determine a real-valued function g dened on the real numbers that
is decreasing and for which g(g(x)) = 2x + 2.
(b) Prove that there is no real-valued function f dened on the real
numbers that is decreasing and for which f (f (x)) = x + 1.
(a) Solution. Let r > 0, r = 1. We determine a decreasing composite
square root of r2 x + r2 . Let g(x) = rx + b. Then g(g(x)) = r2 x + b(1 r).
When b = r2 (1r)1 , g is a decreasing function for which g(g(x)) = r2 x+r2 .
The particular case in the problem can be thus dealt with; an answer is
g(x) = 2x 2( 2 + 1) = 2(x + 2) 2.
f (x + 1) = f (f (f (x))) = f (x) + 1
necessary, wolog we can assume that f (x) > 0 on [0, 1]. Let f (x) = [g(x)]2
for some positive function g. Then the equation becomes
1 2 1 1
xg 2 (x) dx = g 2 (x) dx (xg(x))2 dx .
0 0 0
Solution. Let {r1 , r2 , . . . , ri , . . . } = {2, 3, 5, 6, 7, 10, 11, 12, 13, 14, 15, 17,
. . . } be the increasing sequence of all positive integers that are not the mth
power of any integer for any integer exponent exceeding 1. Let Xk be the set
of all rationals of the form a/rkc where a is an integer coprime with rk and c
is a positive integer. We include also in X1 all integers. Then it can be seen
that every rational lies in one of the Xk and that the Xk are disjoint.
(c+2)
Let k 1 and > 0; select c such that 1/rc < . Then {(ark +1)/rk :
a Z} is a set of elements of Xk equally spaced at intervals of 1/rkc+1 in R,
so that an element of the set lies inside each real open interval of length .
Hence Xk is dense in R.
2011:1. Let S be a nonvoid set of real numbers with the property that,
for each real number x, there is a unique real number f (x) belonging to S that
is farthest from x, i.e., for each y in S distinct from f (x), |x f (x)| > |x y|.
Prove that S must be a singleton.
Solution 1. Let a be an arbitrary real, and let b be the unique point of
S that is farthest from a. Then every number in S lies on the same side of b
as a. Let c be the unique number in S that is farthest from b. Then S must
be in the closed interval bounded by b and c. It follows that both b and c
are the farthest points in S from 12 (b + c). By the unicity, we must have that
b = c and the result follows.
Solution 2. Since the condition applies to 0 in particular, |x| |f (0)| for
all x S. Therefore S is bounded. Let a = inf S and b = sup S. Then a b
and S [a, b]. Since a x f (a) b, for all x S, it follows that f (a) = b.
Similarly f (b) = a, and both a and b belong to S.
For each x S, |x 12 (a + b)| |a 12 (a + b)| = |b 12 (a + b)|, so that
a = f ( 12 (a + b)) = b. The desired result follows.
[Problem 2011:1 was contributed by Bamdad Yahaghi.]
2012:6. Find all continuous real-valued functions dened on R that
satisfy f (0) = 0 and
f (x) f (y) = (x y)g(x + y)
for some real-valued function g(x).
Solution 1. Setting y = 0, we nd that f (x) = xg(x) for all real x, so
that g(x) is continuous for all nonzero values of x. Therefore
(6.4) (x + y)[f (x) f (y)] = (x y)f (x + y)
98 6. OTHER TOPICS IN ANALYSIS
where N is the subset of [0, 2] upon which f (x) is negative. This puts into
question the displayed inequality in the purported solution.
2 2
(b) We observe that when f (x) = 12 x, then 0 f (x) dx > 0 (f (x))2 dx,
2 2
while when f (x) = 12 (x 2), then 0 f (x) dx < 0 < 0 (f (x))2 dx. This
suggests that we can satisfy the condition of the problem with a function of
the form f (x) = 12 (x ) for some value of in the interval (0, 2). Any such
function will never assume the value 1 on the interval.
We have that
2
f (x) dx = 1
0
and
2
1
[3(1 )2 + 1].
(f (x))2 dx =
0 6
These two expressions are equal when = 2/3. Thus, we can take
x 1
f (x) = .
2 6
In Cases 1 and 3, the left side of the given equation is less than the
right, while in Case 2, the left side is greater than the right. In all cases, the
equality cannot hold, and we obtain the result.
2013:3. Let f (x) be a convex increasing real-valued function dened
on the closed interval [0, 1] for which f (0) = 0 and f (1) = 1. Suppose that
0 < a < 1 and that b = f (a).
(a) Prove that f is continuous on (0, 1).
(b) Prove that
1
0ab2 (x f (x)) dx 1 4b(1 a).
0
y = f (x) and so lies underneath the graph. The area under the line is equal
to
2
1 b 2 m(1 a) + b
1a+ (m(1 a) + b) = 2b(1 a),
2 m m 2
by the arithmetic-geometric means inequality. This gives the desired result.
Solution 2 (to part of b). First, we have that b = f (a) (1 a)f (0) +
af (1) = a, so that a b 0. Making use of the respective substitutions
x = ta and x = (1 t)a + t = a + t(1 a) we nd that
a 1 1
(x f (x)) dx = a (ta f (ta)) dt a (ta tf (a)) dt
0 0 0
1
a(a b)
=a t(a b) dt = ,
0 2
and that
1 1
(x f (x)) dx = (1 a) [(1 t)a + t f ((1 t)a + t)] dt
a 0
1
(1 a) [(1 t)a + t ((1 t)f (a) + tf (1))] dt
0
1
(1 a)(a b)
= (1 a) (1 t)(a b) dt = .
0 2
Adding these two inequalities together yields
1
ab
(x f (x)) dx .
0 2
If limn xn = z u, then
Solution. (a) Trying a function of the form c(x 12 ) yields the examples
f (x) = 12x 6. Other examples are f (x) = 21 2 cos(x) and f (x) =
2 sin(2x).
(b) If there existed no such interval I, then |f (x)| 4 for all x [0, 1].
Then
1 12 1
1= f (x)(x(1/2)) dx= (f (x))((1/2)x) dx+ f (x)(x(1/2)) dx
1
0 0 2
1
2
1
<4 ((1/2) x)dx + 4 (x (1/2)) dx = 4 (1/8) + 4 (1/8) = 1.
1
0 2
Note that the inequality is strict. Equality would require that f (x) = 4 on
(0, 12 ) and f (x) = 4 on ( 12 , 1), an impossibility for a continuous function.
Comment. B. Yaghani draws attention to Problem 25 of Chap. 11
appearing on page 184 of Michael Spivak, Calculus (W.A. Benjamin, 1967),
where it is required to show that, if g is twice dierentiable on [0, 1] with
g(0) = g (0) = g (1) = 0 and g(1) = 1, then |g (c)| 4 for some c
t t
[0, 1]. Setting g(t) = 0 (x t)f (x)dx, whereupon g (t) = 0 f (x)dx and
g (t) = f (t), yields the desired result.
[Problem 2014:4 is based on #4520 in the American Mathematical
Monthly 60:1 (January, 1953), 48; 61:4 (April, 1954), 266268.]
2014:10. Does there exist a continuous real-valued function dened on
R for which f (f (x)) = x for all x R?
Solution 1. The answer is no. Since f (f (x)) = x denes a one-one
function, it follows that f (x) itself is one-one. Therefore f (x) is either strictly
increasing or strictly decreasing on R. But this is impossible, since in either
case, f (f (x)) would be increasing.
Solution 2. The answer is no. Suppose that f is such a function and
that f (0) = u. Then f (u) = f (f (0)) = 0 and so u = f (0) = f (f (u)) = u.
Hence u = 0 and f (0) = 0.
Suppose that f (v) = 0. Then f (0) = f (f (v)) = v. Therefore f (v) = 0
if and only if v = 0.
Let a = 0 and b = f (a). Then f (b) = a and f (a) = b. Consider
the four numbers a, b, a, b repeated cyclically. The alternate ones have
opposite signs, so there must be two numbers of the same sign followed by
one of the opposite sign. With no loss of generality, we can assume that a
and b are positive while a and b are negative. Then f (a) and f (b) have
opposite signs, so by the Intermediate Value Theorem, there must exist c
between a and b for which f (c) = 0. But this is a contradiction. Therefore,
there is no continuous function with the desired property.
2015:1. Suppose that u and v are two real-valued functions dened on
the set of reals. Let f (x) = u(v(x)) and g(x) = u(v(x)) for each real x. If
f (x) is continuous, must g(x) also be continuous?
6. OTHER TOPICS IN ANALYSIS 105
Suppose that u is any function for which u(1) = 1 and u(0) = u(1) = 0.
Then f (x) = 0 for all real x while
0, when x 0;
g(x) =
1, when x > 0.
1
f (1) + f (0)
= f (x) dx.
2 0
Since
1
1
1 1 1
x f (x) dx sup |f (x)| x dx = sup |f (x)|,
2 2 4
0 0
Because of this relation and because f (t) f (0) and f (t) have the same
derivative, there is no loss in generality in assuming that f (0) = 0. Then
1 1 1 x
f (1) 1
f (x) dx = f (x) dx f (y) dy dx
2 0 2 0 0 0
1 1 1
1
= f (y) dy f (y) dx dy
2 0 0 y
106 6. OTHER TOPICS IN ANALYSIS
1
1 1
= f (y) dy f (y)(1 y) dy
2 0 0
1
1
= y f (y) dy
0 2
and we can conclude as in Solution 1.
Comment. A weaker result can be obtained by noting that the 1 Integral
Mean Value Theorem provides a value c [0, 1] for which f (c) = 0 f (x)dx.
The left side is thus equal to
1 1
|(f (1) f (c)) + (f (0) f (c))| (|f (1) f (c)| + |f (c) f (0)|)
2 2
c #
1 " 1
+
= f (x) dx f (x) dx
2 c 0
1
1
|f (x)| dx sup |f (x)|.
0 2
[Problem 2015:3 was contributed by Omran Kouba, Higher Institute for
Applied Sciences and Technology, Damascus, Syria.]
CHAPTER 7
Linear Algebra
from which the linear independence follows. (Note that the left expression is
a polynomial in cos x which vanishes at innitely many values.)
(b) a sin x + b cos x + c tan x + d sec x belongs to the kernel of T
a sin2 x + b cos2 x + c tan2 x + d sec2 x = 0 (x)
a + (b a) cos2 x + (c + d) sec2 x c = 0 (x)
(a c) + (b a) cos2 x + (c + d) sec2 x = 0 (x)
(b a) cos4 x + (a c) cos2 x + (c + d) = 0 (x)
b = a = c = d,
which occurs if and only if a sin x + b cos x + c tan x + d sec x is a multiple of
sin x + cos x + tan x sec x. Hence the nullity of T is 1 and the rank of T is 3.
A basis for the kernel of T consists of the function sinx + cos x + tan x sec x.
2002:7. Prove that no vector space over R is a nite union of proper
subspaces.
Solution. Suppose that the statement is false. Let r be the minimum
number of proper subspaces whose union is the whole of V . Suppose that
S1 , S2 , . . . , Sr are subspaces for which V = ri=1 Sr . Note that r 2. Since
r is minimal, no subspace is contained in a union of the others. Select v
S1 \ ri=2 Si and w S2 \S1 . For each real , v + w S1 . By the pigeonhole
principle, there is an index j and two distinct reals and for which v + w
and v + w both belong to Sj . Hence, ( )v Sj , so that v Sj . But
this contradicts the choice of v.
[Problem 2002:7 is #10707 in the American Mathematical Monthly 106:1
(January, 1999), 67; 107:10 (December, 2000), 951952.]
2002:8. [(a) Suppose that P is an n n nonsingular matrix and that u
and v are column vectors with n components. The matrix v t P 1 u is 1 1,
and so can be identied with a scalar. Suppose that its value is not equal
to 1. Prove that the matrix P + uv t is nonsingular and that
1
(P + uv t )1 = P 1 P 1 uv t P 1
where v t denotes the transpose of v and = 1 + v t P 1 u. (b) Explain the
situation when = 0.
Solution 1. (a) Observe that uv t is an n n matrix and that for each
column vector w, v t w is a 1 1 matrix or scalar. Thus, (uv t )w = u(v t w) =
(v t w)u, and so uv t is a rank 1 matrix, whose range is spanned by the vector
u. It follows that the matrix uv t P 1 is also rank 1 whose range is the span
of u. Note that, for every real scalar ,
(uv t P 1 )u = u(v t P 1 u) = (v t P 1 u)u
since v t P 1 u, being a 1 1 matrix, is essentially a scalar. Thus, on the span
of u, (uv t P 1 ) behaves like (v t P 1 u)I, a multiple of the identity. It follows
that
(v t P 1 uI uv t P 1 )(uv t P 1 ) = O.
7. LINEAR ALGEBRA 109
as desired.
(b) Suppose that v t P 1 u = 1. Then v t P 1 uv t = v t = v t P 1 P , so
that v t P 1 (uv t + P ) = O. Since v t P 1 = O, we cannot have an inverse for
uv t + P .
Solution 2. This is similar to Solution 1, with the inverse checked on the
right instead of the left. Let z = P 1 u. Since uv t is a rank 1 matrix whose
range is spanned by u (see Solution 1), P 1 uv t is a rank 1 matrix whose
range is spanned by z. We have that
(P 1 uv t )z = (P 1 uv t P 1 )u = (P 1 u)(v t P 1 u)
= (v t P 1 u)(P 1 u) = (v t P 1 u)z
Note that
1 1 t 1
(P 1 P uv P )(P + uv t )
1 1 t 1 1 t 1 t
= I + P 1 uv t P uv P uv P uv
1
=I+ [( 1)P 1 uv t P 1 uv t P 1 uv t ]
1
= I + [(v t P 1 u)P 1 uv t P 1 uv t P 1 uv t ]
1
= I + [(v t P 1 uI P 1 uv t )P 1 uv t ]
from which the result follows.
Solution 1. Let A = (aij ) and B = (bij ). Since the image each of the
matrix A and the matrix B as an operator on Fn (where F is the underlying
eld) is the span of its column vectors, there exist nonzero vectors (ai ), (bi ),
(uj ), (vj ) for which
aij = ai uj and bij = bi vj .
Hence aij + bij = ai uj + bi vj . Similarly, since A + B = (aij + bij ) has rank
1, there are vectors (ci ) and (wj ) for which
aij + bij = ci wj .
Thus, for all i and j,
a i u j + bi v j = c i w j .
If the rows of A and B are multiples of the same row, then there exists
a constant k for which vj = kuj for each j, and so ci wj = (ai + kbi )uj , and
so the ith row of A + B is also a multiple of (uj ).
Suppose that the vectors (u1 , . . . , uj , . . . , un ) and (v1 , . . . , vj , . . . , vn ) are
linearly independent. Wolog, we may assume that (u1 , u2 ) and (v1 , v2 ) are
linearly independent. Then u1 v2 u2 v1 = 0, and for each i, the system
u 1 a i + v 1 bi = w 1 c i
u 2 a i + v 2 bi = w 2 c i
has the solution ai = pci , bi = qci , where
w1 v 2 w2 v 1
p=
u1 v 2 u2 v 1
and
u 1 w2 u 2 w1
q=
u1 v 2 u2 v 1
are independent of i. The result follows.
Solution 2. Suppose that A = uat and B = vbt where a = (aj ), b = (bj ),
u = (ui ) and v = (vi ) are column vectors. If the set {u, v} is linearly
dependent, then the columns of A + B, A and B are multiplies of each other
and the result follows. Otherwise, let {u, v} be linearly independent. The
ith columns of A and B are respectively ai u and bi v. Since A + B is of rank
1, there exists a column vector w and scalars ci for which
a i u + bi v = c i w
7. LINEAR ALGEBRA 111
as desired.
n
Solution 2. [R. Barrington Leigh] Let A1 = (cij ) and dj = i=1 cij , the
jth column sum of A1 for 1 j n. Let E be the n n matrix all of whose
entries are 1, so that B = A + E. Observe that E = (1, 1, . . . , 1)t (1, 1, . . . , 1),
where t denotes the transpose. Then
det B = (det B)(det A)1 = (det B)(det A1 ) = det(BA1 )
= det[(A + E)A1 ] = det[I + (1, 1, . . . , 1)t (1, 1, . . . , 1)(cij )]
= det[I + (1, 1, . . . , 1)t (d1 , d2 , . . . , dn )].
112 7. LINEAR ALGEBRA
so that there is at most one value of i for which bki = 0 and bki = (Ae)i = 1.
Since A1 is invertible, there is at least one 1 in each row, so there must be
exactly one in each row. Similarly, there is at least one 1 in each column, so
that A1 must be a permutation matrix, as must be A. Therefore, there are
exactly n! possibilities.
1
Solution 3. [E. Redelmeier] n Let A = (aij ) and A = (bij ). Consider
any value of i. Since 1 = j=1 aij bji , there is a unique value of j, say
j = (i)
n for which a ij = b ji = 1. Suppose, for i = l, that (i) = (l). Then
0 = j=1 aij bjl ai(i) b(l)l = 1, a contradiction. Hence is one-one and
so a permutation.
Suppose, for k = (i), aik = ai(i) . Then k = (l), for some index l
n
distinct from i and so j=1 aij bjl aik bkl ai(i) b(l)l = 1, a contradiction.
Hence each row contains exactly one 1 and, moreover, A is a permutation
matrix. So also is A1 . Conversely, each permutation matrix has the desired
property, and so the number of matrices is n!.
2005:4. Let a be a nonzero real and u and v be real 3-vectors. Solve
the equation
2ax + (v x) + u = O
for the vector x.
114 7. LINEAR ALGEBRA
Therefore
1 1 1
2ax + u = (v u)v (v v)x + (v u)
4a2 2a 2a
which can be rearranged to give
[8a3 + 2a(v v)]x = (v u)v + 2a(v u) 4a2 u.
Observe that, since v v > 0, the coecient of x is nonzero and the same
sign as a.
Solution 2. Suppose that v = u for some real . Then, since v x is
orthogonal to both v and x, we must have that x = (2a)1 u.
Suppose that v is not a multiple of u. Then we can write u = v + w
where w = O and v w. Then {v, w, v w} is an orthogonal basis for
3-space. Dene the operator
T (x) = 2ax + (v x).
Then T (v) = 2av, T (w) = 2aw + (v w), T (v w) = 2a(v w) + v
(v w) = 2a(v w) |v|2 w. Then, if x = xv + yw + z(v w), the given
equation is rendered
2a 0 0 x
0 2a |v|2 y = 1 .
0 1 2a z 0
Hence, the components of x are given by
2a 1
x= y= 2 z= .
2a 4a + |v|2 4a2 + |v|2
Comment. Taking u = v + w, we can rewrite the result in Solution 1 as
2a(4a2 + |v|2 )x = |v|2 v + 2a(v w) 4a2 v 4a2 w
= (4a2 + |v|2 )v (2a)2 w + 2a(v w),
which agrees with the result in Solution 2.
7. LINEAR ALGEBRA 115
(I + (sin )P + (1 cos )P 2 )x = (x, 0, 0) + (0, (cos )y (sin )z, (sin )y + (cos )z).
Comment. A direct solution for the rows and columns can be obtained
from the relationships between the elements of A and A1 . Let A = (aij )
and A1 = (bij ). Then, for 1 i, k 3,
118 7. LINEAR ALGEBRA
3
aij bjk = ik ,
j=1
where ij is the Kronecker delta. Let the common sums for A be s. Then
3
3 3
3 3
3
s bjk = ( aij )bjk = ( aij bjk ) = ik = 1,
j=1 j=1 i=1 i=1 j=1 i=1
3
whence s = 0 and j=1 bjk = 1/s. Hence, each column sum of A1 is 1/s.
A similar argument holds for the row sums.
2007:7. Find the Jordan canonical form of the matrix uvt where u and
v are column vectors in Cn .
with u = O, so that uvt has the nonzero eigenvalue vt u. Since uvt has rank
1, so also does its Jordan form, which is then
t
v u 0 0 0
0 0 0 0
.. .. .. . . ..
. . . . .
0 0 0 0
c a a2 an1
b c a an2
2
c an3
0 = det b b
. . . .
.. .
.
.
.
.
.
bn1 b n2 c
1 ( c + 1) a a2 an1
b 1 ( c + 1) a an2
b2 b 1 ( c + 1) an3
= det .
. . . .
.. .. .. ..
b n1 b n2 1 ( c + 1)
120 7. LINEAR ALGEBRA
Dn = (c 1)n1 (c + n 1).
Solution 6. [J. Kramar; O. Ivrii] The (i, j)th term in the given matrix is
cij aji , where ij is the Kronecker delta that takes the value 1 when i = j
and 0 otherwise. The expansion of the determinant of this matrix is the sum
of n! terms of the form
n
n
n
c () ai(i) = c () ai a(i) = c () .
i=1 i=1 i=1
We let A be the companion matrix of the rst factor on the right, namely
0 1 0
A = 0 0 1 .
1 1 0
Indeed, it can be checked that A3 = I + A, whence A6 = I + A2 and A7 =
A + A3 = A + I + A = I, as desired.
[Problem 2009:5 was contributed by Alfonso Grazia-Saz.]
2009:8. Let a, b, c be members of a real inner-product space (V,
, )
whose norm is given by x2 =
x, x. (You may assume that V is Rn if you
wish.) Prove that
a + b + b + c + c + a a + b + c + a + b + c
for a, b, c V .
Suppose that aii = 0 for each i. Then each column must have evenly many
entries equal to 1. But then the sum of the row vectors of M must be the
zero vector, and so the rows are linearly dependent. Hence the rank of M is
less than n, and so M is not invertible.
Solution 2. Let x = (x1 , x2 , . . . , xn )t be a column vector over Z2 and
observe that
n n
t 2
xAx = aii xi = ( aii xi )2 .
i=1 i=1
t
naij + aji = 2aij = 0.) Dene N = {x : xAx = 0}. Then
(Note that
N = {x : i=1 aii xi = 0}.
Suppose that A = M t M . Then M is invertible and so x M x is a
surjection (onto). Therefore the equation
0 = xAxt = xM t M xt = (M xt )t (M xt )
is not satised for each x, so that N is a proper subspace of (Z2 )n . Therefore,
there must exist i for which ai,i = 0.
[Problem 2010:8 was contributed by Franklin Vera Pachebo.]
2011:7. Suppose that there are 2011 students in a school and that each
student has a certain number of friends among his schoolmates. It is assumed
that if A is a friend of B, then B is a friend of A, and also that there may
exist certain pairs that are not friends. Prove that there is a nonvoid subset
S of these students for which every student in the school has an even number
of friends in S.
Solution. Dene a 2011 2011 matrix with entries aij in Z2 {0, 1},
the eld of integers modulo 2, as follows: aij = 1 if and only if i and j are
distinct and persons i and j are friends, and aij = 0 otherwise.
where the sum has n! terms and is taken over all permutations of the
symmetric group S2011 . Since 2011 is odd, any permutation of period 2,
consisting of a product of independent transpositions, must leave at least
one element xed so that its contribution to the determinant sum is 0. The
remaining permutations come in inverse pairs that yield the same product
value in the sum. It follows that the determinant of the matrix has the
value 0.
Therefore there is a linearly dependent subset of rows, and therefore a set
of rows whose modulo 2 sum is 0. The portion of each column belonging to
each of these rows must contain an even number of 1s. This means that the
person corresponding to that column must have evenly many friends among
the persons corresponding to the rows.
[Problem 2011:7 was contributed by Ali Feiz Mohammadi.]
2011:9. Suppose that A and B are two square matrices of the same
order for which the indicated inverses exist. Prove that
(A + AB 1 A)1 + (A + B)1 = A1 .
Observe that
(A + B) (A + B ) = (A + B)A1 (A + B ) = (I + BA1 )(A + B )
= (A + B) + (B + BA1 B ) = (A + B) + (B + A)
= (A + B) + (A + B ).
so that each tij is zero and 2k = |k |2 for each k. Thus T is a diagonal matrix
with real eigenvalues, and so hermitian. Therefore A is hermitian.
Solution 3. Observe that
A 2 = (A2 ) = (AA ) = AA = A2 .
Suppose that it has been established that A k = Ak for some integer k not
less than 2. Then
Ak+1 = A(A k ) = (AA )(A k1 ) = A 2 (A k1 ) = A k+1
so that A m = Am for all integers m 2.
Let p be the minimal polynomial for A. Since every eigenvalue of A2 =
AA is nonnegative, it follows that every eigenvalue of A is real, so that p has
real coecients and p(A ) = (p(A)) = O. Thus p is the minimal polynomial
for A .
Suppose, if possible, that p(t) = t2 q(t), for some polynomial q(t). Let x
be any vector, and let y = q(A )x. Then
AA y = A2 y = A 2 y = p(A )x = 0
so that
A y, A y =
y, AA y = 0
from which A q(A )x = A y = 0. But this contradicts the fact that p is the
tr(M M ) = tr(M M ).
It follows from this that M = O if and only if tr(M M ) = 0. If M = M ,
then its trace is real and tr(M ) = tr(M ).
Consider the situation of the problem where AA = A2 . We have that
(A A )(A A ) = (A A )(A A) = (AA A2 ) + (A A A2 ) = A A A2 ,
[Problem 2012:10 and its solutions are drawn from the American Math-
ematical Monthly 101:4 (April, 1994), 362; 104:3 (1997), 277278.]
2013:7. Let (V,
) be a two-dimensional inner product space over the
complex eld C and let z1 and z2 be unit vectors in V . Prove that
1
sup{|
z, z1
z, z2 | : z = 1}
2
with equality if and only if
z1 , z2 = 0.
Solution. Let
z1 , z2 = a + bi for real a and b. Since |
z, z1
z, z2 | =
|
z, z1
z, z2 |, there is no loss of generality in assuming that a = Re
z1 , z2
0. Suppose that w = (z1 + z2 )/(z1 + z2 ). Then w = 1 and the supre-
mum in the problem is not less than
w, z1
w, z2 . Note that |
w, z1 | =
|1 +
z2 , z1 |/(z1 + z2 ) and that |
w, z2 | = |1 +
z1 , z2 |/(z1 + z2 ). Also
z1 + z2 =
z1 + z2 , z1 + z2 =
z1 , z1 +
z2 , z2 +
z1 , z2 +
z2 , z1 =
2 + 2Re
z1 , z2 = 2 + 2a.
|1 +
z1 , z2 |2
|
w, z1
w, z2 | =
2 + 2a
(1 + a)2 + b2
=
2(1 + a)
1 b2 1
= 1+a+ ,
2 1+a 2
with equality if and only if a = b = 0, i.e.
z1 , z2 = 0. Thus, if the supremum
is 12 , then
z1 , z2 = 0.
On the other hand, suppose that
z1 , z2 = 0. Then {z1 , z2 } is an or-
thonormal basis, and we can write z = uz1 + vz2 where |u|2 + |v|2 = 1 for
z = 1. Then
1 1
|
z, z1
z, z2 | = |u||v| (|u|2 + |v|2 ) =
2 2
with equality if and only if |u| = |v| = 21/2 . Therefore, the supremum is 12
in this case.
Comment. If V is a real, rather than complex, vector space, then a
trigonometric solution is possible. Wolog, we can assume that a basis has
been selected so that z1 = (1, 0) and z2 = (cos , sin ). Suppose that
z = (cos , sin ), then
z, z1
z, z2 = cos (cos cos + sin sin ) = cos (cos( ))
1
= [cos + cos( 2)].
2
If cos = 0 and sin = 1, then the value of this expression is | 12 cos(
2)| 12 , so that the supremum is equal to 1/2, attainable when 2 = .
130 7. LINEAR ALGEBRA
On the other hand, when cos > 0 and 2 = , the expression is greater
than 1/2 and the supremum exceeds 1/2. Similarly, when cos < 0, and 2 =
+ , the expression is less than 1/2 and again the supremum exceeds 1/2.
2013:8. For any real square matrix A, the adjugate matrix, adj A, has
as its elements the cofactors of the transpose of A, so that
A adj A = adj A A = (det A)I.
where runs through all n! of the permutations of the rst n natural numbers.
Solution 1. [J. Love] The dimension cannot exceed n. Taking the dif-
ference of two permutations with identical outcomes except in the ith and
nth positions where takes the values 1 and 2, we nd that the vector space
contains the vectors
(0, 0, . . . , 0, 1, 0, . . . , 0, 1) = (3, 4, . . . , i + 1, 2, i + 2, . . . , n, 1)
(3, 4, . . . , i + 1, 1, i + 2, . . . , n, 2).
Similarly, it can be shown that this span contains all of the basis vectors
(0, 0, . . . , 1, . . . , 0). Hence the required dimension is n.
Solution 3. The dimension cannot exceed n, and is in fact equal to n.
We prove that
Using the fact that the absolute value of the determinant remains unc-
hanged if one column or row is subtracted from another, we have that
1 2 3 4 n2 n1 n
2 3 4 5 n1 n 1
3 4 5 6 n 1 2
n 1 2 3 n3 n2 n 1
1 1 1 1 1 1 1
2 1 1 1 1 1 (n 1)
3 1 1 1 1 (n 1) 1
=
4 1 1 1 (n 1) 1 1
n (n 1) 1 1 1 1 1
1 1 1 1 1 1 1
1 0 0 0 0 0 n
2 0 0 0 0 n 0
=
3 0 0 0 n 0 0
n 1 n 0 0 0 0 0
n 1 1 1 1 1 1
1 0 0 0 0 0 1
n2 2 0 0 0 0 1 0
=n 3 1
0 0 0 0 0
n 1 1 0 0 0 0 0
n(n + 1)/2 1 1 1 1 1 1
0 0 0 0 0 0 1
n1 0 0 0 0 0 1 0
=n 1
0 0 0 0 0 0
0 1 0 0 0 0 0
n(n + 1)
= nn2 (1) = 0.
2
CHAPTER 8
Geometry
2001:2. Let O = (0, 0) and Q = (1, 0). Find the point P on the line with
equation y = x + 1 for which the angle OP Q is a maximum.
The solution to this problem appears in Chap. 5.
2001:8. A regular heptagon (polygon with seven equal sides and seven
equal angles) has diagonals of two dierent lengths. Let a be the length of
a side, b be the length of a shorter diagonal and c be the length of a longer
diagonal of a regular heptagon (so that a < b < c). Prove ONE of the
following relationships:
a2 b2 c2
2
+ 2 + 2 =6
b c a
or
b2 c2 a2
+ + = 5.
a2 b2 c2
The solution to this problem appears in Chap. 2.
2002:1. Let A, B, C be three pairwise orthogonal faces of a tetrahedron
meeting at one of its vertices and having respective areas a, b, c. Let the face
D opposite this vertex have area d. Prove that
d 2 = a 2 + b2 + c 2 .
where k is the distance from the origin to its opposite face. The foot of
the perpendicular from the origin to this face is located at ((um)1 , (vm)1 ,
(wm)1 ), where m = u2 + v 2 + w2 , and its distance from the origin is
m1/2 . Since a = 3V u1 , b = 3V v 1 , c = 3V w1 and d = 3V m1/2 , the
result follows.
Solution 2. [J. Chui] Let edges of lengths x, y, z be common to the
respective pairs of faces of areas (b, c), (c, a), (a, b). Then 2a = yz,2b = zx
and 2c = xy. The fourth face is bounded by sides of length u = y2 + z2 ,
v = z 2 + x2 and w = x2 + y 2 . By Herons formula, its area d is given by
the relation
16d2 = (u + v + w)(u + v w)(u v + w)(u + v + w)
= [(u + v)2 w2 ][w2 (u v)2 ]
= [2uv + (u2 + v 2 w2 )][2uv (u2 + v 2 w2 )]
= 2u2 v 2 + 2v 2 w2 + 2w2 u2 u4 v 4 w4
= 2(y 2 + z 2 )(x2 + z 2 ) + 2(x2 + z 2 )(x2 + y 2 ) + 2(x2 + y 2 )(y 2 + z 2 )
(y 2 + z 2 )2 (x2 + z 2 )2 (x2 + y 2 )2
= 4x2 y 2 + 4x2 z 2 + 4y 2 z 2 = 16a2 + 16b2 + 16c2 ,
whence the result follows.
Solution 3. Use the notation of Solution 2. There is a plane containing the
edge bounding the faces of areas a and b perpendicular to the edge bounding
the faces of areas c and d. Suppose it cuts the latter faces in altitudes of
respective lengths u and v. Then 2c = u x2 + y 2 , whence u2 (x2 + y 2 ) =
x2 y 2 . Hence
x2 y 2 + x2 z 2 + y 2 z 2 4(a2 + b2 + c2 )
v 2 = z 2 + u2 = = ,
x2 + y 2 x2 + y 2
so that
2d = v x2 + y 2 = 4d2 = 4(a2 + b2 + c2 ),
as desired.
Solution 4. [R. Ziman] Let a, b, c, d be vectors orthogonal to the
respective faces of areas a, b, c, d that point inwards from these faces and
have respective magnitudes a, b, c, d. If the vertices opposite the respective
faces are x, y, z, O, then the rst three are pairwise orthogonal and
2a = y z, 2b = z x, 2c = x y,
and
2d = (z y) (z x) = (z x) (y z) (x y).
Hence d = (a + b + c), so that
d2 = d d = (a + b + c) (a + b + c) = a2 + b2 + c2 .
8. GEOMETRY 135
2004:9. Let ABCD be a convex quadrilateral for which all sides and
diagonals have rational length and AC and BD intersect at P . Prove that
AP , BP , CP , DP all have rational length.
Solution 1. Because of the symmetry, it is enough to show that the length
of AP is rational. The rationality of the lengths of the remaining segments
can be shown similarly. Coordinatize the situation by taking A (0, 0),
B (p, q), C (c, 0), D (r, s) and P (u, 0). Then, equating slopes, we
nd that
s sq
=
ru rp
so that
sr ps
=ru
sq
whence u = r srps psqr
sq = sq .
Note that |AB|2 = p2 + q 2 , |AC|2 = c2 , |BC|2 = (p2 2pc + c2 ) + q 2 ,
|CD|2 = (c2 2cr + r2 ) + s2 and |AD|2 = r2 + s2 , we have that
2rc = |AC|2 + |AD|2 |CD|2
so that, since c is rational, r is rational. Hence s2 is rational.
Similarly
2pc = |AC|2 + |AB|2 |BC|2 .
Thus, p is rational, so that q 2 is rational.
2qs = q 2 + s2 (q s)2 = q 2 + s2 [(p r)2 + (q s)2 ] + p2 2pr + r2
is rational, so that both qs and q/s = (qs)/s2 are rational. Hence
p r(q/s)
u=
1 (q/s)
is rational.
Solution 2. By the cosine law, the cosines of all of the angles of the
triangles ACD, BCD, ABC and ABD are rational. Now
AP sin ABP
=
AB sin AP B
and
CP sin P BC
= .
BC sin CP B
Since AP B + BP C = 180 , therefore sin AP B = sin CP B and
AP AB sin ABP AB sin ABP sin P BC
= =
CP BC sin P BC BC sin2 P BC
AB(cos ABP cos P BC cos(ABP + P BC))
=
BC(1 cos2 P BC)
AB(cos ABD cos DBC cos ABC)
=
BC(1 cos2 DBC)
is rational. Also AP + CP is rational, so that (AP/CP )(AP + CP ) =
((AP/CP ) + 1)AP is rational. Hence AP is rational.
136 8. GEOMETRY
2006:4. Two parabolas have parallel axes and intersect in two points.
Prove that their common chord bisects the segments whose endpoints are the
points of contact of their common tangent.
Solution 1. Wolog, we may assume that the parabolas have the equations
y = ax2 and y = b(x 1)2 + c. The common chord has equation
a[b(x 1)2 + c y] b[ax2 y] = 0,
or
(8.1) (a b)y + 2abx a(b + c) = 0.
Consider a point (u, au2 ) on the rst parabola. The tangent at this point
has equation y = 2aux au2 . The abscissa of the intersection point of this
tangent with the parabola of equation y = b(x 1)2 + c is given by the
equation
bx2 2(b + au)x + (au2 + b + c) = 0.
This has coincident roots if and only if
(8.2) (b + au)2 = b(au2 + b + c) a(a b)u2 + 2abu bc = 0.
In this situation, the coincident roots are x = 1 + (au)/b and the point of
contact of the common tangent with the second parabola is
au a2 u2
1+ , +c .
b b
The midpoint of the segment joining the two contact points is
b + au + bu abu2 + a2 u2 + bc
, .
2b 2b
Plugging this into the left side of (8.1) and using (8.2) yields that
[1/(2b)][(a b)a(a + b)u2 + (a b)bc + 2ab2 + 2ab(a + b)u 2ab(b + c)]
= [(a + b)/(2b)][a(a b)u2 + 2abu bc] = 0.
Thus, the coordinates of the midpoint of the segment satisfy (8.1) and the
result follows.
Solution 2. [A. Feizmohammadi] Let the two parabolas have equations
y = ax(x u) and y = bx(x v) with au = bv. Since the two parabolas
must open the same way for the situation to occur, wolog, we may suppose
that a > b > 0. The parabolas intersect at the points (0, 0) and ((au
bv)/(ab), (ab(aubv)(uv))/(ab)2 ), and the common chord has equation
(a b)y ab(u v)x = 0.
Let y = mx + k be the equation of the common tangent. Then both of
the equations ax2 (au + m)x k = 0 and bx2 (bv + m)x k = 0 have
coincident solutions. Therefore (au + m)2 + 4ak = (bv + m)2 + 4bk = 0, from
which (by eliminating k),
ab(au2 bv 2 ) + 2ab(u v)m + (b a)m2 = 0.
8. GEOMETRY 137
y = x(1x)
y =2x(x3)
2007:8. Suppose that n points are given in the plane, not all collinear.
Prove that there are at least n distinct straight lines that can be drawn
through pairs of the points.
Solution. This can be obtained as a corollary to Sylvesters Theorem:
Suppose that n points are given in the plane, not all collinear. Then there is
exists a line that contains exactly two of them. The proof of this is given in
Appendix A.
We can now solve the problem by an induction argument. It is clearly
true for n = 3; suppose it holds for n 1 3 and that n points are given.
Pick a line that passes through exactly two points P and Q of the set. At
least one of these points, say P , is not collinear with the rest. Remove this
line and the point Q. We can nd n 1 distinct lines determined by pairs of
the other n 1 points, and restoring the line through P Q yields the nth line.
2008:1. Three angles of a heptagon (7-sided polygon) inscribed in a
circle are equal to 120 . Prove that at least two of its sides are equal.
Solution. Consider two adjacent sides of the heptagon for which the angle
between them is 120 . The chord of the circle joining the endpoints that are
not common to the chords subtends an angle of 60 at the circumference of
the circle and therefore an angle of 120 at the centre of the circle. If the
three pairs of adjacent sides forming angles of 120 are mutually disjoint from
each other, then they constitute six sides of the heptagon which subtend in
total angles totalling 360 at the centre of the circle, leaving no positive angle
for the seventh side to subtend. Hence, two of the pairs of sides must have
an edge in common. However, since each pair subtends the same angle at
the centre, the edges that the pairs do not have in common must be of equal
length and the result follows.
2008:6. 2008 circular coins, possibly of dierent diameters, are placed
on the surface of a at table in such a way that no coin is on top of another
coin. What is the largest number of points at which two of the coins could
be touching?
The solution to this problem appears in Chap. 10.
2008:10. A point is chosen at random (with the uniform distribution)
on each side of a unit square. What is the probability that the four points
are the vertices of a quadrilateral with area exceeding 12 ?
Solution 1. The desired probability is 12 .
Suppose that the points are located in a counterclockwise direction dis-
tance x, y, z, w from the four vertices in order. Then the area of that part
of the square lying outside of the inner quadrilateral is
1 1
[x(1w)+y(1x)+z(1y)+w(1z)] = [(x+y+z+w)(xw+yx+zy+wz)].
2 2
140 8. GEOMETRY
1
The condition that the area of the inner quadrilateral exceeds 2 is that
(x + y + z + w) (xw + yx + zy + wz) < 1.
The area is equal to 12 if and only if x + z = 1 or y + w = 1, both of which
occur with probability 0.
On the other hand, note that the points are located at distances x, w =
1 w from one vertex of the square and distance z, y = 1 y from the
diagonally opposite vertex. Then the area of that part of the square lying
outside the inner quadrilateral is
1 1
[xw +(1x)(1y )+zy +(1w )(1z)] = [(xw +xy +zy +zw )(x+y +z+w )+2],
2 2
so that the condition that the area of the inner quadrilateral exceeds 12 is
that
(x + y + z + w ) (xw + y x + zy + w z) > 1.
Since x, y, z, w and so x, y , z, w , are chosen independently and uniformly in
each case, the probabilities of either inequality occurring is the same as the
probability of the other. Therefore, the desired probability is 12 .
Solution 2. Let the square have vertices (0, 0), (1, 0), (1, 1), (0, 1) in the
cartesian plane and let the four selected points by (a, 0), (1, b), (c, 1) and
(0, d), where 0 a, b, c, d 1. Then the area of the inner quadrilateral is
equal to
1 1 1 1 1
1 (1 a)b (1 c)(1 b) (1 d)c ad = [1 + (d b)(c a)].
2 2 2 2 2
The area of the quadrilateral is exactly 12 when b = d or a = c, which
occurs with probability 0. The area exceeds 12 if and only if, either b < d
and a < c, or b > d and a > c. The area is less than 12 if and only if, either
b < d and c < a, or b > d and c > a. Since a, b, c, d are selected randomly
and independently from [0, 1], by symmetry, the two latter events have equal
probability of 12 .
2010:1. Let F1 and F2 be the foci of an ellipse and P be a point in
the plane of the ellipse. Suppose that G1 and G2 are points on the ellipse
for which P G1 and P G2 are tangents to the ellipse. Prove that F1 P G1 =
F2 P G2 .
Solution. Let H1 be the reection of F1 in the tangent P G1 , and H2
be the reection of F2 in the tangent P G2 . We have that P H1 = P F1 and
P F2 = P H2 . By the reection property, P G1 F2 = F1 G1 Q = H1 G1 Q,
where Q is a point on P G1 produced. Therefore, H1 F2 intersects the ellipse
in G1 . Similarly, H2 F1 intersects the ellipse in G2 . Therefore
H1 F2 = H1 G1 + G1 F2 = F1 G1 + G1 F2
= F1 G2 + G2 F2 = F1 G2 + G2 H2 = H2 F1 .
8. GEOMETRY 141
= (1 q 2 )(2X q)2 + 4Y 2 = (1 q 2 ).
When q = 0, the locus is a circle concentric with the given circle with half
the radius. When 0 < q < 1, the locus isan ellipse with centre at (q/2, 0),
semi-major axis 1/2 and semi-minor axis 1 q 2 /2. When q = 1, the locus
is the line Y = 0.
Suppose that q > 1. The equation of the locus can be written
4Y 2
(2X q)2 = 1,
q2 1
from which it can be seen that the locus is a hyperbola with asymptotes given
by the equations
q 2 1(2X q) = 2Y.
These are lines passing through the point (q/2, 0) with slopes q 2 1.
Thetangents to the circle C from (q, 0) touch the circle at the points
(1/q, q 2 1/q). When the centre of the variable circle is on the right
branch of the hyperbola, the two circles touch externally at a point that lies
on the minor arc between these points. When the centre is on the left branch
of the hyperbola, C touches the variable circle internally at a point on the
major arc joining these two points. Note that the vertex of the left branch
of the hyperbola is ((q 1)/2, 0) which lies on the positive x-axis; this is the
centre of a circle of radius (q + 1)/2 > 1 that touches C at the point (1, 0).
8. GEOMETRY 143
2012:8. Determine the area of the set of points (x, y) in the plane that
satisfy the two inequalities:
x2 + y 2 2
x4 + x3 y 3 xy + y 4 .
Solution. The second inequality can be rewritten as
0 y 4 + xy x4 x3 y 3 = (y 3 + x)(y x3 ).
The locus of the equation y 3 + x = 0 can be obtained from the locus of the
equation y x3 = 0 by a 90 rotation about the origin that relates the points
(u, v) and (v, u). Thus the two curves partition the disc x2 + y 2 2 into
four regions of equal area, and the inequality is satised by the two regions
that cover the y-axis. Thus the area of the set is half the area of the disc,
namely .
2013:2. ABCD is a square; points U and V are situated on the respective
sides BC and CD. Prove that the perimeter of triangle CU V is equal to twice
the sidelength of the square if and only if U AV = 45 .
Solution 1. [Y. Babich; J. Song] Produce CD to W so that DW = BU .
Then triangles ABU and ADW are congruent (SAS) so that AU = AW .
First, assume that U AV = 45 . Then
V AW = V AD + DAW = V AD + BAU
= 90 U AV = 45 .
Since also AU = AW and AV is common, triangles U AV and W AV are
congruent (SAS) and U V = V W = DV + BU .
Therefore
CU + CV + U V = (CU + BU ) + (CV + DV ) = BC + CD
as desired.
On the other hand, assume that CU + CV + U V = BC + CD. Then
U V = (BC CU ) + (CD CV ) = BU + V D = V W,
so that triangles AU V and AW V are congruent (SSS) and U AV =
W AV = V AD + U AB. Since U AB + U AV + V AD = 90 , it
follows that U AV = 45 .
Solution 2. Let the side length of the square be 1, |BU | = u, |DV | = v,
|U V | = w. Then |CU | = 1 u and |CV | = 1 v.
Suppose that U AV = 45 . Since 45 = BAU + DAV ,
u+v
1 = tan 45 = ,
1 uv
144 8. GEOMETRY
Solution 2. [J. Song; T. Xiao] Let the equation of the ellipse be x2 /a2 +
y /b2 = 1 and the point P (u, v). The right directrix of the ellipse has
2
Let K be the point (a2 /c, 0) where the directrix and major axis intersect.
Because P lies on the ellipse, we have that a2 v 2 = b2 (a2 u2 ).
There are two possible ways to proceed. Taking the dot product of the
vectors F G and F H, we obtain that
2
a2 av(a + c) a av(a c) 1 a2 v 2 (a2 c2 )
c, c, = 2 (a2 c2 )2
c c(u + a) c c(u a) c a2 u 2
a2 c 2 2
= [a c2 b2 ] = 0,
c2
so that GF H = 90 .
Alternatively, we can use the Law of Cosines to obtain that
2|GF ||HF | cos GF H = |F G|2 + |F H|2 |GH|2
= 2|F K|2 + |GK|2 + |HK|2 (|GK| + |HK|)2
= 2[|F K|2 |GK||HK|]
2
a2 a2 v 2 (a2 c2 )
=2 c 2 2
c c (a u2 )
2 2(a2 c2 ) 2
= 2
[(a2 c2 )2 b2 (a2 c2 )] = [a c2 b2 ] = 0,
c c2
from which the result follows. (Note that |u a| = a u since u < a.)
2014:8. The hyperbola with equation x2 y 2 = 1 has two branches,
as does the hyperbola with equation y 2 x2 = 1. Choose one point from
each of the four branches of the locus of (x2 y 2 )2 = 1 such that area of the
quadrilateral with these four vertices is minimized.
Group Theory
2003:10. Let G be a nite group of order n. Show that n is odd if and only
if each element of G is a square.
Solution. Suppose that n is odd. Then, by Lagranges Theorem, each
element of G is of odd order, so that, if a G, then a2k+1 = e (the identity)
for some nonnegative integer k. Hence a = (ak+1 )2 is a square. On the other
hand, suppose that n is even. Pair o each element of G with its inverse.
Some elements get paired o with a distinct element, and others get paired
o with themselves. Since n is even and an even number of elements get
paired o with a distinct element, there must be an even number of elements
that get paired o with themselves. Since the identity gets paired o with
itself, there must be some other element v that also is its own inverse, i.e.
v 2 = e. Consider the mapping x x2 dened from G to itself. Since e and
v have the same image and since G is nite, this mapping cannot be onto.
Hence, there must be an element of G which is not the square of another
element. The result follows.
2005:6. Let G be a subgroup of index 2 contained in Sn , the group of
all permutations of n elements. Prove that G = An , the alternating group of
all even permutations.
Solution 1. Let u Sn \G. Since G is of index 2, uG = Gu whence
u1 Gu = G. Thus, x1 gx G for each element g in G and x in Sn .
If t is a transposition, than x1 tx runs through all transpositions as x runs
through G. Therefore, if G contains a transposition, then G must contain
every transposition, and so must be all of Sn , giving a contradiction. Thus,
every transposition must belong to Gu. Hence, if t1 and t2 are two trans-
positions, then t1 = g1 u and t2 = t1 2 = g2 u for g1 and g2 in G. Hence,
t1 t2 = (g1 u)(u1 g21 ) = g1 g21 G. Thus, G contains every even permuta-
tion, and so contains An . The result follows.
where (ab) denotes the permutation that interchanges a and b and leaves
every other element xed. Determine a product of all transpositions, each
occuring exactly once, that is equal to the identity permutation , which
leaves every element xed.
Solution. Multiplication proceeds from left to right. Observe that
(ab)(ac)(bc) = (ac) for any a, b and c. We observe that (13)(23) carries 1
to 2 and that (24)(14) carries 2 to 1, so that (13)(24)(14)(23) = (12)(34).
Therefore
(12)(13)(24)(14)(23)(34) = .
Therefore
(15)(12)(25)(13)(24)(14)(23)(35)(34)(45) = .
Comment. Other answers were
(34)(45)(35)(23)(24)(15)(25)(14)(13)(12) (S. Sagatov),
(12)(23)(34)(45)(14)(13)(15)(25)(24)(35) (S.E. Rumsey).
2013:9. Let S be a set upon whose elements there is a binary operation
(x, y) xy which is associative (i.e. x(yz) = (xy)z). Suppose that there
exists an element e S for which e2 = e and that for each a S, there is
at least one element b for which ba = e and at most one element c for which
ac = e. Prove that S is a group with this binary operation.
Solution 1. We show that e is the identity element of S and that each
element of S has a two-sided inverse. Let t be an arbitrary element of S.
There is an element s S for which st = e. Hence e = e2 = s(tst). Since
also st = e, we must have that t = tst = te. Therefore e is a right identity
in S.
Suppose that r S is such that rs = e. Then et = rst = re = r (since e
is a right identity). Therefore ets = rs = e. Since ee = e as well, e = ts and
so et = tst = t.
Solution 2. [J. Love] Let a S. There exists b such that ba = e.
Therefore, b(ae) = (ba)e = e2 = e, so that a = ae (a S). We have that
e = ba = (be)a = b(ea) whereupon a = ea. Hence e is a two-sided identity.
Suppose that ba = e. Select d S so that db = e. Then d = de =
d(ba) = (db)a = ea = a, so that a is a two-sided inverse of b.
[Problem 2013:9 is #4504 from the American Mathematical Monthly
59:8 (October, 1952), 554; 61:1 (January, 1954), 5455.]
CHAPTER 10
2001:3.
(a) Consider the innite integer lattice in the plane (i.e., the set of
points with integer coordinates) as a graph, with the edges being the
lines of unit length connecting nearby points. What is the minimum
number of colours that can be used to colour all the vertices and
edges of this graph, so that
(i) each pair of adjacent vertices gets two distinct colours;
(ii) each pair of edges that meet at a vertex gets two distinct
colours; and
(iii) an edge is coloured dierently than either of the two vertices
at the ends?
(b) Extend this result to lattices in real n-dimensional space.
x (mod 5); colour the point (0, y) with the colour 2y (mod 5); colour the
points along each horizontal line parallel to the x-axis consecutively; colour
the vertical edge whose lower vertex has colour m (mod 5) with the colour
m + 1 (mod 5); colour the horizontal edge whose left vertex has the colour n
(mod 5) with the colour n + 3 (mod 5).
2002:9. A sequence whose entries are 0 and 1 has the property that,
if each 0 is replaced by 01 and each 1 by 001, then the sequence remains
unchanged. Thus, it starts out as 010010101001 . . . . What is the 2002th
term of the sequence?
Solution. Let us dene nite sequences as follows. Suppose that S1 = 0.
Then, for each k 2, Sk is obtained by replacing each 0 in Sk1 by 01 and
each 1 in Sk1 by 001. Thus,
S1 = 0; S2 = 01; S3 = 01001; S4 = 010010101001;
S5 = 01001010100101001010010101001;
Each Sk1 is a prex of Sk ; in fact, it can be shown that, for each k 3,
Sk = Sk1 Sk2 Sk1 ,
where indicates juxtaposition. The respective number of symbols in Sk for
k = 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 is equal to 1, 2, 5, 12, 29, 70, 169, 408, 985,
2378.
The 2002th entry in the given innite sequence is equal to the 2002th
entry in S10 , which is equal to the (2002 985 408)th = (609)th entry in
S9 . This in turn is equal to the (609 408 169)th = (32)th entry in S8 ,
which is equal to the (32)th entry of S6 , or the third entry of S3 . Hence, the
desired entry is 0.
2003:6. A set of n lightbulbs, each with an on-o switch, numbered
1, 2, . . . , n are arranged in a line. All are initially o. Switch 1 can be
operated at any time to turn its bulb on or o. Switch 2 can turn bulb 2 on
or o if and only if bulb 1 is o; otherwise, it does not function. For k 3,
switch k can turn bulb k on or o if and only if bulb k 1 is o and bulbs
1, 2, . . . , k 2 are all on; otherwise it does not function.
(a) Prove that there is an algorithm that will turn all of the bulbs on.
(b) If xn is the length of the shortest algorithm that will turn on all n
bulbs when they are initially o, determine the largest prime divisor
of 3xn + 1 when n is odd.
Solution. (a) Clearly x1 = 1 and x2 = 2. Let n 3. The only way that
bulb n can be turned on is for bulb n 1 to be o and for bulbs 1, 2, . . . , n 2
to be turned on. Once bulb n is turned on, then we need get bulb n 1
turned on. The only way to do this is to turn o bulb n 2; but for switch
n 2 to work, we need to have bulb n 3 turned o. So before we can think
about dealing with bulb n 1, we need to get the rst n 2 bulbs turned
o. Then we will be in the same situation as the outset with n 1 rather
than n bulbs. Thus the process has the following steps: (1) Turn on bulbs
10. COMBINATORICS AND FINITE MATHEMATICS 155
closed path with evenly many edges. If p and r have the same parity, then
D0 1 C1 2 D0 is a closed path with evenly many edges.
Thus, we can take our two circuits and by bifurcating at a common edge
obtain a single closed path with some nite number of edges traversed twice.
By the foregoing process, we can eliminate the repeated edges one or two at
a time until we end up with the required type of circuit.
A counterexample can be obtained by taking a graph with vertices A1 ,
. . . , An , B0 , B1 , . . . , Bn , with edges joining the vertex pairs (Ai , Bi1 ),
(Ai , Bi ) and (Bi1 , Bi ) for 1 i n.
2006:1.
(a) Suppose that a 66 square grid of unit squares (chessboard) is tiled
by 1 2 rectangles (dominoes). Prove that it can be decomposed
into two rectangles, tiled by disjoint subsets of the dominoes.
(b) Is the same thing true for an 8 8 array?
Solution. (a) There are 18 dominoes and 10 interior lines in the grid.
Suppose, if possible, that the decomposition does not occur for some dispo-
sition of dominoes. Then each of the lines must be straddled by at least one
domino. We argue that, in fact, at least two dominoes must straddle each
line. Since no domino can straddle more than one line, this would require 20
dominoes and so yield a contradiction.
Each interior line has six segments. For a line next to the side of the
square grid, an adjacent domino between it and the side must either cross
one segment or be adjacent to two segments. Since the number of segments
is even, evenly many dominoes (at least two) must cross a segment. For
the next line in, an adjacent domino must be adjacent to two segments, be
adjacent to one segment and cross the previous line, or cross one segment.
Since the number of dominoes straddling the previous line is even, there must
be evenly many that cross the segment. In this way, we can work our way
from one line to the next.
(b) Figure 10.1 shows a possible arrangement of the dominoes.
diagonal and two ones at the left of the bottom line, then the lower right
square cannot be lled by either player, as it would result in two lines with
dierent sums.)
(a) What is the maximum number of legitimate moves possible in a
game?
(b) What is the minimum number of legitimate moves possible in a
game that would not leave a legitimate move available for the next
player?
(c) Which player has a winning strategy? Explain.
Solution. (a) A game cannot continue to nine moves. Otherwise, each
line sum must be three times the value on the centre square of the grid
(why?) and so must be 0 or 3. But some line must contain both zeros and
ones, yielding a contradiction. [An alternative argument is that, if the array is
lled, not all the rows can have the same numbers of 0s and 1s, and therefore
cannot have the same sums.] However, an eight-move grid is possible, in
which one player selects the corner squares and the other the squares in the
middle of the edges.
(b) Consider any game after four moves have occurred and it is As turn to
play a zero. Suppose, rst of all, that no lines have been lled with numbers.
The only way an inaccessible square can occur is if it is the intersection of
two lines each having the other two squares lled in. This can happen in at
most one way. So A would have at least four possible squares to ll in. On
160 10. COMBINATORICS AND FINITE MATHEMATICS
the other hand, if three of the rst four moves complete a line, the fourth
number can bar at most three squares for A in the three lines determined by
the fourth number and one of the other three numbers. Thus, A would have
at least two possible positions to ll. Thus, a game must go to at least ve
moves.
can augment this family of subsets by the singleton {s } to get evenly many
subsets with sum s . Pair them o to get 12 (k + 1) = k n + s subsets with
sum s, and further augment the family with the n s doubletons {s n, n},
{s n + 1, n 1} . . . , {s 1, s + 1} to get a partition of {1, 2, . . . , n} into
k sets with sum s.
Finally, suppose that n 4k 1. Let n = n 2k, k = k. Then, if
s = n(n + 1)/(2k), then the sum s = n (n + 1)/2k is an integer equal to
(n 2k)(n 2k + 1) n(n + 1)
= (2n + 1) + 2k,
2k 2k
that is not less than 2k 1 > 0. Note that n = n 2k 2k 1 = 2k 1
and that
(n n )(n + n + 1)
s s = = 2n 2k + 1.
2k
Determine a partition of {1, 2, . . . , n 2k} into k subsets with sum s , and
adjoin to these subsets the k doubletons
k 1 3(k 1) 3(3k 1)
(k , n , s ) =, , .
2 2 4
This exhausts the possibilities for k 5. For k = 6, there is one possibility:
(k, n, s) = (6, 15, 20); (k , n , s ) = (1, 4, 10)
with the partition
{1, 2, 3, 4, 10}, {5, 15}, {6, 14}, {7, 13}, {8, 12}, {9, 11}.
In dealing with the case of even s, it can indeed occur that k > k (which
is why we have to extend the induction to s as well as k). Applying the
reduction to (k, n, s) = (14, 48, 84) leads to (k , n , s ) = (15, 35, 42) which in
turn reduces to (k , n , s ) = (1, 6, 21). The partition that corresponds to
(14, 48, 84) turns out to be
{1, 2, 3, 4, 5, 6, 7, 21, 42}, {7, 8, 34, 35}, {9, 10, 32, 33}, {11, 12, 30, 31},
{13, 14, 28, 29}, {15, 16, 26, 27}, {17, 18, 24, 25}, {19, 20, 22, 23}, {36, 48}, {37, 47},
and k red coaches among themselves does not change the train. Therefore
(i + j + k)!
un = : i, j, k 0, i + j + 2k = n .
i!j!k!
Solution 2. Let f (t) = n=0 un tn . Then
whence
(i + j + k 1)!
wn+1 = : i, j, k 0, (i 1) + j + 2k = n
(i 1)!j!k!
(i + j + k 1)!
+ : i, j, k 0, i + (j 1) + 2k = n
i!(j 1)!k!
(i + j + k 1)!
+ : i, j, k 0, i + j + 2(k 1) = n 1
i!j!(k 1)!
= wn + wn + wn1 = 2wn + wn1
as desired.
[Problem 2010:2 is #10663 in American Mathematical Monthly 105:5
(May, 1998), 464; 107:4 (April, 2000), 370371.]
2010:4. The plane is partitioned into n regions by three families of
parallel lines. What is the least number of lines to ensure that n 2010?
Solution. Suppose that there are x, y and z lines in the three families.
Assume that no point is common to three distinct lines. The x + y lines of
the rst two families partition the plane into (x + 1)(y + 1) regions. Let be
one of the lines of the third family. It is cut into x + y + 1 parts by the lines in
the rst two families, so the number of regions is increased by x + y + 1. Since
this happens z times, the number of regions that the plane is partitioned into
by the three families of lines is
n = (x + 1)(y + 1) + z(x + y + 1) = (x + y + z) + (xy + yz + zx) + 1.
vs1 > ur . If, for some i, ui > vs1 , then we could insert > vs1 > vs >
between ui and ui+1 in the list, contradicting maximality. Hence vs1 > ui
for each i. We can continue on in this way to argue in turn that vs2 , . . . ,
v1 are all distinct from the ui and beat each of the ui .
But then, we could form a chain
t > v 1 > v 2 > > v s > u1 > > ur = u
again contradicting the maximality. Hence any maximum chain contains all
the teams.
Solution 2. [J. Zung] We can consider the set T of teams as a directed
graph with root t where each pair of vertices is connected by a directed edge
a b, corresponding to team a beating team b. Let T1 be a minimum
spanning tree of T with root t, (i.e., T and T1 have the same vertices, T1
is connected, but T1 has no loops, and there is a path from t to any other
vertex). If every vertex in T1 has at most one exiting edge, then T1 is a path
of all the vertices. Otherwise, there are vertices u, v, w for which u v,
u w. Suppose, wolog, in T , that v w. We convert T1 to a new tree
T2 with one fewer vertex having more than one exiting edge by removing the
edge u w and inserting the edge v w.
We can continue the same process to get a succession of spanning trees
from which the sum over all vertices of the number of edges required to go
from t to those nodes increases. The process must terminate with a spanning
path.
(c) Solution. First note that any team x that beats a team t in T must
itself belong to T . For let an ordering of the all the teams be given and
append x at the beginning. We must then have an ordering
x > t > > x >
in which x appears twice and every other team once. It follows from this that
any team is at the end of a chain that begins with one of the x and consists
of distinct teams. Thus, by (b), any team beating a member of T must lie in
T . The desired result follows from this.
2015:2. Given 2n distinct points in space, the sum S of the lengths of
all the segments joining pairs of them is calculated. Then n of the points
are removed along with all the segments having at least one endpoint from
among them. Prove that the sum of the lengths of all the remaining segments
is less than 12 S.
The solution to this problem appears in Chap. 8.
CHAPTER 11
Number Theory
2002:3. In how many ways can the rational 2002/2001 be written as the
product of two rationals of the form (n + 1)/n, where n is a positive integer?
Solution. We begin by proving a more general result. Let m be a positive
integer, and denote by (m) and (m + 1), the number of positive divisors
of m and m + 1 respectively. Suppose that
m+1 p+1 q+1
= ,
m p q
where p and q are positive integers exceeding m. Then (m + 1)pq = m(p + 1)
(q + 1), which reduces to (p m)(q m) = m(m + 1). It follows that
p = m + u and q = m + v, where uv = m(m + 1). Hence, every representation
of (m + 1)/m corresponds to a factorization of m(m + 1).
On the other hand, observe that, if uv = m(m + 1), then
m+u+1 m+v+1 m2 + m(u + v + 2) + uv + (u + v) + 1
=
m+u m+v m2 + m(u + v) + uv
m2 + (m + 1)(u + v) + m(m + 1) + 2m + 1
=
m2 + m(u + v) + m(m + 1)
(m + 1)2 + (m + 1)(u + v) + m(m + 1)
=
m2 + m(u + v) + m(m + 1)
(m + 1)[(m + 1) + (u + v) + m] m+1
= = .
m[m + (u + v) + m + 1] m
Hence, there is a one-one correspondence between representations and un-
ordered pairs (u, v) of complementary factors of m(m + 1). (Since m(m + 1)
is not square, u and v are always distinct.) Since m and m + 1 are coprime,
the number of factors of m(m + 1) is equal to (m) (m + 1), and so the
number of representations is equal to 12 (m) (m + 1).
nk
p
f (x + pnk ) f (x) = g(x + i)
i=1
p(n1)k
= (g(x + i) + g(x + i + p(n1)k ) + + g(x + i + (pk 1)p(n1)k ))
i=1
p(n1)k
pk g(x + i) 0.
i=1
(a, b, c, d, e) = (324 530 1124 1720 , 313 515 1112 1710 , 38 510 118 177 , 36 58 116 175 , 35 56 115 174 ).
11. NUMBER THEORY 175
The numbers in class (b) can be found by taking all the (r 1)-digit numbers
ending in k, multiplying them by b and adding k + 1 to each such number.
The sum of these numbers is
k k1 k k1
bnr1 + (k + 1) = (nr r) + (k + 1).
r1 r2 r1 r2
Therefore the sum of all the numbers in classes (a) and (b) is
k k1 k k k1
nr + + nr r + (k + 1)
r r1 r1 r1 r2
k k k1 k1 k
= nr + + + (k + 1) r
r r1 r1 r2 r1
k+1 k+1
= nr + 0 = nr .
r r
Therefore the sum of all the r-digit numbers with increasing digits is
b1
k b
nr = nr .
r r+1
k=r
2009:3. For each positive integer n, let p(n) be the product of all positive
integral divisors of n. Is it possible to nd two distinct positive integers m
and n for which p(m) = p(n)?
Solution. The answer is no. The function p(n) is one-one. Observe that,
since each divisor d can be paired with n/d (which are distinct except when n
is square and d is its square root), p(n) = n (n)/2 , where (n) is the number
of divisors of n.
Suppose that p(m) = p(n) and that q is any prime. Let the highest
powers of q dividing m and n be q u and q v respectively. The exponent of
the highest power of q that divides p(m) is (u (m))/2 and the highest power
of q that divides p(n) has exponent (v (n))/2. (The exponents are indeed
integers, since (n) is odd if and only if all u are even.)
Since p(m) = p(n), it follows that u (m) = v (n). If u < v for some
prime q, it is so for all primes q, so that m < n and (m) < (n). Thus,
u < v is impossible, as is u > v. Therefore u = v for each prime q. But then
this means that m = n.
2009:6. Determine all solutions in nonnegative integers (x, y, z, w) to
the equation
2x 3y 5z 7w = 1.
Since 2x 3y 1 (mod 7), it follows that (x, y) (0, 0), (1, 4), (2, 2), (3, 0), (4, 4),
(5, 2) (mod 6). Therefore, x and y are both even. Let x = 2u and y = 2v.
Then
5z 7w = 22u 32v 1 = (2u 3v 1)(2u 3v + 1).
The two factors on the right must be coprime (being consecutive odd num-
bers), so that one of them is a power of 5 and the other is a power of 7. Thus
2u 3v 1 = 5z and 2u 3v 1 = 7w , whence
7w 5z = 2.
k2 m
1 (p1)
2
pm 1
= + : 1 m (p 1), m a square (mod p)
p p p 2
k=1
p1
= .
4
Solution. Let q(x) = f (x) p(x) for each integer x. The function q(x)
vanishes on an innite subset M of integers and q(a)q(b) is divisible by ab
for every pair a, b of
integers, since the same
is true of p(x). (If p(x) = ci x i ,
i i i1 i2 i2 i1
then p(a)p(b) = ci (a b ) = (ab) ci (a +a b+ +ab +b ).)
Comment. The function f (x) itself need not be a polynomial. For ex-
ample, we might have f (x) = x + sin x.
180 11. NUMBER THEORY
2012:4. (a) Let n and k be positive integers. Prove that the least
common multiple of {n, n + 1, n + 2, . . . , n + k} is equal to
n+k
rn
k
for some positive integer r.
(b) For each positive integer k, prove that there exist innitely many
positive integers n, for which the number r dened in part (a) is equal to 1.
Solution 1. (a) Observe that
n+k n(n + 1)(n + 2) (n + k)
n = .
k (1)(2)(3) (k)
Let p be an arbitrary prime and suppose that pb is the highest power of p
that divides any of n, n + 1, . . . , n + k; thus, pb is the power of p that occurs
in the prime factorization of the least common
multiple of n, n + 1, . . . , n + k.
We need to show that p divides n n+k k to no greater a power than pb .
Suppose that n + u is divisible by pb where 0 u k. Write n n+k k =
(n + u) A B where
(n + u + 1)(n + u + 2) (n + k)
A=
(1)(2)(3) (k u)
and
(n + u 1)(n + u 2) (n)
B= .
(k u + 1)(k u + 2) (k)
Since n + u + i i (mod pb ) it follows that p divides n + u + i and i to the
same power, for 1 i k u. Therefore A, written in lowest terms, has
a numerator that is not divisible by p. Since n + u i i (mod pb ) for
1 i u and k u + 1, k u + 2, . . . , k constitutes a set of u consecutive
integers, for each power pa with a b, pa divides a number among k u + 1,
. . . , k at most once more (either u/pa or u/pa + 1) than it divides one of
the numbers 1, 2, . . . , u or one of the numbers n + u 1, n + u 2, . . . ,
n. It follows that the power of p that divides the denominator of B cannot
exceed the power that divides the numerator of B by more than b. Since
b
n+k divisible by p , it follows that the highest power of p that
n + u is exactly
divides n k is no greater than b. The desired result follows.
(b) Let n = r k! for any positive integer r. Then n n+k k = rn(n +
1)(n + 2) (n + k) which is clearly a common multiple of n, n + 1, . . . , n + k.
Since this number is a divisor of the least common multiple of n, n + 1, . . . ,
n + k, it must be equal to the least common multiple.
11. NUMBER THEORY 181
Solution 2. [J. Zung] (a) For a prime p, let fp (m) denote the exponent
of the highest power of p that is a divisor of the integer m. It is required to
prove that
n+k
fp (n(n + 1) (n + k)) fp (k!) = fp n
k
fp (lcm (n, n + 1, . . . , n + k))
= max{fp (m) : n m n + k}.
Solution 2. [J. Love] (a) Observe that, for each positive integer n,
n n1
a2 1 = (a 1)(a + 1)(a2 + 1) . . . (a2 + 1).
Solution. (a) Let A = 10a+b and B = 10u+v where 1a, b, u, v9. The
condition AB = B A leads to 99(au bv) = 0, so that a necessary condition
for the property to hold is au = bv. There are many possibilities, including
(a, b; u, v) = (1, 3; 6, 2). Thus, for example, 13 62 = 26 31. (The pos-
sibilities include (A, B) = (12, 42), (12, 63), (13, 62), (12, 84), (14, 82), (23, 64),
(24, 63), (24, 84), (23, 96), (26, 93), (34, 86), (46, 96), (48, 63).)
(b) Let A = 10a + b and B = 100u + 10v + w, where abuw = 0 and
0 a, b, u, v, w 9. The condition AB = B A leads to
111(au bw) + 10[a(v w) + b(u v)] = 0.
Therefore a(v w) + b(u v) must be a multiple of 111. If the two terms
of this sum dier in sign, then the absolute value of the sum cannot exceed
9 9 = 81. If the two terms of the sum have the same sign, then the signs of
v w and u v must be the same, and the absolute value of the sum cannot
exceed
|a(v w) + b(u v)| 9|(v w) + (u v)| = 9|u w| = 81.
Therefore a(v w) + b(u v) = 0, so that au = bw. If v w and u v do not
vanish, they must have opposite signs. These conditions are necessary and
184 11. NUMBER THEORY
sucient for an example. Trial and error leads to (a, b; u, v, w) = (1, 2; 2, 3, 1).
Thus, we obtain
12 231 = 2772 = 132 21.
In fact, we can replace these numbers by multiples that involve no carries
to obtain the examples (12s, 231t) where 1 s 4 and 1 t 3. Other
examples of pairs are (13, 682), (28, 451).
Comment. At a higher level, we have that
992 483 156 = 651 384 299 = 27 32 7 13 23 31.
2014:3. Let n be a positive integer. A nite sequence {a1 , a2 , . . . , an } of
positive
n integers ai is said to be tight if and only if 1 a1 < a2 < < an , all
2 dierences aj ai with i < j are distinct, and an is as small as possible.
(a) Determine a tight sequence for n = 5.
(b) Prove that there is a polynomial p(n) of degree not exceeding 3 such
that an p(n) for every tight sequence {ai } with n entries.
Solution. (a) A sequence having all dierences dierent remains so if the
same integer is added or subtracted from
each term. Therefore a1 = 1 for
any tight sequence. Since there are 52 = 10 dierences for a tight sequence
with ve entries, a5 11. We show that a5 = 11 cannot occur.
Suppose, if possible, that a1 = 1 and a5 = 11. Since each of the dif-
ferences from 1 to 10, inclusive, must occur, and since the largest dierence
10 is the sum of the four dierences of adjacent entries, the dierences of
adjacent entries must be 1, 2, 3, 4 in some order. The dierence 1 cannot be
next to either of the dierences 2 or 3, for then there a dierence between
nonadjacent entries would be 3 or 4, respectively. Thus 1 is the dierence of
either the rst two or the last two entries and the adjacent dierence would
be 4. But then a3 a1 = a5 a3 = 5, which is not allowed. Since there is no
other possibility, a5 12.
Trying a5 = 12, we nd that the sequence {1, 2, 5, 10, 12} is tight.
(b) The strategy is to construct a sequence that satises the dierence
condition such that the dierences between pairs of terms have dierent con-
gruence classes with respect to some modulus, dependent only on the number
of terms between them. Thus, we make the dierence between adjacent terms
congruent to 1, between terms separated by one entry congruent to 2, etc.
To this end, let a1 = 1 and
ai+1 = ai + 1 + (i 1)(n 1)
for 1 i n 1. Then,
1
ai = i + (i 1)(i 2)(n 1).
2
In particular,
1 1
an = n + (n 1)2 (n 2) = (n3 4n2 + 5n 2).
2 2
11. NUMBER THEORY 185
1. General
1.2. Kronecker delta. For indices (i, j), the Kronecker delta function
is dened by
1 if i = j;
ij =
0 if i = j.
1.4. Floor and ceiling. For any real number x, the oor of x, denoted
by x, is the largest integer that does not exceed x. The ceiling of x, denoted
by x, is the smallest integer that is not less than x.
2. Algebra
2.5. Sum of powers of the roots. With the same notation as before,
let pk = r1k + r2k + + rnk be the sum of the kth powers of the roots for
nonnegative integers k. Thus p0 = n, p1 = an1 , p2 = a2n1 2an2 . More
generally, when 1 k n 1,
pk + an1 pk1 + an2 pk2 + + ank+1 p1 + kank = 0.
For k = n + r n, we have that
pn+r + an1 pn+r1 + an2 pn+r2 + + a1 pr+1 + a0 pr = 0.
2.6. Rational function. A rational function is a ratio of two polyno-
mials. The roots of the numerator are the roots of the rational function, and
the roots of the denominator are the poles of the rational function.
rk1 (z) = qk+1 (z)rk (z),
where the degrees of the remainders strictly decrease and the process even-
tually terminates with an exact division. The polynomial rk (z) is a greatest
common divisor of f (z) and g(z). This method of obtaining a greatest com-
mon divisor is the Euclidean algorithm.
3. Inequalities
3.4. Jensen Inequality. There are two versions, one for convex and
one for concave functions.
A real-valued function dened on R is convex if and only if, for any real
x and y and for 0 t 1, then f ((1 t)x + ty) (1 t)f (x) + tf (y).
Then for any set {x1 , x2 , . . . , xn } of real numbers and any set of positive
reals {1 , 2 , . . . , n } with 1 + 2 + + n = 1, we have that
f (1 x1 + 2 x2 + + n xn ) 1 f (x1 ) + 2 f (x2 ) + + n f (xn ).
A twice-dierential function on an open interval whose second derivative is
nonnegative is convex.
A real-valued function dened on R is concave if and only if, for any
real x and y and for 0 t 1, then f ((1 t)x + ty) (1 t)f (x) + tf (y).
Then for any set {x1 , x2 , . . . , xn } of real numbers and any set of positive reals
{1 , 2 , . . . , n } with 1 + 2 + + n = 1, we have that
f (1 x1 + 2 x2 + + n xn ) 1 f (x1 ) + 2 f (x2 ) + + n f (xn ).
A twice dierentiable function on an open interval whose second derivative
is nonpositive is concave.
4.2. Liminf and Limsup. Suppose that {xn } is a real innite se-
quence. Then a = lim supn xn if and only if, given > 0, there are
innitely many values of n for which xn > a and there is an index N for
which xn < a + for n N .
Also, a = lim inf n xn if and only if, given > 0, there are innitely
many values of n for which xn < a + and there is an index N for which
xn > a for n N .
5. Analysis
Suppose, further, that f (x) is dierentiable on the open interval (a, b). The
Mean Value Theorem states that there is a number c (a, b) for which
f (b) f (a)
f (c) = .
ba
A special case is Rolles Theorem, which provides that if f (a) = f (b), then
there is a number c (a, b) for which f (c) = 0. If f (x) is n times dieren-
tiable on an open interval containing a, then Taylors Theorem asserts that,
if a + u belongs to the interval, there is a number v between a and a + u for
which
n+1
f (k) (a) f (n+1) (v) k+1
f (a + u) = uk + u .
n! (n + 1)!
k=0
The last term, called the Remainder, can be written in a number of alternative
ways.
If two real-valued functions f (x) and g(x) are dened and dierentiable
on a neighbourhood of a, if limxa f (x) = limxa g(x) = 0 and limxa
(f (x)/g (x)) = c, then, according to lH
opitals Rule, limxa (f (x)/g(x))=0.
If f (x) is a continuous real-valued functions dened on a closed interval
[a, b], then the Integral Mean Value n Theorem asserts that there is a point
c [a, b] for which f (c)(b a) = a f (x) dx.
log(1 + t)
lim =1
t0 t
6. Linear Algebra
of a vector space is a linearly independent set whose span is the entire space.
The dimension of a vector space is the number of elements in any basis.
where the number Mij is the cofactor of Mij . The adjugate matrix, denoted
adjM , for M has as its (i, j) entry Mji ; i.e., it is the transpose of the matrix
of cofactors of M . We note that
M adjM = adjM M = (det M )I.
A x, y.
7. Geometry
T Q R
P T R and QSR are similar and the hypotenuse P S of the rst triangle is
longer than T R, and so larger than QR, P T must be longer than QS. Thus
the distance between Q and P R is smaller than the distance between P and
m, contradicting our choice of P and m. (See Fig. A.1.) The result follows.
7.3. Convex set. A convex set is any set in the plane or in space that
contains along with any two of its points, all points within the line segment
that connects them.
7.4. Herons formula for the area of a triangle. Let the sides of a
triangle be a, b, c and let its semiperimeter 12 (a + b + c) be s. Then the area
F of the triangle is given by
F = s(s a)(s b)(s c).
We have that
16F 2 = 2(a2 b2 + b2 c2 + c2 a2 ) (a4 + b4 + c4 ).
7.5. Parabolas. Let a point F (the focus) and a line d (the directrix )
not containing F be given in the plane. The locus of points in the plane
that are equidistant from the point F and the line d is called a parabola. All
parabolas in the plane are similar. The graph of any equation of the form
y = ax2 + bx + c with a = 0 is a parabola. One characteristic of a parabola
is its reection property. For any point P on the parabola, the reection of
the line F P about the normal to the parabola at P is a line parallel to its
axis.
196 A. DEFINITIONS, CONVENTIONS, NOTATION AND BASICS
7.6. Ellipses. An ellipse is the locus of points P in the plane for which
the distance P F from P to a xed point F (the focus) divided by the distance
from P to a xed line d (the directrix ) is a constant e (0, 1). This constant
is called the eccentricity. Alternatively, an ellipse can be described as the
locus of points P for which the sum of the distances from P to two xed
points F1 and F2 (the foci ) is constant. The ellipse has a reection property
in that, for any point P on the ellipse, the line P F1 and P F2 are reected
images of each other with respect to the normal to the ellipse at P .
A standard equation for an ellipse in the plane is
x2 y2
+ = 1,
a2 b2
where
a > b > 0. The foci of this ellipse are at the points (c, 0), where
c = a2 b2 . The chord of the ellipse containing the foci is called the major
axis, and its length is 2a. The chord perpendicular to the major axis is called
the minor axis, with length 2b. The eccentricity of this ellipse is e = c/a and
the directrices for the two foci are the vertical lines with equations x = a2 /c.
8. Group Theory
9. Combinatorics
9.3. Trees. A tree is a graph that contains no loop and for which there
is exactly one path between any two vertices. The number of vertices in a
tree exceeds the number of edges by 1. A root of a tree is any vertex on the
tree that is incident with exactly one edge. A spanning tree or path is one
that contains every vertex of the graph.
9.5. Directed graphs. A directed graph is one for which each edge is
assigned a direction so that it is conceived as emanating from its rst endpoint
to its second: P Q. A (directed) path or tree in a directed graph is such
that the exit vertex of each edge is the entry vertex of the next: P Q R.
A root of a spanning path or tree is a vertex from which each other vertex
can be reach along a directed path.
Generally, prizes were awarded to the top three to ve students in the contest.
Because the top grades were closer to each other in some years than in others,
the way in which the students were recognized was not consistent from year
to year.
Each problem was marked out of 10. After the rst few contests, to
discourage students from frittering their eorts over too many problems, only
the ve highest marks for the problems were counted unless the total of these
marks exceeded 30, in which case the scores for all the problems were included
in the total.
Competition 1: March 18, 2001 (13 candidates)
1. Jonathan Sparling
2. Jimmy Chui
3. Pavel Gyrya
Honourable mention: Ari Brodsky, Nicholas Martin, Al Momin
Competition 2: March 9, 2002 (11 candidates)
1. Jimmy Chui
2. David Varodayan
3. Isaac Li
4. Fred Dupuis; Robert Ziman (tied)
6. Emily Redelmeier
Competition 3: March 16, 2003 (20 candidates)
1. Jonathan Sparling
2. David Varodayan
3. Garry Goldstein
4. Benjamin Moull
5. Jimmy Chui
Honourable Mention: Samuel Huang, Emily Redelmeier, Robert Ziman
4. Viktoriya Krakovna
5. Sergei Sagatov
Competition 11: March 6, 2011 (26 candidates)
1. Keith Ng; Alexander Remorov (tied)
3. Sergei Sagatov
4. Philip Chen
5. Fengwei Sun
6. Jungwei Huo
7. Mengdi Hua
Competition 12: March 10, 2012 (38 candidates)
1. Jonathan Zung
2. Yu Wu
3. Keith Ng
4. Jialin Song
5. Jonathan Love
Competition 13: March 9, 2013 (38 candidates)
The top three students are listed in alphabetical order as their scores
were very close:
Jonathan Love
Jialin Song
Jonathan Zung
The next three ranking students also listed in alphabetical order were:
RongXi (Bill) Guo
Shia Xiao Li
Ruize Luo
Competition 14: March 9, 2014 (31 candidates)
1. Jonathan Love
2. Brian Bi
3. Shijie Xiu
4. Yizhou Sheng
5. David Perchersky
Competition 15: March 8, 2015 (33 candidates)
1. Jonathan Love
2. Shijie Xiu
3. Michael Chow
4. Chengyuan Yao
5. Jerry Jia Wang
6. Gal Gross
Since 2007, the contest papers have been set in memory of Robert M.
Barrington Leigh (19862006), a brilliant and promising mathematics student
from Edmonton, Alberta, whose untimely death in August, 2006 occasioned
great sorrow among his friends, mentors and professors.
Index
P T
palindrome, 90 Taylors Theorem, 63, 93
parabola, 50, 76, 136, 195 tetrahedron, 133
parallelogram, 123 tight sequence, 69
partition, 161, 167 tournament, 169
path, 165 trace, 128
permanent, 130 transpose, 192
permutation, 151 transposition, 149, 151
permutations, 52, 197 tree, 198
pigeonhole principle, 108 trinomial theorem, 189
INDEX 207
U V
uniformly convergent series, 64 vector equation, 113, 123
unitary, 127 vector product, 194
upper triangular, 127 vector space, 98