This action might not be possible to undo. Are you sure you want to continue?
101 PROBLEMS IN ALGEBRA
FROM THE TRAINING OF THE USA IMO TEAM
T ANDREESCU £t Z FEND
AMT PUBLISHING
101 PROBLEMS IN ALGEBRA
FROM THE TRAINING OF THE USA 1MO TEAM
T ANDRUSCU Ft Z FFNG
Published by
AMT PUBLISHING
Australian Mathematics Trust University of Canberra ACT 2601
AUSTRALIA
Copyright ©2001 AMT Publishing
Telephone: +61 2 6201 5137
AMTT Limited ACN 083 950 341
National Library of Australia Card Number and ISSN Australian Mathematics Trust Enrichment Series ISSN 13260170 101 Problems in Algebra ISBN 1 876420 12 X
Canberra AUSTRALIA WARREN J ATKINS. Canberra AUSTRALIA PETER J TAYLOR. It is believed that these mathematics competition problems are a positive influence on the learning and enrichment of mathematics.THE AUSTRALIAN MATHEMATICS TRUST ENRICHMENT S E R I E S EDITORIAL COMMITTEE Chairman Editor GRAHAM H POLLARD. Canberra AUSTRALIA ED J BARBEAU. Sofia BULGARIA JOHN WEBB. with a lucid expository style in their solutions. . Typically. at the same time. interesting and stimulating sets of quality problems. the problems have occurred in either national or international contests at the secondary school level. They are intended to be sufficiently detailed at an elementary level for the mathematically inclined or interested to understand but. Terra Haute USA RON DUNKLEY. Lincoln USA NIKOLAY KONSTANT1NOV. Toronto CANADA GEORGE BERZSENYI. Waterloo CANADA WALTER E MIENTKA. Cape Town SOUTH AFRICA The books in this series are selected for their motivating. be interesting and sometimes challenging to the undergraduate and the more advanced mathematician. Moscow RUSSIA ANDY Liu. Edmonton CANADA JORDAN B TABOV.
J Dowsey. A Nakos Et G Vardaro ii 1 12 USSR MATHEMATICAL OLYMPIADS 19891992 AM Slinko AUSTRALIAN MATHEMATICAL OLYMPIADS 19791995 H Lausch Et PJ Taylor 13 CHINESE MATHEMATICS COMPETITIONS AND OLYMPIADS 19811993 A Liu . DJ King Et PJ O'Halloran 2 MATHEMATICAL TOOLCHEST AW Plank Et NH Williams 3 TOURNAMENT OF TOWNS QUESTIONS AND SOLUTIONS 19841989 PJ Taylor 4 AUSTRALIAN MATHEMATICS COMPETITION BOOK 2 19851991 PJ O'Halloran. U Mottershead. G Pollard Et PJ Taylor 5 PROBLEM SOLVING VIA THE AMC W Atkins 6 TOURNAMENT OF TOWNS QUESTIONS AND SOLUTIONS 19801984 PJ Taylor 7 TOURNAMENT OF TOWNS QUESTIONS AND SOLUTIONS 19891993 PJ Taylor 18 ASIAN PACIFIC MATHEMATICS OLYMPIADS 19892000 H Lausch Et C Bosch Giral 9 METHODS OF PROBLEM SOLVING BOOK 1 JB Tabov Ft PJ Taylor 10 CHALLENGE! 19911995 JB Henry.THE AUSTRALIAN MATHEMATICS TRUST ENRICHMENT BooKs IN THE SERIES 1 SERIES AUSTRALIAN MATHEMATICS COMPETITION BOOK 1 19781984 JD Edwards. AR Edwards.
JE Munro Et PJ Taylor 17 SEEKING SOLUTIONS JC Burns 18 101 PROBLEMS IN ALGEBRA T Andreescu Et Z Feng .1995 ME Kuczma Et E Windischbacher 115 TOURNAMENT OF TOWNS QUES11ONS AND SOLUTIONS 19931997 PJ Taylor Et AM Storozhev 116 AUSTRALIAN MATHEMATICS COMPETITION BOOK 3 19921998 WJ Atkins.114 POLISH Et AUSTRIAN MATHEMATICAL OLYMPIADS 1981.
.
This work aims to broaden students' view of mathematics and better prepare them for possible participation in various mathematical competitions.PREFACE This book contains one hundred highly rated problems used in the training and testing of the USA International Mathematical Olympiad (IMO) team. Instead. the book gradually builds students' algebraic skills and techniques. The book further stimulates students' interest for future study of mathematics. It is not a collection of one hundred very difficult. . impenetrable questions. It provides indepth enrichment in important areas of algebra by reorganizing and enhancing students' problemsolving tac tics and strategies.
.
and the United States of America Mathematical Olympiad (USAMO). number theory.INTRODUCTION In the United States of America. graph theory. intense training of 2430 very promising students who have risen to the top of the American Mathematics Competitions. generating functions. Take your time! Very few contestants can solve all the given problems. full days of classes and extensive problem sets give students thorough preparation in several important areas of mathematics. recursive relations. Cor rect solutions often require deep analysis and careful argument. The Mathematical Olympiad Summer Program (MOSP) is a fourweek. Here is some advice for students who attempt the problems that follow. Olympiad questions can seem impenetrable to the novice. theory of equations. The six students representing the United States of America in the IMO are selected on the basis of their USAMO scores and further IMOtype testing that takes place during MOSP. the selection process leading to participation in the International Mathematical Olympiad (IMO) consists of a series of national contests called the American Mathematics Contest 10 (AMC 10). In some cases. cleverly applied. Even if you can solve a problem. Experiment with simple cases. functional equations and classical inequalities. polynomials. Try to make connections between problems. based on performance in the preceding exams of the sequence. complex numbers in geometry. Participation in the AIME and the USAMO is by invitation only. They may contain some ideas that did not occur in your solutions. Throughout MOSP. Olympiadstyle exams consist of several challenging essay problems. do read the solutions. A very important theme of this work is: all important techniques and ideas featured in the book appear more than once! Olympiad problems don't "crack" immediately. and they . Be patient. the American Invitational Mathematics Examination(AIME). probability. yet most can be solved with elementary high school mathematics techniques. algorithmic proofs. the American Mathematics Contest 12 (AMC 12). These topics include combinatorial arguments and identities. telescoping sums and products. working backward from the desired result is helpful. Try different approaches. combinatorial and advanced geometry.
Use the glossary and the reading list to further your mathematical education. Don't get discouraged if you have trouble at first.viii Introduction may discuss strategic and tactical approaches that can be used elsewhere. try to reconstruct the thinking that went into them. and see if you can solve it in a different way. Meaningful problem solving takes practice. inspiration and attention to detail that led to them. use the books on the reading list. Many of the problems have multiple solutions. . When you read the solutions. For additional practice. Ask yourself. All terms in boldface are defined in the Glossary. "What were the key ideas?" "How can I apply these ideas further?" Go back to the original problem later. but they often obscure the torturous process of investigation. The formal solutions are also models of elegant presentation that you should emulate. but not all are outlined here. false starts.
.ACKNOWLEDGEMENTS Thanks to Tiankai Liu who helped in proof reading and preparing solutions. China Revista Matematica Timi§oara. Many problems are either inspired by or fixed from mathematical contests in different countries and from the following journals: HighSchool Mathematics. Romania Kvant. Russia We did our best to cite all the original sources of the problems in the solution part. We express our deepest appreciation to the original proposers of the problems.
.
ABBREVIATIONS AND NOTATIONS Abbreviations AHSME AIME AMC10 AMC12 ARML IMO USAMO MOSP Putnam St. Petersburg (Leningrad) Mathematical Olympiad Notations for Numerical Sets and Fields Z the set of integers the set of integers modulo n the set of positive integers the set of nonnegative integers the set of rational numbers the set of positive rational numbers the set of nonnegative rational numbers the set of ntuples of rational numbers the set of real numbers the set of positive real numbers the set of nonnegative real numbers the set of ntuples of real numbers the set of complex numbers . Petersburg American High School Mathematics Examination American Invitational Mathematics Examination American Mathematics Contest 10 American Mathematics Contest 12. which replaces AHSME American Regional Mathematics League International Mathematical Olympiad United States of America Mathematical Olympiad Mathematical Olympiad Summer Program The William Lowell Putnam Mathematical Competition St.
.
SOLUTIONS TO INTRODUCTORY PROBLEMS 27 4. INTRODUCTORY PROBLEMS xiii 1 2.CONTENTS PREFACE vii ix xi INTRODUCTION ACKNOWLEDGEMENTS ABBREVIATIONS AND NOTATIONS 1. SOLUTIONS TO ADVANCED PROBLEMS GLOSSARY 65 131 FURTHER READING 137 . ADVANCED PROBLEMS 13 3.
.
INTRODUCTORY PROBLEMS .
.
a Problem 3 Let x1. x1 = 4 and xn+1 = xn_1 .. f (97) = 97. b. has the properties f (19) = 19. b. 2. (ii) x1 + x2 + (iii) + xn 19.. c.1. be a sequence of integers such that (i) 1 < x. n.. .. < 2.. Problem 4 The function f. and c be real and positive parameters. and d are nonzero real numbers. Problem 2 Find the general term of the sequence defined by x0 = 3. for z = 1. defined by f(x) = ax+b cx+d' where a. . Determine the minimum and maximum possible values of xi+x2+ +xn.nxn for all' n E N. X. except  Find the range of f. x2i . INTRODUCTORY PROBLEMS Problem 1 Let a. Solve the equation a+bx+ b+cx+ c+ax= b ax+ cbx+ acx. for all values of x. d c and f (f (x)) = x. .
and then write the numbers a + 2 and b . where y = x + 1 and as are constants. Problem 6 Several (at least two) nonzero numbers are written on a board. g(x). if they exist.. Problem 8 Let a. 2 Prove that the set of numbers on the board.=c+. after any number of the preceding operations.. . + a16y16 + a17y17. and h(x). Problem 7 The polynomial 1x+x2x3+. c 1 1 1 Prove that Iabcl = 1. Introductory Problems Problem 5 Prove that (ab)2 < a+b 8a  2 \< (ab)2 a 8b for all a>b>0.. Find a2. Problem 9 Find polynomials f (x).. say a and b.I g(x) I + h(x) = ifx<1 if 1 < x < 0 3x + 2 2x+2 ifx>0. cannot coincide with the initial set.+x16_x17 may be written in the form ao + a1y + a2y2 + .2 1. and c be distinct nonzero real numbers such that a+b=b+. such that for all x.a instead. b. One may erase any two numbers. 1 1 If (x) I .
and e be positive integers such that abcde = a + b + c + d + e. d. e}. Problem 12 Let a. . b. Problem 13 Evaluate 3 4 2001 1!+2!+3! +2!+3!+4! Problem 14 1999!+2000!+2001! Let x= vfa2 +a+1'1a2 a+1. a ER.1. c. d. Introductory Problems 3 Problem 10 Find all real numbers x for which 8x + 27" 12x + 18x 7 6 Problem 11 Find the least positive integer m such that for all positive integers n. Problem 15 Find all real numbers x for which 10x + 1lx + 12x = 13x + 14x. b. c. Find all possible values of x. Find the maximum possible value of max{a.
n)= f(m. b) such that the polynomial ax17 + bxls + 1 is divisible by x2 . . Problem 17 Let f be a function defined on [0. y) such that 2 x3 + y3 = (x + y)2. 1) = 2. f Problem 20 (2001I ) +f (20012 ) + +f (20001) Prove that for n > 6 the equation 1 + 1 2 x2 +. Introductory Problems Problem 16 Let f : N x N ..bI. f(m+1.nEN.n) +m and f(m.4 1. Problem 21 Find all pairs of integers (a. Find all pairs (p. q) such that f (p.x .n)n for all m. for all a Prove that b in the interval [0. q) = 2001. If(a)f(b)I < Problem 18 Find all pairs of integers (x.f (b)I < I a .n+1)= f(m. 1] such that f (O) =f(l) = 1 and I f (a) .. Problem 19 Let f (x) = Evaluate 2 4x 2 for real numbers x. + 1 x1 x2 =1 has integer solutions. 1].N be a function such that f (1.1.
a2. k Problem 28 Determine the number of ordered pairs of integers (m.) Let S = p(1) + p(2) + What is the largest prime factor of S? + p(999). . . to be an integer for infinitely many values of n. a3. 4. Problem 23 Let xn be a sequence of nonzero real numbers such that xi_2xn_1 xn 2xn_2 .1... Problem 25 For any sequence of real numbers A = {a1. then p(n) is equal to that digit. Problem 24 Solve the equation x33x= x+2. and that a19 = a92 = 0. Find a1. a4 . (If n has only one digit. .a2.. define DA to be the sequence {a2 . a3 .a3. Problem 27 Prove that 80 16<Ev1 k=1 <17.. Suppose that all of the terms of the sequence A(AA) are 1. Establish necessary and sufficient conditions on x1 and x2 for x. Introductory Problems 5 Problem 22 Given a positive integer n..}.xn_1 for n = 3. Problem 26 Find all real numbers x satisfying the equation 2x+3x4x+6x9x=1. n) for which mn > 0 and m3 + n3 + 99mn = 333. }. let p(n) be the product of the nonzero digits of n.a1..
. Problem 34 Prove that the polynomial (x .bi < 2. cannot be written as the product of two nonconstant polynomials with integer coefficients. 1 Problem 32 What is the coefficient of x2 when (1 + x)(1 + 2x)(1 + 4x).e.(1+2 nX) is expanded? Problem 33 Let m and n be distinct positive integers. 1). an are distinct integers. i. it is irreducible. Find the maximum value of Ix' . Problem 30 Evaluate n k=O E (n .al < 2 are true. where al.cl < 2. .an) . .(x . Solve for positive numbers x. lb . Ic . a2.6 1. Introductory Problems Problem 29 Let a.a2).al)(x .xnl where x is a real number in the interval (0. and c be positive real numbers such that a + b + c < 4 and ab+bc+ca > 4..... Prove that at least two of the inequalities la .1.k)!(n + k)! Problem 31 Let 0 < a < 1. b.
1)x2 + (2x2 . a21) +(a . x3.2)x = 2x+1 .x4 + x5)2 (x4 .x3) = x4(x1 + x2 .x5) = xl(x3 + x4 .x5 + x1)2 (x5 . Prove that (a+ is an irrational number. x4. x2. Problem 39 Let x. x5. y.a21) Problem 38 Solve the system of equations (x1 .1. x2+y2+z2=3 and xyz = 4. Problem 37 Let a be an irrational number and let n be an integer greater than 1.x4) = x5(x2 + x3 . y) for which: (1+x)(1+x2)(1+x4) = l+y7 and (1 + y)(1 + y2)(1 + y4) = 1 + x7.x2) = x3(x5 + x1 .x3 + x4)2 (x3 .xl) for real numbers x1.x1 + x2)2 = x2(x4 + x5 . and z be complex numbers such that x + y + z = 2. Introductory Problems 7 Problem 35 Find all ordered pairs of real numbers (x. Evaluate 1 1 1 xy+zl+yz+xl+zx+y1 .x2 + x3)2 (x2 .2 for real numbers x. Problem 36 Solve the equation 2(2x .
b.ax 2.. be a nonzero polynomial with integer coefficients such that P(r) _ P(s) = 0 for some integers r and s. Introductory Problems Problem 40 Mr. + a. Problem 43 Prove that 1 3 4 2n . Problem 42 Find the real zeros of the polynomial Pa(x) = (x2 + 1)(x . and e satisfy simultaneously the relations a+b+c+d+e=8 and a2+b2+c2 +d2+e2=16. Prove that ak < s for some k.1)2 . Problem 45 Let m be a given real number.. determine the maximum and the minimum value of a. Mr. where a is a given real number. c. Find all complex numbers x such that (X) 2 x 2 2 .1 2n 1 2 737 for all positive integers n. Problem 44 Let P(x) = aoxn + al xn1 + . Fat wins the game if and only if the resulting equation has two distinct rational solutions. Who has a winning strategy? Problem 41 Given that the real numbers a.. Taf is going to arrange the three numbers as the coefficients of a quadratic equation x2+ x+ =0.8 1. Fat is going to pick three nonzero real numbers and Mr. d. with 0 < r < s.
xn_1i be the zeros different from 1 of the polynomial 1x1 + 1x2 Problem 50 +. Prove that ab = 1. is periodic. Prove that 1 1 P(x)=xn1. Introductory Problems 9 Problem 46 The sequence given by xo = a. c. y .1.. b. x1 = b. Problem 47 Let a. .n>2. and xn+1 . Prove that a2 + b2 > 1 and c2 + d2 > 1.+ 1 n1 2 1xn_1 Let a and b be given real numbers.. Problem 48 Find all complex numbers z such that (3z + 1)(4z + 1)(6z + 1)(12z + 1) = 2. Solve the system of equations x .x x2y2 = b 1x2+y2 for real numbers x and y.1 (Xn1 + 2 1 I . Problem 49 Let x1i x2. .yx 2yz 1x2+y2 a. and d be real numbers such that (a2+b21)(c2+d21) > (ac+bd1)2.
.
ADVANCED PROBLEMS .
.
y. and z be positive real numbers... ADVANCED PROBLEMS Problem 51 Evaluate 0200 0) 2 + (2000) + 5 (20800) + . Problem 55 Let x. Problem 53 Find all real solutions to the equation 2X + 32: + 6X = x2. Determine with proof the minimum value of x3 1x8+1y8+1z8.2. Find an explicit formula for an. + (2000) Problem 52 Let x. y 3 z3 Problem 54 Let {an}n>1 be a sequence such that al = 2 and an 1 an+i = 2 + an for allneN. y. Prove that x + y x+ (x+y)(x+z) y+ (y+z)(y+x) + z + z (z +X) (z + y) < . z be positive real numbers such that x4 + y4 + z4 = 1.
For each integer k > 1. f(x + y) +N(X) + f(y)) = f(f(x + f(y)) + f(y + f(x))). with proof. Problem 57 Let f : N * N be a function such that f (n + 1) > f (n) and f (f (n)) = 3n for all n. Problem 59 Let x1 = 2 and x'+1 for n > 1. Prove that 1 2 =xnx. < 1 + 1 +. xn x1 x2 Problem 60 Suppose that f : R+ > 1[8+ is a decreasing function such that for all x. + 1..+ 1 <122. Evaluate f (2001). the least integer greater than 1 for which there exists f E F such that the equation f (x) = Mk has exactly k distinct integer roots. find mk.yER+.14 2. Advanced Problems Problem 56 Find. 22". all nonzero polynomials f (z) such that f(z2) + f(z)f(z + 1) = 0. . Problem 58 Let F be the set of all polynomials f (x) with integers coefficients such that f (x) = 1 has at least one integer root.. Prove that f(f(x)) = x..
k = 1. f(x. n.y) = f(y. Problem 66 Find a triple of rational numbers (a.. for any m < n..x+y). Problem 65 Consider n complex numbers zk. .Q such that f(x + y) + f(x . e2. defined on the set of ordered pairs of positive integers. Prove that the equation x3(x + 1) = (x + a)(2x + a) has four distinct real solutions and find these solutions in explicit form.2. . and c be positive real numbers such that abc = 1.y) = yf(x. <2. satisfying the following properties: f(x. Prove that there exist e1.2. 1} such that. c) such that 9 321= 3a+ 3b+ yc. such that zk < 1. y E Q.. Problem 62 Let2<a<1. b. . b. en E {1.. Problem 63 Let a. .y) = 2f(x) + 2f(y) for all x..x). Advanced Problems 15 Problem 61 Find all functions f : Q . (x+y)f(x.x) = x. Prove that a+b+l+b+c+l+c+a+l C1 Problem 64 Find all functions f.
Y + 62 ... Problem 71 Let al.. x2 y 2 z2 w2 8212 +8232 +8252 +8272 Problem 69 Find all functions f : R > R such that 1. 1). y E R. not all zero. Problem 68 Determine x2 + y2 + z2 + w2 if x2 y2 . a.. + logy 1 1 xl . Problem 70 The numbers 1000. 1+a. 1001.Z2 w2 2212 +2232 +2252 +2272 x2 2 . a and b..4 where x1i x2.. b). After 1999 such operations. be real numbers.Z2 w2 4212 +4232 +4252 +4272 x2 2 z2 w2 _ 62 .2 + 62 . Each time. Advanced Problems Problem 67 Find the minimum of logxl (X2 1 4 + logX2 X3 = 4) + .x=n . say.52 + 62l 32 . and replace them by the number 2 min(a. Prove that c < 1. Prove that the equation 1 +a1x+ has at most one nonzero real root.. one is allowed to erase two numbers. . .. 2999 have been written on a board. one obtains exactly one number c on the board. xn.16 2. f(xf(x) +f(y)) = (f(x))2 +y for all x. are real numbers in the interval (4.. .72 = 1.. a2. .
a3a7 + a4a8. Prove that Problem 75 ... prove that at least one of the following six numbers: alai + a2a4. . ala7 + a2a8.. Prove that ab be ca as+b5+ab+b5+c5+bc+c5+a5+ca l . Given eight nonzero real numbers al. For how many distinct values of t do we have ai998 = 0? Problem 73 (a) Do there exist functions f : JR > JR and g : JR + R such that f(g(x)) = x2 for all x E R? and g(f(x)) = x3 (b) Do there exist functions f : JR > JR and g : JR + JR such that f(g(x)) = x2 for allxEJR? and g(f(x)) = x4 Problem 74 Let 0 < al < a2 < an. < bn be real numbers such that n E ai > E bi. b. an > blb2 . a5a7 + a6a8 is nonnegative. b and c be positive real numbers such that abc = 1. as.an) forn>1. a3a5 + a4a6.. ala2 . a2. 0 < bl < b2 n . alas + a2a6. i=1 i=1 Suppose that there exists 1 < k < n such that bi < ai for 1 < i < k and b2 a2 for i > k. Advanced Problems 17 Problem 72 Let {an} be the sequence of real numbers defined by al = t and an+i = 4an(1 . Problem 76 Let a..2.
then F(O) = F(1) = . Prove that F2n = F2n3 +2 + Fen2 9 3 2F2. for alln>2.k+1. Taf wins. If the resulting polynomial has no real root. Problem 81 The Fibonacci sequence Fn is given by F1=F2=1. + _x + 1.1. Fat and Mr. Fat goes first. Mr. Advanced Problems Problem 77 Find all functions f : R > R such that the equality f(f(x) + y) = f(x2 ..... They fill in real numbers to empty spaces in turn. Mr. If Mr.. who has a winning strategy? Problem 80 Find all positive integers k for which the following statement is true: if F(x) is a polynomial with integer coefficients satisfying the condition 0<F(c) <k for c=0. . Fat wins.Fn+2=Fn+1+Fn (nEN). Y Problem 79 Mr... otherwise. = F(k + 1). Problem 78 Solve the system of equations: 3x y x+ x2 +.18 2. y).y) + 4f(x)y holds for all pairs of real numbers (x.. Taf play a game with a polynomial of degree at least 4: x2n + _x2n1 + _x2n2 +.y2 =3 x+3y x2+y2 =0.
. Problem 83 Let z1i Z2.2. Advanced Problems 19 Problem 82 Find all functions u : lib > R for which there exists a strictly monotonic function f :ill. and y1.+znl =1. b]) as P(b) ..... Z2. Find all integer roots of P(P(x)) given that 0 is a root of P(x). Prove that 2 < xnyn < 3 for all n > 1..P(a)... What about cubic polynomials? ([a. 1] into a finite number of intervals and color them red and blue alternately such that. . . are defined in the following way: X1 = Ill = V3. Problem 85 Two real sequences x1i x2.. zn be complex numbers such that Iz1I+Iz21+... y E R. Yn+1 = 1 + y2 for all n > 1.. b). . Prove that there exists a subset S of {z1. > l such that f(x + y) = f(x)u(y) + f(y) for all x. for every quadratic polynomial P(x). . Problem 86 For a polynomial P(x). . zn} such that I: z zES 6 Problem 84 A polynomial P(x) of degree n > 5 with integer coefficients and n distinct integer roots is given. b] (a. and xn+1 = xn + yn 1 } 1+X . b). the total difference of P(x) on red intervals is equal to that of P(x) on blue intervals.. Prove that it is possible to dissect the interval [0. Y2. . define the difference of P(x) on the interval [a. (a.
After three moves the game is over.1. f(A1)+f(A2)+.20 2. n .+f(An) =0. a1. Mr. Mr.2. an. Advanced Problems Problem 87 Given a cubic equation x3 + _x2 + _x +  = 0. . Who has a winning strategy? Problem 88 Let n > 2 be an integer and let f : any regular ngon A1A2 . Taf are playing the following game.. Prove that d > p . f (1) = 1. An. Problem 89 Let p be a prime number and let f (x) be a polynomial of degree d with integer coefficients such that: (i) f (0) = 0. Consider the sequence ao. Fat wins the game if the final equation has three distinct integer roots. Mr.<1. Fat and Mr. Problem 90 Let n be a given positive integer. Fat chooses a real number and Mr. the remainder upon division of f (n) by p is either 0 or 1. Prove that .n.. ]I82 > R be a function such that for Prove that f is the zero function. (ii) for every positive integer n.. 11<an. In one move. with ao = 2 and 2 ak = ak1 + ak_1 n fork=1.. Taf puts it in one of the empty spaces.
. a2. which cannot be written as the sum of squares of polynomials with real coefficients.. an be nonnegative real numbers.alxn1 positive real root R. .. . Problem 94 Let x be a positive real number.anlx . Problem 93 For each positive integer n.1)! (x + n) _ 1 x' (n1)! n(x + 1).2. Advanced Problems 21 Problem 91 Let a1.. y) with real coefficients such that P(x. y) > 0 for all real numbers x and y.an = 0 has precisely one B=yn (b) Let A= 1aj and Prove that AA < RB. Problem 92 Prove that there exists a polynomial P(x. 3a. show that there exists a positive integer k such that k = f(x)(x + 1)2n + g(x)(x2n + 1) for some polynomials f.. and find the smallest such k as a function of n. not all zero. (a) Prove that xn .. g with integer coefficients.(x + n) 00 1 n=1 ti=1(x + k)2* . (a) Prove that °O E (b) Prove that 00 (n .
n . Prove that one can find nine distinct numbers a.....x1)(x x2). + L) 1 xx1 + xx2 x ..+ x2 . c.. . x1+ x2+.xn Let y'. X2. z0) in nonzero integers...2. bz. 3) in X such that the system aix + bly + c1z a2x + b2y + c2z = 0 = 0 a3x+b3y+c3z = 0 has a solution (x0. x2. yo..n3} be a set of 3n2 elements.... yn_1 be the roots of Q. . .+ xn>(n1) 1 xl + 1 +.... (i = 1. Advanced Problems Problem 95 Let n > 3 be an integer. . Suppose that ) Prove that 1 = 1.xn) 1 xn Problem 97 Let x1.(x and Q(x) = P(x) (I + ... and let X C S= {1. 2. y2. xn be distinct real numbers.x. Problem 96 Let n > 3 be an integer and let x1..22 2. xn be positive real numbers.j < inlyiy31. Show that inIxi . Define the polynomials P(x) = (x .
xn) even? For example. then yl. such that CI fl (x) + C2f2(x) + C3f3(x) = 0 for allxEJR.alo) = (x + al)(x + a2).. Advanced Problems 23 Problem 98 Show that for any positive integer n... . not all zero.... and let yi.. . x7) be the kth elementary symmetric polynomial in the yi (the sum of every product of k distinct yis).. y2. . . if n = 2. a2.al)(x . For which k and n is every coefficient of pk (as a polynomial in xl. x1 + x2 and p1 = Yi + y2 + y3 = 2x1 + 2x2i P2 = Y1Y2 + Y2Y3 + y3y1 = xl + X2 + 3x1x2i P3 = y1112y3 = xlx2 + xlx2 Problem 101 Prove that there exist 10 distinct real numbers al. Y2"_1 be the sums of nonempty subsets of xi. Problem 100 Let X1. c2.. Let pk(xl. x2. xn be variables. x)2' +1 cannot be written as the product of two nonconstant polynomials with Problem 99 Let fl. a2i . f2i f3 : JR > JR be functions such that a1f1 + a2f2 +a3f3 is monotonic for all al..2. ... Prove that there exist c1..(x + alo) has exactly 5 different real roots. . the polynomial AX) = (x2 + integer coefficients. a3 E R. alo such that the equation (x .. y2i y3 are x1.. (x .. c3 E JR. . .a2) . x2.
.
SOLUTIONS TO INTRODUCTORY PROBLEMS .
.
Fork>1. SOLUTIONS TO INTRODUCTORY PROBLEMS Problem 1 [Romania 1974] Let a. as desired. . This completes the induction.3. Solve the equation a+bx+ vl'b c+ax=ax+ cbx+ acx.nxn for allnEN. Solution 2 We shall prove by induction that xn = n + 3. x1 = 4 and 2 xn+1 = xn_1 . Thus x = 0 is the only solution to the equation. b. then Xk+1 = x2_1 .kxk = (k + 2)2 . Problem 2 Find the general term of the sequence defined by xo = 3. Solution 1 It is easy to see that x = 0 is a solution.k(k + 3) = k + 4. The claim is evident for n=0. there is at most one solution. and c be real and positive parameters.1. Since the right hand side is a decreasing function of x and the left hand side is an increasing function of x.ifxk_1=k+2 =k+2andXk =k+3.
When c = 19 (a = 21. b. except . f (97) = 97. Determine the minimum and maximum possible values of xi+x2+. b = 2)... be a sequence of integers such that (i) 1 < xti < 2.+xn. where 0 < c < 19 (since b > 0). Alternative 1 For all x. Solutions to Introductory Problems Problem 3 [AHSME 1999] Let x1i X2..d Find the range of f. for all values of x. Is. and c denote the number of Is. 2. (ax+b ) +b cx+d ax+b c (cx+d) +d a x' .. C f (f (x)) = x. for i = 1. b = 59). b. (ii) xl + x2 + + x2 = 99. Solution 3 Let a..28 3. c. Problem 4 [AIME 1997] The function f. It follows that a = 40 ... c are nonnegative integers satisfying a+b+2c= 19 and a+b+4c= 99.3c. When c = 0 (a = 40.. . .e.c and b = 59 . respectively. Solution 4. n. defined by f(x) = ax+b cx+d' and where a. We need not consider the zeros. has the properties f (19) = 19. Then a. b. and 2s in the sequence. so xl +x2 + +xn = a+b+8c = 19+6c. the upper bound (133) is achieved. and d are nonzero real numbers. f (f (x)) = x. i. the lower bound (19) is achieved. x..
. c. It follows that a = 58c. Since c 0.97a+b. This yields f same as in the first solution.19)a. b. which implies that c(a + d) = 0. c. c(a + d)x + be + d2  c(a + d)x2 + (d2 . Solution 4.3. and the rest is the Problem 5 Prove that (ab)2 8a  a+b 2 a < (ab)2 8b for all a>b>0. which in turn leads to b = 1843c. i(x) _ dxb cx + a The nonzero numbers a.192)c = 2(97 .b(a + d) = 0. it follows that a = d. The conditions f (19) = 19 and f (97) = 97 lead to the equations 192c=2. Alternative 1 Note that C 2f + / `<1< 2Vb +V1` J . b. Solutions to Introductory Problems 29 (a2 + bc)x + b(a + d) x. Alternative 2 The statement implies that f is its own inverse.1843 = 58 + 1521 x58 x58' which never has the value 58. Thus the range of f is R .a2)x . Solution 5.{58}. and a. and d must therefore be proportional to d. we must have a = d. respectively. 19a+b Hence and 972c=2. (972 . Therefore Ax) = 58x . The inverse may be found by solving the equation ay + b cy + d for y.
Alternative 2 Note that (a+b\2 a+b 2 ab = 2 ab a+b + 2 _ ab (ab)2 2(a+b)+4 ab Thus the desired inequality is equivalent to 4a>a+b+2 ab>4b. Petersburg 1989] Several (at least two) nonzero numbers are written on a board.2 instead. Solutions to Introductory Problems (V 1b+Vb)2(VwVb)2 4a <(VuVO)2< (/+/)2(/ Vrb)2 4b (ab)2 8a <  a2 ab+b 2 <  (ab)2 8b from which the result follows. One may erase any two numbers. cannot coincide with the initial set. This completes the proof. Solution 6 Let S be the sum of the squares of the numbers on the board. Note that S increases in the first operation and does not decrease in any successive operation. as Ca+2 \2 J +(b2)2=4(a2+b2)>a2+b2 with equality only if a = b = 0. and then write the numbers a + 2 and b . . Solution 5.30 3. say a and b. after any number of the preceding operations. which is evident as a > b > 0 (which implies a > ab > b). Prove that the set of numbers on the board. Problem 6 [St.
(y . Here we used the formula (n) and the fact that k+ (k+ 1) .. + a16y16 + a17y17. Then f(x) = f(y .(y .x18 and (1 + x)f(x) = 1 .. Solution 7.1) + (y .. Find a2. .(k + 1 (22) _ (33) = 1.1)18 1+(y1) y Therefore a2 is equal to the coefficient of y3 in the expansion of 1(y1)1s a2 = (18) = 816..1) = 1 (y ..x18.1)18  1 . + (17) = (18).1) 17 Thus a2 = (2 ) 2 + (1). (y . Hence f(x) = f(y . where y = x + 1 and as are constants... Alternative 2 Let f (x) denote the given expression.1) = 1 . Solutions to Introductory Problems 31 Problem 7 [AIME 1986] The polynomial 1x+x2x3++x16x17 may be written in the form ao + aly + a2y2 + .3. Alternative 1 Let f (x) denote the given expression.+(1y)17..+. Solution 7.1)2 =1+(1y)+(1y)2+. Then xf(x)=xx2+x3.
s) = r+s+Ir .32 3.3 + 13x + 31)/2 . which implies that a = 3/2. if F(x) is the given function. 0} max{5x. Prove that IabcI = 1. Problem 9 [Putnam 1999] Find polynomials f (x). then max(r. b c = ccaa. andca= aabb . Solutions to Introductory Problems Problem 8 Let a.(5x+I5xl)/2+3x+2 = 1(3x+3)/21 .x+ 21 . 0} + 3x + 2 = (3x . Alternative 1 Since x = 1 and x = 0 are the two critical values of the absolute functions. from which the desired result follows. Hence f (x) = (3x + 3)/2.Ig(x) I + h(x) = ifx<1 if 1 < x < 0 2x + 2 ifx > 0. Alternative 2 Note that if r(x) and s(x) are any two functions. and h(x). c = 1. such that for all x. b. g(x).15x/21 . and c be distinct nonzero real numbers such that a+=b+=c+. g(x) = 5x/2. Solution 9. 1 If (X) I . 3x + 2 Solution 9. b = 5/2. and h(x) = x + z .3. we have F(x) = max{3x . one can suppose that F(x) = alx + 1 l+ blxl+ cx + d (cab)x+da ifx<1 (a+cb)x+a+d if1<x<0 (a+b+c)x+a+d ifx > 0. Multiplying the above equations gives (abc)2 = 1. Solution 8 From the given conditions it follows that a b= b bc c . and d = 1/2.sl 2 Therefore. if they exist. .
+\2n1 C2 n) < 2 =(1+1)2n=4n and for n = 5.ab + b2 ab 7 6 _ 7 6' 6a2 ..3b)(3a . which implies that x = 1 and x = 1. Solution 11 Note that (0)+(1)+.2b) = 0. Problem 11 [Romania 1990] Find the least positive integer m such that C2nln n <m for all positive integers n. Solutions to Introductory Problems 33 Problem 10 Find all real numbers x for which 8x + 27x 12x + 18x 7 6 Solution 10 By setting 2x = a and 3x = b. the equation becomes a3 + b3 a2b + b2a a2 . Therefore 2x+1 = 3x+1 or 2x1 = 3x1.3. = 252 > 35 . 10) (5 Thus m = 4. (2a . It is easy to check that both x = 1 and x = 1 satisfy the given equation..13ab + 6b2 = 0.
. de < 3 + d + e or (d. 4).e. suppose that a < b < c < d < e. Find the maximum possible value of max{a. b.. 2. 2.. c. Alternative 1 Suppose that a < b < c < d < e. 5) is a solution. d) = (1. 1. Problem 13 Evaluate 3 4 2001 1! + 2! + 3! + 2! 3!+ 4! + + 1999! + 2000! + 200 1! .n}. (1. 1. Solution 12.. b. Thus d1>lande1<4ore<5. Solutions to Introductory Problems Problem 12 Let a. Alternative 2 As before. 1. 1. which is impossible. then a = b = c = 1 and 4 + e = e.. e}. 1.. . when xi...+ 1n. Since e<a+b+c+d+e<5e. i. 3). 1. 1. which leads to max{e} = 5. b. . c. and e be positive integers such that abcde=a+b+c+d+e. (1. 1 < abcd < 5. 2). 1. 2). 1. Solution 12. Note that 1_ 1+ 1+ 1+ 1+ 1 bcde cdea deab eabc abcd < de + de + dc I I 1 ++d=3+d+ e I Therefore. d. or (1. xn are positive integers such that 1112.1)(e. c.. Hence (a. 5). If d = 1.34 3. x2. 1. Therefore max{e} = 5. (1. d. It is easy to see that (1. 1. Comment: The second solution can be used to determine the maximum value of {x1i X2. x. then e < abcde < 5e. We need to find the maximum value of e. . 1n =X1 +X2 + .1) < 4.
Find all possible values of x. . a E R.3. Alternative 1 Since a2+Ial+1> Ial and x= we have 2a a2 + a + 1 + a2a+1' jxj < 12a/al = 2. the desired value is equal to 1 1 2 2001! Problem 14 Let x = a2+a+1.1 (k + 2)! (k + 1)! (k + 2)! By telescoping sum. Solutions to Introductory Problems 35 Solution 13 Note that k+2 k! + (k + 1)! + (k + 2)! _ k+2 k![1+k+1+(k+1)(k+2)] 1 k!(k + 2) k+1 (k + 2)! (k + 2) . Squaring both sides of x+ yields vla2 a2+a+1 2x a2a+1=2ax2. Solution 14.a2a+ 1.
In fact.4) 4(x2 . Solutions to Introductory Problems Squaring both sides of the above equation gives 4(x2 . i.1) Since a2 > 0. SPA . P is well defined. //2).1) > 0. By the Triangle Inequality. x2 4 < 0 which forces x2 1 < 0.e.. Alternative 2 Let A = (1/2. Problem 15 Find all real numbers x for which lOx + 11x + 12x = 13x + W. 1) there exists a real number a such that x = a2+a+1. for such a d. 0). Then P is a point on the xaxis and we are looking for all possible values of d = PA . Conversely.PBj < IABI = 1.) Since line AB is parallel to the xaxis. Solution 15 It is easy to check that x = 2 is a solution.36 3. dividing by 132 on both sides gives (10 ) x + (11)x+ ( 13)2 = 1+ (13)2. . We claim that it is the only one.1)a 2 = x 2 (x 2 . a half hyperbola of all points Q such that QA . Since IxI < 2. And it is clear that all the values 1 < d < 1 are indeed obtainable. //2). 1 < x < 1. In fact. Therefore their graphs can have at most one point of intersection.4) or a 2 = x2(22 . we must have 22(x2 4) (X2 .QB = d is well defined. for every x E (1. and P = (a. Solution 14. (Points A and B are foci of the hyperbola. / The left hand side is a decreasing function of x and the right hand side is an increasing function of x. Therefore.axis.a2a+1. this half hyperbola intersects the x.PB. B = (1/2.
p .1) f(l. q) such that f (p.N be a function such that f (1. + (a + k)2 = (a + k + 1)2 + (a + k + 2)2 + . k E N. We have the following two cases: 1.q1)(q1)+p(p1) 2 q(q . 2. . a2+(a+ 1)2 + .1.1 = 3998. f(m+1.n+ 1) =f(m. Hence p = 2000 and q = 1999.1 for p.1) 2 f(1. Solution 16 We have f(p.1) 2 2001.q) = f(p .q < p + q .n)= f(m. Problem 16 [Korean Mathematics Competition 2001] Let f : N x N . Find all pairs (p. +(a+2k)2 for a = k(2k + 1). Note that 1999 is a prime number and that p .q)+(p2)+(p. . p .1 = f(p2.3. 1) = 2.1) 2 = 1999.1) 2  q(q . Hence p = 1001 and q= 999.1 = 1999.q) + p(p.q = 1 and p + q . (pq)(p+q.1)  + p(p .n)+m and f(m.q = 2 and p + q . Solutions to Introductory Problems 37 Comment: More generally. q) = 2001. Therefore p(p . n E N.1) = 2.1999.n) n for all m. q E N.1) 2 f(1.q) + p .
as desired.bI . Then the equation becomes x2xy+y2=x+y. Ia .f (b) I < I a . as desired. x2(y+1)x+y2y=0. all pairs of integers (n. 1] such that f(0)=f(1)=1andlf(a)f(b)I <IabI. 1. Problem 18 Find all pairs of integers (x. for all a 54 bin the interval [0. i.e. Ia . n).bI > 1/2. . 1999) or (1001.f(b)I < 2 Solution 17 We consider the following cases. Solutions to Introductory Problems Therefore (p. Then I f (a) . Solution 18 Since x3+y3 = (x+y)(x2xy+y2). By symmetry.bI < 1/2.7G.38 3. Suppose that x + y 54 0. Then If(a)f(b)I = If(a)f(1)+f(0)f(b)I If(a)f(1)I +If(0)f(b)I < 1a+b0 1(ab) 1 Ia1I+I0bI < 2. 1]. Problem 17 [China 1983] Let f be a function defined on [0. Prove that If(a) . 2. we may assume that a > b. 999). q) = (200Q. are solutions. y) such that x3 + y3 = (x + y)2. n c.
the integer solutions of the equation are (x. 0). 2). Indeed. (1. Problem 20 Prove that for n > 6 the equation 2+2+ 1 1 . n). 2). 2). we calculate the discriminant 0=y2+2y+14y2+4y=3y2+6y+1. (0.3.1).+2=1 1 x1 x2 xn has integer solutions.x) = 1. f(1x)= 41x+2 2 _ 24x _ 4x 4+2. 0). 1/2).1). (1.3+2y 3 3 Thus the possible values for y are 0. and 2. (2.4x 4x+2' from which it follows that f (x) + f (1 . and (n. y) = (1. 2). Evaluate f ( 2001) + f ( 2001) + + f ( 20001) Solution 19 Note that f has a halfturn symmetry about point (1/2. Solving for 0 > 0 yields 32y . (2.y. and (2. Solutions to Introductory Problems 39 Treated as a quadratic equation in x. Solution 20 Note that 1 1 1 1 1 a2 (2a)2 + (2a)2 + (2a)2 + (2a)2' . 1). Thus the desired sum is equal to 1000. Therefore. which lead to the solutions (1. Problem 19 [Korean Mathematics Competition 2001] Let 2 f(x) = 4x + 2 for real numbers x. (0. 1. (2. 1). for all n E Z.
2. xn+3) = (a1 a2 . 4. 1 ) is an inte 2 1 then + 1 x2 2 +. Solution 21. 12) are solu tions for n = 6 and n = 8. 3. xn1.. the second one by p16 and using the fact that pq = 1. 12.) is an integer solution to 2 2 + x2 + xl 1 1 + xn+3 2 = 1. p + q = 1 and pq = 1.q = (p8 + g8)(p4 + g4)(p2 + q2)(p + q) . It is easy to check that (2.x . xn) _ (a. Since x1 = 1 is a solution for n = 1.40 3. 6) and (2. and (2. x2.x .1 = 0.. Note that p and q must also be the roots of ax17 + bx16 + 1 = 0. 4.2an.1. 4.. xn. 2. Problem 21 [AIME 1988] Find all pairs of integers (a.2an. Xn+2. Solutions to Introductory Problems from which it follows that if (x.. a2. an1. Therefore we can construct the solutions inductively if there are solutions for n = 6. Thus ap17 + bp16 = 1 and aq 17 + bg16 = 1. respectively. Multiplying the first of these equations by q16. 2. . ... 4. 7. 4.i x2. 2) is a solution for n = 4. ger solution to 1 . (2. we find ap + b = q16 and aq + b = Thus a = p's (1) p 1s 16 pq . This completes the proof. 2.2an. xn+l. 2. 4) is a solution for n = 7. Alternative 1 Let p and q be the roots of x2 . 2. By Vieta's theorem. b) such that the polynomial ax17+bx16+1 is divisible by x2 .. and 8. 3. 2. 3.+ 22 n (x1. 2.2an.
18+7...(p2 + q2) + 1. Solution 21.. eliminating a in (1) gives p17 . k12 = 322.47 = 987.843+322 .=0. (p+q)22pq=1+2=3.3+ 1 = 1597 or (a... let k2n = p2n +q2n.3.2 = 47.c1=1 co . c2 = 2.123+47. + (p16 + q16) p7g7(p2 + q2) + p8g8 _ (p14 + q14) + ... (p2 + q2)2 . and k2n+4 = p2n+4 + q2n+4 = (p2n+2 + q2n+2)(p2 + q2) .+c1xco)(x2x1)=ax17+bx16+1. + q'6 (p16 + q'6) + pq(p14 + q14) + p2g2(p12 + q12) + . k14 = 843.. Hence b = 2207. coc. b) = (987. 7 . Then k2 = 3 and k4 = 7. and for 3 < k < 15. For n > 1. Then k6 = 18.3. k16 = 2207.2p4g4 = 49 .q17 b = pq p16 + p15q + p14g2 + . 1597). Comparing coefficients: x0 x1: x2 : co=1.2p2g2 =92=7. Alternative 2 The other factor is of degree 15 and we write (c15x15C14X14+. xk: Ck2Ck1+Ck=O. (p4 + q4)2 . .k2n for n > 3. Likewise. k8 = 47. .p2g2(p2n + q2n) = 3k2n+2 . klo = 123.c1 + c2 = 0. = = it follows that a = 1 . Solutions to Introductory Problems Since 41 p+q = p2+q2 = p4 + q4 p8 + q8 1.
.) Hence S=4631=(461)(462+46+1)=33.0.._1 and k2n satisfy the same recursive relation. . + p(999).103. =(0+1+. since ignoring 0's is equivalent to thinking of them as 1's in the products.7. and F2.. (Note that the final 0 in the above expression becomes a 1 and compensates for the contribution of 000 after it is changed to 111. What is the largest prime factor of S? Solution 22 Consider each positive integer less than 1000 to be a threedigit number by prefixing Os to numbers with fewer than three digits.0+0.1k2 + (1)n..ken2 + k2n_4 ...c15 = F17 = 1597 or (a. and the largest prime factor is 103. 1597). Solutions to Introductory Problems It follows that for k < 15. Problem 22 [AIME 1994] Given a positive integer n. then p(n) is equal to that digit._1. let p(n) be the product of the nonzero digits of n..5.F2n+2 = F2..+1.42 3. However. ck = Fk+1 (the Fibonacci number).F2n+4 = F2n+3 . Since 3F2n+3 .. The sum of these products can be found by replacing 0 by 1 in the above expression. Comment: Combining the two methods.+9)30. Thus a = cl5 = F16 = 987 and b = c14 .) Let S = p(1) + p(2) + . The sum of the products of the digits of all such positive numbers is (0.0... it follows that F2. (If n has only one digit.. we obtain some interesting facts about sequences k2.F2n+5 = 2F2n+3 . b) = (987. p(n) is the product of nonzero digits of n. Therefore ken = F2n_1 + F2n+i and F2n+1 = ken . + (_1)n. It is easy to check that k2 = F1 + F3 and k4 = F3 + F5..
4.(n . Alternative 1 It is clear that x > 2.Yn2. Then Yn ..x2)n + (2x2 . Solution 23. which in turn implies that x1 = x2 = m. Solution 24. Problem 24 Solve the equation x33x= x+2. 0 < a < 7r. Alternative 1 We have 1 21n2 . If xn is a nonzero integer when n is in an infinite set S. Clearly. Yn . 2 < x < 2. 2 cos 3a = V 4 cost a 2.Yn1 = Yn1 .. Establish necessary and sufficient conditions on x1 and x2 for xn to be an integer for infinitely many values of n.1n1 for n = 3..4. . 1. the yn's for n E S satisfy 1 < yn < 1..3. this condition is also sufficient. Since an arithmetic sequence is unbounded unless the common difference is 0.2)x2 for n = 3. the equation becomes 8 cos3 a .1)x1 . a nonzero integer. Solution 23.6 cos a = or 2(cos a + 1). Alternative 2 An easy induction shows that 11x2 11x2 (x1 .. In this form we see that xn will be an integer for infinitely many values of n if and only if xl = x2 = m for some nonzero integer m. Setting x = 2 cos a. i.xn_1 1n2xn1 2 1 xn 1n1 Xn2 Let yn = 1/xn.e.x1)' 1n (n ...Yn1 = 0 for all n.. Solutions to Introductory Problems 43 Problem 23 [Putnam 1979] Let xn be a sequence of nonzero real numbers such that xn = 1n2xn1 2xn2 . yn is an arithmetic sequence.. We consider the following cases.
44 3. . Hence there are no solutions in this case. 2. x=2cos45 and x=2cos47 . and x = 2 cos 47r/7. x = 2 cos 47r/5.mEZ. the solution in this case is x=2cosO=2. Hence there are no solutions for x > 2. please see the first solution. Solutions to Introductory Problems from which it follows that cos 3a = cos 22' Then 3a2=2m7r. The equation becomes 1 (t2+)3 3It2+ 2)= 1t2+ 2+2. there is a real number t > 1 such that x = t 2 +t2. Alternative 2 For x > 2.nEZ. 1 1 is+ t6 =t+ t. Solution 24. Since 0 < a < 7r. Therefore. which has no solutions for t > 1. For 2 < x < 2. Then x34x=x(x24)>0and x2x2=(x2)(x+1)>0 or It follows that x33x>x> x+2. (t71)(t51)=0. . x = 2.or 3a+2=2n7r. x > 2.
. Solutions to Introductory Problems 45 Problem 25 [AIME 1992] }. Since alg = a92 = 0.1)(n . a..3. and that ai9 = a92 = 0. a3 .. a3. Hence A = {al. This shows that an is a quadratic polynomial in n with leading coefficient 1/2.19)(n . the equation becomes 1 + a 2 + b 2 .a3.1)2 = 0.19)(1 . Suppose that all of the terms of the sequence A(AA) are 1.}... Then AA={d..ab = 0.} with the nth term given by an = al + (n . al +d+ (d+ 1). +d. Solution 26 Setting 2x = a and 3x = b.92)/2 = 819. define AA to be the sequence {a2 .} with the nth term given by d + (n . we must have an = 2 (n .92). Find al.1)d + 2 (n ... so al = (1 . Multiplying both sides of the last equation by 2 and completing the squares gives (1 .2).a2.. al +d+ (d+ 1) + (d+2)..d+2.b)2 + (b . Solution 25 Suppose that the first term of the sequence AA is d.al. For any sequence of real numbers A = {al. a2. Problem 26 [Korean Mathematics Competition 2000] Find all real numbers x satisfying the equation 2x+3x4X+6X9X=1.a) 2 + (a .b . a4 .a .d+l.1).
We have m3 + n3 + 99mn . 2 (vrk . 1 k= vk Solution 27 Note that 2( k+1mi) Therefore 80 1 = k+1+f < '7k k=1 '" 1:( k=1 80 which proves the lower bound.n)2 + (m + 33)2 + (n + 33)2]. Solutions to Introductory Problems Therefore 1 = 2' = 3'. On the other hand.333. Our proof is complete. and x = 0 is the only solution. If m + n = 33.mn + 33m + 33n + 332) = (m + n . which proves the upper bound.333 _ (m + n . then 333 = (m + n)3 = m3 + n3 + 377in(m + n) = m3 + n3 + 99mn.k1 \ 80 2 1 k1vfk> Therefore 80 1 1: k=1 k <1+2E( k=2 . Problem 28 [AHSME 1999] Determine the number of ordered pairs of integers (m.k12 801<17. Problem 27 [China 1992] Prove that 80 16 < ) '<17.46 3. Hence m + n . n) for which mn > 0 and m 3 + n 3 + 99772n = 333 Solution 28 Note that (m + n)3 = m3 + n3 + 3mn(m + n).33)(m2 + n2 .33 is a factor of m3 + n3 + 99mn .33)[(m . 2 .
3. (33.e. Prove that at least two of the inequalities la . (a . a2 + b2 + c2 < 8. i. i. are true. (1. a2 + b2 + c2 . and the desired result follows. Problem 30 Evaluate E 1 . i.(ab + be + ca) < 4.cl < 2.c)2 + (c . and (33.e.e. Comment: More generally. Ic . i.b)2 + (b . 32).a)2 < 8. 0). b.bi <2.e.al < 2 Solution 29 We have a+b+c)2 < 16.b)2 + (b . a2 + b2 + c2 + 2(ab + be + ca) < 16. 33).a)2].3abc = 2(a + b + c) [(a . we have a3 + b3 + C3 . lb . 33). .c)2 + (c . Problem 29 [Korean Mathematics Competition 2001] Let a. Solutions to Introductory Problems 47 Hence there are 35 solutions altogether: (0. and c be positive real numbers such that a + b + c < 4 and ab+bc+ca>4.
9(x) = logo x.48 3. Solve for positive numbers x. Then both f and g are decreasing and h is increasing.k)! (n + k)! 1 2n 1 k=o n k=O 1 (2n)! 1 ( n . Then Sn = 1 (2n)! a (n .kJ k (2k n) 2n 1 F 2n (2n\ + 2n (2n)! 2 r2zn L \2nJ n 22n1 1 (2n)! + 2(n!)2. h(x)=x'. Solutions to Introductory Problems Solution 30 Let Sn denote the desired sum. f(x)=a'. It follows that f(x)g(x) = h(x) has unique solution x = a. Consider functions from W ' R. Problem 31 [Romania 1983] Let 0 < a < 1. Solution 31 Taking logo yields a' log.. Problem 32 What is the coefficient of x2 when (1 + x)(1 + 2x)(1 + 2nx) is expanded? . x=x°.
xm = xn(l .2) 3 Problem 33 Let m and n be distinct positive integers.o + an.2 n+1 +2 3 (2n+1 .1) x + (an_1. Thus .o = 1 and a .nxn = (1 + x)(1 + 2x) .xn I. Solutions to Introductory Problems 49 Solution 32 Let + an.2x2 + ) (1+2 nX) = 1+(2 n+1 . yn(ly)'nn = (mn n n)n ((m nn)y)n(1y)mn n+mn n /n mnny+(mn)(1y) ) 1 (mn) n+m. Find the maximum value of I xm . Solution 33 By symmetry. + 2n) 24(22n2 _ 1) _ 1) 2+ 4(2n1 3 22n+2 3. Let y = xmn. = fn1(x)(1 + 2'Lx) = (1+(2 n .. 1).1= 1+2+ Since fn(x) (1+2 nX).2 = an1.n nn (m n)mn .y)mn) Applying the AMGM inequality yields Ixm .2 + 22n 2 n = an2. fn(x) = an. where x is a real number in the interval (0.xmn) = (yn(1 .3.2 + 22n 2 n ) x2 + we have an. +2=2 ' 1.1x + It is easy to see that an.(22 + 23 + .2 + 22n2 2 n1 +2 2n 2 n a1.1)x + an_1.xnI = xn . we can assume that m > n.xm<xnand0<y<1. SinceO<x<1..1) (2n+1 .2 + (24 +2 6 ++2 2n ) .
al)(x . where al. we have xn .(x . Let f (x) = p(x)q(x) such that p(x) and q(x) are two polynomials with integral coefficients having degree less than n. Solutions to Introductory Problems Therefore x m . Since p(ai)q(ai) = f(ai) _ 1 and both p(ai) and q(a..' .e. jp(ai)j = q(ai)j = 1 .an) . suppose that f(x) _ (x . Solution 34 For the sake of contradiction. an are distinct integers. Problem 34 Prove that the polynomial (x . Equality holds if and only if x = n/(n + 1). i.. Then g(x) = p(x) + q(x) is a polynomial with integral coefficients having degree less than n.1..xn+l < nn (n + 1)n+l for real numbers 0 < x < 1.al)(x .(x . cannot be written as the product of two nonconstant polynomials with integer coefficients.xnI < (nn(m l  n)m_n mm' = (m  n) / nnm Equality holds if and only if (mn)y = 1y n or Comment: For m = n + 1.a2). a2.) are integers.an) ...50 3.1 is not irreducible.a2). it is irreducible.
Then (1 + x)(1 + x2)(1 + x4) > 1 and 1 + y7 < 1. which is impossible. Then (1+x)(1+x2)(1+x4) > 1+x7 > 1+y7. we can assume that x > 0 > y. .y8 = (x . Subtracting the first equation from the second yields x8 . we can assume that x < y < 0. x. since the leading coefficient of f (x) is 1. Solution 35 We consider the following cases. which implies that the leading coefficient of f (x) must be a negative integer. There are no solutions in this case. x . x8 . By the symmetry. respectively. y < 0 and x j4 y. and x6 . By the symmetry. y) for which: (1+x)(1+x2)(1+x4) = 1+y7 and (1 + y)(l + y2)(1 + y4) = 1 + x7. Thus there are no solutions in this case. 0) is a solution. 51 Thus g(x) has at least n roots. showing that there are no solutions in this case. By the symmetry. p(x) = q(x) and Problem 35 Find all ordered pairs of real numbers (x. 4.y6 > 0.x and 1.y the first and the second equation. (1) Since x < y < 0.y7 < 0. 3. Therefore. x.y7) . x7 . Solutions to Introductory Problems and p(ai) + q(ai) = 0. the system now reads 1x8 = (1+y7)(1x)=1x+y7xy7 1y8 = (1+x7)(1y) = 1y+x7x7y.xy(xs .y6).y < 0. y > 0 and x j4 y. so g(x) = 0. the lefthand side of (1) is positive while the righthand side of (1) is negative. y) = (0. xy < 0.y) + (x7 . xy < 0. 2.y8 > 0. Multiplying by 1. 1.3. Then it is clear that x = y = 0 and (x. we can assume that x > y > 0. xy = 0. But degg < n. Then f (x) = p(x)2.
y) = (0. (x. 1.1)x2 + (2x2 . Since f (x) = 2' .1) = 0. 0) or Therefore. they must have the same sign. which implies that (x. x(2y 1) > 0.1 and dividing by 2 on the both sides.2)x = 2x+1 . Solutions to Introductory Problems 5. which leads to solutions x=1. x = y. Problem 37 Let a be an irrational number and let n be an integer greater than 1. which in turn implies that their sum is not equal to 0. and 1. y) = (0.52 3.1 and x always have the same sign. (1) becomes 211x+2xy(x+y)=0 or x(2y .1) + y(2x . (1) Setting y = x2 .2 for real numbers x.a2ll is an irrational number. 1. 1) are the only solutions to the system. Solution 36 Rearranging terms by powers of 2 yields 2x2x + 2x+1(x2 .1) 2 (X2 + x . (2) Hence if the terms on the lefthand side of (2) are nonzero.0. Therefore (2) is true if and only if x = 0 or y = 0.1) = 0. Problem 36 Solve the equation 2(2x . Prove that \1 (a+ a21 j +(a. / . Then solving 1x8=1x+y7xy7=lx+x7x8 leads to x = 0. 0) and (1.
Solution 38 Let xk+5 = Xk.x4) (x4 . . Problem 38 Solve the system of equations (xl .x5 + x1)2 (x5 ..x5) = x1(x3 + x4 .4xkxk+l + 2xkxk+2) = 1:(x2 + 2xkxk+2) k k=1 k=1 It follows that 1:(xk .xkxk+l) = 0k=1 .3.. Then N = b + 1/b. For the sake of contradiction.x1 + x2)2 = x5(x2 + x3 .x4 + x5)2 = x4(x1 + x2 .x3 + x4)2 = x2(x4 + x5 .1) + (a  a2 . In particular. Therefore our assumption is wrong and N is irrational.a21=2a is rational. Solutions to Introductory Problems 53 Solution 37 Let N = (a + a2 . x4. 2.x3) (x3 . we obtain that bm + 1/b' is rational for all mEN. Then by using the identity bm+1 + b +1 = (b + b / (m + b"')  (bm_ 1 +b 11 repeatedly for m = 1.x1) for real numbers x1i x2. in contradiction with the hypothesis.X2 + x3)2 (x2 .x2) = x3(x5 + x1 . Adding the five equations gives s 5 J(3xk .. bn +bn =a+ a21+a. x5. x3. assume that N is rational.1) and let b=(a+ a21)n.
1)(x . y.1)(z . a. Evaluate 1 1 1 xy+z1 Solution 39 yz+x1 zx+y. Problem 39 Let x. yz+x1=(y1)(x1) zx+y1=(z1)(x.x5) = (a. But 2(xy + yz + zx) = (x + y + z)z .1 1 5(xy+yz+zx).1)(z .1) xyz.x2.1) + (z .x3. and z be complex numbers such that x+y+z = 2.1).x4.(xy+yz+zx)+x+y+z.1)(z . Note that xy+z1=xy+1xy=(x1)(y1). Therefore the solutions to the system are (x1. Therefore S = 2/9. and Hence S _ _ 1 (x . a.1)(y . Solutions to Introductory Problems Multiplying both sides by 2 and completing the squares yields from which x1 = xz = x3 = X4 = x5. Likewise. xz+yz+zz = 3.1)(y . and xyz = 4.1) x+y+z3 (x . a.(x2 + yz + z2) = 1.1) 1 1 (x .1)(y .54 3.1 Let S be the desired value.1) + (y . a) for a E R. .
will do the trick. Let b=x+bl. c=x+c1.16). Fat has the winning strategy. Mr. . Taf is going to arrange the three numbers as the coefficients of a quadratic equation x2+x+= 0. c. and c. Fat wins the game if and only if the resulting equation has two distinct rational solutions. and e satisfy simultaneously the relations a+b+c+d+e=8anda2+b2+c2+d2+e2=16.3. Therefore 0 < a < 16/5. which implies that 1 is a solution. e=x+e1. and C be any arrangement of a.16a = a(5a . Fat is going to pick three nonzero real numbers and Mr. and c.a. where a = 0 if and only if b = c = d = e = 2 and a=16/5 if and only ifb=c=d=e=6/5. Who has a winning strategy? Solution 40 Mr. such that a + b + c = 0.a)/4. Solution 41. d=x+dl. the other solution is C/A. d. b. their average is x = (8 . Since the product of the two solutions is C/A. and let f (x) = Ax 2 + Bx + C. b. Let A. A set of three distinct rational nonzero numbers a. Solutions to Introductory Problems 55 Problem 40 [USSR 1990] Mr. d. 16=a2+4x2+b2+ci+d2+e2>a2+4x2=a2+ (8 _ 4 2 Then b1 + c1 + d1 + e1 = 0 and a) (1) or 0 > 5a2 . B. b. Alternative 1 Since the total of b. and it is different from 1. determine the maximum and the minimum value of a. Problem 41 [USAMO 1978] Given that the real numbers a. Then f (1) = A + B + C = a + b + c = 0. and e is 8 . c.
which in turn implies that. Dividing by x2 yields (+!) (x_2+.2 = l+ a. then the polynomial Pa(x) has the real zeros 1+ 1+af 2 a 2. It follows that x+1=1f x X1.4 = 1.1)2 ./l+a .2 In addition. if a > 0. Alternative 2 By the RMSAM inequality.l+af a2 I+a2 2 Problem 43 Prove that 1 3 2n .) By setting y = x + 1/x.2x + 1) . 2n < 3n for all positive integers n.1 . then Pa(x) also has the real zeros X3.ax 2. . Solution 42 We have (x2 + 1)(x2 . where a is a given real number. Problem 42 Find the real zeros of the polynomial Pa(x) = (x2 + 1)(x . (1) follows from _ (8a)2 b2+c2+d2+e2> (b+c+d+e)2 4 4 and the rest of the solution is the same.56 3.axe = 0. 1 2 4. if a > 8. the last equation becomes y22ya=0. Solutions to Introductory Problems Solution 41.
3. Solutions to Introductory Problems
57
Solution 43
We prove a stronger statement:
1
3 4
2n1
2n
1
2
3n _+1
We use induction. For n = 1, the result is evident. Suppose the statement is true for some positive integer k, i.e.,
1
3
4
2k  1
2k
1
2
<
3k+1'
1
Then
1
3
2k1 2k+1
2k
2k+1
2
4
2k+2
2k+1
<
3k+1 2k+2'
1
In order for the induction step to pass it suffices to prove that
1
3k+1 2k+2
This reduces to
3k+4'
(2k+1
2
3k+1
2k+2) < 3k+4'
(4k2 + 4k + 1)(3k + 4) < (4k2 + 8k + 4)(3k + 1),
0 < k,
which is evident. Our proof is complete.
Comment:
By using Stirling numbers, the upper bound can be improved to 1/ 7rn for sufficiently large n.
Problem 44 [USAMO Proposal, Gerald Heuer]
Let
P(x) = a0x" +
a1xn1
+ ... + an
be a nonzero polynomial with integer coefficients such that
P(r) = P(s) = 0
for some integers r and s, with 0 < r < s. Prove that ak < s for some k.
58
3. Solutions to Introductory Problems
Solution 44 Write P(x) _ (x  s)xcQ(x) and
Q(x) = box' +
bix'n'1 +
... + b,,,,
where b,,,, 54 0. Since Q has a positive root, by Descartes' rule of signs, either there must exist some k for which bk > 0 > bk+1, or b,,,. > 0. If there exists a k for which bk > 0 > bk+1, then
ak+1 = sbk + bk+1 < 5
If b,,,, > 0, then a, = sb, < s.
In either case, there is a k such that ak < s, as desired.
Problem 45
Let m be a given real number. Find all complex numbers x such that
(x) 2
x+
+
x
2
x1
_ 2+m. m
Solution 45
Completing the square gives
x
x
2
(x++x)
x21
=
_
2x2
x2_1+m +m,
2
2x2
x2  1
+ m2 + m
.
Setting y = 2x2/(x2  1), the above equation becomes
y2y(m2+m)=0,
(ym1)(y+m)=0.
Thus
x 2x 2
1
= m or

2x 2
1
=m+
which leads to solutions
m x=f m+2 if m#2and x=±% m+1 ifm m1
1.
3. Solutions to Introductory Problems
59
Problem 46
The sequence given by xo = a, xl = b, and
xn+1 = 2 (Xn1 +
is periodic.
I
I
.
Prove that ab = 1.
Solution 46
Multiplying by 2xn on both sides of the given recursive relation yields
2xnxn+l = xn_lxn + 1
or
2(xnxn+l  1) = xn_lxn  1.
Let yn = xn_lxn  1 for n E N. Since Yn+1 = yn/2, {yn} is a geometric sequence. If xn is periodic, then so is yn, which implies that yn = 0 for all n E N. Therefore
ab=xoxl=yi+1=1.
Problem 47
Let a, b, c, and d be real numbers such that
(a2+b21)(c2+d21)>(ac+bd1)2.
Prove that
a2+b2>1andc2+d2>1.
Solution 47
For the sake of the contradiction, suppose that one of a2 + b2 or c2 + d2
is less than or equal to 1. Since (ac + bd  1)2 > 0, a2 + b2  1 and
c2 + d2  1 must have the same sign. Thus both a2 + b2 and c2 + d2 are less than 1. Let
x=1a2b2andy=1c2d2.
Then 0 < x, y < 1. Multiplying by 4 on both sides of the given inequality
gives
4xy > (2ac + 2bd  2)2 = (2  2ac  2bd)2 = (a2+b2+x+c2+d2+y2ac2bd)2 = [(ac)2+(bd)2+x+y]2
>
(x + y)2 = x2 + 2xy + y2,
Therefore the solutions to the given equation are z 335 and z= 24 23a5 24 Problem 49 Let x1.759 = 0. Thus our assumption is wrong and both a2 + 62 and c2 + d2 are greater than 1.10w . Solutions to Introductory Problems or 0 > x2 . Prove that 1 1 P(x)=xn1.. Solution 48 Note that 8(3z + 1)6(4z + 1)4(6z + 1)2(12z + 1) = 768..x1 + 1 . . xn.X2 + .3). . (24z + 8)(24z + 6)(24z + 4)(24z + 2) = 768. Setting u = 24z + 5 and w = u2 yields (u + 3)(u + 1)(u . + 1 _n1 2 1 . w2 i.xn_1 .9) = 768. (w .y)2. (u2 i.e.33)(w + 23) = 0.2xy + y2 = (x .= 768.  1)(u2 . be the zeros different from 1 of the polynomial 1 .e. which is impossible.60 3._1.1)(u .n>2. x2. Problem 48 Find all complex numbers z such that (3z + 1)(4z + 1)(6z + 1)(12z + 1) = 2.
+ aia2. . Let Q(x) = P(1 .an + aia3... Alternative 2 For any polynomial R(x) of degree n1. n.. + a1a2. . x2...1 _ 1 .3. xn_1.an + . i. 1 1 1 1x1 + 1x2 1 1 1 1xn_1 an1 a2 a1 a2a3. Thus the desired sum is the sum of.a..an + . By the Vieta's Theorem. that is.1 x Then Q(x) = (1)"x'1 + (1)n1 (n) (1 .xn_1 = R' (x) R(x) .2.. the desired value is equal to (n S n1 12 P as desired.x) x (1 .. (n) Solution 49..an + a1a3. . Solutions to Introductory Problems 61 Solution 49.xi = 0... + (n) x _ (n) 1and as are the nonzero roots of the polynomial Q(x).x)n .. let ai = 1 . Alternative 1 For i = 1...1 ai xn2 +.X2 x .ai)n ...xi.. the ratio between S = a2..... .an1 and P = a1....e..X1 X .an is equal to the additive inverse of the ratio between the coefficient of x and the constant term in Q(x).... the following identity holds: 1 + 1 + .. whose zeros are x1. as/ Q(ai) _ xi . + 1 X .the reciprocals of the roots of polynomial Q(x).an1 ala2.
y xz_yz 1x2+y z y .b) 1 a2+b2 (a+b) 1a2+b2 u which in turn implies. hence uv = a2 .. Solve the system of equations x .b 1a +b2 J 2'2 ' whenever 0 < a2 .b) l u v. andy=uv.u uv = (a+b) 1uv v + v uv = (a .uv) = (a2 .+yandv=xy. Multiplying the above two equations yields uv(1 . b Solution 50 Letu=x. It follows that (a .1 2 1xn1 R(1) Let a and b be given real numbers.b2 < 1. 1x2+y2 for real numbers x and y.. R(1) = n and R'(1)=(n1)+(n2)+ It follows that 1 +1= n(n1) 2 R'(1) 1 1x1 + 1x2 Problem 50 +..b2)(1 . Solutions to Introductory Problems For R(x) = xn 1 x1 = xn1 + xnz + .+ 1 n. .. + x + 1.uv). x=u2v.azbz andv= 1+ a2b2 a+b a2b2 b+a a2b2 1a4. Then 0<x2y2=uv<1.b2.62 3.that (xy) = '2 1. Adding the two equations and subtracting the two equations in the original system yields the new system u .x x2y2 = a.
SOLUTIONS TO ADVANCED PROBLEMS .
.
+ (2000) 2000 2 =f(1)+wf(w)+w2f(w2) = 22 000 + w (1 + L. By the AMGM inequality.. y. Hence 3 (2 000) + 2000) 5 +. A(f (u))8 = Au8(1 . SOLUTIONS TO ADVANCED PROBLEMS Problem 51 Evaluate 0200 0) 2 + (2000) + 5 (20800) + . y 3 z3 (1 .u8) < f Au8 +8(1 . let f(u) = u(1 . z be positive real numbers such that x4 + y4 + z4 = 1. Determine with proof the minimum value of x3 1x8+1y8+1z8 Solution 52 For 0 < u < 1.u8) 1 9 IL 9 J . Let A be a positive real number. Thus the desired value is 22000 .u8). Then w3 = 1 and w2 +w+ l =0..4.1. Let w = (1 + vi) /2.u8) . + (2000) Solution 51 Let 2000 f (X) = (1 + x)2000 = k=0 02000) k xk.1 3 Problem 52 Let x...))2000 + w2 (1 + w2) 2000 = 22000 + w(w2)2000 + w2(_w)2000 = 22000 + w2 + w = 22000 .
] > 1 + [s] > 8.x2 is increasing. .x8) 4 4 Y y(1 . But then s > lsj yields 2S > 2isJ = (1 + 1) L.. 1 Comment: This is a simple application of the result of problem 33 in the previous chapter. the function f (x) = 2x + 3x + 6x .y8) + z4 z(1 .66 4. and hence [s] > 1. Solution 53 For x < 0. which in turn implies that 6S > 4S = (28)2 > s2. Assume that there is a solution s > 0. Problem 53 [Romania 1990] Find all real solutions to the equation 2x + 3x + 6x = x2.z8) (x4+y4+24)439 8 943 8 ' with equality if and only if x=y=z= 43. Solutions to Advanced Problems Setting A = 8 in the above inequality yields or It follows that x3 1x8+1y8+1z8 > y 3 z3 x4 x(1 . so the equation f (x) = 0 has the unique solution x = 1. so s > f . Then s2 = 28 + 3S + 68 > 3.
2+1)try anvf2and an = v/2. Solutions to Advanced Problems 67 So 2S + 33 + 6S > s2.+1)2n+1] (V/2+ 1) 2n . Problem 54 Let {an}n>1 be a sequence such that al = 2 and an 1 an+1 = 2 + an for all n E N. and z be positive real numbers. y. a contradiction.[(vf2.4. Solution 54 Solving the equation leads to x = fV12. . Therefore x = 1 is the only solution to the equation. Note that an+1+v/'2 a2n+2vf2an+2 an+ 2 an+1vf2Therefore. Prove that x y x+ (x+y)(x+z) + y+ (y+z)(y+x) z + z+ (z+x)(z+y)  Solution 55 Note that (x+y)(x+z) > xy+ xz. + 2^1 (Vr. Find an explicit formula for an.1 Problem 55 Let x. a22V12an+2 anv2 an+vf2 (a.
zl)(z . y+ and (y+z)(y+x) z < x+ f + f +f+VfZ VfY_ z+ (z+x)(z+y) Adding the last three inequalities leads to the desired result.68 4.(z . Then z2m = zm+n.. Solutions to Advanced Problems In fact. squaring both sides of the above inequality yields x2 + yz > 2x yz.z2).. Since zi 0 1. and f is nonzero.zk).. which is evident by the AMGM inequality. 1 . 2.1)ng(z). . Dividing by z2m(z .z2 34 0. k. (z .(z2 Thus a = a2. zi 54 0 and zi 1 .zl)(z . so a = 1.zk) _ a2zm+n(z + 1)m(z .1)mg(z).`' Likewise. m = n. that is. the last equation becomes 9(z2) = 9(z)9(z + 1). Solution 56 Let f(z) = azm(z . Problem 56 Find.. Thus x x < x Vrx (x+y)(x+z) y x+ + xz _ Vrx... . . where m and n are nonnegative integers and 9(z) = (z ..zk) .1)n(z + 1)n. Thus f is of the form zm(z . all nonzero polynomials f (z) such that f(z2) + f(z)f(z + 1) = 0. The given condition becomes az2m(z .1)n(z + 1)n(z2 . with proof..z2) .1)n(z .+ f+.zl)(z2  z2). for i = 1.
and 2.4. if Iri=I(r^1)21=1. 2 2 But r2 is also a root of g.. Since g cannot have infinitely many roots. Suppose not. Lemma For n = 0. all its roots must have absolute value 1.1)"n for mEN.. Now g(r2) = g(r)g(r + 1) = 0.. Problem 57 Let f : N > N be a function such that f (n + 1) > f (n) and f (f (n)) = 3n for all n. Solutions to Advanced Problems 69 We claim that g(z) . Hence. f (2.1. Clearly.. Therefore. 1.3n. Now.1)g(r) = 0. Evaluate f (2001). Alternative 1 We prove the following lemma. 1. so the same should be true of r2: r2 E < 1+Vi 1\i 2 2 This is absurd. 3n) = 3n+1 .1)2) = g(r . and so on. g cannot have any roots. so I (r1)21=1. f(3n)=2. g(r4) g(r8) = = 0. 0. then rE 1+Vr3i 1Oi . the f (z) are all the polynomials of the form z(z . Solution 57. and g(z) __ 1. 2. g((r . then clearly g must have at least one complex root r 0.
Since f (n + 1) > f (n).1 integers m' such that f(3n)=2. For n = 0.37 = 3816. There are 3n . Therefore f (2 . note that f (1) 54 1. for 0 < m < 3n. otherwise 3 = f (f (1)) = f (1) = 1. which is impossible. f (2001)(3 = 12020100 or f (2001) = 1 . This completes the induction. Solutions to Advanced Problems We use induction. 3n + m) = f (f (3n + m)) = 3(3 n + m) for 0 < m < 3n.3' and f (2. f (3n) =2.1 integers m such that 3n < m < 2 . we can prove that f (n)(3) 2a2 = at if a1 = 1.32 +23 4 +23 6 + 1 . Hence f (2001) = f (2.) =23 n + m. Since f : N 4 N. Since 2001(3) = 2202010. Solution 57. Alternative 2 For integer n. f (1) > 1.70 4. 3n and there are 3n . Hence Proof: f(2) = f(f(1)) = 3.. let n(3) = ala2 n. f (3n+1) = f (f(2 . Suppose that for some positive integer n > 1.3') =3n+1 Then.3n<m'<3n+1=f(2. f is increasing.3n). . Thus 1 < f (1) < f (f (1)) = 3 or f (1) = 2.3 n)) = 2. f (3n +. Since f is an increasing function. ae0 if a1 = 2.36 + 543) = 3 (36 + 543) = 3816. lag ..3n+1 and f (2 3n+1) = f (f(3n+1)) = 3n+2 as desired. at denote the base 3 representation of Using similar inductions as in the first solution.
so ) Irlr2 .rl)(x . I1mkI > Ir1r2. and none of them is 0.rk)gk(x).4. . For each integer k > 1. rkl > 11 (1) 2 . Since Mk > 1.. find mk. which equals 1 .. Mk = [k/2]! [k/2]! + 1.mk cannot be 0.r2) .mk. rk. (1)k+l [k/2]1 hence Mk > [k/2]! [k/21! + 1..1) ('2')(x ....(2). Solutions to Advanced Problems 71 Problem 58 [China 1999] Let F be the set of all polynomials f (x) with integers coefficients such that f (x) = 1 has at least one integer root.rkl Now rl. . r2i rk are distinct integers. (x . This value of mk is attained by 9k(x) _ (. Now 9k (0) = fk(a) = 1.. and let a be an integer such that fk (a) = 1. 1 .1)(x + 1)(x . Now gk(x) = Mk has exactly k distinct integer roots rl. so the constant term of gk is 1.mk. the least integer greater than 1 for which there exists an f E F such that f (x) = Mk has exactly k distinct integer roots. r 2 .. where qk(x) is an integer polynomial.2)(x + 2) (x + (1)k [k/21) + [k/2]! [k/21 ! + 1... so we can write 9k(x) . Solution 58 Suppose that fk E F satisfies the condition that fk(x) = Mk has exactly k distinct integer roots.3 .mk = (x . Note that rlr2 rk divides the constant term of gk(x) . Thus.. Let gk be the polynomial in F such that 9k(x) = fk(x + a) for all x.
Now suppose that (1) is true for some positive integer n = k. 1 1 1 1 < xn+1 .1 which implies that 1 1 1 1 x1 x2 xn xn+1 Thus it suffices to prove that.1) 1 xn .e. For n = 1. 2^ xn xn+1 .1 xn+1 . Prove that 1Solution 59 Since x1 = 2 and 221 x1 x2 1<1+1+.1 = Xn(Xn . xn is increasing.1 1 xn xn xn . forn>1.1 or 1 xn(xn ..1)..1 < 22k (2) Then for n = k + 1. the lower bound of (1) follows from Xk+2 . x2 = xi .+1 <121.1 < 22 (1) We use induction to prove (1). Solutions to Advanced Problems Problem 59 Let x1 = 2 and z xn+1 = xn . Then xn100. Hence 1 1 xn+1 . 22k 1 < xk+1 .1) > 2 2k1 2 2k1 = 2 2k . which is true. i.xn + 1..1 = xk+1(xk+1 .72 4. for n E N.Si + 1 = 3 and (1) becomes 2 < 3 < 4.
from which it follows that 22k+1 xk+2 . Replacing x with f (x) yields f (2f (x)) + f (2f (f (x))) = f (2f (f (x) + f (f (x)))) Subtracting these two equations gives f(2f(f(x))) .1 < 22k . the left hand side of this equation is negative.11 < as desired. Solutions to Advanced Problems 73 Since xk+1 is an integer. Thus f (f (x)) = x as desired. If f (f (x)) > x. This finishes the induction and we are done. so f(f(x) +f(f(x)) > f(x+f(x)) and f(x)+f(f(x)) <x+f(x). . The solution above shows that this condition is not necessary. A similar contradiction occurs if f (f (x)) < x.1.f(2f(x + f(x))). Solution 60 Setting y = x gives f (2x) + f (2f (x)) = f (2f (x + f (x))). the lower bound of (2) implies that 22 Xk+1 C and xk+1 . Problem 60 [Iran 1997] Suppose that f : R+ R+ is a decreasing function such that for all x)yER+.4. Prove that f(f(x)) = x.1 = xk+1(xk+1 . Comment: In the original formulation f was meant to be a continous function. f(x + y) + f(f(x) + f(y)) = f(f(x + f(y)) + f(y + f(x))).f(2x) = f(2f(f(x) + f(f(x)))) . a contradiction.1) < 22k (22k .
y = z in the given equation we obtain f (nz) + f ((n .2kxy + ky2 = 2kx2 + 2ky2 = 2f (x) + 2f (y). thus f (nz) = n2f(Z) for all integers n.f((n .4)f (z) = n2f(z) and the claim holds by induction.1)z + z) + f ((n .y)2 = kx2 + 2kxy + ky2 + kx2 .4n + 2 + 2 . Then letting x = y = 0 gives 2f (0) = 4f (0).1)2f(z) + 2f(z) .2)z) = f ((n .z) = 2f((n .2. Any such function works. Solution 61 The only such functions are f (x) = kx2 for rational k. y e Q.1)z . Then letting x = (n .2)2f(z) _ (2n2 .y) = k(x+y)2 + k(x . let n > 2 and suppose the claim holds for n . We will prove by induction that f (nz) = n2f(Z) for any positive integer n and any rational number z.1)z) + 2f(z) so f(nz) = 2f((n . since f(x+y) +f(x .y) = 2f(x) + 2f(y) for all x.n 2 + 4n . so f (0) = 0.1)z. Now suppose f is any function satisfying f(x + y) + f(x .1)z) + 2f(z) . The claim holds for n = 0 and n = 1. .1 and n .2)z) = 2(n .(n .74 4. Solutions to Advanced Problems Problem 61 [Nordic Contest 1998] Find all functions f : Q > Q such that f(x + y) + f(x . Letting x = 0 in the given equation gives f (y) + f (y) = 2f (0) + 2f (y) = 2f (y) so f (y) = f (y) for all rational y.y) = 2f (x) + 2f (y).
Solution 62 Look at the given equation as a quadratic equation in a: a2 + 3xa + 2x2 .x4 = 0. Prove that the equation x3(x + 1) = (x + a)(2x + a) has four distinct real solutions and find these solutions in explicit form.x2 yields the quadratic equation x2+2x+a=0.1+4a 2 show that the four solutions are distinct. Problem 62 [Korean Mathematics Competition 2000] Let1<a<1. are the only solutions.4. The discriminant of this equation is 9x2 . k E Q. whose solutions are The inequalities 1.1a<1+ 1a< 1. Thus the functions f (x) = kx2. then for any rational number x = p/q.x3 . Thus The first choice a = x+x2 yields the quadratic equation x2 xa = 0. Solutions to Advanced Problems 75 Now let k = f (1). g2f(x) = f(qx) = f(p) = p2f(1) = kp2 so f(x) = kp2/q2 = kx2. whose solutions are x _ (1 f 1 ++ 4a) 2 The second choice a = 2x .8x2 + 4x3 + 4x4 = (x + a= 3x + (x + 2x2) 2 2x2)2. 1+ 1+4a .
2(a+b+c) < a2b+ab2 +b2c+bc2 +c2a+ca2. Solutions to Advanced Problems Indeed 1+ 1a< 1/+4a 2 reduces to which is equivalent to 2 1a<3. Problem 63 [Tournament of Towns 19971 Let a. the inequality becomes 1 x+1y+1z+1 + + 1 1 C y+1z+1 x+l' y+z+2 < x x (y + 1)(z + 1) .76 4.1+4a 6 1+4a<6+8a. 3 (alb + a2c + 1) > 3 a4bc = 3a. which is evident. Alternative 1 Setting x = a + b. b. . By the AMGM inequality. Prove that a+b+l+b+c+l+c+a+1 C1 Solution 63. or 3a < 4a2. x+y+z+2<xyz. 2(a+b+c)+2 < (a+b)(b+c)(c+a). y = b + c and z = c + a. and c be positive real numbers such that abc = 1.x + 1' xy+xz+2x+y+z+2 < xyz+xy+xz+x.
4. Solutions to Advanced Problems
Likewise,
77
(b2c + b 2 a+ 1) > 3b
and
(c2a + c2b + 1) > 3c.
Therefore we only need to prove that
2(a+b+c) +3 < 3(a+b+c),
3 <a+b+c,
which is evident from AMGM inequality and abc = 1.
Solution 63, Alternative 2 Let a = a', b = bl, c = ci. Then alblcl = 1. Note that
a, + bi  alb,  albi = (a,  bi)(ai  bi) > O,
which implies that
ai + bi > a,bl(a, + b1).
Therefore,
1
_
1
a+b+1
ai + bi + alblcl
1
albl(a, + bi) + alblcl alblcl
a,bl(a, + bl + cl)
Cl
al+bl+cl
Likewise,
1
<
al
bl
b+c+1  al+bl+cl
and
c+a+1  al+bl+cl
Adding the three inequalities yields the desired result.
1
<
78
4. Solutions to Advanced Problems
Problem 64 [AIME 1988]
Find all functions f, defined on the set of ordered pairs of positive integers, satisfying the following properties:
f(x,x) = x, f(x,y) = f(y,x), (x + y)f(x,y) = yf(x,x + y).
Solution 64
We claim that f (x, y) = lcm(x, y), the least common multiple of x and y. It is clear that lcm(x, x) = x
lcm(x, y) = lcm(y, x).
lcm(x, y)
xy
= gcd (x, y)
gcd (x, y) = gcd (x, x + y),
where gcd (u, v) denotes the greatest common divisor of u and v. Then
(x + y)lcm(x, y)
_ (x + y) _
xy gcd (x, y)
x(x + y) gcd (x, x + y)
= ylcm(x, x + y).
Now we prove that there is only one function satisfying the conditions of the problem.
For the sake of contradiction, assume that there is another function
g(x, y) also satisfying the given conditions. Let S be the set of all pairs of positive integers (x, y) such that f (x, y) A g(x, y), and let (m, n) be such a pair with minimal sum m+n. It is clear that m A n, otherwise
f (m, n) = f (m, m) = m = g(m, m) = g(m, n). By symmetry (f (x, y) = f (y, x)), we can assume that n  m > 0. Note that
nf(m,nm) = [m+(nm)]f(m,nm) = (nm)f(m,m+(nm))
(nm)f(m,n)
4. Solutions to Advanced Problems
or
79
f(m,nm) =
Likewise,
n
nm f(m,n).
g(m,nm) = n nm g(m,n).
g(m, n), f (m, n  m) g(m, n  m). Thus (m, n  m) E S. But (m, n  m) has a smaller sum m + (n  m) = n, a contradiction. Therefore our assumption is wrong and f (x, y) = lcm(x, y) is the only
Since f (m, n)
solution.
Problem 65 [Romania 1990]
Consider n complex numbers zk, such that Zk I < 1, k = 1, 2, ... , n. Prove that there exist e e2,,. .. , en E {1, 1} such that, for any m < n, 1
lelzl +e2z2 +''' +emzml < 2.
Solution 65
Call a finite sequence of complex numbers each with absolute value not exceeding 1 a green sequence. Call a green sequence {zk}'1 happy if it has a friend sequence {ek}n k_1 of is and is, satisfying the condition of the problem. We will prove by induction on n that all green sequences are happy. For n = 2, this claim is obviously true. Suppose this claim is true when n equals some number m. For the case of n = m + 1, think of the Zk as points in the complex plane.
For each k, let Bk be the line through the origin and the point corresponding to zk. Among the lines 21, L2, 6, some two are within 60° of each other; suppose they are f, and f,3, with the leftover one being f,. The fact that Qa and Qp are within 60° of each other implies that there exists some number e,3 E {1, 1} such that z' = za + e,3 z,3 has absolute value at most 1. Now the sequence z', z.y, z4, z5, ... , zk+1 is a kterm green sequence, so, by the induction hypothesis, it must be happy; let e', e7, e4, e5, ... , ek+1 be its friend. Let ea = 1. Then the sequence {ei}k+1 is the friend of {zi}k+l. Induction is now
complete.
80 4. and y2+y+1= 3y2+3y+3 3 which implies that _ y3+3y2+3y+1 3 . Solutions to Advanced Problems Problem 66 [ARML 1997] Find a triple of rational numbers (a. Note that 1=y31=(y1)(y2+y+1). b. c) = 4 9' 9' 9 is a desired triple. c) such that V321= Solution 66 3a+ 3b+yc. b. 3=y3+1=(y+1)(y2y+1) from which it follows that 1 y+l _ y2y+1 3 (2) Combining (1) and (2). we obtain x (34 V9 32+1) 2 1 Consequently. Let xand y = 32.(y+1)3 3 x3=y1= y2+y+1 1 3 (y+l)3 (1) or 'r3 x y+ On the other hand. . (a. Then y3=2andx= 3y1.
8212+8232+8252+8272 .4 ) >  2 log x2 log xi log xn + + log x3 + . Solutions to Advanced Problems 81 Problem 67 [Romania 1984] Find the minimum of logxl 1 1 x2  4 + logx2 x3  4 + .. + log x2 109X. = xn = 1/2.. + logxn log XI (1 . .. xk+1 = 21og xk+l 4 logxk It follows that logxl I x2 ..1 > logxk xk+1 = 2 logx.w2 x2 y 2 z2 W2 6212 +6232 +6252 +6272 x2 2 z2 w2 =1." xk+i .4.. x is a decreasing function of x when 0 < a < 1 and.. xn are real numbers in the interval (4. Solution 67 Since log... Problem 68 [AIME 1984] Determine x2 + y2 + z2 + w2 if x2 2212 +2232 +2252 +2272 =1..4) + .1/2)2 > 0 implies x2 > x . Equalities hold if and only if x1 = x2 = .4 I + log. + logx (ii  1 4 where x1i x2.1 log xn > 2n by the AMGM inequality. 4212 +42 32 x2 y2 z2 ..1/4. y 2 z2 w2 +4252 +4272 =1. since (x .. 1). . we have log.. (X3 .
and 64.y2(t . f must be surjective. and 64. 9. Solutions to Advanced Problems Solution 68 The claim that the given system of equations is satisfied by x2.64).1)(t . and 49). i. we find that for all values of t for which it is defined (i. where P(t) = (t .16) (t . .9)(t . y2. y E JR. Setting x = 0 in the given condition yields f(f(y)) = a2 + y. Since deg P(t) = 4..25)(t .. Problem 69 [Balkan 1997] Find all functions f : R + R such that f(xf(x) +f(y)) = (f(x))2 +y for all x. from which it follows that x2+y2+z2+w2= 36. P(t) = 0 has exactly four zeros t = 4.25) (t . 36. and w2 is equivalent to claiming that x2 t12+t32+t52+t72 =1 y 2 z2 w2 (1) is satisfied by t = 4.16.49) x2(t . for all y c R. Comparing the coefficients of t3 in the two expressions of P(t) yields 1+9+25+49+x2 +y2+z2+w2 = 4+ 16+36+64.1)(t . Multiplying to clear fractions.36)(t . P(t) = (t . (1) is equivalent to the polynomial equation P(t) = 0.82 4. Solution 69 Let f (0) = a.4) (t .49) . Since the range of a2+y consists of all real numbers. 25. t 0 1. 16. z2.9)(t .e. 36.25) (t .e.49) z2(t1)(t9)(t49)w2(t1)(t9)(t25).
for all y E R. Solutions to Advanced Problems 83 Thus there exists b E R such that f (b) = 0. Setting x = cf (c) + f (y) in (1) yields If (cf (c) + f (y))]2 = [cf (c) + f (y)]2 = [c2 + f (y)]2. a function which satisfies the given condition. . a and b. (f(x))2 +y = f(xf(x) +f(y)) = f[f(f(x))f(x) +f(n)] = f[f(x)f(f(x)) +y] =f(f(x))2+y=x2+y. for all y E R. for allyeR. for all y E R. Note that (f (y))2 = y2. for all x. setting x = c in the given condition yields f(cf(c) +f(y)) = (f(c))2 +y = c2 +y. and replace them by the number 2 min(a. Prove that c < 1. Each time. After 1999 such operations. say.4. (f(x))2 = x2 (1) It is clear that f (x) = x is a function satisfying the given condition. Then there exists some nonzero real number c such that f (c) = c. . f (y) = y. 1001. 2999 have been written on a board. It follows that. for x E R. one is allowed to erase two numbers. that is. Setting x = b in the given condition yields f(f(y)) = f(bf(b) + f(y)) = (f (b))' + y = y. Problem 70 The numbers 1000. b). one obtains exactly one number c on the board. Therefore the only functions to satisfy the given condition are f (x) = x or f (x) = x. Suppose that f (x) 54 x. It follows that (y)]2 [c2 + f or = (c2 + y)2. y E R. and.
2000 1000 + 1000 x 2000 or c < 1. the sum is a monovariant). x = n Solution 71 Notice that fi (x) = 1 + ax is concave.b) = We have 2 1 1 1 a +b 2 )' from which it follows that the sum of the reciprocals of all the numbers on the board is nondecreasing (i. Prove that the equation 1 +a1x+ l+a2x+ has at most one nonzero real root. Solutions to Advanced Problems Solution 70 By symmetry..k + 2000 + k 20002 .k2 > 20002 100 Rearranging terms in S yields C . Hence f(x)= 1+a. . + l+a. as desired. be real numbers. we may assume a < b....x .x++ l+a. for 1 < k < 999. At the beginning this sum is S _ 1 1 1 1 1000 + 1001 + + 2999 < c' where 1/c is the sum at the end. a2. Then a min(a. Note that. .. a.84 4. not all zero.1000 (1001 1 2999) 1 (1002 1 2998) (1999 2001 1. 1 1 _ 4000 4000 1 2000 . Problem 71 [Bulgaria 1998] Let al.e.
Alternative 1 Let f (x) = 4x(1 . 1}.1). Let An = {x E R : fn(X) = 0}. f1([0. 1]) = [0. 1]. 1]. we have three real roots x1 < x2 < X3. 1 E An. An C [0.an) forn> 1. For how many distinct values of t do we have a1998 = 0? Solution 72. we have A1= Ix GRI f(x)=0}= [0. there can be at most one point on the curve y = f (x) with derivative 0. 85 Since f'(x) exists. Applying the MeanValue theorem to f (x) on intervals [x1i x2] and [x2i x3]. 1] = x c [0. Since x = 0 is also a root. Now suppose n > 1 and An C [0. and An I = 2n1 + 1. and I{y: f(y)=x}j =2 for allxE [0. a contradiction. Problem 72 [Turkey 1998] Let {an} be the sequence of real numbers defined by a1 = t and an+1 = 4an(1 . 1 E An. f1(1) = {1/2}. Solutions to Advanced Problems is concave. 1]. so An+1 C [0. Suppose there is more than one nonzero root. 1].x). then An+1 = {x E 118: f n+1 (x) = 0} = {xER: fn(f(x))=0}={xER: f(x)EAn}. 1]. 11. and the claims hold.4. and IAnI = 2n1 + 1. For n = 1. Then x c An+1 = f (x) E An C [0. We claim that for all n > 1. Therefore. our assumption is wrong and there can be at most one nonzero real root for the equation f (x) = n. we can find two distinct points on the curve with derivative 0. . Observe that f1(0) = 10.
1]. 1]. so if a1998 = 0 we must have t E [0. . Observe that for any 0 E R. Thus the values of t which give a1998 = 0 are sin2(kir/21997) k E Z. a3 = sin 2 40.}l I{x : f (x) = all aEA. so there are 21996 + 1 such values of t. f (sine ¢) = 4 sin20(l . observe that if f (x) E [0.. Solution 72.. . l{x: f(x)=1}I+ aE[0. since a1 = sine 0.1) Ifx : f (x) =all aEA Thus the claim holds by induction. Now choose 0 E [0. 7r/2] such that sin 0 = V. it follows that a2 = sin 2 20. we have f'+1(1) = 0 for all n > 1. . Alternative 2 As in the previous solution. Solutions to Advanced Problems Since f (0) = f (1) = 0. Therefore a1998 = 0 sin 2 19970 = 0 0= k7r 21997 for some k E Z.. a1998 = sin 2 219970.. a1998 = 0 if and only if f 1997(t) = 0.sine 0) = 4 sin 2 O cost 0 = sin 2 20. so 1 E A. giving 21996 + 1 such values of t.86 4. 1] then x E [0. Finally.+1 Now we have jAn+1 j l{x : f (x) E A..
It is clear from the definition of f that f (g(x)) = x2. Therefore. Now let y = Of (x) Then g(y) = x and g(f(x)) = g(y2) (y2)In(y2) = y41ny = (ylny)4 In(y2) = (yInyl\)4 (y2) ify>1 _ 1 0 if0<y<1 ify=0 = [g(y)]4 X4 . 1} such that f (a) = f (b). We claim that the functions f. But then a3 = g(f(a)) = g(f(b)) = b3. g described above satisfy the conditions of the problem. we are allowed to define f as an even function such that f (x) = y2. where y is such that g(fy) = x. whence x E {1 0 1} x3 = x = f (X) = [ f (x)]2 = f (X) E {0. thus. 11. a contradiction. 0.4. Solutions to Advanced Problems 87 Problem 73 [IMO 1997 short list] (a) Do there exist functions f : R * ]I8 and g : R > R such that f(g(x)) = x2 and g(f(x)) = x3 for allxER? (b) Do there exist functions f : R > R and g : R * R such that f(g(x)) = x2 and g(f(x)) = x4 for all xEll? Solution 73 (a) The conditions imply that f (x3) = f (g(f (x))) = [f (x)]2. Note that g is even and jai = JbI whenever g(a) = g(b). there exist different a. b E {1. the desired functions f and g do not exist. Thus. (b) Let g(x) = Ixl'n 1x1 IxjInlyl if Jxi > 1 if 0 < JxJ < 1 0 ifx=0.
) a... Solution 74.ai)(ai . let ai=ak andbi=bi+aka. <an..fori>k.< n + bn < ak from which the desired result follows. bn.bi) ai >0.. for cy(x . > Y x+c y+c x>yandc>0. for 1 < i < k and bi>a... Solution 74.) ...Y) (Y + c) > 0.88 4. . 2. bnakn aia2.an > b1b2..ak ai ai = ak and bi = Then ai . let b.(ai _ bi) bak = ak(aib. Therefore flak Applying the AMGM inequality yields b1b2 . ai = (ak .bi=ak or (a' b. > 0. Prove that a1a2. n. bn )n'. For i = 1 . _ (bib2 ..0<b1 <b2 <bn be real numbers such that n a i=1 i=1 n Suppose that there exists 1 < k < n such that bi < a.. Solutions to Advanced Problems Problem 74 [Weichao Wu] Let0<a1 <a2 . . For z = 1. Alternative 2 W e define two new sequences. . n. .. Then bi+b2+ +b'<nak.. . (1) Note that.an bi + b2 + . 2.. Alternative 1 We define two new sequences..
4. Solutions to Advanced Problems
89
Setting x = ai, y = bi, and c = ak  ai, the above inequality implies that ai/bi > ati/b?, for i = 1, 2, ... , n. Thus,
ala2...an > a' a' ...a'
(2)
blb2...bn
Using (1) and the AMGM inequality yields (ala2 ... a' r _ ak ? or
bi+b2+...+b'
n
1 > (blb2 ... bn) "
aia2 ... an > bib2 ... bn
(3)
It is clear that the desired result follows from (2) and (3).
Problem 75
, a8, prove that at least one of the following six numbers: alai + a2a4, alas + a2a6, ala7 + a2a8,
Given eight nonzero real numbers al, a2,
a3a5 + a4a6, a3a7 + a4a8, a5a7 + a6a8 is nonnegative.
Solution 75 [Moscow Olympiad 1978]
First, we introduce some basic knowledge of vector operations. Let u = [a, b] and v = [m, n] be two vectors.
Define their dot product u v = am + bn. It is easy to check that
(i)
m2+n2 = IvI2, that is, the dot product of vector with itself is the square of the magnitude of v and v v > 0 with equality if
and only if v = [0, 0];
(ii)
(iii) u. (v + w) = u v + u w, where w is a vector;
(iv) (cu) v = c(u v), where c is a scalar.
When vectors u and v are placed tailbytail at the origin 0, let A and B be the tips of u and v, respectively. Then AI = v  u. Let LAOB =0. Applying the law of cosines to triangle AOB yields
Iv  u12
= AB2
= OA2 + OB2  20A OB cos B = 1u12 + IV12  2jul ivI cos8.
90
4. Solutions to Advanced Problems
It follows that
(vu) (vu)=
or
v2lullvlcosO,
cos 0 =
lullvl
Consequently, if 0 < 0 < 90°, u v > 0. Consider vectors vi = [al, a2], v2 = [a3i a4], v3 = [a5, as], and v4 =
[a7, a8].
Note that the numbers ala3 +a2a4i ala5 +a2a6, ala7+a2a8, a3a5+a4a6, a3a7 + a4a8, a5a7 + a6a8 are all the dot products of distinct vectors v; and vj. Since there are four vectors, when placed tailbytail at the origin, at least two of them form a nonobtuse angle, which in turn implies the desired result.
Problem 76 [IMO 1996 short list]
Let a, b and c be positive real numbers such that abc = 1. Prove that
ca
a5+b5+ab + b5+c5+be + c5+a5+ca C
1.
Solution 76
We have
a5 + b5 > a2 b2 (a + b),
because
(a3
 b3)(a2  b2) > 0,
ab
with equality if and only if a = b. Hence
ab
a5 + b5 + ab
a2b2 (a + b)
1
+ ab
ab(a + b) + 1
abc
ab(a + b + c)
c
a+b+c
Likewise,
be
a
b5+c5+bc  a + b + c
4. Solutions to Advanced Problems
and
91
ca
b
c5+a5+ca  a+b+c'
Adding the last three inequalities leads to the desired result. Equality holds if and only if a = b = c = 1.
Comment:
Please compare the solution to this problem with the
second solution of problem 13 in this chapter.
Problem 77 [CzechSlovak match 1997]
Find all functions f : R > ]l8 such that the equality
f(f(x) + y) = f(x2  y) + 4f(x)y
holds for all pairs of real numbers (x, y).
Solution 77
Clearly, f (x) = x2 satisfies the functional equation. Now assume that there is a nonzero value a such that f (a)
Let y = x
z_
a2.
2f (x) in the functional equation to find that
)
f
(f (x
2
+x2) = f (f(x)+x2) +2f(x)(xz f(x))
or 0 = 2f (x)(x2  f (x)). Thus, for each x, either f (x) = 0 or f (x) = x2. In both cases, f (0) = 0. Setting x = a, it follows from above that either f (a) = 0 or f (a) = 0 or f (a) = a2. The latter is false, so f (a) = 0. Now, let x = 0 and then x = a in the functional equation to find that
f (y) = f (y),
and so
f (y) = f (a2  y)
f (y) = f (y) = f (a2 + y); that is, the function is periodic with nonzero period a2. Let y = a2 in the original functional equation to obtain
f (f (x)) = f (f (x) + a2) = f (x2  a2) + 4a2f (x) = f (x2) + 4a2f (x)
However, putting y = 0 in the functional equation gives f (f (x)) = f (x2) for all x.
y) Solution 78. x2 y2 or 2xy . Then 1_ xyi z x2 + y2 Thus the last equation becomes z+3i=3 z or z23z+(3i)=0. y) = (2. either f(x) = x2 or f(x) = 0. 4a2f(X) = 0 for all x. Alternative 2 Multiplying the first equation by y. Solution 78. Let z = x + yi. (x. and adding up yields 2xy + (3x . Problem 78 [Kvant] Solve the system of equations: 3xy x+ x2 + y2 =3 x+3y yx2+y2=0.92 4. the second by x.y) +(x + 3y)i 3 x2 y2 or x+ya+3(xyi) . Alternative 1 Multiplying the second equation by i and adding it to the first equation yields x+yi+ (3x . Therefore.y)y + (x + 3y)x = 3y. 1) or (x. Solutions to Advanced Problems Thus.yi) x2 + y2 x2 + y2 = 3.1 = 3y.  i(x . It follows that y 0 and 3y + 1 2y . Since a is nonzero. f (x) = 0 for all x. Hence Z= 3f 3+4i 2 = 3±(1+2a) 2 that is.
Fat wins. Taf wins. Fat and Mr. We say a blank space is odd (even) if it is the coefficient of an odd (even) power of x. First Mr. the given polynomial becomes p(x) = q(x) polynomial. Problem 79 [China 1995] Mr. Mr. Taf can simply fill in a in front of xs and win the game.1 even spaces. Since there are only n . Taf will fill in arbitrary real numbers into one of the remaining even spaces. Solutions to Advanced Problems 93 Substituting this into the second equation of the given system gives y (. Taf play a game with a polynomial of degree at least 4: x2n + _x2n1 + _x2n2 + . .1 are distinct positive integers and q(x) is a fixed We claim that there is a real number a such that p(x) = q(x) + axs + x 2t1 will always have a real root regardless of the coefficient of x2ti Then Mr. If the resulting polynomial has no real root. If Mr. if there are any. otherwise.2y 1 12 + y2  13 2y 1 I .. 1). Fat goes first. who has a winning strategy? Solution 79 Mr.3y = 0. that is. Mr. They fill in real numbers to empty spaces in turn. there will be at least one odd space left after 2n . It follows that y2 = 1 and that the solutions to the system are (2. + x + 1.4. 1) and (1. +_xs +_x2t1 where s and 2t .3 plays.. or 4y43y21=0. Taf has a winning strategy.
then F(0) = F(1) F(k + 1). Hence F(x) .F(0) = x(x ... It follows that either p(1) = p(2) = 0 or p(1.k ..) and p(2) have different signs. Note Now we prove our claim.1.b] 22t1 q(2) + q(1) + a[22t+1 + Since s 54 2t .. 1. . Let b be the coefficient of that 1 22t_1 p(2) + p(1) 11 22t 1 = = q(2) + 2s2t+la + b + [q(1) + (1)sa . Note first that F(k + 1) = F(0). In either case. We start by proving that it does hold for each k > 4. 2s2t+1 + (_1)s O 0. p(x) has a real root regardless of the coefficient of as claimed. since F(k + 1) . . .k+1.94 4. Our proof is thus complete. k + 1}.. Consider any polynomial F(x) with integer coefficients satisfying the inequality 0 < F(c) < k for each c E 10. Thus a=1 2s2t+1 + (_1)s is well defined such that a is independent of b and 22t_1 p(2) + p(1) = 0.1)G(x). x2t1 Problem 80 [IMO 1997 short list] Find all positive integers k for which the following statement is true: if F(x) is a polynomial with integer coefficients satisfying the condition 0<F(c)<k for c=0. which implies that there is a real root of p(x) in between 1 and 2..F(0) is a multiple of k + 1 not exceeding k in absolute value. Solution 80 The statement is true if and only if k > 4. Solutions to Advanced Problems x2t1 in p(x).1.
G(c) = 0. Note that for c = 1 and c = k. 2. for k = 2. (2) where H(x) is a polynomial with integer coefficients. k}.x) F(x) = x(4 . . it is not hard to find the following counterexamples: F(x) = x(2 .k + 1)(x .2)! > 1.1}.1)(k . More exactly. ... Thus F(x) .(x . if F(x) satisfies the given condition then 0 and k + 1 are roots of F(x) and F(0) for any k > 1. for k = 3. (k . k . k . it remains to show that H(1) _ H(k) = 0. . and for any c in this set.x)(x .. Hence H(c) = 0. Taking this into account..c) > k holds for each c {2. Solutions to Advanced Problems 95 where G(x) is a polynomial with integer coefficients..1)H(x)... (2) implies that k > IF(c) . k . . and if k > 3 then 2 must also be a root of F(x) .2)! . We established that the statement in the question holds for any k > 4..2)2 for k = 1. .2)(x . Since G(c) is an integer.3).4. (1) The equality c(k + 1 . 3. k > IF(c) .c)IG(c)I for each c E { 1.c) > 0. Note that the set {2. To complete the proof of our claim.. Consequently. Fork > 4. But the proof also provides information for the smaller values of k as well.1} is not empty if k > 3. (1) implies that JG(c)j < 1.F(0)j = (k .F(0).F(O) I = c(k + 1 .x) F(x) = x(3 . 3.F(0) = x(x .k . as it is equivalent to (c . . IH(c)j.
F3 .9F2n = 9F2n(F2n+2F2n2 . Solution 81 Note that F2n+2 . . The desired result follows from 9F2n+2F2nF2n2 .F2n2 F2n  F6F2 .+1 . 2.+2 2. whence 3F2n .F2n+2 .F2n2 = F2nF2n4 . (nEN).2F2n = F2n1 .. Setting a = 3F2n. Prove that 3 F2n  F2n3 +2 + F2n_2 9 3 .F 22n) _ 9F2n.F4 = 1.. and c = F2n_2 in the algebraic identity a3+b3+c33abc=(a+b+c)(a2+b2+c2abbeca) gives 27F23.3F2n = F2.F2n = F2n2. Solutions to Advanced Problems Problem 81 [Korean Mathematics Competition 2001] The Fibonacci sequence Fn is given by Fi=F2=1.9F2n+2F2nF2n2 = 0.96 4.Fn+2=Fn+i+F..2)F2n2 .F2n = F2n(3F2n2 ..F3 .F2.F2n) .F2n2 = 0 (1) for alln>2. Applying (1) twice gives F2n+2F2n2 = (3F2n .2F2n for alln>2. b = F2n+2.2 .
u(0)) for all x.R. this equation also holds for x = 0. Next. or f(x)(u(y) . y E R. Thus. y E R.1) for all x. Then f (x) 0 0 for all x A 0. It follows that there exists C E R such that u(x)1 _G f(x) for all x 0. y E R. y E R.1)ay + ay .4. Now suppose u : R .1 = (a' . To see that these work. take f (x) = x for a = 1. Thus. Solutions to Advanced Problems 97 Problem 82 [Romania 1998] Find all functions u : R * R for which there exists a strictly monotonic function f : R + R such that f(x + y) = f(x)u(y) + f(y) for all x. u(x) = 1+Cf (x) for x 0 0. f : R + R are functions for which f is strictly monotonic and f (x + y) = f (x)u(y) + f (y) for all x. If a # 1. which would contradict the fact that f is strictly monotonic. Solution 82 The solutions are u(x) = ax.1) = f(y)(u(x) .1. letting y = 0.1 f(x) f(Y) for allxy00. a E R+. since u(0) = 1. then f(x + y) = a"y .1 = f(x)u(y) + f(y) for all x. . we obtain f (x) = f (x)u(0) + f (0) for all x E R. That is. take f (x) = a' . so we must have u(0) = 1 and f (0) = 0. u(0) 1 would imply f (x) = f (0)/(1 . First. we have f(x)u(y) + f(y) = f(x + y) = f(x) + f(y)u(x). We must show that u is of the form u(x) = a' for some a E ][8+. u(x) .1 _ u(y) . f (0) = 0.
. . Since u(x) = 1 + C f (x) for all x.gEN. 3.. Otherwise. ZkEIZ2 zkE7Z3 By the Pigeonhole Principle..98 4. For i = 1. z2. . then u(x) = 1 for all x. and 300°. and u(p/q) = (u(p))1/1 = aplq for allpE7L. Prove that there exists a subset S of {z1. u is strictly monotonic. Then 1= zkER. y E R. Problem 83 [China 1986] Let Z1. . at least one of the above sums is not less than 1/3. Z2. zn be complex numbers such that IZiI+IZ2I+.. let Ri denote the region between Li and Li+1 (here P4 = f1). then u(n) = a" for all n E N. and Q3 be three rays from origin that form angles of 60°. Thus u(nx) = u(x)" for all n E Z.. Thus all solutions are of the form u(x) = ax. 22. 2. observe 1+Cf(x+y) 1 +Cf (x)u(y) +Cf (y) u(y) + C f (x)UM u(x)u(y) for all x. including the ray L. we have u(x) = ax for allxER. and we are done. 180°. Since u is monotonic and the rationals are dense in R. a E R+. Alternative 1 Let fl. Solutions to Advanced Problems If C = 0. ..+IznH = 1. with the positive xaxis.sou(x)=ax for allxEQ. and u(x) _ 1/u(x)forallx. respectively. Let a = u(1) > 0. z } such that I2z zES 6 Solution 83. x E R..sou(x)>0forallxasu(0)=1.i Izkl + E zkl + E Izkl.
. the lower bound can be further improved to 1/7f. Find all integer roots of P(P(x)) given that 0 is a root of P(x). Solutions to Advanced Problems 99 Say it's R3 (otherwise. 1 E Xk > 2 Zk ER3 zk ER3 zkl>2 1 36 1 1 Solution 83. Alternative 2 We prove a stronger statement: there is subset S of {z1i z2. which does not effect the magnitude of a complex number)..4... . By symmetry. 1: Zk zk ER3 as desired.+lznl (Ix11+Iy11)+(ix21+1y21)+. Consequently.. let Zk = xk + iyk. we apply a rotation. zn} such that Ez zES 4 For 1 < k < n. Problem 84 [CzechSlovak Match 1998] A polynomial P(x) of degree n > 5 with integer coefficients and n distinct integer roots is given.. Xk = IxkI > Izkl/2. .. we may assume that 4 <_ Ixkl xk>0 Consequently. Then 1 = C Iz11+Iz21+.+(Ixnl +Iynl) >IxkI+1: lxkI+1: lykl+1: lyklxk>0 xk<O Yk>0 Yk<O By the Pigeonhole Principle. at least one of the above sums is not less than 1/4. Let Zk = xk + iyk. Then for Zk E R3. E Zk xk>O 1 4 Comment: Using advanced mathematics.
We prove our claim by contradiction. ri = 0 < Ir2l < Ir3l < .r3).. Suppose. Since the ri are all distinct.1)(x ..rn.riI > 1 for all i... b.kI > IkI(Irnl kI) > Irnl 1. tion.r2i.. which implies that Irnl < 2.r3I I k .1..rn are integers. Also note that P(k) = ri0 for some io. Now we consider the following two cases: 1. we claim there are no other integer roots. a < b. a contra . so P(k)I < Irnl.x) reaches its minimum value at an endpoint x = a or x = b.rl.r2 I . on the contrary. that P(P(k)) = 0 for some integer k such that P(k) 0. IkI < Irnl.rl)(x . IkI > rnl. ri and IkI < Irnl.r4I equal . c be real numbers. this is only possible if P(x) = (x + 2)(x + 1)x(x . Solutions to Advanced Problems Solution 84 The roots of P(x) are clearly integer roots of P(P(x)). 1.rn).1)I > allkr2llkr3llkr4I > 2. or at both endpoints. a contradicLet a.rn)I > 2IkI > Irnl. < Irnl. 1 < IkI < Irnl . It follows that Irnl > IP(k)I > 2Ik(k .rn)I >.. 2. Thus Ik(k . Let P(x) = a(x .rn)I = Ikllrn .2). where a. Since P(k) 54 0. Since n > 5.2(Irnl 1). the function f(x) = x(c .. that is. so Ia(kr2). Then IP(k)I > 2Ik(k .r2) (X .(kr.)I.(x .. For x E [a. at most two of I k . we must have I k . and P(k)j > 2I k(k . b]..100 4.. I k . But then it is impossible to have k diction.
. Solution 85... which leads to the upper bound of the desired inequal Solution 85. . Alternative 1 Let zn = 1/yn and note that the recursion for yn is equivalent to zn+1 = Zn + 1 + zn. are defined in the following 1 + xn. Xn Xn xnyn= = xn1 Zn Note that 1 +n. Thus. this means that Zn = xn_1 for all n > 1. we have 2 2 xn_1 > x1 = 3 > 1 3' which implies that 2xn_1 > ity. V 1 + xn1' Thus 3xn_1 > xn. and the integer roots of P(P(x)) are exactly all the integer roots of P(x). Solutions to Advanced Problems 101 Thus our assumption was incorrect... which is the lower bound of the desired inequality. Prove that 2 < XnYn < 3 for all n > 1. . Problem 85 [Belarus 19991 Two real sequences x1i x2. XI = y1 = V ..1 > xn1 n_ Thus Xn > 2xn_1 and XnYn > 2. Also note that z2 = f = xi i since the xis and zis satisfy the same recursion. and xn+1 = xn + yn Yn+1 = 1+ l+y2 for all n > 1. Since xns are increasing for n > 1.4. and y1i y2i way: . Alternative 2 Setting xn = cot On for 0 < On < 90° yields (Xn+1 On)= COt On + 1 + COt2 en = COt On + CSC On = cot 2 .
Prove that it is possible to dissect the interval [0. What about cubic polynomials? ([a. the total difference of P(x) on the red intervals is equal to that on the blue intervals. b). the total difference of P(x) on red intervals is equal to that of P(x) on blue intervals. we can see the relationship 1 yn xn1 used in the first solution. Similar calculation shows that yn = tan(2Bn) _ 2 tan 0n 1 . . b). We prove a more general result. let S + c denote the set obtained by shifting S in the positive direction by c. for every polynomial P(x) with deg P < k. Problem 86 [China 1995] For a polynomial P(x). It is always possible to dissect interval Ik = [0. It follows that xnyn = I . 1 Comment: From the closed forms for xn and yn in the second solution. = 2 0 1. And since for n > 1 we have Bn < 30°. (a. Lemma Let t be a positive real number.P(a). For a positive real number c and a set S C_ IR. for every quadratic polynomial P(x). and let k be a positive integer. b] (a. we have in general 0.tan 2 Bn 2 . b]) as P(b) . 1] into a finite number of intervals and color them red and blue alternately such that. let / P denote the difference of polynomial P on i. 2kf] into a finite number of intervals and color them red and blue alternatively such that. we also have tan2o n < so that xnyn < 3. Solutions to Advanced Problems Since 01 = 30°. Solution 86 For an interval i. define the difference of P(x) on the interval [a.102 4. tang On is positive and xnyn > 2.tang On Since tan On 54 0.
or =rER. > rERn Abf + E Or9 _ E Arf + E Obg bEBn rER. the total differences of P on Rn is equal to that of P on B. But note that if intervals i1 = [a1i b1] and i2 = [b1. Define g(x) = f(x + 2n1) and h(x) = f(x) . where n is a positive integer. 21]. and. . = 0. Then deg h < n. c1] are in the same color.g(x). and Bn+1 = Bn U (Rn + 2n1). Orh. we can just use intervals [0. It is easy to see that a linear or constant polynomial has the same difference on the two intervals. Solutions to Advanced Problems 103 Proof We induct on k. By the induction hypothesis. there exists a set Rn of red disjoint intervals and a set Bn of blue disjoint intervals such that Rn f1 B. Obh bEB. U Bn = In. 1] and (2. that is.4. that number may be removed from one of them. the total difference of f on B' is n+1 equal to that of f on Rn+1 The only possible trouble left is that the colors in B'+1 U Rn+1 might not be alternating (which can happen at the end of the In and the beginning of In + 2n1). R. for any polynomials P(x) with deg P < n. then Ai1f + 22f = 23f7 where i3 = [a1i c1].) It is clear that Bn+1 and R'+1 form a dissection of In+1 and. For k = 1. Suppose that the statement is true for k = n. for any polynomial f with deg f < n + 1. rEBn It follows that obf = bEBn+l rER'ri}1 where Rn+1 = Rn U (Bn + 2n1). Now consider polynomial f (x) with deg f < n + 1. (If R'+1 and both contain the number 2n1.
. . Taf puts it in one of the empty spaces.104 4.. Mr. n. The given polynomial becomes x(x ." Problem 87 [USSR 1990] Given a cubic equation x3+x2+x+_=0. Solutions to Advanced Problems Thus. Who has a winning strategy? Solution 87 Mr. in Bn+1 URn+1. Thus. Fat can pick 0 first. Mr. If Mr. obf = > orf. and p are three positive integers such that m2 + n2 = p2. Fat wins the game if the final equation has three distinct integer roots.mnp) (x + mnp). where m. for every polynomial f (x) with deg f < n + 1. yielding the polynomial equation x3+bx+c=0. we can simply put consecutive same color intervals into one bigger interval of the same color. Let the polynomial be x3 + axe + bx + c. bEB. Taf chooses a = 0. Mr. Fat has a winning strategy. Fat then picks the number (mnp)2.+l rER. Taf chooses b = (mnp)2. We consider the following cases: (a) Mr. Fat and Mr. Mr. Taf are playing the following game. there exists a dissection In+1 = Bn+1 U Rn+1 such that. Fat chooses a real number and Mr. then Mr.+i This completes the induction and the proof of the lemma. In one move. Mr. it is clear that the answer to each of the given questions is "yes. Fat will choose c = 0. Setting first f = a and then f = a in the lemma. After three moves the game is over.
where p = m2(m + 1)2(m2 +m+ 1)2. yielding the equation x3+ax2+c=0. where m is an integer greater than 1.p2).m(m + 1)q]. where q=m2+m+1. then Mr. then Mr.n2p2 . Mr. The given polynomial becomes (x + m2)(x + n2)(x . .(m + 1)q] [x . Fat then picks the number m2(m+ 1)2(m2 +m+ 1)3. Fat will choose b = m2n2 . Taf chooses b = 0. Fat can choose c = m8(m + 1)8(m2 + m + 1)6. (b) Mr. Taf chooses c = (mnp)2. Taf chooses a = m2(m + 1)2(m2 + in + 1)3. The polynomial becomes (x .p2m2. If Mr. Taf chooses c=m2(m+1)2(m2+m+1)3.mp) [x + (m + 1)P1 [x + m(m + 1)p]. then Mr. Solutions to Advanced Problems 105 If Mr. Fat can choose a=(m2+m+1)2. If Mr. The polynomial becomes (x + mq) [x .4.
Prove that f is the zero function. 1. Mr. we obtain f(z_(k+(')=0.21.+f(A. 2 Problem 88 [Romania 1996] Let n > 2 be an integer and let f : 1[82 > R be a function such that for any regular ngon A1A2 . j=1 .1)(b .27... Then the condition is that for any z E C and any positive real t.. Taf chooses c = 0.. . ..a) or x(x .1)(x . j=1 In particular.0 and a + b = 1. Fat needs only to pick two integers a and b such that ab(a . The polynomial becomes either x(x . Below is an example of what Mr.0. Taf could do: F 0 T a b F T b F 0 3600 " Roots 60.9. c 2 . n f(z + W) = 0. n.9.49.b). An.1) yc.49 14.1)(x .rz/n.106 4.1 0. .25 8. . Solutions to Advanced Problems (c) Mr. a b 3.60 c " 4.0.42 c . Fat and Mr. 42749. Solution 88 We identify 1182 with the complex plane and let ( = e2.9..) =0. for each of k = 1.7 a 2 3 .7 49 3 3 481 16. Then the problem reduces to problem 40 of the previous chapter. 8. Our proof is complete. f(A1)+f(A2)+.
1 gives p2 AP1) = k=0 f(k)(p ..(x . m=1 k=1 For m = n the inner sum is n f (z). the inner sum again runs over a regular polygon..1) .k .p + 2) k=0 k.(x . . Solutions to Advanced Problems 107 Summing over k.0 (mode). that is.k + 1)(x .. Prove that d > p .4. ...2. Thus f (z) = 0 for all z c C.k .. (ii) for every positive integer n.. p2 f(x) f(k)x. the remainder upon division of f (n) by p is either 0 or 1..k) (_1)p k k! E f (k) k=0 (1)p It follows that (1)kkt ( J)pkk! J p2 f (k) k=0 (mod p). Problem 89 [IMO 1997 short list] Let p be a prime number and let f (x) be a polynomial of degree d with integer coefficients such that: (i) f (0) = 0.. Solution 89.2. Then by Lagrange's interpolation formula the polynomial f (x) is determined by its values at 0. S(f) := f (0) + f (1) + .1. f (k) p2 k=0 k!(1)pk (p .1). we have n n EEf(z(1(m)(k)=0. assume that d < p . 1. for other in. p . hence is 0.1)(p  2).(p . Alternative 1 For the sake of the contradiction. f (1) = 1. (1) .2)! Setting x = p .. + f (p .
Alternative 2 Again.0 (mod p) for some 1 < i < We claim that Si .. where j denotes the number of those k E {0. and our proof is complete. 1. 1. Therefore..Si1 . Now suppose that So .Si . . which contradicts M. . The statement is true for i = 0 as So = p. . i0 where Si = k=0 (mod p) for all i = 0. (ii) implies that S(f) . and let f (x) = ap_2xp2 + .1 (mod p). So S(f) A 0 (mod p).. Solutions to Advanced Problems On the other hand.2. Note that 0_pi+i =Eki+1 Eki+1 _E[(k+1)i+iki+i] k=1 p p1 p1 k=0 k=0 E(1)k3 =(i+1)S+ k=0i=0 (i±1)5 0 i (i + 1)Si (mod p) Since 0 < i + 1 < p. p2 S(f) = i=o aiSi . The rest is the same as in the first solution. it follows that Si .7 (mod p).. Assume that d < p .0 (mod p). We use strong induction on i to prove our claim. . Then P1 p1 p2 p2 P1 p2 S(f) _ k=o P1 1 a k=0 i=0 i=0 k=0 aiSi. + alx + a0.2. p . This completes the induction and the proof of the claim.2.0 (mod p)..1} for which f (k) . we approach the problem indirectly.108 4. Solution 89.1. Thus our original assumption was wrong.0 p . .. But (i) implies that 1 < 7 < p . p .
1. 1. In particular.1 n ak < 2n for some positive integer k < n. n. Thus our induction step is complete.. Consider the sequence ao.k)2 n (2nk+1)(2nk1)=(2nk)z1 <(2nk)2.1) . .(n .1 1. .. For k = 1. n+1 n (1) 2nk+2 <ak < 2nk We use induction to prove both inequalities. for k = n . Prove that . Solutions to Advanced Problems 109 Problem 90 Let n be a given positive integer. . a y = ak+i < 2n . 2. for k = 1..1 <a. Alternative 1 W e prove a stronger statement: For k = 1 . n Solution 90.4. a1. a. n..<1. with ao = 2 and z ak_1 ak = aki + n . it is easy to check that ai Suppose that _1 2 1 _ 2n+1 4n + 4n n < 2n .. We first prove the upper bound. Then ak ak+i Ti k' (n + ak) Cn + 2nn k 2n 1 k < as 2nk1' n(2n . . 2..k + 1) (2n .
it is easy to check that a1 _ 2n+1 4n n+1 > 2n+ 1 Suppose that n+1 ak> 2nk+2' for some positive integer k < n. Then It follows that n+1 ak+1 . we obtain n+1 anak+1> 2n(n1)+1 as desired.110 4.2n .. This complete the induction step.. Thus 1 an > an1 > .1. . It is clear that aks are increasing.k + 1 n+1 (n + 1)2 (2nk+1)(2nk+2) +n(2nk+2)2 n+1 (n+l 2nk+2)2 n _ 2nk+21 2nk+1 1 2nk+2)2  n+1 1 n .... Now we prove the upper bound.2. Solutions to Advanced Problems as desired. > ao = 2. Alternative 2 Rewriting the given condition as 1 _ 1 n ak_1 ak1(n + ak1) 1 1 ak ak1 ak1 + n + ak1 n 1 1 yields 1 ak_1 ak n+ak_i (2) for k = 1. For k = 1. for n = k . _n+1=In+2 >1n n+2 Solution 90.n. In particular..2nk+1 ) 1 > 0.
n. (b) Let A = > 1 aj and B= Prove that AA < RB. not all zero.n.aixni positive real root R. . an > n+1 _ n+2 n+2 > l n' which is the desired lower bound.. Solutions to Advanced Problems 111 Thus (2) implies that 1 1 1 ak1 ak n for k = 1. Since an < 1.. . .2. .an = 0 has precisely one 1 jai.1 <1 an >1=21=1.. Telescoping summation gives 1 ao or 1 1 .. . 2.an_ix . which gives the desired upper bound. an ao that is. .. 2. . an < 1. Then (2) implies ak_1 ak n+ak_i > n+ for k = 1. and. Problem 91 [IMO 1996 short list] Let a1.. a2. n.. . since aks are increasing. 2 = ao < ak < an < 1 for k=1.. Telescoping sum gives 1 1 n n + 1 ao or 1 1 an n n+2 an < ao n+l 1 1 n+1' 1 that is.4. (a) Prove that xn ... an be nonnegative real numbers.
Since . It follows that lnA+jlnR) > 0 j=1 or n n 1: cj In A < E jcj In R. by Jensen's inequality... Note that f decreases from oo to 0 as x increases from 0 to oo. we obtain the desired inequality. oo).+Xn. y) with real coefficients such that P(x. y) = (x2 + y2 . that is. Problem 92 Prove that there exists a polynomial P(x. Then cjs are nonnegative and E cj = 1. y) > 0 for all real numbers x and y.7 = aj/A. j=1 j=1 Substituting c. Hence there there exists a unique positive real root R of the given polynomial.+ a2 x an 2+. . Solution 92 We claim that P(x. Comment: Please compare the solution of (a) with that of the problem 15 in the last chapter. c3 l 1nRj n 1n l =ln(f(R))=0.In x is a convex function on the interval (0.112 4. unique real number R such that f (R) = 1. Solutions to Advanced Problems Solution 91 (a) Consider the function f(x)= 1. which cannot be written as the sum of squares of polynomials with real coefficients.1)x2y2 + 1 27 is a polynomial satisfying the given conditions. (b) Let cj = aj/A. y) > 0 for all real numbers x and y. First we prove that P(x.
(X. Then.4. comparing those of x2 and y2 gives n I2=0. deg Qi < 3. then applying the AMGM inequality gives (1x2y2)x2y2 < or 1x2y2+x2+y2 3 1 (  3 ) . or Hi=12=0 for all i. of terms x6 and y6 gives or Ai = Di = 0 for all i. then it is clear that P(x. comparing those of x4 and y4 gives n n Ei i=1 i=1 Gi =0. Thus Qi(x. y) > 0. y)2. . assume that n P(x. For the sake of contradiction. Solutions to Advanced Problems 113 If x2 + y2 . or Ei = Gi = 0 for all i.1 > 0. We are left to prove that P(x.y) = Atix3 + Bix2y + Cxy2 + Diy3 +Eix2 + Fixy + Giy2 + Hix + Iiy + JJ. Thus. y)2. y) = Bix2y + Cixy2 + Fixy + Ji. in P(x. Qi(x. if x2 + y2 .27* 1 27' (x2 +Y 2 1)x2y2 > It follows that P(x. Next. Since deg P = 6. Y) = i=1 Q. y) > 0.1 < 0. y) cannot be written as the sum of squares of polynomials with real coefficients. Comparing the coefficients. y) and En 1 Qi(x.
114
4. Solutions to Advanced Problems
But, finally, comparing the coefficients of the term x2y2, we have
n
F2 _ 1
which is impossible for real numbers F. Thus our assumption is wrong, and our proof is complete.
Problem 93 [IMO 1996 short list]
For each positive integer n, show that there exists a positive integer k such that
k = .f(x)(x + 1)2n +
g(x)(x2n + 1)
for some polynomials f, g with integer coefficients, and find the smallest such k as a function of n.
Solution 93
First we show that such a k exists. Note that x + 1 divides 1  x2n. Then for some polynomial a(x) with
integer coefficients, we have
(1 + x)a(x) = 1  x2n = 2  (1 + x2n)
or
2 = (1 + x)a(x) + (1 +
x2n).
Raising both sides to the (2n) th power, we obtain
22n = (1 + x)2n(a(x))2n + (1 + x2n)b(x),
where b(x) is a polynomial with integer coefficients.
This shows that a k satisfying the condition of the problem exists. Let ko be the minimum such k. Let 2n = 2' q, where r is a positive integer and q is an odd integer. We claim that ko = 29. First we prove that 29 divides ko. Let t = 2'. Note that x2n + 1 = (xt + 1)Q(x), where
Q(x) = xt(q1)
The roots of xt + 1 are
cos

xt(q2) +
...  xt + 1.
C (2m  1)7rl
J + i sin
((2m 1=
t
J,
m = 1, 2, ... , t;
4. Solutions to Advanced Problems
115
that is,
R(x) = xt + 1 = (x  wl)(x  w2)...(x  wt).
Let f (x) and g(x) be polynomials with integer coefficients such that
ko
= f(x)(x + 1)2n+ g(x)(x2n + 1)
= f (x)(x + 1)2n + g(x)Q(x)(xt + 1).
It follows that
f (w,,,)(wm, + 1)'ti = ko,
1 < m < t.
(1)
Since r is positive, t is even. So
2=R(1) =
Since f (wl) f (w2) .
(1+wi)(1+w2)...(1+wt).
f (Wt) is a symmetric polynomial in w1i w2, ... , wt with integer coefficients, it can be expressed as a polynomial with integer
coefficients in the elementary symmetric functions in W1, W2....
and therefore
F =
f(wl)f(w2)...f(wt)
I Wt
is an integer. Taking the product over m = 1, 2, ... , t, (1) gives 22n F = ko or 22' 'gF = k2' . It follows that 2g divides ko. It now suffices to prove that ko < 2g.
Note that Q(1) = 1.
It follows that
Q(x) = (x + 1)c(x) + 1,
where c(x) is a polynomial with integer coefficients.
Hence
(x + 1)2",(c(x))2, = (Q(x)  1)2n = Q(x)d(x) + 1, for some polynomial d(x) with integer coefficients. Also observe that, for any fixed m,
WM
{2j1
(2)
: j = 1 2, ... , t} = 1W1, W27 ... 7Wt
Thus
(1 + W,,,,)(1 + W3,) ... (1 +w2, t1) = R(1) = 2,
and writing
(1+W,,,,)(1Wm.+wn...
+w2ri2),
116
4. Solutions to Advanced Problems
we find that for some polynomial h(x), independent of m, with integer coefficients such that
(1 +w,)th(w,) = 2.
But then (x + 1)h(x)  2 is divisible by xt + 1 and hence we can write
(x + 1)h(x) = 2 + (xt + 1)u(x),
for some polynomial u(x) with integer coefficients. Raising both sides to the power q we obtain
(x + 1)2n(h(x))q = 2q + (xt + 1)v(x),
where v(x) is a polynomial with integer coefficients. Using (2) and (3) we obtain
(x +
1)2n(c(x))2n(xt
(3)
+ 1)v(x)
= Q(x)d(x)(xt + 1)v(x) + (xt + 1)v(x)
= Q(x)d(x)(xt + 1)v(x) + (x + 1)2n(h(x))q  2q,
that is,
gl(x)(x2n + 1),
21 = fl(x)(x + 1)2n +
where fl (x) and gl (x) are polynomials with integer coefficients. Hence ko < 2q, as desired. Our proof is thus complete.
Problem 94 [USAMO 1998 proposal, Kiran Kedlaya]
Let x be a positive real number.
(a) Prove that
°O
n(x +1) (x+n)x'
(b) Prove that
00
(n  1)!
_
1
(n  1)!
n(x + 1)...(x +n)
00
1 (x + k) 2
n=1
k=1
1) 1 X 1 E (x + 1) (n ... by (a). (b) Let 00 (n . the result in (a) gives 00 f(x .4.1) .(x + n)' f(x) _ n= Then.. x In particular.. k=1 (1) On the other hand.(x + n) _ Note that x 1 1 n(x+n) It follows that n!x n x+n n(x + .1)! 1) n! (x + (x + n)' and this telescoping summation yields the desired result.(x + n . Solutions to Advanced Problems 117 Solution 94 We use infinite telescoping sums to solve the problem..1)! + 1). f (x) converges to 0 as x approaches oo...f (x + k)].f(x) _ 00 1 (n .. (x + n) _ (x + (n .1)! n(x + 1).1)! (x + n) . so we can write f as an infinite telescoping series f (x) _ )[f (x + k . f (x) < 1. (a) Equivalently. we have to show that E °O n!x n(x + 1).1) .
xn2 }. .b).bl is a solution in nonzero integers... . and let XCS={1.a. .b. c2 (i = 1. . in which case x = b1 . bi. zo) in nonzero integers. 2.. Problem 95 [Romania 1996] Let n > 3 be an integer. b2. cx) (i = 1..c1i y = c1 .c) = (b .n3} be a set of 3n2 elements. Solutions to Advanced Problems Substituting the last equation to (1) gives f(x) = as desired. is contained in the subset of S x S of pairs whose sum is at most n3.1) 2 ns 2 By the Pigeonhole Principle.a1. z = a1 . 2. on the other hand. 3) in X such that the system alx+bly+clz = 0 a2x + b2y + c2z = 0 a3x+b3y+c3z = 0 has a solution (xo..2. X2 = {xn2+1 . and put X1 = {xl. some three triples (a2. The range of f. X3 = Define the function f : X1 X X2 X X3 + S x S as follows: f(a.. The domain of f contains n6 elements. a set of cardinality n31 k=1 1= n3(n3 .. x2n2 }.. . Solution 95 Label the elements of X in increasing order x1 < ... c . < X3n2.... Prove that one can find nine distinct numbers a2. {x2n2+1. yo. 3) map to the same pair.118 4.x3n2}..
and. = 1. c2) are identical. Hence the nine numbers chosen are indeed distinct. bl. Prove that xl+ x2+ + xn>(n1) 1 xl + 1 x2 +. we have 1 1 1> or 1+xi + l+xj _ 2+xi+xj (1+xi)(1+xi) 1+xi+xj+xixj > 2+xi+xj. b2. and that al = a2 implies that the triples (al.+ 1 xn Solution 96 By symmetry.1+xj Proof Since n > 3.. Thus xi xj 1 + xj ( xi(1 + xj)  xj(1 + xi) 1 + xi (1 + xi) (1 + xj) xi  x3)(1  xixj) (1 + xi)(1 + xi) > 0. Problem 96 [Xuanguo Huang] Let n > 3 be an integer and let Xi.. since n 1 VT > xj = 1. x2i Suppose that . It follows that xixj > 1. xn be positive real numbers. cl) and (a2. < xn. we may assume that xl < x2 < following lemma. a contradiction. Solutions to Advanced Problems 119 Note that ai cannot equal bj since Xl and X2 are disjoint. .4. 1+xi . We have the Lemma For l < i < j < n.
.. By the lemma.. Solutions to Advanced Problems as desired.120 4.. > 1 x2 xn' it follows by the Chebyshev Inequality n 1 z=1 VT i=1 xi < 1 + xi n xi 1 i=1 xi 1 + xi i=1 1+xi = 1. we have xi i=1 1 + xi x=1 or 1 + xi "/x n 1 n2 n xi i=1 1 n + xi u xi '=1 + ti=1 xx >n2. (2) Multiplying by on both sides of (2) and applying (1) gives n n x n > 1 Z which in turn implies the desired inequality.> xn x1 > 1+x11+x2_ _1+xn and. we have x2 >.. since 1 1 x1 > . (1) By the CauchySchwartz Inequality.
X2 Yi . For the sake of contradiction..yjI L) x .x2).4. x2.. ( 1 1 xx1 xx2 nlyi . it shares none with Q.. otherwise. Solutions to Advanced Problems 121 Problem 97 Let x1..e. x.xk. for k = 1. be distinct real numbers. assume that d< minlxixjl =minx. .. . we may assume that d i:xj nlya .x1)(x . we have 1 1 Sk +d Sk . xj =mins si i<j i<j i#j Since P has no double roots. Define the polynomials P(x) = (x ....xn) and Q(x) = P(x) Let Y1. setting i = 1 and i = 2 gives _ k=1 Sk  1 =0. . n...(x .xn . 2. we may also assume that s1 < s2 < X2 > . Show that inlxix31 < Solution 97 By symmetry. By symmetry.+ n 1 Yi .. . i.yjI = y2Yi < sn. . =0.+ 1 Yi 'xn =Q(yl)=0. Y2. Then P(yi) or 1 1 (1) yi . (2) Sk + d k=1 We claim that there is a k such that Sk(Sk + d) < 0.xn In particular. +.X1 Yi .. > xn. yn_1 be the roots of Q.. x1 > Let sk = y1 ..Xi + 1 Yix2 + 1 +.
. we obtain 1 1 Sk + d Sk+j for all k = 1. we obtain sk + d < Sk+j. which in turn implies that n n 1 k=1 Sk +d k=1 Sk which contradicts (2). Therefore. < Si+j < 0 < Si+j+l < . suppose that S1 < . Let j be the number of ks such that sk (sk+d) < 0. In fact. since Sk + d and Sk+j have the same sign. < Sni then s1+d< <si+d<0<si+1+d< <Sn+d. .. and. sk < 0 < sk+d. Thus our assumption is wrong and our proof is complete.122 4.. that is Sk + d > 0. nj k=1 Sk+j or nj k=1 Sk 1 + d' 1 (3) n nj < k=j+1 sk k1 sk + d 1 Also note that E 1 <0< E k=1 Sk k=nj+1 Sk + d n (4) Adding (3) and (4) yields n 1 k=1 Sk k=1 Sk +d which contradicts (2).. .j. 2.. that is. < Si < Si+1 < . n . Solutions to Advanced Problems for all k. Then Sk+j > 0 if and only if k > i + 1. From (1). A simple but critical fact is that sk + d and Sk+j have the same sign..
g is irreducible. Therefore. and ( . Then g(h(r)) = f (r) = 0... we can write f (x) = A(x)B(x) where A and B have degree 2n.. so s := h(r) is a root of g. +. ao. a2n1.) is even for 1 < k < 2n .1.B(x) Thus. by unique factorization we must A(x) . the polynomial P X) = (x2 + integer coefficients.. are even. by Eisenstein's criterion. we have Q(s) C Q(r). Now let p be a nonconstant factor of f. Since f is monic. Since x2 + x + 1 is irreducible in Z2 [x]. Since s = r2 + r E Q(r). . A(x) = a2 B(x) = x2" + b2. x)2' +1 cannot be written as the product of two nonconstant polynomials with Solution 98 Note that f(x) = g(h(x)). bo are odd and all the other coefficients then a2. Solutions to Advanced Problems 123 Problem 98 [Romania 1998] Show that for any positive integer n. we may assume without loss of generality . b2. where h(x) = x2 + x and g(y) = y2" + 1. + ao. Thus every factor of f has degree at least 2n. Next. if f is reducible.x2n .4. and let r be a root of p. so deg p > deg(Q(r)/Q) > deg(Q(s)/Q) = deg g = 2n. + bo.. Since g(y+1) = (y+1)2 + 1 =yen + k=1 (2m)k) +2.. observe that f(x) = (x2+x)2"+1 x2ii}l + have x2n + 1 .(x2 + x + 1)2n (mod 2). if we write (x2 + x + 1)2 ' x2 + x2 1 + 1 (mod 2).
aobo = f (0) = 1. c3 E R. so ([x2n+2n1] + [X2'']) (f(x)) =2 (mod 4). ([x2n+2"'] + [X2'' ])(g(x)h(x)) 2i1 2" E a. Solutions to Advanced Problems that a2n = b2n = 1. a2i a3 E R.124 4. not all zero. b E R. also. t be two real numbers such that f (s) f (t). but ao > 0.0 as a2n1 + But is even. f3 : R * R be functions such that aifi + a2f2 +a3f3 is monotonic for all ai.c f is a constant function.b2n+2n1 =2n1 1 + E aib2n1i i=o +a2n1b2n + aob2n1 +a2n1bo 2(a2n1 + b2n1) . Solution 99. Problem 99 [Iran 1998] Let fl. Prove that there exist c1i c2. Proof Let s. Alternative 1 We establish the following lemma. . 11) is odd by Lucas's theorem. f2. g : R > R be functions such that f is nonconstant and a f + bg is monotonic for all a. so ao = bo = 1. Lemma: Let f. bo > 0 as f has no real roots. Then there exists c E R such that g . Hence f is irreducible. (mod 4) n ([x2n+2"'] n + [x2n 1])(f(x)) = ( 22 _1 =2 22 _1 _ 11) 1 and (2?n. Therefore. such that Cifl(x) + C2f2(x) + c3f3(x) = 0 for all xER. a contradiction.
Since h(x3) # r = h(xi). Then hl is monotonic.f (t) 0 is fixed. Therefore our assumption is false and h is a constant function. Suppose. But hi(s) . Since f (s) .9(x2) f(xl) . Since f (xi) 0 f (X2). Now we prove our main result.f(x3) hence c . which is impossible.9(x3) f(xi) .f(t)) = (f(s) .di(f(s) . Let C 9(x1) .dl.dl. We claim that h = g . So there exists some d1 such that h1 is both strictly increasing and decreasing.d1. C 9(XI) . that there exists x3 E R such that h(x3) . on the contrary. c 54 9(xi) . f3 are all constant functions. depends only on the sign of c . Then r = h(xi) = h(x2) and the monotonicity of h1 = g . f2.d1.d1f for some dl E R. We prove our claim by contradiction. .d1). at least one of f (xi) f (X3) and f (X2) 0 f (X3) is true.f(x2) and h = g .E r.cf.c f is a constant function.f(t))(u . Since f is nonconstant.f(t) Let hl = g . the result is trivial. Without loss of generality. suppose that f1 is nonconstant.4. Solutions to Advanced Problems Let 125 g(s) . for each d1. If fl. the monotonicity of h1 depends only on the sign of u .d1 0 c' .g(t) f(s) .g(t) .d1 f. there exist x1i x2 E R such that f (x1) f (x2).hi(t) = g(s) . Without loss of generality. suppose that f (xi) 0 f(X3) Let .9(x3) f(xi) f(x3)  Then the monotonicity of h1 also depends only on the sign of c' .
c3) orthogonal to that subspace. .c3) = (c'dcd'. a contradiction. so f3 = c' fl + d'. 0). 0. d = d' = 0 and f2i f3 are constant multiples of fl. d) j4 (0.(x1).f2(x). 0). and its columns also span R3. Alternative 2 Define the vector v(x) = (f1(x). 1. d'. we apply the lemma to f1 and f3.cd'. c2i C3 such that 3 Ci(ff. d' are constant. i=1 and the function cifi+c2f2+c3f3 is then not monotonic. d. Solution 99. so f2 = cf1 +d. fi(x3)) = (0. we apply the lemma to f1 and f2. and so the 3 x 3 matrix A with Ai3 = fj(xi) has linearly independent rows. c'. c2. Otherwise. We have (c'dcd')fl+d'f2df3 = (c'dcd')fl+d'(cf1+d)d(c fl+d') = 0. Here c. and then c1 fl (X) + c2 f2 (X) + c3 f3 (X) = 0 for all x R. fi(x2). But then A is invertible. v(x3) are linearly independent. Solutions to Advanced Problems For a3 = 0.126 4. If (c'd .d'. Then the problem is again trivial. This means we can find c1. v(x2). then let (c1ic2.d) and we are done. Then there exist x1 < x2 < X3 E R such that v(x1). So suppose the v(x) span all of R3. for a2 = 0. If the v(x) span a proper subspace of 1183.f3(x)) forxeR. we can find a vector (Cl.
. (x + yi l) (x + yi 2) . x2. .ys) = i+j=k 3. we say a nonnegative integer k is bad for n if k = 2n .. .. facts: 1. . pl(x1) = xl is not even and k = 1 is bad for n = 1 as k=1=212°=2n2°.4..ys)]i 9k(x+y1. For any fixed positive integer n.Y2. . Srxkr Al ... y2^_1 be the sums of nonempty subsets of xi. Solutions to Advanced Problems 127 Problem 100 [USAMO 1999 proposal. Srl 1: S1<32< <S.. For n = 1. . P3 = YiY Y3 = XiX2 + xlx2 Solution 100 We say a polynomial pk is even if every coefficient of pk is even. Suppose that the claim is true for a certain n. Qk(yl.yr)Qj(yr+l.. .. xn) is not even if and only if k is bad for n. if n = 2. We now consider pk (x1i X2... Richard Stong] Let x1i x2. xn) be the kth elementary symmetric polynomial in the yj (the sum of every productof k distinct yi's). x1 + x2 and p1 = yl + Y2 + Y3 = 2x1 + 2x2i P2 = Y1Y2 + Y2Y3 + Y3Y1 = xi + x2 + 3x1x2. We have the following useful. .YS1 ys2 .. y3 are x1.. xn+l) Let ok(y1iY2.... .Y2. 2....Ys) 0) =Qk(Y1.x+y2.. ... we say Pk is not even. x2i . .. ys) be the kth elementary symmetric polynomial.. y2. For all1<r<s.2j for some nonnegative integer j. For which k and n is every coefficient of pk (as a polynomial in xl. . Let pk(xl."'.ys).x+Ys) T. Qk(y1.. o"i yi. then y1i y2. (x + yq ) ik k 1: r=O sl . be variables.. and let y1.... Otherwise. . but easy to prove.."'. xn) even? For example. x. We will show by induction on n that pk(xl. .
. . xl + xn+1. . every term appears twice except the term x2... taking coefficients modulo 2.2t. that is k = 2n+1 . . x2i xn+l) is even unless k = 2n+1 .. Xn) i+j=k n + t=0 pk2^ (xl... + xn+1)1 E i+j=k r=0 (2n r r Pi(xl. xn)xn+1' . xn)pr(x1. this term is even unless k/2 = 2n ... xn+1 pi (x1. xn)x 2t .e.. x1 + x2 + ..xn) i+j=k Qj (xn+1.. By the induction hypothesis..128 k 4...r Ik r0r(y1.xn+1) [pi(xl. xn)Pj (x1. kisbadforn+1: . for some 0 < t < n. Therefore. x2. r=0 Hence pk(xl.2v+1 It follows that Pk (XI.. By the induction hypothesis..x2. .2"... By the induction hypothesis.. k2n=2n2" forsome0<u<n.. note that jr \jr/ 2t is even unless j . x2. every term of pr(xl.. . x2.. x2. .. x2 xn) is even un less r = 2" .ys) x kr ....xn)2. xn)p2^2t (x1. pk(x1. ..2' for some 0<w<n+1. x2. that isk=2n+l2" Pk/2(x1) for k even.. i.r = 0 or j .. .r = 2t. for some 0 < v < n.. Solutions to Advanced Problems /S .... . the terms in the first sum are even unless In the second sum. . . For such r.
. where g(u) = 2[((7+6+..1)x(x + 1)(x + 2)g(x2) = 0. x2i .. xn+1) to be odd. a2i .(x + alo) has exactly 5 different real roots. Solution 101 We show that {a1.4.+3)U2+ If g(u) = has no real solutions. alo such that the equation (x . the condition that k is bad for n + 1 is also sufficient for pk(x1. . that is. ' . both ul and u2 are negative.(x . 6.a2). .. note that the odd coefficients in Pk (x1. alo} _ {7. . ....a. .. x2. Our proof is complete. Problem 101 [Russia 2000] Prove that there exist 10 distinct real numbers a1.. then U1 +U2 < 0 and ulu2 > 0. It follows again that g(x2) = 0 has no real solutions. 2} is a group of numbers satisfying the conditions given in the problem.. .. Solutions to Advanced Problems 129 Furthermore. Our induction is complete.2)(x ..alo) = (x + al)(x + a2).. then g(x2) = 0 has no real solutions. xn+1) occur for different powers of xn+1 Therefore..) (x . If ul and u2 are real solutions of g(u) = 0... The given equality becomes (x . a2.
.
.. xn and y1.. and b1. < yn.. Let x1. 2. .a..GLOSSARY ArithmeticGeometric Mean Inequality (AMGM Inequality) If a1. a2... y2. .+a.) n with equality if and only if a1 = a2 = (ala2. an are n nonnegative numbers.+a2+. b2... ... . . + anbn)2 with equality if and only if ai and bi are proportional. . Chebyshev Inequality 1. Binomial Coefficient The coefficient of xk in the expansion of (x + 1)n is n _ n! k) CauchySchwarz Inequality k!(n . . bn (al + a2 + . yn be two sequences of real num bers. such that x1 < x2 <_ Then <_ xn and yl < Y2 < . yn be two sequences of real num bers.. Let x1i x2 . y2. a2. xn and y1. i = 1. ... x2 .. ..k)! F o r any real numbers al. an... n.. 1 (xl+x2+ +xn)(yl+y2+ +yn) < xlyl+x2y2+ +xnyn. such that x1 > x2 >_ Then (X > xn and yi > Y2 > > yn . + a2b2 + ... 2.... . + an)(bi + b2 + _ + bn) > (alb.. ..) = an. then 1(a..
(xi . (xi . b] and A1. Then BC2 = AB2 + AC2 .(x . . . be arbitrary real numbers. . . . A. z = 0. xn can be (uniquely) expressed as a polynomial in the si. . .. sn. sk is the sum of the products of the x... polynomial given by (x . and let yo. x2. Fn+2 = Fn+l + Fn. . Jensen's Inequality If f is concave up on an interval [a.. y. Then there exists a unique polynomial P(x) of degree at most n such that P(xi) = yi. + Anxn) for any xl.132 Glossary De Moivre's Formula For any angle a and for any integer n.x0) .. xn. + Anf (xn) > f (A1x1 + A2x2 + .. It is a basic result that every symmetric polynomial in x1... .xn) .. taken k at a time.. .. Elementary Symmetric Polynomials (Functions) Given indeterminates xl. .. ..xi1)(x xi+l). and vice versa.x0) .2AB AC cos A... A2.xn) P(x) = i=0 yi. ... n... .+sn_1t+sn.(x . b]. the inequality is reversed. Lagrange's Interpolation Formula . xn in the interval [a. This is the Let xo. . x1. . That is.. . (cos a + i sin a)' = cos na + z sin no.. for all nEN..(xi Law of Cosines Let ABC be a triangle. .. the elementary symmetric functions s1. 1. yl.. then Alf (xi) + A2f (x2) + .. are nonnegative numbers with sum equal to 1. xn be distinct real numbers.. are defined by the relation (in another indeterminate t) (t+xl) (t+xn) =to+slti1+. If the function is concave down..xi1)(xi  xa+1).. Fibonacci Numbers Sequence defined recursively by F1 = F2 = 1.
alp+ao. ..... 1.. let a1.. bi < p are integers for i = 0... . where 0 < ai. = max{xiix2. + akxk)1/t where t is a nonzero real number. .... for s < t. ... bip+ bo. xn Mt = (aix' + a2x2 + . k. Pigeonhole Principle If n objects are distributed among k < n boxes. an be any positive numbers for which a1 + + an = 1.. . Then (bk1) Cab) (aobo) \bk/ \b1) (mod p). For positive numbers x1. some box contains at least two objects. xn. . a1 a2 a M = x1 x2 ..Glossary 133 Lucas' Theorem Let p be a prime. ... x2. xk }. M. Root Mean SquareArithmetic Mean Inequality (RMSAM Inequality) For positive numbers x1. x2.. x2. xi+x2+. a2.+X2 n XI +X2 +''' +Xk n More generally...xk}. ... b = bkpk +bk_lpk1 + . Then MO<MS<Mt<_M. . .. let a and b be two positive integers such that a = akpk +ak_lpki + . xn we define a2 + M_ = min{x1. ..
cot x = 1 tan a . . ..31. + a1x + a0... xn be the roots of polynomial P(x) = anxn + where an 0 0 and a0. a2i i3 . The triangle inequality restates the fact that the length of any side of a triangle is less than the sum of the lengths of the other two sides.. and w = [al + X31. Let a = al +a2i and 3 = Ni +132ti. 1. Vectors u = [ai.134 Glossary Triangle Inequality Let z = a + bi be a complex number. /32]. an_1xn1 + . and ja +.. a .an1 an i +xixj +xn1xn = . x2. Define the absolute value of z to be z _ a2 + b2. v = [N1. /32 are real numbers. Let sk be the sum of the products sk=(1)kank of the xi taken k at a time. Then a + = (al + al) + (a2 + /32)i.. The inequality la+01 :5 lal+101 is called the triangle inequality.31. . x1+x2+ X1X2 + +xn =. . . an2 an i xix2 . xn = (1)n a0 an Trigonometric Identities sin2 a + cos 2 a= sin a tan x = cos a 1. Then an that is. where al. Let a and 3 be two complex numbers. an E C. Vieta's Theorem Let x1. . . a2 + /32] form a triangle with sides lengths Iah. a2].
tan a = sumtoproduct formulas: 1 . cosa+cosb=2cosa2bcosa2 tan a + tan b = differencetoproduct formulas: sin(a + b) cos a cos b' b sinasinb=2sina2 bcosa2b. 1+tang2 2 tan 2 .tang a' tripleangle formulas: sin3a=3sina4sin3a.tan3 a 13tan2a 2 tan 2 ' sin a = cos a = 1+tang z 1 . .1 = 1 . cos(a±b) =cosacosbT. tan a ± tan b 1T.sin 2 a = 2 cost a . tan(a ± b) = doubleangle formulas: sin 2a = 2 sina cos a.tan a tan b cos 2a = cost a .Glossary 135 addition and subtraction formulas: sin(a±b) =sinacosb±cosasinb.tang 2 ' sin a + sin b = 2 sin a l b cos a 2 b.sinasinb. tan 3a = halfangle formulas: 3 tan a . tan 2a = 2 tan a 1 .tan2 a .2 sine a. cos 3a = 4 cos3 a .3 cos a.
b). 2 sin a sin b = . sin(a .tan b = producttosum formulas: 2 sin a cos b = sin(a + b) + sin(a .b) cos a cos b' .136 Glossary cosacosb=2sina2 bsina2 b tan a .b).cos(a + b) + cos(a . 2 cosa cos b = cos(a + b) + cos(a .b).
6. A. Chinn. SpringerVerlag. Gelca. K. N.. What to Solve?. P. Springer. Andreescu. Andreescu. R. Steenrod. Geometry Revisited. 1994.. M. 10. G. K. 1990. American Mathematics Competitions. Mathematical Association of America.. Mathematical Olympiads: Problems and Solutions from around the World. 2. 2000.. 1961. Z. Mathematical Olympiad Challenges. Birkhauser.. M. Mathematical Association of America. 3. 1993. T. Engel. 11.. T. New Mathematical Library. Barbeau. S. 7.. A. T. 8. University of Toronto Press. New Mathematical Library. 2000. Feng. S. F. Kedlaya.. 19981999. MathPro Press. Mathematical Contests 19961997: Olympiad Problems from around the World. Coxeter. Vol. 1998. W. Problem Books in Mathematics. The Canadian Mathematical Olympiad 19691993. ProblemSolving Strategies. 19. L. American Mathematics Competitions. D. An Introduction to Inequalities. E. Andreescu. Mathematical Contests 19951996: Olympiad Problems from around the World. H. 1999.FURTHER READING 1. 4. T.. J. 9. 1966.. 1989. Kedlaya. 27. First Concepts of Topology. Oxford Science Publications. 13. Mathematical Contests 19971998: Olympiad Problems from around the World. Mathematical Association of America. . Beckenbach.. Bellman. Vol. Doob. E. 12. Random House. 3. K. Andreescu. Vol.. New Mathematical Library. 1997. Zeitz.. Cofman. E. with Solutions. 1998. Andreescu.. 5. Polynomials.... Greitzer. R.. Fomin. American Mathematics Competitions. 1967. with Solutions. Kedlaya. T. Leningrad Mathematical Olympiads 19871991. with Solutions. Kirichenko.
1996. SpringerVerlag. Bosch Giral. 19. 1967. 29. Mir.. C. 1988. Random House. 26.. 0. Klamkin. 18. Genkin. 0. Liu. 2001. Groups and Their Graphs. Mathematical Association of America. Mathematical Association of America.. E. Rousseau. Winning Solutions. Klamkin. I. D. 1989.. ProblemSolving Through Problems. E. N. R. C. 1967. Kazarinoff. Vol. Vol.. Vol.. Mathematical Association of America. Mathematical Association of America. 14. 1983. W.. Greitzer. . 25.. 21. 19781985. 1963. 19721986. 11 & 12.. 1986. F. Mathematical Association of America. 20. M. Vols. Larson. C. Lausch. Ore. Moscow. Knuth. 33.. 27. Canberra. 22. 1988. Kuczma. Graphs and their uses.138 Further Reading 14. New Mathematical Library. 27. 28. Grossman. D. AMT Publishing. Itenberg. The Asian Pacific Mathematics Olympiad 19892000.. Sharygin. Invitation to number theory. Volumes I & 77. 16.. 15. 144 Problems of the AustrianPolish Mathematics Competition 19781993. M. Vol. J. Patashnik. International Mathematical Olympiads. 19591977. Ore. International Mathematical Olympiads. The Academic Distribution Center. 1964. L. New Mathematical Library. S. 1998. Random House. M. Hungarian Problem Book.. I. Magnus. Vol. USA Mathematical Olympiads. L.. 4. 1978. Chinese Mathematics Competitions and Olympiads 19811993. A. New Mathematical Library... L. Lozansky. AMT Publishing. Random House. 1994... Concrete Mathematics. American Mathematical Society. AddisonWesley... 17. 1961. D. New Mathematical Library. New Mathematical Library. I. Geometric Inequalitties. 0. Fomin. 24. Canberra. New Mathematical Library. 31. Springer. 1996. 23.. Mathematical Circles. Problems in Plane Geometry. S.. H. Graham. Kiirschak.
31. 1972. Problems in Solid Geometry. I.. Soifer. 1997. 1994. 42. John Wiley & Sons. AMT Publishing. R. Generatingfunctionology.. I. J. J. 1962.. P. P. 39.. AMT Publishing. P. I. Mir. Sharygin. New Mathematical Library. Shklarsky..Verlag. 1962. 1968. 38. 1998. Problems in Combinatorics and Graph Theory. 1993. 8. Random House. Tournament of Towns 19801984. Taylor. M. 1973.. Introduction to graph theory... Vol. The USSR Olympiad Problem Book. 35. J.. Storozhev.. Szekely. Vol. Center for excellence in mathematics education.. Wilson. Taylor. Tournament of Towns 19891993. 1997. Random House.. M. 45. Yaglom. Academic Press. 1994. Geometric Transformations. Geometric Transformations II. Canberra. 41.. 1994. J. P. J. 1985. Canberra. C. Yaglom .Further Reading 139 30. A. 1986. I. 47. . D. Canberra. 37. 24. 1992. P. Elementary Number Theory. I. AMT Publishing. Vanden Eynden. Moscow. Slinko. M.. USSR Mathematical Olympiads 19891992. 36. McGrawHill. 43. Geometric Transformations III. 0. AMT Publishing. 21. Taylor. Tournament of Towns 19841989.. Canberra. Academic Press. Colorado Mathematical Olympiad: The first ten years. Contests in Higher Mathematics. Zeitz. M. 1999. S.. Canberra. Wiley. Enumerative Combinatorics. A. Random House. Yaglom. 34. 44. Stanley. 1996. Taylor. Vol. Cambridge University Press.. 40. 46. New Mathematical Library. Tomescu. 1987. A. Yaglom. C. 33. New Mathematical Library. Wilf. F. N. Springer. Chentzov. 32. The Art and Craft of Problem Solving.. Tournament of Towns 19931997. N. R.. I. P. Freeman. AMT Publishing. H.
.
He received the Edyth May Sliffe Award for Distinguished High School Mathematics Teaching from the MAA in 1996. Andreescu received the Distinguished Professor Award from the Romanian Ministry of Education in 1983. l le also serves as a coach of the USA International Mathematical Olympiad (IMO) Team. is Chair of the USA Mathematical Olympiad Committee. Zuming Feng graduated with a PhD from Johns Hopkins University with an emphasis Algebraic Number Theory Elliptic and Curves. serves as Head Coach of the USA International Mathematical Olympiad (IMO) Team. is a member of the USA Mathematical Olympiad Committee. and is Director of the USA Mathematical Olympiad Summer Program. In addition. then after moving to the USA was awarded the Edyth May Sliffe Award for Distinguished High School Mathematics Teaching from the MAA in 1994.Titu Andreescu is Director of the America n Mathematics Competitions. ISBN on THE AUSTRALIAN MATHEMATICS TRUST EN R I CHMENT SE R I E S 1 876420 12 X . Originally from Romania. He teaches at Phillips Exeter Academy. and is an assistant director of the USA Mathematical Olympiad Summer Program. Prof. he received a Certificate of Appreciation presented by the President of the MAA for "his outstanding service as coach of the USA Mathematical Olympiad Program in preparing the USA team for its perfect performance in Hong Kong at the 1994 IMO".