Académique Documents
Professionnel Documents
Culture Documents
A u s t r a l i a n M a t h e ma t i c a l O l y m p i a d C omm i t t e e
1
Published by
AMT Publishing
www.amt.edu.au
AMTT Limited
2
SUPPORT FOR THE AUSTRALIAN MATHEMATICAL
OLYMPIAD COMMITTEE TRAINING PROGRAM
The Australian Mathematical Olympiad Committee Training Program is an activity of the Australian Mathematical
Olympiad Committee, a department of the Australian Mathematics Trust.
Trustee
The University of Canberra
Sponsors
The Mathematics/Informatics Olympiads are supported by the Australian Government Department of Education
and Training through the Mathematics and Science Participation Program.
The Australian Mathematical Olympiad Committee (AMOC) also acknowledges the significant financial support
it has received from the Australian Government towards the training of our Olympiad candidates and the
participation of our team at the International Mathematical Olympiad (IMO).
The views expressed here are those of the authors and do not necessarily represent the views of the
government.
Special Thanks
With special thanks to the Australian Mathematical Society, the Australian Association of Mathematics Teachers
and all those schools, societies, families and friends who have contributed to the expense of sending the 2015
IMO team to Chiang Mai, Thailand.
3
ACKNOWLEDGEMENTS
The Australian Mathematical Olympiad Committee thanks sincerely all sponsors, teachers, mathematicians and
others who have contributed in one way or another to the continued success of its activities.
The editors thank sincerely those who have assisted in the compilation of this book, in particular the students
who have provided solutions to the 2015 IMO. Thanks also to members of AMOC and Challenge Problems
Committees, Adjunct Professor Mike Clapper, staff of the Australian Mathematics Trust and others who are
acknowledged elsewhere in the book.
4
PREFACE
After last year, there seemed little room for improvement, but 2015 has
been even better, marked particularly by our best ever result at an IMO,
where we were placed 6th out of the 104 competing countries, finishing
ahead of all European countries (including Russia) and many other
traditional powerhouses such as Singapore, Japan and Canada. For the
first time ever, all six team members obtained Silver or better, with two
team members (Alex Gunning and Seyoon Ragavan) claiming Gold.
Alex finished fourth in the world (after his equal first place last year, and
becomes Australias first triple Gold medallist in any academic Olympiad.
Seyoon, who finished 19th, now has three IMOs under his belt with a year
still to go. Once again, we had three Year 12 students in the team, so there
will certainly be opportunities for new team members next year. It was also
pleasing to, once again, see an Australian-authored question on the paper,
this year, the prestigious Question 6, which was devised by Ivan Guo and
Ross Atkins, based on the mathematics of juggling.
In the Mathematics Ashes we tied with the British team; however, we
finished comfortably ahead of them in the IMO competition proper. Director of Training and IMO Team Leader,
Dr Angelo Di Pasquale, along with his Deputy Andrew Elvey Price and their team of former Olympians continue
to innovate and keep the training alive, fresh and, above all, of high quality. The policy of tackling very hard
questions in training was daunting for team members at times but seems to have paid off.
The Mathematics Challenge for Young Australians (MCYA) also continues to attract strong entries, with the
Challenge continuing to grow, helped by the gathering momentum of the new Middle Primary Division, which
began in 2014. The Enrichment stage, containing course work, allows students to broaden their knowledge
base in the areas of mathematics associated with the Olympiad programs and more advanced problem-solving
techniques. We have continued running workshops for teachers to develop confidence in managing these
programs for their more able studentsthis seems to be paying off with strong numbers in both the Challenge
and Enrichment stages. The final stage of the MCYA program is the Australian Intermediate Mathematics
Olympiad (AIMO). It is a delight to record that over the last two years the number of entries to AIMO has
doubled. This has been partly due to wider promotion of the competition, but more specifically a result of
the policy of offering free entry to AMC prize winners. There were some concerns in 2014 that some of the
new contestants were under-prepared for AIMO and there were more zero scores than we would have liked.
However, this year, the number of zero scores was less than 1% and the quality of papers was much higher,
revealing some significant new talent, some of whom will be rewarded with an invitation to the December School
of Excellence.
There are many people who contribute to the success of the AMOC program. These include the Director of
Training and the ex-Olympians who train the students at camps; the AMOC State Directors; and the Challenge
Director, Dr Kevin McAvaney, and the various members of his Problems Committee, who develop such original
problems, solutions and discussions each year. The AMOC Senior Problems Committee is also a major
contributor and Norman Do is continuing with his good work. The invitational program saw some outstanding
results from Australian students, with a number of perfect scores. Details of these achievements are provided in
the appropriate section of this book. As was the case last year, we are producing Mathematics ContestsThe
Australian Scene in electronic form only and making it freely available through the website. We hope this will
provide greater access to the problems and section reports. This book is also available in two sections, one
containing the MCYA reports and papers and the other containing the Olympiad training program reports and
papers.
Mike Clapper
November 2015
5
CONTENTS
Acknowledgements 4
Preface 5
Contents 6
6
BACKGROUND NOTES ON THE IMO AND AMOC
AMOC schedule from August until July for potential IMO team members
Each year hundreds of gifted young Australian school students are identified using the results from the
Australian Mathematics Competition sponsored by the Commonwealth Bank, the Mathematics Challenge for
Young Australians program and other smaller mathematics competitions. A network of dedicated mathematicians
and teachers has been organised to give these students support during the year either by correspondence sets
of problems and their solutions or by special teaching sessions.
It is these students who sit the Australian Intermediate Mathematics Olympiad, or who are invited to sit the
AMOC Senior Contest each August. Most states run extension or correspondence programs for talented
students who are invited to participate in the relevant programs. The 25 outstanding students in recent AMOC
programs and other mathematical competitions are identified and invited to attend the residential AMOC School
of Excellence held in December.
In February approximately 100 students are invited to attempt the Australian Mathematical Olympiad. The
best 20 or so of these students are then invited to represent Australia in the correspondence Asian Pacific
Mathematics Olympiad in March. About 12 students are selected for the AMOC Selection School in April and
about 13 younger students are also invited to this residential school. Here, the Australian team of six students
plus one reserve for the International Mathematical Olympiad, held in July each year, is selected. A personalised
support system for the Australian team operates during May and June.
It should be appreciated that the AMOC program is not meant to develop only future mathematicians.
Experience has shown that many talented students of mathematics choose careers in engineering, computing,
and the physical and life sciences, while others will study law or go into the business world. It is hoped that the
AMOC Mathematics Problem-Solving Program will help the students to think logically, creatively, deeply and with
dedication and perseverance; that it will prepare these talented students to be future leaders of Australia.
7
held in Romania. The aims of the IMO include:
(1) discovering, encouraging and challenging mathematically gifted school students
(2) fostering friendly international relations between students and their teachers
(3) sharing information on educational syllabi and practice throughout the world.
It was not until the mid-sixties that countries from the western world competed at the IMO. The United States of
America first entered in 1975. Australia has entered teams since 1981.
Students must be under 20 years of age at the time of the IMO and have not enrolled at a tertiary institution.
The Olympiad contest consists of two four-and-a-half hour papers, each with three questions.
Australia has achieved varying successes as the following summary of results indicate. HM (Honorable Mention)
is awarded for obtaining full marks in at least one question.
The IMO will be held in Hong Kong in 2016.
8
Summary of Australias achievements at previous IMOs
9
MEMBERSHIP OF AMOC COMMITTEES
Executive Director
Adj Prof Mike Clapper, Australian Mathematics Trust, ACT
Treasurer
Dr P Swedosh, The King David School, VIC
Chair, Challenge
Dr K McAvaney, Deakin University, VIC
State Directors
Dr K Dharmadasa, University of Tasmania
Dr G Gamble, University of Western Australia
Dr Ian Roberts, Northern Territory
Dr W Palmer, University of Sydney, NSW
Mr D Martin, South Australia
Dr V Scharaschkin, University of Queensland
Dr P Swedosh, The King David School, VIC
Dr Chris Wetherell, Radford College, ACT
Representatives
Ms A Nakos, Challenge Committee
Prof M Newman, Challenge Committee
Mr H Reeves, Challenge Committee
10
AMOC TIMETABLE FOR SELECTION OF THE TEAM TO THE
2016 IMO
August 2015July 2016
Hundreds of students are involved in the AMOC programs which begin on a state basis. The students are given
problem-solving experience and notes on various IMO topics not normally taught in schools.
The students proceed through various programs with the top 25 students, including potential team members and
other identified students, participating in a ten-day residential school in December.
The selection program culminates with the April Selection School during which the team is selected.
Team members then receive individual coaching by mentors prior to assembling for last minute training before
the IMO.
Month Activity
Outstanding students are identified from AMC results, MCYA, other competitions
and recommendations; and eligible students from previous training programs
August AMOC state organisers invite students to participate in AMOC programs
Various state-based programs
AMOC Senior Contest
11
ACTIVITIES OF AMOC SENIOR PROBLEMS COMMITTEE
This committee has been in existence for many years and carries out a number of roles. A central role is the
collection and moderation of problems for senior and exceptionally gifted intermediate and junior secondary school
students. Each year the Problems Committee provides examination papers for the AMOC Senior Contest and the
Australian Mathematical Olympiad. In addition, problems are submitted for consideration to the Problem Selection
Committees of the annual Asian Pacific Mathematics Olympiad and the International Mathematical Olympiad.
12
THE 2015 AMOC
AMOC SENIOR
SENIOR CONTEST
CONTEST
Tuesday, 11 August 2015
Time allowed: 4 hours
No calculators are to be used.
Each question is worth seven points.
(a) How many numbers in the set {1, 2, 3, . . . , 2015} are simultaneously 3-addy,
4-addy and 5-addy?
(b) Are there any positive integers that are simultaneously 3-addy, 4-addy, 5-addy
and 6-addy?
4. Let ABCD be a rectangle with AB > BC. Let E be the point on the diagonal AC
such that BE is perpendicular to AC. Let the circle through A and E whose centre
lies on the line AD meet the side CD at F .
Prove that BF bisects the angle AF C.
5. For a real number x, let x be the largest integer less than or equal to x.
Find all prime numbers p for which there exists an integer a such that
a 2a 3a pa
+ + + + = 100.
p p p p
13
THE 2015 AMOC SENIOR CONTEST
Solutions and cumulative marking scheme
AMOC
c 2015 Australian
SENIOR
Mathematics Trust CONTEST SOLUTIONS
1. A number is called k-addy if it can be written as the sum of k consecutive positive integers.
For example, the number 9 is 2-addy because 9 = 4 + 5 and it is also 3-addy because
9 = 2 + 3 + 4.
(a) How many numbers in the set {1, 2, 3, . . . , 2015} are simultaneously 3-addy, 4-addy
and 5-addy?
(b) Are there any positive integers that are simultaneously 3-addy, 4-addy, 5-addy and
6-addy?
(a) From the observations above, a positive integer is simultaneously 3-addy, 4-addy and
5-addy if and only if it is divisible by 3, divisible by 5, divisible by 2, and not divisible
by 4. Such numbers are of the form 30m, where m is a positive odd integer. 3
Since 67 30 = 2010, the number of elements of the given set that are simultaneously
3-addy, 4-addy and 5-addy is 68
2 = 34. 4
(b) Since (a 2) + (a 1) + a + (a + 1) + (a + 2) + (a + 3) = 6a + 3, all 6-addy numbers
are necessarily odd. 5
On the other hand, we have already deduced that all 4-addy numbers are even. 6
Therefore, there are no numbers that are simultaneously 4-addy and 6-addy. 7
14
2. Consider the sequence a1 , a2 , a3 , . . . defined by a1 = 1 and
1a1 + 2a2 + 3a3 + + mam
am+1 = for m 1.
am
Determine the largest integer n such that an < 1 000 000.
for all m 1. 2
So for m = 2k + 1 an odd positive integer,
If m is odd, then
(m + 1)2 m2 + 3 2m 2
am+1 am = = ,
4 4 4
and if m is even, then
(m + 1)2 + 3 m2 2m + 4
am+1 am = = . 6
4 4 4
In particular, it follows that a2 < a3 < a4 < . Since a2000 = 1 000 000, the largest
integer n such that an < 1 000 000 is 1999. 7
15
Solution 2 (Angelo Di Pasquale)
We will prove by induction that a2k1 = k 2 k + 1 and a2k = k 2 for each positive integer
k. The base case k = 1 is true since a1 = a2 = 1. Now assume that the two formulas hold
for k = 1, 2, . . . , n. We will show that they also hold for k = n + 1. 2
Consider the following sequence of equalities.
2n
n
n
iai = (2i 1) a2i1 + 2i a2i
i=1 i=1 i=1
n n
= (2i 1) (i2 i + 1) + (2i) (i2 ) (by the inductive assumption)
i=1 i=1
n
= 4i3 3i2 + 3i 1
i=1
n
= 3i3 + (i 1)3 3
i=1
n
n1
=3 i3 + i3
i=1 i=1
3n2 (n + 1)2 (n 1)2 n2 n
n2 (n + 1)2
= + since i3 =
4 4 4
i=1
2 2
= n (n + n + 1)
= (n2 + n + 1)a2n (by the inductive assumption)
It follows that
1a1 + 2a2 + 3a3 + + 2na2n
a2n+1 = = n2 + n + 1. 4
a2n
Now consider the following sequence of equalities, which uses the facts derived above that
state that 2n 2 2 2
i=1 iai = n (n + n + 1) and a2n+1 = n + n + 1.
2n+1
iai = n2 (n2 + n + 1) + (2n + 1)a2n+1
i=1
It follows that
1a1 + 2a2 + 3a3 + + (2n + 1)a2n+1
a2n+2 = = (n + 1)2 . 5
a2n+1
So we have shown that the two formulas a2k1 = k 2 k + 1 and a2k = k 2 hold for
k = 1, 2, . . . , n + 1. This completes the induction and the rest of the proof follows Solution
1. 7
16
3. A group of students entered a mathematics competition consisting of five problems. Each
student solved at least two problems and no student solved all five problems. For each
pair of problems, exactly two students solved them both.
Determine the minimum possible number of students in the group.
Suppose that a students solved 4 problems, b students solved 3 problems, and c students
solved 2 problems. Therefore, a students solved 42 = 6 pairs of problems, b students
solved 32 = 3 pairs of problems and c students solved 22 = 1 pair of problems. Since we
have shown an example in which the number of students in the group is 6, let us assume
that a + b + c 5.
There are 52 = 10 pairs of problems altogether and, for each pair of problems, exactly
two students solved them both, so we must have
6a + 3b + c = 20. 4
Reading the above equation modulo 3 yields c 2 (mod 3). If c 5, then we have
a + b + c 6, contradicting our assumption. Therefore, we must have c = 2 and 2a + b = 6.
For a + b + c 5, the only solution is given by (a, b, c) = (3, 0, 2). 5
However, it is impossible for 3 students to have solved 4 problems each. That would mean
that each of the 3 students did not solve exactly 1 problem. So there would exist a pair of
problems for which 3 students solved them both, contradicting the required conditions.
In conclusion, the minimum possible number of students in the group is 6. 7
17
4. Let ABCD be a rectangle with AB > BC. Let E be the point on the diagonal AC such
that BE is perpendicular to AC. Let the circle through A and E whose centre lies on the
line AD meet the side CD at F .
Prove that BF bisects the angle AF C.
A B
D C
F
AF 2 = AD AH = AC AE = AB 2 . 6
AF B = ABF = 90 CBF = CF B,
where the last equality uses the angle sum in triangle BCF . Since AF B = CF B, we
have proven that BF bisects the angle AF C. 7
AB 2 = AE AC. 1
18
Next, by the alternate segment theorem and the fact that AB CD, we have EF A =
EAB = ECF . Hence, by the alternate segment theorem again, the circumcircle of
triangle EF C is tangent to the line AF at F . Considering the power of the point A with
respect to the circumcircle of triangle EF C, we have
AF 2 = AE AC. 4
This immediately gives f (C) = E and f (H) = D. Now the circumcircle of ABCD must
map to a line passing through f (C) = E and f (D) = H. This implies that f (B) = B.
Hence, AB = AF . 6
Therefore, we have BF C = ABF = AF B. 7
DF 2 = AD DH (ADF F DH) 1
= AD (AH AD)
AB 2
= AD AD (ABC HAB) 3
BC
= AB 2 AD2 (AD = BC) 4
AF B = ABF = 90 CBF = CF B,
where the last equality uses the angle sum in triangle BCF . Since AF B = CF B, we
have proven that BF bisects the angle AF C. 7
19
5. For a real number x, let x be the largest integer less than or equal to x.
Find all prime numbers p for which there exists an integer a such that
a 2a 3a pa
+ + + + = 100.
p p p p
20
Solution 2 (Ivan Guo, Angelo Di Pasquale and Ian Wanless)
The possible values for p are 2, 5, 17 and 197.
The case where a is divisible by p is handled in the same way as Solution 1. 1
Furthermore, one can check that the pair (p, a) = (2, 67) satisfies the conditions of the
problem. So assume that p is an odd prime and that a is not divisible by p.
For any integers 1 r, s p 1 with r + s = p, we have p ra and p sa. Therefore,
ar as ar as ar as ar as
1+ 1< + < + a2< + < a.
p p p p p p p p
But since arp + p
as
is an integer, we conclude that
ar as
+ = a 1. 3
p p
p1
The numbers {1, 2, . . . , p 1} can be partitioned into 2 pairs whose sum is p. 4
Using the equation above for each such pair and substituting into the original equation,
we obtain
p1
(a 1) + a = 100 (a 1)(p + 1) = 198. 6
2
Since p is a prime, it follows that p must be equal to 2, 5, 17 or 197. This leads to the
possible solutions (p, a) = (2, 67), (5, 34), (17, 12), (197, 2). All four of these pairs satisfy
the given equation with a not divisible by p, so we obtain p = 2, 5, 17, 197. 7
21
AMOC SENIOR CONTEST RESULTS
Prize
High Distinction
Distinction
22
AMOC SENIOR CONTEST STATISTICS
Score Distribution/Problem
1 1 0 0 0 1 5 46 31 6.2
2 16 9 8 1 2 8 15 25 4.1
3 25 4 11 2 4 5 8 25 3.5
4 54 13 2 0 0 0 0 15 1.5
5 65 2 1 0 0 4 6 6 1.2
23
2014 AMOCAMOC SCHOOL
School of OF EXCELLENCE
Excellence
The 2014 AMOC School of Excellence was held 110 December at Newman College,
University of Melbourne. The main qualifying exams to be invited to this are the AIMO
and the AMOC Senior Contest.
This year AMOC went ahead with a new initiative in an attempt to widen the net of
identification. In particular, any prize winner in the Australian Mathematics Competition
(AMC) would be given free entry into the AIMO. In this way we hoped to identify top
students from among schools that may not normally enter students in the AIMO. This
turned out to be quite successful and prompted us to increase the number of invitations
we normally make. Consequently, 28 students from around Australia attended the school.
A further student from New Zealand also attended.
The students are divided into a senior group and a junior group. There were 17 junior
students, 16 of whom were attending for the first time. There were 12 students making
up the senior group.
The program covered the four major areas of number theory, geometry, combinatorics
and algebra. Each day would start at 8am with lectures or an exam and go until 12
noon or 1pm. After a one-hour lunch break they would have a lecture at 2pm. At
4pm participants would usually have free time, followed by dinner at 6pm. Finally, each
evening would round out with a problem session, topic review, or exam review from 7pm
until 9pm.
Another new initiative we tried was to invite two of our more experienced senior students
to give a lecture. The rationale behind this is that teaching a subject is highly bene-
ficial to the teacher because it can really solidify the foundations of the teachers own
understanding. A further fringe benefit is that they also get to hone their LATEX skills.
Alexander Gunning was assigned the senior inequalities lecture, and Seyoon Ragavan was
assigned the senior transformation geometry lecture. I did some trial runs with them
prior to the lectures so as to trouble shoot any problems, as well as to give them some
practice for the real thing. Overall it was successful, and I will likely try it again in the
future.
Many thanks to Andrew Elvey Price, Ivan Guo, Victor Khou, and Sampson Wong, who
served as live-in staff. Also my thanks go to Adrian Agisilaou, Norman Do, Patrick He,
Alfred Liang, Daniel Mathews, Konrad Pilch, Chaitanya Rao, and Mel Shu who assisted
in lecturing and marking.
Angelo Di Pasquale
Director of Training, AMOC
24
Participants at the 2014 AMOC School of Excellence
Seniors
Thomas Baker Scotch College VIC 10
Matthew Cheah Penleigh and Essendon Grammar School VIC 9
Yong See Foo Nossal High School VIC 10
Alexander Gunning Glen Waverley Secondary College VIC 11
Leo Li Christ Church Grammar School WA 10
Allen Lu Sydney Grammar School NSW 11
Seyoon Ragavan Knox Grammar School NSW 10
Kevin Shen St Kentigern College NZ 11*
Yang Song James Ruse Agricultural High School NSW 11
Kevin Xian James Ruse Agricultural High School NSW 10
Jeremy Yip Trinity Grammar School VIC 11
Henry Yoo Perth Modern School WA 11
Juniors
Adam Bardrick Whitefriars College VIC 8
Rachel Hauenschild Kenmore State High School QLD 9
William Hu Christ Church Grammar School WA 8
Shivasankaran Jayabalan Rossmoyne Senior High School WA 8
Tony Jiang Scotch College VIC 9
Sharvil Kesarwani Merewether High School NSW 7
Ilia Kucherov Westall Secondary College VIC 10
Adrian Law James Ruse Agricultural High School NSW 9
Charles Li Camberwell Grammar School VIC 8
Jack Liu Brighton Grammar School VIC 8
Isabel Longbottom Rossmoyne Senior High School WA 9
Hilton Nguyen Sydney Technical High School NSW 8
Madeline Nurcombe Cannon Hill Anglican College QLD 10
Zoe Schwerkolt Fintona Girls' School VIC 10
Katrina Shen James Ruse Agricultural High School NSW 7
Eric Sheng Newington College NSW 10
Wen Zhang St Joseph's College QLD 8
25
THE 2015 AUSTRALIAN MATHEMATICAL
OLYMPIAD
AUSTRALIAN MATHEMATICAL OLYMPIAD
DAY 1
Tuesday, 10 February 2015
Time allowed: 4 hours
No calculators are to be used.
Each question is worth seven points.
Prove that, for every positive integer m, the number am am+1 is a term of the sequence.
2. For each positive integer n, let s(n) be the sum of its digits. We call a number nifty if it
can be expressed as n s(n) for some positive integer n.
How many positive integers less than 10,000 are nifty?
3. Let S be the set of all two-digit numbers that do not contain the digit 0. Two numbers
in S are called friends if their largest digits are equal and the difference between their
smallest digits is 1. For example, the numbers 68 and 85 are friends, the numbers 78
and 88 are friends, but the numbers 58 and 75 are not friends.
Determine the size of the largest possible subset of S that contains no two numbers that
are friends.
4. Let be a fixed circle with centre O and radius r. Let B and C be distinct fixed points
on . Let A be a variable point on , distinct from B and C. Let P be the point such
that the midpoint of OP is A. The line through O parallel to AB intersects the line
through P parallel to AC at the point D.
(a) Prove that, as A varies over the points of the circle (other than B or C), D lies
on a fixed circle whose radius is greater than or equal to r.
(b) Prove that equality occurs in part (a) if and only if BC is a diameter of .
26
OLYMPIAD
DAY 2
Wednesday, 11 February 2015
Time allowed: 4 hours
No calculators are to be used.
Each question is worth seven points.
5. Let ABC be a triangle with ACB = 90 . The points D and Z lie on the side AB such
that CD is perpendicular to AB and AC = AZ. The line that bisects BAC meets CB
and CZ at X and Y , respectively.
Prove that the quadrilateral BXY D is cyclic.
(x 1) (x 3) (x 5) (x 2015) = (x 2) (x 4) (x 6) (x 2014).
8. Let n be a given integer greater than or equal to 3. Maryam draws n lines in the plane
such that no two are parallel.
For each equilateral triangle formed by three of the lines, Maryam receives three apples.
For each non-equilateral isosceles triangle formed by three of the lines, she receives one
apple.
What is the maximum number of apples that Maryam can obtain?
27
AUSTRALIAN MATHEMATICAL OLYMPIAD SOLUTIONS
Solution 1 (Linus Cooper, year 9, James Ruse Agricultural High School, NSW)
First we prove the following formula by induction.
an = n2 + 3, for n 1.
We require two base cases to get started. The formula is true for n = 1 and n = 2
because a1 = 4 = 12 + 3 and a2 = 7 = 22 + 3.
For the inductive step, assume that the formula is true for n = k 1 and n = k.
Then for n = k + 1, we have
Hence the formula is also true for n = k + 1. This completes the induction.
Using the formula, we calculate
17
28
Solution 2 (Jack Liu, year 9, Brighton Grammar School, VIC)
The given rule for determining an+1 from an and an1 can be rewritten as
a2 a1 = 3
a3 a2 = 5
a4 a3 = 7
..
.
am am1 = 2m 1
If we add all these equations together, we find that almost everything cancels on
the LHS, and we have
am a1 = 3 + 5 + + 2m 1.
(2m + 2)(m 1)
am a1 =
2
2
= m 1.
1
1
The standard formula for the sum a + (a + d) + (a + 2d) + + (a + kd) is (2a+kd)(k+1)
. In our case
2
a = 3, d = 2 and k = m 2.
18
29
Solution 3 (Michael Robertson, year 11, Dickson College, ACT)
Starting from am and am+1 , let us compute the next few terms of the sequence in
terms of am and am+1 .
am+2 = 2am+1 am + 2
= 2(am+1 + 1) am
Hence the formula is also true for k = r + 1. This completes the induction.
Let us substitute k = am into formula (1). We have
Comment This proof shows that the conclusion of the problem remains true for
any starting values a1 and a2 of the sequence, provided that m + am 0 for all m.
This is certainly true whenever a2 a1 0.
19
30
2. Solution 1 (Yang Song, year 12, James Ruse Agricultural High School, NSW)
Answer: 1000
For each positive integer n, let f (n) = n s(n). We seek the number of different
values that f (n) takes in the range from 1 up to 9999.
Lemma The function f has the following two properties.
Proof If the last digit of n is not a 9, then s(n + 1) = s(n) + 1. From this it easily
follows that f (n + 1) = f (n).
If the last digit of n is a 9, then suppose that the first k (k 1) digits from the
right-hand end of n are 9s, but the (k + 1)th digit from the right-hand end of n
is not a 9. In going from n to n + 1, the rightmost k digits all change from 9
to 0, and the (k + 1)th digit from the right-hand end of n increases by 1. Hence
s(n + 1) = s(n) 9k + 1, and so
f (n + 1) = n + 1 s(n + 1)
= n + 1 (s(n) 9k + 1)
= n s(n) + 9k
= f (n) + 9k
> f (n).
Since, f (9) = 0, f (10) = 9, f (10000) = 9999 and f (10010) = 10008, the required
number of different values of f in the range from 1 up to 9999 is simply equal
to the number of multiples of 10 from 10 up to 10000. The number of these is
10000 10 = 1000.
20
31
Solution 2 (Seyoon Ragavan, year 11, Knox Grammar School, NSW)
Suppose that the decimal representation of n is ak ak1 . . . a1 a0 where ak = 0. Then
we have the following.
If k 4, then n s(n) (10k 1)ak 9999. Note that 9999 is nifty, because if
n = 10000 then n s(n) = 9999. So it only remains to deal with positive integers
that are less than 9999.
If k 3, then n s(n) = 999a3 + 99a2 + 9a1 . It follows that the nifty numbers
less than 999 are precisely those numbers of the form 999a3 + 99a2 + 9a1 , where
a1 , a2 , a3 {0, 1, 2, . . . , 9}.
Lemma If 999a + 99b + 9c = 999d + 99e + 9f where a, b, c, d, e, f {0, 1, 2, . . . , 9},
then a = d, b = e and c = f .
Proof If 999a + 99b + 9c = 999d + 99e + 9f , then this can be rearranged as
11(b e) + (c f ) = 0. (2)
21
32
3. Solution 1 (Alexander Gunning, year 12, Glen Waverley Secondary College, VIC)
Answer: 45
Call a subset T of S friendless if no two numbers in T are friends. We visualise a
friendless subset T as follows. Draw a 9 9 square grid. If the number 10a + b is in
T we shade in the square that lies in the ath row and bth column.
First we exhibit a friendless subset T of size 45.
Let T consist of all two-digit numbers whose smaller digit is odd, as depicted in the
first diagram below. No two numbers in T are friends because their smaller digits
are both odd and hence cannot differ by 1. Since there are 45 shaded squares, we
have shown that |T | = 45 is possible.
1 2 3 4 5 6 7 8 9 1 2 3 4 5 6 7 8 9
1 1
2 2
3 3
4 4
5 5
6 6
7 7
8 8
9 9
22
33
Solution 2 (Anand Bharadwaj, year 9, Trinity Grammar School, VIC)
Consider the following nine lines of numbers.
11
21, 22, 12
31, 32, 33, 23, 13
41, 42, 43, 44, 34, 24, 14
51, 52, 53, 54, 55, 45, 35, 25, 15
61, 62, 63, 64, 65, 66, 56, 46, 36, 26, 16
71, 72, 73, 74, 75, 76, 77, 67, 57, 47, 37, 27, 17
81, 82, 83, 84, 85, 86, 87, 88, 78, 68, 58, 48, 38, 28, 28
91, 92, 93, 94, 95, 96, 97, 98, 99, 89, 79, 69, 59, 49, 39, 29, 19
Each pair of neighbouring numbers on any given line are friends. So a subset T of S
that contains no friends cannot include consecutive numbers on any of these lines.
On the ith line there are exactly 2i 1 integers. The maximum number of integers
we can choose from the ith line without choosing neighbours is i. This shows that
T contains at most 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 = 45 integers.
Furthermore, |T | = 45 only if we choose exactly i numbers from the ith line without
choosing neighbours. There is only one way to do this, namely take every second
number starting from the left of each line.
It is still necessary to verify that T contains no friends because even some non-
adjacent numbers from the same line, such as 31 and 23, can be friends. To do this,
note that the smaller digit of each number in T is odd. Thus for any pair of integers
in T , the difference between their smaller digits is even, and thus cannot be equal
to 1. Hence T contains no friends.
Comment This proof shows that there is exactly one subset of S of maximal size
that contains no friends.
23
34
4. Comment All solutions that were dependent on how the diagram was drawn re-
ceived a penalty deduction of 1 point. The easiest way to avoid diagram dependence
was to use directed angles as in the three solutions we present here.
For any two lines m and n, the directed angle between them is denoted by (m, n).
This is the angle by which one may rotate m anticlockwise to obtain a line parallel
to n.22
Solution 1 (Yang Song, year 12, James Ruse Agricultural High School, NSW)
Let Q be the intersection of lines OC and P D. Since AC P Q and A is the
midpoint of OP , it follows that C is the midpoint of OQ.
D
A
O
B C
Q
(a) We know OD BA and DQ AC. It follows that (OD, DQ) = (BA, AC),
which is fixed because A lies on . This implies D lies on a fixed circle, say,
through O and Q.
Let s be the radius of . Since the diameter is the largest chord length in a
circle, we have 2s OQ. Since OQ = 2OC = 2r we have s r, as desired.
(b) From the preceding analysis, we have s = r if and only if OQ is a diameter of
. This is achieved if and only if OD DQ, which is equivalent to BA AC.
But the chords BA and AC of are perpendicular if and only if BC is a
diameter of .
22 For
more details on how to work with directed angles, see the section Directed angles in chapter 17 of
Problem Solving Tactics published by the AMT.
24
35
Solution 2 (Ilia Kucherov, year 11, Westall Secondary College, VIC)
Let E be the intersection of lines AC and OD. Since AC P D and A is the
midpoint of OP , it follows that E is the midpoint of OD.
A D
B C
Q
25
36
Solution 3 (Kevin Xian, year 11, James Ruse Agricultural High School, NSW)
The motivation for this solution comes from considering a couple of special positions
for A.
If A is diametrically opposite C, then D = O. If A is diametrically opposite B, then
this gives a second position for D. With this in mind, let X be the point on that
is diametrically opposite B, and let Y be the point such that X is the midpoint of
OY .
D
A
Y
X
O
B C
(Y D, OD) = (OD, P D)
= (OD, OP ) + (OP, P D)
= (BA, OA) + (OA, AC)
(OD BA and P D AC)
= (BA, AC).
26
37
we have
OY
2s =
sin (Y D, OD)
2r
=
sin (BA, AC)
2r.
Therefore s r, as required.
(b) From the preceding analysis, we have s = r if and only if
sin(BA, AC) = 1.
27
38
5. This was the easiest problem of the competition. Of the 106 students who sat the
AMO, 77 found a complete solution. There were many different routes to a solution,
and we present some of them here.
Solution 1 (Zoe Schwerkolt, year 11, Fintona Girls School, VIC)
We are given ACZ is isosceles with AC = AZ. By symmetry, the angle bisector
at A is also the altitude from A, and so AX CZ. Thus CY A = 90 = CDA.
It follows that ADY C is a cyclic quadrilateral.
X
Y
x
x
A D Z B
BDY = 90 x. (1)
But from the exterior angle sum in CAX, we have AXB = 90 + x, and so
Y XB = 90 + x. (2)
BDY + Y XB = 180 ,
28
39
Solution 2 (Alan Guo, year 12, Penleigh and Essendon Grammar School, VIC)
We deduce that ADY C is cyclic as in solution 1.
It follows that
X
Y
A D Z B
29
40
Solution 3 (Wen Zhang, year 9, St Josephs College, QLD)
We are given ACZ is isosceles with AC = AZ. Hence by symmetry, the angle
bisector at A is both the median and the altitude from A. Thus Y is the midpoint
of CZ.
Since CDZ is right-angled at D, the point Y is the circumcentre of CDZ. Hence
we have Y C = Y D = Y Z.
Let CBA = XBD = 2x. We now compute some other angles in the diagram.
X
Y
2x
A D Z B
30
41
Solution 4 (Seyoon Ragavan, year 11, Knox Grammar School, NSW)
As in solution 1, we deduce that AY CZ.
Let lines AY and CD intersect at H. Since AY CZ and CD AZ, it follows that
H is the orthocentre of CAZ. Hence ZH AC. But since AC BC, we have
ZH BC. Observe also that HDZY is cyclic because ZDH = 90 = HY Z.
We now have
X
Y
H
A D Z B
31
42
Solution 5 (Kevin Xian, year 11, James Ruse Agricultural High School, NSW)
As in solution 1, we deduce that AY CZ. Hence using the angle sums in CAY
and CAX, we have
AC 2 = AY AX. (1)
In a similar way we may use the angle sums in CAD and ABC to find
AC 2 = AD AB. (2)
AY AX = AD AB,
X
Y
A D Z B
32
43
6. Solution 1 (Michelle Chen, year 11, Methodist Ladies College, VIC)
Answer: 1008
Let f (x) = p(x) q(x), where
We seek the number of distinct real solutions to the equation f (x) = 0. Note that
f (x) is a polynomial of degree 1008 because p(x) has degree 1008 while q(x) has
degree 1007.
Observe that p(x) is the product of an even number of brackets and q(x) is the
product of an odd number of brackets. Therefore,
where the last line is true because 2015 > 2014, 2013 > 2012, and so on down to
3 > 2.
Next, for x = 2, 4, 6, . . . , 2014, we have q(x) = 0, and so f (x) = p(x). Hence
f (0) > 0
f (2) < 0
f (4) > 0
f (6) < 0
..
.
f (2014) < 0
f (2016) > 0
33
44
Solution 2 (Yong See Foo, year 11, Nossal High School, VIC)
The polynomials p(x), q(x) and f (x) are defined as in solution 1. We also deduce
f (2016) > 0, as in solution 1.
For any x {1, 3, 5, . . . , 2015}, we have p(x) = 0, and so f (x) = q(x). Therefore,
for any x {1, 3, 5, . . . , 2015}, we have
f (x) = (x 2)(x 4) (x (x 1)) (x (x + 1)) (x 2014).
(We use the symbol merely as a placeholder for future reference.)
All bracketed terms to the left of are positive while the remaining bracketed terms
to the right of are negative. Hence the total number of bracketed terms that are
negative is equal to 2014(x+1)
2
+ 1 = 2015x
2
.33 Taking into account the minus sign at
the front, it follows that for each x {1, 3, 5, . . . , 2015}, we have
f (x) > 0 for x 1 (mod 4) and f (x) < 0 for x 3 (mod 4).
Hence we have the following inequalities.
f (1) > 0
f (3) < 0
f (5) > 0
..
.
f (2013) > 0
f (2015) < 0
f (2016) > 0
Comment Some contestants found it helpful to do a rough sketch of p(x) and q(x).
This helps to determine the signs of p(x), q(x) and f (x) for x = 0, 1, 2, . . . , 2016.
From this one can further narrow down the location of the solutions to f (x) = 0.
They are found in the intervals (1, 2), (3, 4), (5, 6), . . . , (2013, 2014), (2015, 2016).
y y = p(x)
y = q(x)
... x
1 2 3 4 5 6 7 2013 2014 2015 2016
3
3
This is all still true in the extreme cases x = 1 and x = 2015. The case x = 1 corresponds to putting the
to the left of the first term (x 2) but to the right of the negative sign. The case x = 2015 corresponds
to putting the to the right of the last term (x 2014).
34
45
7. There are many different ways to solve this problem. Over 10 different methods of
solution were found among the 24 contestants who completely solved the problem.
Some of these are presented here.
Observe that p(n) = p(n + 1) for all positive integers n 2 because adjacent
numbers cannot be divisible by the same prime. Hence there is a positive integer N
such that
p(n + 1) p(n) p(n) p(n 1) < 0 for all integers n > N . (*)
Thus p(n) > p(n 1) if and only if p(n + 1) < p(n) for all n > N . It follows that
the graph of p(n) versus n alternates between peaks and valleys once n > N . This
can be schematically visualised as follows.
p(n)
Consider the number 2m where m > 1 is large enough so that 2m > N . Note that
p(2m ) = 2. Since 2m 1 and 2m +1 are odd we have p(2m +1) > 2 and p(2m 1) > 2.
Hence the above graph has a valley at 2m . Since peaks and valleys alternate for
every n > N , it follows that there is a valley at every even number and a peak at
every odd number once we pass N .
Consider the number 3m . Note that p(3m ) = 3. However, from the preceding
paragraph, there is a peak at 3m because it is odd and greater than N . Hence
p(3m 1) = 2 and p(3m + 1) = 2. This is possible if and only if 3m 1 and 3m + 1
are powers of 2. But the only powers of 2 that differ by 2 are 21 and 22 . This implies
m = 1, which is a contradiction.
Comment 1 Some contestants found a second way to deduce that the graph of
p(n) versus n (for n > N ) has peaks at odd n and valleys at even n.
They observed that if q > 3 is a prime number greater than N , then there is a peak
at q. This is because p(q) = q, while p(q + 1) q+1
2
< q and p(q 1) q1
2
< q.
Comment 2 All solutions used the method of indirect proof.44 They all established
that the graph of p(n) versus n (for n > N ) has peaks at odd values of n and valleys
4
4
Also known as proof by contradiction.
35
46
at even values of n. We present some of the variations that contestants used to
derive a contradiction from this point on.
Variation 1 (Isabel Longbottom, year 10, Rossmoyne Senior High School, WA)
Consider the number 32m+1 , where m 1 satisfies 32m+1 > N .
Since 32m+1 is odd and p(32m+1 ) = 3, it follows that 32m+1 1 is a power of 2.
Since m > 1, the number 32m+1 1 is a power of 2 which is greater than 2. Hence
32m+1 1 (mod 4).
But 32m+1 (1)2m+1 1 1 (mod 4), which is a contradiction.
5
5
Equivalent to year 11 in Australia.
36
47
Variation 6 (Thomas Baker, year 11, Scotch College, VIC)
Let q1 < q2 < be the list of all odd primes in order starting from q1 = 3.
By Dirichlets theorem there are infinitely many primes of the form 4k + 3. So we
may choose j > 3 such that qj > N and such that the list q1 , q2 , . . . , qj contains an
odd number of primes of the form of 4k + 3.
Consider the number m = q1 q2 qj . Note that p(m) = qj . Furthermore, there is a
peak at m because it is odd.
Note m 3 (mod 4). Thus m 1 = 2r for some odd number r.
Furthermore, r is not divisible by any qi (1 i j). Hence p(m 1) is a prime
that is greater than pj . Thus p(m 1) > p(m), which contradicts that there is a
peak at m.
37
48
Solution 2 (Jeremy Yip, year 12, Trinity Grammar School, VIC)
We shall prove that p(n 1) < p(n) < p(n + 1) for infinitely many n. In particular,
for each odd prime q, we show there exists a positive integer k such that
k k k
p(q 2 1) < p(q 2 ) < p(q 2 + 1). (1)
a b
Lemma 1 For any odd prime q, we have gcd(q 2 + 1, q 2 + 1) = 2 for all integers
1 a < b.
a b
Proof Let d = gcd(q 2 + 1, q 2 + 1). Using the difference of perfect squares factori-
sation we know x 1 | x2 1 and x + 1 | x2 1. From this we deduce the following
chain of divisibility.
a a+1
q2 + 1 | q2 1
2a+1 2a+2
q 1|q 1
2a+2 2a+3
q 1|q 1
..
.
b1 b
q2 1 | q2 1
a b b b
It follows that q 2 + 1 | q 2 1, and so d | q 2 1. Combining this with d | q 2 + 1
a b
yields d | 2. Since q 2 + 1 and q 2 + 1 are even, we conclude that d = 2.
Lemma 2 If (1) is false for all positive integers k, then
k k
p(q 2 1) < q and p(q 2 + 1) < q for k = 1, 2, . . . .
38
49
Comment Jeremys proof is rather impressive because it establishes a much
stronger result than what was required. The AMO problem only required a proof
that at least one of p(n 1) < p(n) < p(n + 1) and p(n 1) > p(n) > p(n + 1)
occurs infinitely often, but without pinning down which of the two alternatives does
occur infinitely often. Jeremys proof establishes that p(n 1) < p(n) < p(n + 1)
definitely occurs infinitely often.66
66 Erdos
and Pomerance proved this result in their 1978 research paper On the largest prime factors of n
and n + 1. The question of whether p(n 1) > p(n) > p(n + 1) could occur infinitely often was finally
resolved in the positive by Balog in his 2001 research paper On triplets with descending largest prime
factors.
39
50
8. This was the most difficult problem of the 2015 AMO. Just four contestants managed
to solve it completely.
The following diagram illustrates the construction for n = 6. Each line is a base for
two isosceles triangles, one of which is equilateral. In total there are two equilateral
triangles and six isosceles triangles, making twelve base-specified isosceles triangles
in all.
40
51
Comment Other constructions that achieve the bound n n1 2
are possible. The
following one is by Andrew Elvey Price, Deputy Leader of the 2015 Australian IMO
team.
If n is odd, Maryam can achieve this by drawing the lines to form the sides of a
regular polygon with n sides. If n is even, Maryam can achieve this by drawing the
lines to form all but one of the sides of a regular polygon with n + 1 sides.
41
52
AUSTRALIAN MATHEMATICAL OLYMPIAD STATISTICS
Score Distribution/Problem
0 10 14 29 80 17 60 47 86
1 7 2 1 8 0 1 30 8
2 1 7 18 0 6 3 1 1
3 2 10 4 0 5 4 4 4
4 13 10 11 1 0 5 0 0
5 6 9 9 0 0 1 0 3
6 17 26 11 8 1 7 0 0
7 50 28 23 9 77 25 24 4
Average Mark 5.2 4.6 3.4 1.2 5.4 2.5 2.0 0.6
53
AUSTRALIAN MATHEMATICAL OLYMPIAD RESULTS
Gold
Silver
54
Name School Year
Bronze
55
27TH ASIAN PACIFIC MATHEMATICS OLYMPIAD
March, 2015
Time allowed: 4 hours
No calculators are to be used
Each problem is worth 7 points
Problem 1. Let ABC be a triangle, and let D be a point on side BC. A line
through D intersects side AB at X and ray AC at Y . The circumcircle of triangle
BXD intersects the circumcircle of triangle ABC again at point Z = B. The lines
ZD and ZY intersect again at V and W , respectively. Prove that AB = V W .
Problem 2. Let S = {2, 3, 4, . . .} denote the set of integers that are greater than or
equal to 2. Does there exist a function f : S S such that
f (a)f (b) = f (a2 b2 ) for all a, b S with a = b?
56
27TH ASIAN PACIFIC MATHEMATICS OLYMPIAD
SOLUTIONS
1. Solution (Alan Guo, year 12, Penleigh and Essendon Grammar School, VIC)
Applying the Pivot theorem to AXY we see that circles ABC, XBD and CDY
are concurrent at point Z.11 Hence CDZY is cyclic.
D C
B
W
Z Y
Let (m, n) denote the directed angle between any two lines m and n.22 We have
(W Z, V Z) = (Y Z, DZ)
= (Y C, DC) (CDZY cyclic)
= (AC, BC).
Comment All solutions that were dependent on how the diagram was drawn re-
ceived a penalty deduction of 1 point. The easiest way to avoid diagram dependence
was to use directed angles as in the solution presented above.
11
The point Z is also the Miquel point of the four lines AB, AY , BC and XY . It is the common point of
the circumcircles of ABC, AXY , BDX and CDY . See the sections entitled Pivot theorem and
Four lines and four circles found in chapter 5 of Problem Solving Tactics published by the AMT.
22
This is the angle by which one may rotate m anticlockwise to obtain a line parallel to n. For more
details, see the section Directed angles in chapter 17 of Problem Solving Tactics published by the AMT.
43
57
2. Solution 1 (Henry Yoo, year 12, Perth Modern School, WA)
Answer: No
Assume such a function exists. For any positive integer n we have
f (2n )f (2n+4 ) = f 22(2n+4) = f (2n+1 )f (2n+3 ),
and so
f (2n ) f (2n+3 )
= . (1)
f (2n+1 ) f (2n+4 )
Similarly,
f (2n+1 )f (2n+4 ) = f 22(2n+5) = f (2n+2 )f (2n+3 ),
and so
f (2n+1 ) f (2n+3 )
= . (2)
f (2n+2 ) f (2n+4 )
Combining (1) and (2), we find that
f (2n ) f (2n+1 )
= . (3)
f (2n+1 ) f (2n+2 )
is a geometric sequence. Thus f (2n ) = arn1 for some positive rational numbers a
and r.
Since f (2)f (22 ) = f (26 ) we have
a ar = ar5
a = r4 . (4)
a ar2 = ar7
a = r5 . (5)
Comparing (4) and (5) we have r4 = r5 . Since r > 0, we have r = 1. But then from
(4) we have a = 1. Thus f (2) = 1 S, a contradiction. Hence there are no such
functions.
44
58
Solution 2 (Linus Cooper, year 9, James Ruse Agricultural High School, NSW)
Suppose such a function exists. Then for any integer b > 2 we have
and so
f (8b) = f (2)2 .
Thus f (c) = f (2)2 whenever c 24 and c is a multiple of 8.
Next we have
Since f (2) > 0, we have f (2) = 1 S. This contradiction shows that no such
function exists.
45
59
Solution 3 (Jeremy Yip, year 12, Trinity Grammar School, VIC)
Suppose such a function exists. Let a < b < c be positive integers. We work with
the quantity f (2a )f (2b )f (2c ) in two different ways.
a
f (2 )f (2c ) f (2b ) = f (22a+2c )f (2b ) (since c > a)
= f (24a+2b+4c ) (since 2a + 2c > b) (1)
f (2b )f (2c ) f (2a ) = f (22b+2c )f (2a ) (since c > b)
= f (22a+4b+4c ) (since 2b + 2c > a) (2)
f (2a )f (2b ) f (2c ) = f (22a+2b )f (2c ) (since b > a)
= f (24a+4b+2c ) (if c = 2a + 2b) (3)
46
60
Solution 4 (Angelo Di Pasquale, Director of Training, AMOC)
For any a, b S, choose an integer c > a, b. Then since bc > a and c > b, we have
2 2 f (a2 ) f (b2 )
f (a )f (b) = f (b )f (a) = .
f (a) f (b)
f (a)f (b)
f (ab) = , for all a, b S with a = b. (2)
k
Now combine the functional equation with (1) and (2) to obtain for all a S,
47
61
3. Solution 1 (Alexander Gunning, year 12, Glen Waverley Secondary College, VIC)
Answer: n = 60
Clearly all members of the sequence are positive rational numbers. For each non-
negative integer i let ai = pqii where pi and qi are positive integers with gcd(pi , qi ) = 1.
Therefore,
pi+1 2pi + qi pi+1 pi
= or = . (1)
qi+1 qi qi+1 pi + 2qi
If each of pi and qi are odd, then so are 2pi + qi , qi , pi , and pi + 2qi . Thus when the
RHSs of (1) are reduced to lowest terms, the numerators and denominators are still
odd. Hence pi+1 and qi+1 are odd. It follows inductively that if pi and qi are odd,
then pk and qk are odd for all k i. Since pqnn = 2014 we cannot have pi and qi both
being odd for any i n. Since gcd(pi , qi ) = 1, it follows that
Suppose pi is odd for some i < n. We cannot have the second option in (1) because
that implies pi+1 and qi+1 are both odd, which contradicts (2). So we must have
the first option in (1), namely, pqi+1 i+1
= 2piq+q
i
i
. From (2), qi is even, and so we have
gcd(2pi + qi , qi ) = gcd(2pi , qi ) = 2. Hence
qi qi
pi odd pi+1 = pi + and qi+1 = for i < n. (3)
2 2
On the other hand, a similar argument shows that if pi is even for some i < n, then
we must take the second option in (1), namely pqi+1
i+1 pi
= pi +2q i
, and gcd(pi , pi +2qi ) = 1.
Hence
pi pi
pi even pi+1 = and qi+1 = + qi for i < n. (4)
2 2
In both (3) and (4), we have pi+1 + qi+1 = pi + qi . Since pn + qn = 2015, we have
A very similar calculation using (4) and (5) shows that (6) is also true if pi is even.
A simple induction on (6) yields,
p q0
0
(pn , qn ) n, (mod 2015). (7)
2 2n
qn 1 (mod 2015).
48
62
Note that q0 = 1 because a0 is a positive integer. Thus from (7) we require
2n 1 (mod 2015).
5 | 2n 1 4 | n
13 | 2n 1 12 | n
31 | 2n 1 5 | n.
49
63
Solution 2 (Henry Yoo, year 12, Perth Modern School, WA)
Clearly all members of the sequence are positive rational numbers. For each positive
ai+1 1 2ai+1
integer i, we have ai = or ai = . Since ai > 0 we deduce that
2 1 ai+1
ai+1 1
if ai+1 > 1
2
ai = (1)
2ai+1
if ai+1 < 1.
1 ai+1
Thus ai is uniquely determined from ai+1 . Hence we may start from an = 2014 and
simply run the sequence backwards until we reach a positive integer.
From (1), if ai+1 = uv , then
uv
2v if u > v
ai =
2u
if u < v.
vu
Suppose that d is a common factor of ui+1 and vi+1 . Then (3) implies d | 2015, and
so d is odd. If ui > vi , then from (2) we have d | ui vi and d | 2vi . This easily
implies d | ui and d | vi . If ui < vi , we similarly conclude from (2) that d | ui and
d | vi . This inductively cascades back to give d | u0 and d | v0 . Since gcd(u0 , v0 ) = 1,
we deduce that d | 1. Therefore,
From (3) and (4), we have ui = vi . Hence (2) yields ui+1 , vi+1 > 0, and so from (3)
we have
ui , vi {1, 2, . . . , 2014} for i = 0, 1, 2, . . .. (5)
The base case is immediate. Also, if (ui , vi ) (2i , 2i ) (mod 2015), then using (2)
we have
50
64
and
ui < vi (ui+1 , vi+1 ) (2(2i ), 2i (2i )) (mod 2015)
(2i+1 , 2i+1 ) (mod 2015).
51
65
4. Solution 1 (Jeremy Yip, year 12, Trinity Grammar School, VIC)
Let be the maximal angle that occurs between a red line and a blue line. Let r
be a red line and b be a blue line such that the non-acute angle between them is .
Note that r and b divide the plane into four regions.
In the following diagrams, the two regions that lie within the angular areas defined
by are shaded. Also we orient our configuration so that the x-axis is the angle
bisector of r and b that passes through the two shaded regions. Let O be the
intersection of lines r and b.
Let be another line in the configuration. Four options arise that need to be
considered.
2
1
In the first two diagrams, does not pass through O. Observe that , r and b enclose
a triangle which is either completely shaded or completely unshaded. If the triangle
is completely shaded, as in the first diagram, then 1 = + > and 2 = + > .
But this is impossible because it implies that cannot be blue or red. Hence the
triangle is completely unshaded, as in the second diagram.
In the last two diagrams, passes through O. Observe that apart from the point O,
either all of lies in the unshaded regions, or all of lies in the shaded regions. If
were to lie in the unshaded regions, as in the third diagram, then since + >
and + > , it would follow that could not be red or blue. Hence lies in the
shaded regions, as in the fourth diagram.
Let S be the set of intersection points of lines in the configuration that lie on r or b.
Consider any circle that lies to the right of all points of S and is tangent to r and
b in the right-hand shaded region. We claim that has the required property. It
suffices to show that every line in the configuration, apart from r and b, intersects
in two distinct points.
Let R and B be the points of tangency of with r and b, respectively, and let T be
the union of the segments OB and OR.
52
66
If ( = r, b) is any line of the configuration, then the part of lying in the right
shaded region is an infinite ray .
Let F be the figure enclosed by T and the minor arc RB of . Then passes into
the interior of F , and so intersects the boundary of F at least twice. Since cannot
intersect T twice, it must intersect the minor arc RB.
Finally, cannot be tangent to because that would imply that intersects both
OB and OR (not at O). It follows that intersects at two distinct points, as
desired.
53
67
Solution 2 (Yang Song, year 12, James Ruse Agricultural High School, NSW)
We may rotate the plane so that no red line or blue line is vertical. Let 1 , 2 , . . . , 2n
be the lines listed in order of increasing gradient. Then there is a k such that lines
k and k+1 are oppositely coloured. By rotating our coordinate system and cyclicly
relabelling our lines we can ensure that 1 , 2 , . . . , 2n are listed in order of increasing
gradient, 1 and 2n are oppositely coloured, and no line is vertical. Without loss of
generality 1 is red and 2n is blue. Let O = 1 2n .
Let (not one of the 2n lines) be a variable vertical line to the right of O. Let
R = 1 and B = 2n . Since the lines 2 , 3 , . . . , 2n1 have gradients lying
in between those of 1 and 2n , we can move far enough to the right so that all
the intersection points of 2 , 3 , . . . , 2n1 with lie between R and B. Let be the
excircle of ORB opposite A. We claim that has the required properties. To
prove this, it suffices to show that each line i (2 i 2n 1) intersects twice.
B
R
Let be the vertical line which is tangent to and lying to the right of . Let
R = 1 and B = 2n . Then is the incircle of BRR B . The result now
follows because any line that intersects the opposite sides of a quadrilateral having
an incircle, must also intersect the incircle twice.
54
68
5. Solution (APMO Problem Selection Committee)
There are two families of answers.
sn = (n 1)an + hn1 ,
an = nan1 + (n 1)an2 + n1
> nan1 + 3. (2)
an = nan1 + (n 1)an2 + n1
< nan1 + (an1 3) + n1
< (n + 1)an1 . (3)
Using (1) to write an+2 in terms of an and an1 along with (2), we have for n 3,
Also for n 4,
55
69
Proof Using the recurrence an+3 = (n + 3)an+2 + (n + 2)an+1 + n+2 and writing
an+3 , an+2 in terms of an+1 , an according to lemma 1 we obtain
So, am | (m + 2)k m+1 . But am also divides am+2 = (m + 2)(m + 4)k. Combining
the two divisibility conditions, we obtain am | (m + 4)m+1 .
Since m+1 = 0, we have am | 2m + 8 14, which contradicts the previous result
that an 223 for all non-negative integers n.
So, an+1 = (n+1)(n+3)
n+2
an for n 1. Substituting n = 1 yields 3 | a1 . Letting a1 = 3c,
we have by induction that an = n!(n + 2)c for n 1. Since |s2 2a1 | = 1, we then
get a0 = c 1, yielding the two families of solutions.
Finally, since (n+2)n! = n!+(n+1)!, it follows that sn+1 = c(n+2)!+(1)n (ca0 ).
Hence both families of solutions satisfy the given conditions.
56
70
27TH ASIAN PACIFIC MATHEMATICS OLYMPIAD RESULTS
Top 10 Australian scores
Country scores
Number of
Rank Country Score Gold Silver Bronze Hon.Men
Contestants
1 USA 10 298 1 2 4 3
2 Korea 10 279 1 2 4 3
3 Russia 10 266 1 2 4 3
4 Singapore 10 259 1 2 4 3
5 Japan 10 256 1 2 4 3
6 Canada 10 237 1 2 4 3
7 Thailand 10 228 1 2 4 3
8 Taiwan 10 222 1 2 4 3
9 Australia 10 205 1 2 4 3
10 Brazil 10 202 1 2 4 3
11 Peru 10 185 0 3 4 3
12 Mexico 10 169 1 1 5 3
14 Kazakhstan 10 163 0 2 5 3
15 Indonesia 10 161 0 3 4 3
16 Malaysia 10 134 0 3 3 3
17 India 10 127 0 1 5 3
71
Number of
Rank Country Score Gold Silver Bronze Hon.Men
Contestants
17 Tajikistan 10 127 0 0 6 4
19 Bangladesh 10 122 0 0 7 1
20 Philippines 10 105 0 3 0 2
21 Turkmenistan 10 99 0 0 4 3
22 Saudi Arabia 10 94 0 0 4 1
23 New Zealand 10 86 0 2 1 1
24 Argentina 10 73 0 0 1 3
24 Colombia 10 73 0 1 3 1
26 Syria 6 52 0 0 1 5
27 Sri Lanka 7 48 0 0 1 4
28 El Salvador 7 47 0 0 2 2
Trinidad and
29 10 31 0 0 1 0
Tobago
30 Ecuador 10 27 0 0 1 1
31 Costa Rica 5 20 0 0 0 1
32 Panama 2 12 0 0 0 0
33 Cambodia 2 9 0 0 0 1
72
AMOC SELECTION
2015 IMO Team Selection School SCHOOL
The 2015 IMO Selection School was held 514 April at Robert Menzies College, Macquarie
University, Sydney. The main qualifying exams are the AMO and the APMO from which
25 students are selected for the school.
The routine is similar to that for the December School of Excellence; however, there is
the added interest of the actual selection of the Australian IMO team. This year the IMO
would be held in Chiang Mai, Thailand.
The students are divided into a junior group and a senior group. This year there were 10
juniors and 15 seniors. It is from the seniors that the team of six for the IMO plus one
reserve team member is selected. The AMO, the APMO and the final three senior exams
at the school are the official selection criteria.
My thanks go to Andrew Elvey Price, Ivan Guo, Victor Khou, and Konrad Pilch, who
assisted me as live-in staff members. Also to Peter Brown, Vaishnavi Calisa, Mike Clapper,
Nancy Fu, Declan Gorey, David Hunt, Vickie Lee, Peter McNamara, John Papantoniou,
Christopher Ryba, Andy Tran, Gareth White, Rachel Wong, Sampson Wong, Jonathan
Zheng, and Damon Zhong, all of whom came in to give lectures or help with the marking
of exams.
Angelo Di Pasquale
Director of Training, AMOC
73
2015 Australian IMO Team
Reserve
2015 Australian IMO Team, from left, Jeremy Yip, Alexander Gunning, Yang Song, Kevin Xian, Ilia
Kucherov and Seyoon Ragavan.
74
Participants at the 2015 IMO Selection School
Seniors
Juniors
75
IMO Team IMO TEAM School
Preparation PREPARATION SCHOOL
The pre-IMO July school is always a great reality check when it comes to our perception
of the teams ability. This is of course because we train with the UK team. Our joint
training school was held 28 July at Nexus International School, Singapore.
The routine for the teams each day consisted of an IMO trial exam in the morning, free
time in the afternoon while their papers were being assessed, a short debrief of the exam
late in the afternoon followed by going out to dinner each evening. The results of training
showed that both teams were quite strong, with the UK having the edge.
The final exam also doubles as the annual Mathematics Ashes contest. Australia won
the Ashes in its inaugural year, lost them the next year, and have not been able to win
them back since. There have been a few close calls, and even a tie in 2011. In another
heart-breaking nail biter, the UK again retained the Ashes after both teams tied on 84
points apiece.
Angelo Di Pasquale
IMO Team Leader
76
THE MATHEMATICS
The 2015 Mathematical ASHES
Ashes: AUS v UK
Exam
1. Does there exist a 2015 2015 array of distinct positive integers such that the sums
of the entries on each row and on each column yield 4030 distinct perfect squares?
3. We are given an infinite deck of cards, each with a real number on it. For every
real number x, there is exactly one card in the deck that has x written on it. Now
two players draw disjoint sets A and B of 100 cards each from this deck. We would
like to define a rule that declares one of them a winner. This rule should satisfy the
following conditions:
1. The winner only depends on the relative order of the 200 cards: if the cards are
laid down in increasing order face down and we are told which card belongs to
which player, but not what numbers are written on them, we can still decide
the winner.
2. If we write the elements of both sets in increasing order as A = {a1 , a2 , . . . , a100 }
and B = {b1 , b2 , . . . , b100 }, and ai > bi for all i, then A beats B.
3. If three players draw three disjoint sets A, B, C from the deck, A beats B and
B beats C, then A also beats C.
Results
Q1 Q2 Q3 Q1 Q2 Q3
AUS 1 7 7 7 21 UNK 1 7 7 5 19
AUS 2 7 0 7 14 UNK 2 7 2 0 9
AUS 3 7 7 0 14 UNK 3 5 0 0 5
AUS 4 7 5 0 12 UNK 4 3 7 7 17
AUS 5 3 6 1 10 UNK 5 7 6 7 20
AUS 6 6 7 0 13 UNK 6 7 7 0 14
37 32 15 84 36 29 19 84
77
THE MATHEMATICS ASHES RESULTS
The 8th Mathematics Ashes competition at the joint pre-IMO training camp in Putrajaya, was tied; the results for
the two teams were as follows, with each team scoring a total of 84:
Australia
TOTAL 37 32 15 84
United Kingdom
UNK4 Warren Li 3 7 7 17
TOTAL 36 29 19 84
78
The 56th International Mathematical Olympiad, Chiang Mai,
IMO TEAM LEADERS
Thailand REPORT
The 56th International Mathematical Olympiad (IMO) was held 416 July in Chiang Mai,
Thailand.
This was the largest IMO in history with a record number of 577 high school students
from 104 countries participating. Of these, 52 were girls.
Each participating country may send a team of up to six students, a Team Leader and a
Deputy Team Leader. At the IMO the Team Leaders, as an international collective, form
what is called the Jury. This Jury was chaired by Soontorn Oraintara.
The first major task facing the Jury is to set the two competition papers. During this
period the Leaders and their observers are trusted to keep all information about the contest
problems completely confidential. The local Problem Selection Committee had already
shortlisted 29 problems from 155 problem proposals submitted by 53 of the participating
countries from around the world. During the Jury meetings one of the shortlisted problems
had to be discarded from consideration due to being too similar to material already in
the public domain. Eventually, the Jury finalised the exam questions and then made
translations into the more than 50 languages required by the contestants. Unfortunately,
due to an accidental security breach, the second days paper had to be changed on the
night before that exam was scheduled. This probably resulted in a harder than intended
second day.
The six questions that ultimately appeared on the IMO contest are described as follows.
3. A difficult classical geometry problem in which one is asked to prove that a certain
two circles are mutually tangent. It was proposed by Ukraine.
These six questions were posed in two exam papers held on Friday 10 July and Saturday
11 July. Each paper had three problems. The contestants worked individually. They were
allowed four and a half hours per paper to write their attempted proofs. Each problem
was scored out of a maximum of seven points.
For many years now there has been an opening ceremony prior to the first day of compe-
tition. HRH Crown Princess Sirindhorn presided over the opening ceremony. Following
the formal speeches there was the parade of the teams and the 2015 IMO was declared
open.
79
After the exams the Leaders and their Deputies spent about two days assessing the work
of the students from their own countries, guided by marking schemes, which had been
discussed earlier. A local team of markers called Coordinators also assessed the papers.
They too were guided by the marking schemes but are allowed some flexibility if, for
example, a Leader brought something to their attention in a contestants exam script
that is not covered by the marking scheme. The Team Leader and Coordinators have to
agree on scores for each student of the Leaders country in order to finalise scores. Any
disagreements that cannot be resolved in this way are ultimately referred to the Jury.
The IMO paper turned out to be quite difficult. While the easier problems 1 and 4
were quite accessible, the other four problems 2, 3, 5 and 6 were found to be the most
difficult combination of medium and difficult problems ever seen at the IMO. There were
only around 30 complete solutions to each of problems 2, 3 and 5. Problem 6 was very
difficult, averaging just 0.4 points. Only 11 students scored full marks on it.
The medal cuts were set at 26 for gold, 19 for silver and 14 for bronze.11 Consequently,
there were 282 (=48.9%) medals awarded. The medal distributions22 were 39 (=6.8%)
gold, 100 (=17.3%) silver and 143 (=24.8%) bronze. These awards were presented at the
closing ceremony. Of those who did not get a medal, a further 126 contestants received
an honourable mention for solving at least one question perfectly.
Alex Song of Canada was the sole contestant who achieved the most excellent feat of
a perfect score of 42. He now leads the IMO hall of fame, being the most decorated
contestant in IMO history. He is the only person to have won five IMO gold medals.33 He
was given a standing ovation during the presentation of medals at the closing ceremony.
Congratulations to the Australian IMO team on an absolutely spectacular performance
this year. They smashed our record rank44 to come 6th, and they also smashed our record
medal haul, bringing home two Gold and four Silver medals.55 This is the first time that
each team member has achieved Silver or better. The team finished ahead of many of
the traditionally stronger teams. In particular, they finished ahead of Russia, whom we
would have considered as untouchable.
Congratulations to Gold medallist Alexander Gunning, year 12, Glen Waverley Secondary
College. He is now the most decorated Australian at the IMO, being the only Australian
to have won three Gold medals at the IMO. On each of these occasions he also finished
in the top 10 in individual rankings.66 He is now equal 17th on the IMOs all-time hall of
fame.
Congratulations also to Gold medallist Seyoon Ragavan, year 11, Knox Grammar School.
Seyoon solved four problems perfectly and was comfortably above the Gold medal cut.
He was individually ranked 19th.
11
This was the lowest ever cut for gold, and the equal lowest ever cut for silver. (This was indicative of
the difficulty of the exam, not the standard of the contestants.)
2 The total number of medals must be approved by the Jury and should not normally exceed half the
2
total number of contestants. The numbers of gold, silver and bronze medals must be approximately in
the ratio 1:2:3.
3
3
In his six appearances at the IMO, Alex Song won a bronze medal in 2010, and followed up with gold
medals in 2011, 2012, 2013, 2014 and 2015.
4 The ranking of countries is not officially part of the IMO general regulations. However, countries are
4
ranked each year on the IMOs official website according to the sum of the individual student scores
from each country.
5
5
Australias best performance prior to this was the dream team of 1997. They came 9th, with a medal
tally of two Gold, three Silver and one Bronze.
6
6
In his four appearances at the IMO, Alexander won a bronze medal in 2012, and followed up with gold
medals in 2013 (8th), 2014 (1st) and 2015 (4th).
80
And congratulations to our four Silver medallists: Ilia Kucherov, year 11, Westall Sec-
ondary College; Yang Song, year 12, James Ruse Agricultural High School; Kevin Xian,
year 11, James Ruse Agricultural High School; and Jeremy Yip, year 12, Trinity Grammar
School.
Three members of this years team are eligible for selection to the 2016 IMO team. So
while it is unlikely we will be able to repeat this years stellar performance, the outlook
seems promising.
Congratulations also to Ross Atkins and Ivan Guo, who were IMO medallists with the
Australian team when they were students.77 They were the authors of the juggling-inspired
IMO problem number six. In fact Ross is a proficient juggler.
The 2015 IMO was organised by: The Institute for the Promotion of Teaching Science
and Technology, Chiang Mai University, The Mathematical Association of Thailand under
the Patronage of His Majesty the King, and The Promotion of Academic Olympiad and
Development of Science Education Foundation.
The 2016 IMO is scheduled to be held July 6-16 in Hong Kong. Venues for future IMOs
have been secured up to 2019 as follows.
2017 Brazil
2018 Romania
2019 United Kingdom
Much of the statistical information found in this report can also be found at the official
website of the IMO.
www.imo-official.org
Angelo Di Pasquale
IMO Team Leader, Australia
7
7
Ross and Ivan won Bronze at the 2003 IMO, and Ivan won Gold at the 2004 IMO.
81
Ross Atkins demonstrates his juggling skills. (Photo credit: Gillian Bolsover)
84
82
INTERNATIONAL MATHEMATICAL OLYMPIAD
IMO Papers
Language: English
Day: 1
Day: Day:
2 2
Saturday, July 11, 2015
Day: 2
Problem 4. Triangle ABC has circumcircle and circumcentre O. A circle with
centre A intersects the segment BC at points D and E, such thatSaturday, B, D, E July
and C11,are all
2015
different and lie on line BC in this order. Let F and G be the points of intersection of
and , such that A, F , B, C and G lie on in this order.OLet K be the second point
Problem 4. TriangleABC ABC has circumcircle and circumcentre O.
A circle with A
of intersection ofBCthe circumcircle
D BCofattriangle BDFB and
E the
E segment
D such AB. Let L be the
C B, D,
centre A intersects the segment points D and E, that E and C are all
second
BC point of intersection of the circumcircle of triangle CGE and the segment CA.
different and lie on lineFBC inGthis order. Let F and G be thepointsof intersection A F of
B C Suppose
G
that the lines F K and K
GL are different and intersect at the point X. Prove
and , such that A, F , B, C and G lie on in this order. Let K be the second point that
ofBDF
X lies on the line
intersection AB
AO.circumcircle
of the L of triangle BDF and the segment AB. Let L be the
CGE point of intersection
second CA of the circumcircle of triangle CGE and the segment CA.
Problem 5. Let R denote the set of real numbers. Determine all functions f :XR R
Suppose that theF K lines F GL
K and GL are different and intersect at the X point X. Prove that
satisfying
AO the equation
X lies on the line AO.
f (x + f (x + y)) + f (xy) = x + f (x + y) + yf (x)
Problem 5.R Let R denote the set of real numbers. Determine fall: R R f: R R
functions
satisfying
for all realthe equation
numbers x and y.
f x + f (x + y) + f (xy) = x + f (x + y) + yf (x)
f (x + f (xa+, ay)), .+
Problem 6. x The ysequence . . fof(xy) = x +satisfies
integers f (x + y) + following
the yf (x) conditions:
1 2
aj k+2015
1Problem
(ii) a6. 1
The jsequence a1 , a2 , . . . of integers satisfies the following conditions:
k = + a for all 1 k < .
ak =
k +(i) + a 1 all
k< j 1;
Prove1that ajthere
2015 for
exist two positive integers b and N such that
b N
(ii) k + ak = + a for all 1 k <n .
n
(aj b)
10072
j=m+1
Prove that there exist two positive (aj b)b and
integers 1007 2
N such that
n
j=m+1
for all integers m and n satisfying n > m N .
m n
n > m N (aj b) 10072
j=m+1
84
Language: English Time: 4 hours and 30 minutes
INTERNATIONAL MATHEMATICAL OLYMPIAD
SOLUTIONS
1. Solution (All members of the 2015 Australian IMO team solved this problem using
similar methods. Here we present the solution by Yang Song, year 12, James Ruse
Agricultural High School, NSW. Yang was Silver medallist with the 2015 Australian
IMO team.)
(a) For n odd, we may take S to be the set of vertices of a regular n-gon P.
It seems obvious that S is balanced but we shall prove it anyway. Let A and
B be any two vertices of P. Since n is odd, one side of the line AB contains an
odd number of vertices of P. Thus if we enumerate the vertices of P in order
from A around to B on that side of AB, one of them will be the middle one,
and hence be equidistant from A and B.
For n even, say n = 2k we may take S to be the set of vertices of a collection
of k unit equilateral triangles, all of which have a common vertex, O say, and
exactly one pair of them has a second common vertex. Note that apart from
O, all of the vertices lie on the unit circle centred at O.
The reason why this works is as follows. Let A and B be any two points in S.
If they are both on the circumference of the circle, then OA = OB and O S.
If one of them is not on the circumference, say B = O, then by construction
there is a third point C S such that ABC is equilateral, and so AC = BC.
The cases for n = 11 and n = 12 are illustrated below.
(b) We claim that a balanced centre-free set of n points exists if and only if n is
odd.
Note that the construction used in the solution to part (a) is centre-free. We
shall show that there is no balanced centre-free set of n points if n is even.
For any three points A, X, Y S, let us write A {X, Y } to mean AX = AY .
We shall estimate the number of instances of A {X, Y } in two different ways.
First, note that if A {X, Y } and A {X, Z} where Y = Z, then S cannot
be centre-free
n1 because AX = AY = AZ. Hence for a given point A, there are
at most 2 pairs {X, Y } such that A {X, Y }. Since there are n choices
for A, the total number of instances of A {X, Y } is at most n n1 2
.
On the other hand, since S is balanced, for each pair of points X, Y S, there
is at leastone
n
point A such that A {X, Y }. Since the number ofnpairs
{X, Y } is 2 , the total number of instances of A {X, Y } is at least 2 .
If we combine our estimates, we obtain n n1
n1 2
n2 , which simplifies to
2
n1
2
. This final inequality is impossible if n is even.
85
58
Comment 1 A nice graph theoretical interpretation of the solution to part (b) was
given by Kevin Xian, year 11, James Ruse Agricultural High School, NSW. Kevin
was a Silver medallist with the 2015 Australian IMO team.
Let S denote the set of unordered pairs of elements of S. Form a directed bipartite
graph G as follows. The vertex set of G is S S . The directed edges of G are
simply all the instances of A {X, Y} asper the solution to part (b) above. Then
n1
the
n
total outdegree of G is at most n 2 , while the total indegree of G is at least
2
. The inequality found in the solution to part (b) is simply a consequence of the
total indegree being equal to the total outdegree.
Comment 2 Alternative constructions for n odd in part (a) were found by Yang
Song, year 12, James Ruse Agricultural High School, NSW, and Jeremy Yip, year
12, Trinity Grammar School, VIC. Yang and Jeremy were Silver medallists with the
2015 Australian IMO team.
For n = 2k + 1, let S be the set of vertices of a collection of k unit equilateral
triangles, all of which have exactly a common vertex, O say, and no two of which
have any other common vertices besides O. Note that apart from O, all of the
vertices lie on the unit circle centred at O. The case for n = 13 is illustrated below.
59
86
2. Solution 1 (Jeremy Yip, year 12, Trinity Grammar School, VIC. Jeremy was a
Silver medallist with the 2015 Australian IMO team.)
The answers are (a, b, c) = (2, 2, 2), (2, 2, 3), (2, 6, 11), (3, 5, 7) and their permuta-
tions. It is straightforward to verify that they all work.
Note that ab c = bc a (b + 1)(a c) = 0 a = c.
We divide our solution into five cases as follows.
Case 1 At least two of a, b, c are equal.
Case 2 All of a, b, c are different and none of them are even.
Case 3 All of a, b, c are different and one of them is even.
Case 4 All of a, b, c are different and two of them are even.
Case 5 All of a, b, c are different and all three of them are even.
Case 1 Without loss of generality a = b. Then b2 c and bc b are powers of 2.
That is,
b2 c = 2x (1)
b(c 1) = 2y (2)
for some non-negative integers x and y. Equation (2) implies that b = 2p and
c 1 = 2q for some non-negative integers p and q. Putting these into (1) we find
22p = 2x + 2q + 1. (3)
ab c 0 (mod ac b)
a(ac) c 0 (mod ac b)
(a 1)(a + 1) 0 (mod ac b). (c is odd)
Since a 1 and a + 1 are consecutive even positive integers, exactly one of them is
divisible by 4, while the other is even but not divisible by 4. Since ac b is a power
of two, it follows that either ac b | 2(a 1) or ac b | 2(a + 1). Either way, we
have
ac b 2(a + 1).
60
87
Observe that a 5, b 3 and c 1. This is because a, b, c are all odd and
a > b > c 1.
If c > 3 then (4) implies a < 2. This contradicts a 5.
If c = 1, then a b and b a are powers of two, which is impossible because they
sum to zero.
If c = 3, then 3b a and 3a b are powers of two. Since 3b a < 3a b, we have
3a b 0 (mod 3b a)
3(3b) b 0 (mod 3b a)
8 0 (mod 3b a). (b is odd)
ab c = b(3b 8) 3
= (3b + 1)(b 3)
is a power of two. Hence 3b+1 = 32k +10 is also a power of two. This is impossible
for k 2 because 3 2k + 10 2 (mod 4) and 3 2k + 10 = 2. However, for k = 1,
we find 3b + 1 = 16. Thus b = 5 and a = 3b 8 = 7, and we have found the solution
(a, b, c) = (3, 5, 7).
Case 3 Without loss of generality a is even, while b and c are odd.
Then ab c and ac b are both odd. Hence ab c = ac b = 1. This implies b = c,
which is a contradiction. So this case does not occur.
Case 4 Without loss of generality c is odd, while a and b are even with a > b.
This immediately implies that a 4. Also, since ab c is odd, we have ab c = 1.
Thus c = ab 1 3 (mod 4). Hence c 3.
Let 2k (note k 1) be the greatest power of two dividing both a and b. Then
a = 2k m and b = 2k n for some integers m > n 1.
We have ac b = 2k (mc n). Thus mc n is a power of two. Thus m and n are of
the same parity because otherwise mc n would be an odd number that is greater
than 1. From the choice of k, this implies that m and n are both odd.
Since a > b we have bc a < ac b. Because they are both powers of two, the
smaller divides the larger. Therefore,
ac b 0 (mod bc a) (5)
(bc)c b 0 (mod bc a)
2k n(c2 1) 0 (mod 2k (nc m))
(c 1)(c + 1) 0 (mod nc m). (n is odd) (6)
61
88
Using similar reasoning as in case 2, since nc m is a power of two, and c 1 and
c + 1 are consecutive even positive integers, we deduce that
nc m 2(c + 1)
n(4 mn 1) m 2 4k mn (c = ab 1 = 4k mn 1)
k
n
4k (n2 2n)
m
< 1. (m > n)
(c 1)(c + 1) 0 (mod c m)
(m 1)(m + 1) 0 (mod c m).
c m 2(m + 1)
4k m m 2m + 2 (c=4k m 1)
4k m < 3m + 2
k = 1.
a(2a 1) 2 0 (mod 3a 2)
3a(6a 3) 18 (mod 3a 2)
2 18 (mod 3a 2).
ab c = 2 and ac b = 2 .
a2 bc 4bc.
Hence a 2, and thus a = 2 because a is even. But now the two inequalities in
(7) become 2b 2c and 2c 2b. Hence b = c, which contradicts that a, b, c are all
different. So this case does not occur, and the proof is complete.
62
89
Solution 2 (Alex Gunning, year 12, Glen Waverley Secondary College, VIC. Alex
was a Gold medallist with the 2015 Australian IMO team.)
The case where two of the variables are equal is handled in the same way as in
solution 1.
Without loss of generality we may assume that a > b > c. If c = 1, then we would
require both a b and b a to be powers of two. But this is impossible because
their sum is zero.
Hence a > b > c 2.
It easily follows that ab c ca b bc a. Since a smaller power of two always
divides a larger power of two, we have
bc a | ca b | ab c.
ca b | 2(a 1)b
ca b | 2(a 1)b 2(ab c) (ca b | ab c)
ca b | 2(b c)
ca b 2(b c). (b = c)
ca b | 2(a + 1)b
ca b | 2(a + 1)b 2(ab c) (ca b | ab c)
ca b | 2(b + c)
ca b 2(b + c).
Thus whatever odd number a is, we can be sure that ca b 2(b + c). That is,
ca 3b + 2c.
63
90
If c = 2, then bc a = 2b a = 1 because it is odd (a is odd) and is a power of two.
But
ca b | ab c
3b 2 | (2b 1)b 2 (a = 2b 1, c = 2)
3b 2 | 3((2b 1)b 2) 2b(3b 2)
3b 2 | b 6.
64
91
3. Solution 1 (Alex Gunning, year 12, Glen Waverley Secondary College, VIC. Alex
was a Gold medallist with the 2015 Australian IMO team.)
Let A be the point diametrically opposite A on and let E be the second point of
intersection of the line AHF with .
Lemma The points A , M , H and Q are collinear.
Proof First note that QA QA because AA is a diameter of . Also since
QA QH, it follows that QHA is a straight line. Thus Q lies on the line A H.
B F C
A E
65
92
A
S
B M F C
A E R
SF SM = SH 2 = SK 2 .
66
93
Solution 2 (Andrew Elvey Price, Deputy Leader of the 2015 Australian IMO
team)
Point A is defined as in solution 1. Furthermore, as in solution 1, we establish that
M is the midpoint of A H, and A , M , H and Q are collinear.
Since A AK = A QK = HQK and AKA = 90 = QKH, we have
KAA KQH. Hence there is a spiral symmetry, f say, centred at K, such
that f (A ) = A and f (H) = Q. Note that f is the composition of a 90 rotation
KA
about K with a dilation of factor KA about K.
M
F Q
S
K
H
M
B F S C
A
Let S be the preimage of S under f . (Note that S happens to lie on the line M F ,
as shown in the diagram, because S lies on line M F . But we will not need this
fact.)
Since S F Q S QM (AA), we have
S F S Q
= .
S Q S M
It follows that
S F S M = S Q2 = S K 2 .
Therefore, S K is tangent to circle F KM at K.
Applying the inverse of f , we have SK is tangent to circle F KM at K. But since
S is the preimage of S under f , we also have S KS = 90 , and so SK is tangent
to circle KQH. Hence circles F KM and KQH are tangent at K.
67
94
Solution 3 (IMO Problem Selection Committee)
Points A and E are defined as in solution 1. Moreover, as in solution 1, we establish
that M is the midpoint of A H, and A , M , H and Q are collinear. Note that since
M F A E, it follows that F is the midpoint of EH.
Let Q be the point diametrically opposite Q on . Then KQ KQ because QQ
is a diameter of . Also since KQ KH, it follows that KHQ is a straight line.
Let T be a point on the tangent to circle KQH at K, such that T and Q lie
on the same side of the line KH. By the alternate segment theorem we have
T KQ = KHQ.
By the alternate segment theorem, it is sufficient to prove that
KF M = T KM.
We have
KF M = T KM
90 + KF A = T KQ + 90 + HKM
Q T
H K
J
Q
B M F C
A E
Observe also that triangles KHA and QHQ are similar with M and J being the
midpoints of corresponding sides. Hence HKM = JQH.
Thus our task is reduced to proving
Let us draw a new diagram that will help us focus on the task at hand.
68
95
A
O
J H
Q
A
Note that QAQ A is a rectangle. Let O be its centre. We also know that H lies
on side A Q and that J is the midpoint of Q H. Thus J and O both lie on the
mid-parallel of QA and Q A. Hence
69
96
Solution 4 (Jacob Tsimerman, Leader of the 2015 Canadian IMO team)
Points A , E and Q are defined as in solution 3. Furthermore, as in solution 3, we
have M is the midpoint of A H; points A , M , H and Q are collinear; points Q , H
and K are collinear; and F is the midpoint of HE.
Since the three chords AE, QA and KQ are concurrent we have
HA HE = HQ HA = HK HQ = r2 ,
for some positive real number r. Let f be the inversion with centre H and radius
r, followed by the reflection11 in H. Let A and Q be the reflections of H in A and
Q, respectively. Then f has the effect of exchanging the following pairs of points.
AE A F Q A Q M K Q
A
A
Q
H K
Q
B M F C
A E
70
97
Comment Solutions 1 and 3 first establish that Q, H, M and A are collinear, and
that M and F are the respective midpoints of A H and EH. After this the points
B and C are no longer relevant to the solution. The crux of matter boils down to
the following.
H K
Q
M F
A E
71
98
Here is an even more minimal way of looking at the same thing.
K
H
M F
A E
72
99
Solution 5 (Panupong Pasupat, one of the Coordinators at the 2015 IMO)
It is sufficient to prove statement (*) found in the comments on the previous page.
Let T be a point on the tangent to circle KQH at K, such that T and Q lie on the
same side of the line KH. Let W be the midpoint of QH. Since QKH = 90 , it
follows that W is the centre of circle KQH. Hence W H = W K, and we may let
W KH = KHW = .
From the angle sum in KQH, we have HKQ = 90 . Since A EKQ is cyclic,
we have AEK = 90 + , and so KEH = . Thus by the alternate segment
theorem, circle HEK is tangent to line A Q at H. Then since M H = M E, it
follows by symmetry that M H and M E are the common tangents from M to circle
HEK.
Q T
K
H
M
F
A E
73
100
4. Solution 1 (Kevin Xian, year 11, James Ruse Agricultural High School, NSW.
Kevin was a Silver medallist with the 2015 Australian IMO team.)
X
K
L
F
G
O
B D E C
Comment A careful analysis of this solution shows that the result is still true if
we only assume that the centre of lies on the line AO.
74
101
Solution 2 (Found independently by Ilia Kucherov, year 11, Westall Secondary
College, VIC, and Jeremy Yip, year 12, Trinity Grammar School, VIC. Ilia and
Jeremy were Silver medallists with the 2015 Australian IMO team.)
As in solution 1 it suffices to show that KF A = AGL.
Let the lines DF and EG intersect for a second time at points P and Q, respec-
tively. Then
P DE = F GQ (F DEG cyclic)
= F P Q. (F QP G cyclic)
BGE = DF C. (1)
B D E C
Q P
75
102
A
X
K
L
F
G
O
B D E C
Since ABCG is cyclic, we have LAG = CAG = CBG = EBG. Since ECGL
is cyclic, CLG = CEG, and so GLA = GEB. Thus GAL GBE (AA).
Hence
AGL = BGE. (2)
Similarly
KF A = DF C. (3)
KF A = AGL.
Comment There are two pairs of similar triangles associated with circles ECGL
and . They are GAL GBE and GLE GAB. This is a standard
configuration which can help fast track the route to a solution.33
3
3
For more details see the section Similar Switch found in chapter 5 of Problem Solving Tactics published
by the AMT.
76
103
5. Solution 1 (Seyoon Ragavan, year 11, Knox Grammar School, NSW. Seyoon was
a Gold medallist with the 2015 Australian IMO team.)
We show that the only answers are: f (x) = x for all x R and f (x) = 2 x for all
x R.
We are asked to find all functions f : R R such that for all x, y R,
With (2) in mind, set x = 0 and y = z + f (z + 1) in (1) to find that for all z R,
Case 1 f (0) = 0
Equation (3) implies z + f (z + 1) = 1 for all z R. Putting z = x 1, this may be
rearranged to f (x) = 2 x for all x R. We verify this is a solution.
LHS = 2 (x + 2 (x + y)) + 2 xy = 2 + y xy
RHS = x + 2 (x + y) + y(2 x) = 2 + y xy = LHS
Case 2 f (0) = 0
Set x = 0 in (1) to find that for all y R,
Let S denote the set of fixed points of f . Suppose that u S. Then (5) with x = u
tells us that 2u S. And (2) with x = u 1 tells us that 2u 1 S. Hence
u S 2u, 2u 1 S. (6)
Since 0 S, applying (6) tells us that 1 S. Applying (6) again tells us that
2, 3 S. Continuing inductively, we find that all negative integers are in S.
On the other hand, if x is any positive integer, choose an integer y such that y < 0,
x + y < 0, 2x + y < 0 and xy < 0 (any y < 2x will do). Using these values in (1)
yields f (x) = x. Hence
Z S. (7)
77
104
Let y R. Then from (2) with x = y 1 we have y + f (y) 1 S, and from (5) we
have y + f (y) S. Hence with u = y + f (y) 1 in (7), we find that for each n Z,
y + f (y) + n S. (10)
If we set y = m in (1) and use (11), then for each m Z and x R we have,
If we replace y with f (y) in (10) and remember that f (f (y)) = f (y) from (4), we
find
2f (y) + n S. (13)
Let y R and let y = 2x. Then applying (12) and (13), we are able to deduce that
f (y) + 1 = f (2x) + 1 = 2f (x) + 1 S. Hence for all y R we have
f (y) + 1 S. (14)
78
105
Solution 2 (Based on the presentation by Alex Gunning, year 12, Glen Waverley
Secondary College, VIC. Alex was a Gold medallist with the 2015 Australian IMO
team.)
We are asked to find all functions f : R R such that for all x, y R,
x S x S. (5)
z + f (z) S. (6)
f (z) S. (7)
2f (z) S. (8)
Put (x, y) = (z + f (z), f (z)) in (3). The LHS of (3) is f (z + 2f (z)). We also
have x = z + f (z) S from (6). And y = f (z) S from (7) and (5). Thus
yf (x) xf (y) = yx xy = 0, and so the RHS of (3) is just x y = z + 2f (z).
Hence
z + 2f (z) S. (9)
79
106
Put (x, y) = (z, z f (z)) in (3). Note that y = z f (z) S from (6) and (5).
And x + y = f (z) S from (7) and (5). Thus (3) simplifies to
Put (x, y) = (z f (z), f (z)) in (3). The LHS of (3) equals f (z) f (2f (z)) = f (z)
from (8). Hence
80
107
6. This was the hardest problem of the 2015 IMO. Only 11 of the 577 contestants were
able to solve this problem completely.
The authors of this problem were Ross Atkins and Ivan Guo of Australia. Ross and
Ivan were Bronze medallists with the 2003 Australian IMO Team and Ivan was a
Gold medallist with the 2004 Australian IMO Team. The problem was inspired by a
notation for juggling (Ross is also a juggler) in which each ai represents the airtime
of a ball thrown at time i, and b is the total number of balls.
Solution 1 (Alex Gunning, year 12, Glen Waverley Secondary College, VIC. Alex
was a Gold medallist with the 2015 Australian IMO team.)
Let S be the set of positive integers which are not of the form n + an for some
positive integer n. Note that S is nonempty because 1 S. Let s1 < s2 < be
the elements of S listed in increasing order.
Lemma |S| 2015.
Proof Assume that |S| 2016. Choose n so that an + n s2016 . Since an 2015,
this implies that s1 , s2 , . . . , s2016 {1, 2, . . . , n + 2015}. However, the n numbers
1 + a1 , 2 + a2 , . . . , n + an are not equal to any si and are also members of the set
{1, 2, . . . , n + 2015}. Hence {1, 2, . . . , n + 2015} contains at least n + 2016 different
numbers, contradiction.
We claim that if b = |S| and if N is larger than all members of S, then the inequality
posed in the problem statement is true.
n
Let n be any integer
satisfying n N . We shall find bounds for j=1 (j + aj ) and
hence also for nj=1 (aj b). In what follows, let L be the following list of n + b
distinct positive integers.
1 + a1 , 2 + a2 , . . . , n + an , s1 , s2 , . . . , sb
b(2n + b + 1)
= s
2
n
b2 + b
(aj b) s, (1)
j=1
2
b
where s = j=1 sj .
For the upper bound, observe that s1 , s2 , . . . , sb are b members belonging to the set
T = {1, 2, . . . , n + 1}. The remaining n + 1 b members of T must be of the form
j + aj where j n, and so are in L. The sum of these n + 1 b numbers is exactly
n+1
b
j sb .
j=1 j=1
81
108
All together there are exactly n numbers of the form j + aj in L and so far we have
accounted for n + 1 b of them.
Consider the remaining b1 numbers of the form j +aj which are in L. When listed
in decreasing order, they can be no larger than
n+2015, n+2014, . . . , n+2015b+2,
respectively. Hence their sum is at most b1 j=1 (n + 2016 j). Thus
n
n+1
b
b1
(j + aj ) j sb + (n + 2016 j)
j=1 j=1 j=1 j=1
n
(b 1)(2n + 4032 b)
aj n + 1 + s
j=1
2
n
4033b b2 4030
(aj b) s. (2)
j=1
2
Summarising (1) and (2), we have established the following bounds for any n N .
n
4033b b2 4030 b2 + b
s (aj b) s. (3)
2 j=1
2
Now let m, n be any two integers satisfying n > m N . Since also m N , (3) is
also satisfied if n is replaced by m. Thus
n n m
(aj b) = (aj b) (aj b)
j=m+1 j=1 j=1
2
b +b 4033b b2 4030
s s
2 2
= (b 1)(2015 b)
2
(b 1) + (2015 b)
(AMGM)
2
= 10072 .
82
109
Solution 2 (A juggling interpretation solution by the authors Ross Atkins and
Ivan Guo)
Suppose you are juggling several balls using only one hand. At the ith second, if a
ball lands in your hand, it is thrown up immediately. If no ball lands, you instead
reach for an unused ball (that is, a ball that has not been thrown yet) and throw it
up. In both cases, a ball is thrown so that it will stay in the air for ai seconds. The
condition ai + i = aj + j ensures that no two balls land at the same time.
Let b be the total number of balls used. If b > 2015, then eventually a ball must
stay in the air for more than 2015 seconds, contradicting ai 2015. So b is finite
and bounded by 2015.
Select N so that all b balls have been introduced by the N th second. For all i N ,
denote by Ti the total remaining airtime of the current balls, immediately after the
ith throw is made. (That is, we calculate the remaining airtime for each current
ball, and add these values together.) Consider what happens during the next second.
The airtime of each of the b balls is reduced by 1. At the same time a ball is thrown,
increasing its airtime by ai+1 . Thus we have the equality Ti+1 Ti = ai+1 b. This
gives a nice representation of the required sum,
n
(ai b) = Tn Tm .
i=m+1
To complete the problem, it suffices to identify the maximal and minimal possible
values of the total remaining airtime Ti . Since no two balls can land at the same
time, the minimal value is 1 + 2 + + b. On the other hand, the maximal value
is 1 + 2015 + 2014 + + (2015 b + 2). (Note that there must be a ball with a
remaining airtime of 1 since something must be caught and thrown every second.)
Taking the difference between these two sums, we find that
as required.
83
110
INTERNATIONAL MATHEMATICAL OLYMPIAD
RESULTS
Mark distribution by question
Mark Q1 Q2 Q3 Q4 Q5 Q6
2 5 77 12 61 34 15
3 21 27 1 18 90 6
4 72 8 3 11 8 3
5 12 13 0 1 4 3
6 20 14 1 8 3 7
7 265 31 30 351 30 11
Totals 42 26 11 42 20 7 148
The medal cuts were set at 26 for Gold, 19 for Silver and 14 for Bronze.
111
Some country totals
112
Distribution of awards at the 2015 IMO
113
Country Total Gold Silver Bronze HM
Hong Kong 101 0 2 3 1
Hungary 113 0 3 3 0
Iceland 41 0 0 0 3
India 86 0 1 2 3
Indonesia 100 0 2 4 0
Iran 145 3 2 1 0
Ireland 37 0 0 0 3
Israel 83 1 0 2 2
Italy 100 1 2 0 0
Japan 109 0 3 3 0
Kazakhstan 105 1 1 2 2
Kosovo 24 0 0 0 1
Kyrgyzstan 17 0 0 0 0
Latvia 36 0 0 0 3
Liechtenstein 18 0 0 1 0
Lithuania 54 0 0 1 1
Luxembourg 12 0 0 0 1
Macau 88 0 1 2 3
Macedonia (FYR) 45 0 0 1 1
Malaysia 66 0 0 3 1
Mexico 114 1 2 3 0
Moldova 85 0 1 2 3
Mongolia 74 0 0 2 4
Montenegro 19 0 0 1 0
Morocco 27 0 0 0 1
Netherlands 76 0 0 3 1
New Zealand 72 0 0 2 4
Nicaragua 26 0 0 0 3
Nigeria 22 0 0 0 2
North Korea 156 3 3 0 0
Norway 54 0 1 0 2
Pakistan 25 0 0 1 0
Panama 9 0 0 0 0
Paraguay 53 0 0 3 0
Peru 118 2 2 1 0
Philippines 87 0 2 2 1
Poland 117 1 1 4 0
114
Country Total Gold Silver Bronze HM
Portugal 70 0 0 3 1
Puerto Rico 18 0 0 1 0
Romania 132 1 4 1 0
Russia 141 0 6 0 0
Saudi Arabia 81 0 1 3 2
Serbia 100 1 1 2 2
Singapore 139 1 4 1 0
Slovakia 97 0 2 3 0
Slovenia 46 0 0 1 1
South Africa 68 0 0 1 2
South Korea 161 3 1 2 0
Spain 47 0 0 1 2
Sri Lanka 51 0 0 0 4
Sweden 63 0 0 2 2
Switzerland 74 0 0 3 2
Syria 69 0 1 1 3
Taiwan 115 0 4 1 1
Tajikistan 57 0 1 1 2
Tanzania 0 0 0 0 0
Thailand 134 2 3 1 0
Trinidad and Tobago 26 0 1 0 0
Tunisia 41 0 0 1 2
Turkey 113 0 5 0 0
Turkmenistan 64 0 0 2 2
Uganda 6 0 0 0 0
Ukraine 135 2 3 1 0
United Kingdom 109 0 4 1 1
United States of America 185 5 1 0 0
Uruguay 16 0 0 0 1
Uzbekistan 64 0 0 3 2
Venezuela 13 0 0 0 1
Vietnam 151 2 3 1 0
Total (104 teams, 577 contestants) 39 100 143 126
115
ORIGIN OF SOME QUESTIONS
ORIGIN OF SOME QUESTIONS
Senior Contest
Question 1 was submitted by Angelo Di Pasquale.
Questions 2, 3 and 5 were submitted by Norman Do.
Question 4 was submitted by Alan Offer.
The original idea for this problem came about while Ross was reading the paper Positroid
Varieties: Juggling and Geometry by Knutson, Lam and Speyer, in which the excitation
number of a periodic juggling sequence was discovered. It seemed obvious that this was
similar to some specific elementary result that could be proven using elementary methods.
We had some difficulties in phrasing the problem in a concise self-contained way. Intuitively,
each term ai in the sequence corresponds to throwing a ball at the ith second with an air time
of ai . The inequality condition ensures that no two balls land simultaneously.
The first formulation of the problem was to show that the long-term average of the sequence
converges to an integer b, which is the total number of balls. However, the usage of limits was
inappropriate for an olympiad problem. We then came up with three more versions which
involved bounding the partial
sums. Eventually we settled on the most difficult version, with
the explicit bound of | (ai b)| 10072 . Interestingly, the term ai b can be interpreted
as the change in the total air time on the ith second, while 10072 is the difference between
maximal and minimal possible total air times, after the introduction of all b balls. The final
wording may be a little difficult for students who are unfamiliar with the construct: there
exists an N such that for all m > n > N .
It is possible to solve the problem combinatorially without invoking any physical interpreta-
tions, juggling or otherwise. Furthermore, as demonstrated by some at the IMO, the problem
can also be tackled using purely algebraic approaches. Overall, we are very happy with the
problem and we hope everyone enjoyed it.
It is worth noting that one of the authors of the paper that inspired this problem was Thomas Lam, a
member of the 1997 Australian IMO team and recipient of an IMO gold medal.
116
HONOUR ROLL
Because of changing titles and affiliations, the most senior title achieved and later affiliations are generally used,
except for the Interim committee, where they are listed as they were at the time.
Chair*
Prof B H Neumann Australian National University, ACT 7 years; 19801986
Prof G B Preston Monash University, VIC 10 years; 19861995
Prof A P Street University of Queensland 6 years; 19962001
Prof C Praeger University of Western Australia 14 years; 20022015
Deputy Chair*
Prof P J OHalloran University of Canberra, ACT 15 years; 19801994
Prof A P Street University of Queensland 1 year; 1995
Prof C Praeger, University of Western Australia 6 years; 19962001
Assoc Prof D Hunt University of New South Wales 14 years; 20022015
Executive Director*
Prof P J OHalloran University of Canberra, ACT 15 years; 19801994
Prof P J Taylor University of Canberra, ACT 18 years; 19942012
Adj Prof M G Clapper University of Canberra, ACT 3 years; 20132015
Secretary
Prof J C Burns Australian Defence Force Academy, ACT 9 years; 19801988
Vacant 4 years; 19891992
Mrs K Doolan Victorian Chamber of Mines, VIC 6 years; 19931998
Treasurer*
Prof J C Burns Australian Defence Force Academy, ACT 8 years; 19811988
Prof P J OHalloran University of Canberra, ACT 2 years; 19891990
Ms J Downes CPA 5 years; 19911995
Dr P Edwards Monash University, VIC 8 years; 19952002
Prof M Newman Australian National University, ACT 6 years; 20032008
Dr P Swedosh The King David School, VIC 7 years; 20092015
Team Leader
Mr J L Williams University of Sydney, NSW 5 years; 19811985
Assoc Prof D Hunt University of New South Wales 9 years; 1986, 1989, 1990, 19962001
Dr E Strzelecki Monash University, VIC 2 years; 1987, 1988
Dr D Paget University of Tasmania 5 years; 19911995
Dr A Di Pasquale University of Melbourne, VIC 13 years; 20022010, 20122015
Dr I Guo University of New South Wales 1 year; 2011
State Directors
Australian Capital Territory
Prof M Newman Australian National University 1 year; 1980
Mr D Thorpe ACT Department of Education 2 years; 19811982
Dr R A Bryce Australian National University 7 years; 19831989
Mr R Welsh Canberra Grammar School 1 year; 1990
Mrs J Kain Canberra Grammar School 5 years; 19911995
Mr J Carty ACT Department of Education 17 years; 19952011
Mr J Hassall Burgmann Anglican School 2 years; 20122013
Dr C Wetherell Radford College 2 years; 20142015
New South Wales
Dr M Hirschhorn University of New South Wales 1 year; 1980
Mr G Ball University of Sydney, NSW 16 years; 19811996
Dr W Palmer University of Sydney, NSW 19 years; 19972015
Northern Territory
Dr I Roberts Charles Darwin University 2 years; 20142015
Queensland
Dr N H Williams University of Queensland 21 years; 19802000
Dr G Carter Queensland University of Technology 10 years; 20012010
Dr V Scharaschkin University of Queensland 4 years; 20112014
Dr A Offer Queensland 1 year; 2015
South Australia/Northern Territory
Mr K Hamann SA Department of Education 19 years; 19801982, 19912005, 2013
Mr V Treilibs SA Department of Education 8 years; 19831990
Dr M Peake Adelaide 8 years; 20062013
118
Dr D Martin Adelaide 2 years; 20142015
Tasmania
Mr J Kelly Tasmanian Department of Education 8 years; 19801987
Dr D Paget University of Tasmania 8 years; 19881995
Mr W Evers St Michaels Collegiate School 9 years; 19952003
Dr K Dharmadasa University of Tasmania 12 years; 20042015
Victoria
Dr D Holton University of Melbourne 3 years; 19801982
Mr B Harridge Melbourne High School 1 year; 1982
Ms J Downes CPA 6 years; 19831988
Mr L Doolan Melbourne Grammar School 9 years; 19891998
Dr P Swedosh The King David School 18 years; 19982015
Western Australia
Dr N Hoffman WA Department of Education 3 years; 19801982
Assoc Prof P Schultz University of Western Australia 14 years; 19831988, 19911994, 19961999
Assoc Prof W Bloom Murdoch University 2 years; 19891990
Dr E Stoyanova WA Department of Education 7 years; 1995, 20002005
Dr G Gamble University of Western Australia 10 years; 20062015
Editor
Prof P J OHalloran University of Canberra, ACT 1 year; 1983
Dr A W Plank University of Southern Queensland 11 years; 19841994
Dr A Storozhev Australian Mathematics Trust, ACT 15 years; 19942008
Editorial Consultant
Dr O Yevdokimov University of Southern Queensland 7 years; 20092015
119
Associate Membership (inaugurated in 2000)
Ms S Britton 16 years; 20002015
Dr M Evans 16 years; 20002015
Dr W Franzsen 16 years; 20002015
Prof T Gagen 16 years; 20002015
Mr H Reeves 16 years; 20002015
Mr G Ball 16 years; 20002015
120
International Mathematical Olympiad Selection School
Mr J L Williams University of Sydney, NSW (Director) 2 years; 19821983
Mr G Ball University of Sydney, NSW (Director) 6 years; 19841989
Mr L Doolan Melbourne Grammar, VIC (Coordinator) 3 years; 19891991
Dr S Britton University of Sydney, NSW (Coordinator) 7 years; 19921998
Mr W Franzsen Australian Catholic University, ACT (Coordinator) 8 years; 19921996, 19992001
Dr D Paget University of Tasmania (Director) 6 years; 19901995
Assoc Prof D Hunt University of New South Wales (Director) 5 years; 19962000
Dr A Di Pasquale University of Melbourne, VIC (Director) 15 years; 20012015
121