Probabilistic Method
Probabilistic Method
October-November, 2009
Olympiad Corner
The 2009 Czech-Polish-Slovak Math Competition was held on June 21-24. The following were the problems. Problem 1. Let !+ be the set of all positive real numbers. Find all functions f:!+!!+ satisfying
(1 " yf ( x))(1 # yf ( x " y )) ! 1
Probabilistic Method
Law Ka Ho
Roughly speaking, the probabilistic method helps us solve combinatorial problems via considerations related to probability. We know that among any 6 people, there exist 3 who know each other or 3 who dont know each other (we assume if A knows B, then B knows A). When 6 is replaced by 5, this is no longer true, as can be seen by constructing a counterexample. When the numbers get large, constructing counterexamples becomes difficult. In this case the probabilistic method helps. Example 1. Show that among 2100 people, there do not necessarily exist 200 people who know each other or 200 people who dont know each other. Solution. Assign each pair of people to be knowing each other or not by flipping a fair coin. Among a set of 200 people, the probability that they know each other or they dont know each Example 2. In each cell of a 100 $ 100 table, one of the integers 1, 2, , 5000 is written. Moreover, each integer appears in the table exactly twice. Prove that one can choose 100 cells in the table satisfying the three conditions below:
for all x,y"!+. Problem 2. Given positive integers a and k, the sequence a1, a2, a3, is defined by a1=a and an+1=an+k"(an), where "(m) stands for the product of the digits of m in its decimal representation (e.g. "(413) = 12, "(308) = 0). Prove that there exist positive integers a and k such that the sequence a1, a2, a3, contains exactly 2009 different numbers. Problem 3. Given #ABC, let k be the excircle at the side BC. Choose any line p parallel to BC intersecting line segments AB and AC at points D and E. Denote by $ the incircle of #ADE. The tangents from D and E to the circle k not passing through A intersect at P. The tangents from B and C to the circle $ not passing through A intersect at Q. Prove that the line PQ passes through a point independent of p.
(continued on page 4)
Editors: ! " # (CHEUNG Pak-Hong), Munsang College, HK $ % & (KO Tsz-Mei) ' ( ) (LEUNG Tat-Wing) * + , (LI Kin-Yin), Dept. of Math., HKUST - . / (NG Keng-Po Roger), ITC, HKPU Artist:
(1) Exactly one cell is chosen in each row. (2) Exactly one cell is chosen in each column. (3) The numbers in the cells chosen are pairwise distinct.
Solution. Take a random permutation a1 , , a100 of {1, , 100} and choose the ai-th cell in the i-th row. Such choice satisfies (1) and (2). For j = 1, , 5000, the probability of choosing both cells written j is
they are in the same & '0 row or column ' ( ' 1 $ 1 otherwise '100 99 )
200
As
there are C choices of 200 people, the probability that there exist 200 people who know each other or 200 people who dont know each other is at most
2 C200 $ 2#19899 %
100
Acknowledgment: Thanks to Elina Chiu, Math. Dept., HKUST for general assistance. On-line: http://www.math.ust.hk/mathematical_excalibur/ The editors welcome contributions from all teachers and students. With your submission, please include your name, address, school, email, telephone and fax numbers (if available). Electronic submissions, especially in MS Word, are encouraged. The deadline for receiving material for the next issue is December 1, 2009. For individual subscription for the next five issues for the 09-10 academic year, send us five stamped self-addressed envelopes. Send all correspondence to: Dr. Kin-Yin LI, Math Dept., Hong Kong Univ. of Science and Technology, Clear Water Bay, Kowloon, Hong Kong Fax: (852) 2358 1643 Email: [email protected] Department of Mathematics, The Hong Kong University of Science and Technology
Hence the probability for the nonexistence of 200 people who know each other or 200 people who dont know each other is greater than 0, which implies the result. Here we see that the general rationale is to show that in a random construction of an example, the probability that it satisfies what we want is positive, which means that there exists such an example. Clearly, the
Of course, one can easily transform the above two probabilistic solutions to merely using counting arguments (by counting the number of favorable outcomes instead of computing the probabilities), which is essentially the same. But a probabilistic solution is usually neater and more natural. Another common technique in the probabilistic method is to compute the average (or expected value) the total is the average times the number of items, and there exists an item which is as good as the average. These are illustrated in the next two examples.
Mathematical Excalibur, Vol. 14, No. 3, Oct.-Nov. 09 Example 3. (APMO 1998) Let F be the set of all n-tuples ( A1 , A2 , , An ) where each Ai , i = 1, 2, , n, is a subset of {1, 2, , 1998}. Let | A | denote the
Page 2
| A1 + A2 + " + An | .
Solution. (Due to Leung Wing Chung, 1998 Hong Kong IMO team member) Note that the set {1, 2, , 1998} has 21998 subsets because we may choose to include or not to include each of the 1998 elements in a subset. Hence there are altogether 21998n terms in the summation.
left? On average 40 $ 0.25 ! 10 players would be chosen. For each match played, the probability that both players are chosen is 0.252 , so on average there are 80 $ 0.252 ! 5 matches played among the chosen players. After discarding the losers, the average number of players left is at least 5 (in fact greater than 5 since the losers could repeat). That means there exists a choice in which we obtain at least 5 players who have not played against each other. (Note: if we replace 0.25 by p, then the average number of players left would be 40 p # 80 p 2 ! 5 # 80( p # 0.25)2 and this explains the choice of the number 0.25.)
Solution 4.3. This time we use another probabilistic approach to prove the n ! 8 case. (!!) We assign a random ranking to the 40 players, and we pick those who have only played against players with lower ranking. Note that in this way no two of the chosen players have competed.
property of probability, namely the probability of an event always lies between 0 and 1.
Example 5. In a public examination there are n subjects, each offered in Chinese and English. Candidates may sit for as many (or as few) subjects as they like, but each candidate may only choose one language version for each subject. For any two different subjects, there exists a candidate sitting for different language versions of the two subjects. If there are at most 10 candidates sitting for each subject, determine the maximum possible value of n. Solution. The answer is 1024. The following example shows that n = 1024 is possible. Suppose there are 10 candidates (numbered 1 to 10), each sitting for all 1024 subjects (numbered 0 to 1023). For student i, the j-th subject is taken in Chinese if the i-th digit from the right is 0 in the binary representation of j, and the subject is taken in English otherwise. In this way it is easy to check that the given condition is satisfied. (The answer along with the example is not difficult to get if one begins by replacing 10 with smaller numbers and then observe the pattern.)
Now we compute the average value of each term. For i = 1, 2, , 1998, i is an element of A1 + A2 + " + An if and only if i is an element of at least one of A1 , A2 , , An . The probability for this to happen is 1 # 2# n . Hence the average value of each term in the summation is 1998(1 # 2# n ) , and so the answer is
21998 n -1998(1 # 2# n ) .
Suppose the i-th player has played di games. Since 80 games have been played, we have d1 " d 2 " " " d 40 ! 80 $ 2 . Also, the i-th player is chosen if and only if he is assigned the highest ranking among himself and the players with whom he has competed, and the probability for this to happen is 1/(di " 1) . Hence the average number of players chosen is
1 1 402 "" " / d1 " 1 d 40 " 1 (d1 " 1) " " " (d 40 " 1) ! 402 !8 160 " 40
Example 4. In a chess tournament there are 40 players. A total of 80 games have been played, and every two players compete at most once. For certain integer n, show that there exist n players, no two of whom have competed. (Of course, the larger the n, the stronger the result.) Solution 4.1. If we use a traditional counting approach, we can prove the case n ! 4 . Assume on the contrary that among any 4 players, at least one match is played. Then the number of games 40 38 played is at least C4 . C2 ! 260 , a
To show that 1024 is the maximum, we randomly assign each candidate to be Chinese or English. Let E j be the event all candidates in the j-th subject are sitting for the language version which matches their assigned identity. As there are at most 10 candidates in each subject, we have the probability
P( E j ) / 2#10 !
Here we made use of the Cauchy- Schwarz inequality. This means there exists 8 players, no two of whom have competed.
Remark. Solution 4.3 is the best possible result. Indeed, we may divide the 40 players into eight groups of 5 players each. If two players have competed if and only if they are from the same group, then the number of games played will be 5 8 $ C2 ! 80 and it is clear that it is
1 . 1024
contradiction. Note that this approach cannot prove the n ! 5 case since 38 C540 . C3 ! 78 % 80 .
Solution 4.2. We use a probabilistic approach to prove the n ! 5 case. Randomly choose some players such that each player has probability 0.25 to be chosen. Then discard all players who had lost in a match with another chosen player. In this way no two remaining players have played with each other.
Since for any two different subjects, there exists a candidate sitting for different language versions of the two subjects, no two E j may occur simultaneously. It follows that
P (at least one E j happens)
impossible to find 9 players, no two of whom have competed. The above example shows that the probabilistic method can sometimes be more powerful than traditional methods. We conclude with the following example, which makes use of an apparently trivial
But since the probability of an event is at n most 1, the above gives 1 / , so we 1024 have n 0 1024 as desired!
Page 3 Solution 1. Manh Dung NGUYEN (Hanoi University of Technology, Vietnam), NGUYEN Van Thien (Luong The Vinh High School, Dong Nai, Vietnam),
Problem Corner
We welcome readers to submit their solutions to the problems posed below for publication consideration. The solutions should be preceded by the solvers name, home (or email) address and school affiliation. Please send submissions to Dr. Kin Y. Li, Department of Mathematics, The Hong Kong University of Science & Technology, Clear Water Bay, Kowloon, Hong Kong. The deadline for sending solutions is December 1, 2009.
Problem 331. For every positive integer n, prove that
(GT (Ellen Yeung) College, Form 3), D. Kipp JOHNSON (Valley Catholic School, Teacher, Beaverton, Oregon, USA), Manh Dung NGUYEN (Hanoi University of Technology, Vietnam), NGUYEN Van Thien (Luong The Vinh High School, Dong Nai, Vietnam), O Kin Chit Alex (GT(Ellen Yeung) College) and Pedro Henrique O. PANTOJA (UFRN, Brazil). Let a = 3
5 6
256
and b = 4
3906
. Then
By the Cauchy-Schwarz inequality, we have (a3+b3)(a+b) $ (a2+b2)2. Using this, the left side is
,
cyc
Note that a2+2b2+2ab > a2+2b2"2ab > 2b2"2ab = 2b(b#a) > b > 27800 > (103)780 > 102009. The result follows.
Problem 327. Eight pieces are placed on a chessboard so that each row and each column contains exactly one piece. Prove that there is an even number of pieces on the black squares of the board. (Source: 1989 USSR Math Olympiad) Solution. G.R.A. 20 Problem Solving Group (Roma, Italy), HUNG Ka Kin Kenneth (Diocesan Boys School), LKL Problem Solving Group (Madam Lau Kam Lung Secondary School of MFBM) and YUNG Fai.
,
cyc
, (#1)
k !0
n #1
cos n ( k1 / n) !
n . 2n #1
So it suffices to show
Problem 332. Let ABCD be a cyclic quadrilateral with circumcenter O. Let BD bisect OC perpendicularly. On diagonal AC, choose the point P such that PC=OC. Let line BP intersect line AD and the circumcircle of ABCD at E and F respectively. Prove that PF is the geometric mean of EF and BF in length. Problem 333. Find the largest positive integer n such that there exist n 4-element sets A1, A2, , An such that every pair of them has exactly one common element and the union of these n sets has exactly n elements. Problem 334. (Due to FEI Zhenpeng, Northeast Yucai School, China) Let x,y "(0,1) and x be the number whose n-th dight after the decimal point is the nn-th digit after the decimal point of y for all n =1,2,3,. Show that if y is rational, then x is rational. Problem 335. (Due to Ozgur KIRCAK, Yahya Kemal College, Skopje, Macedonia) Find all a"! for which the functional equation f: !! !
f 2x # f ( y)3 ! a( f (x) # x) # f ( y)
,
cyc
and (a " b " c) 2 / 3(ab " bc " ca). These follow from
9(a "b)(b"c)(c "a) #8(a "b"c)(ab"bc"ca)
Without loss of generality, we may assume the square in row 1, column 1 is not black. Then, for all i, j = 1,2,,8, the square in row i, column j is black if and only if i + j # 1 (mod 2). Since the pieces are in different columns, the position of the piece contained in the i-th row is in column p(i), where p is some permutation of {1,2,,8}. Therefore, the number of pieces on the black squares in mod 2 is congruent to
,
cyc
which is even.
Other commended solvers: Abby LEE (SKH Lam Woo Memorial Secondary School) and NGUYEN Van Thien (Luong The Vinh High School, Dong Nai, Vietnam).
Problem 328. (Due to Tuan Le, Fairmont High School, Anaheim, Ca., USA) Let a,b,c > 0. Prove that
a3 " b3 b3 " c3 c3 " a3 " 2 " 2 2 2 2 a "b b "c c " a2
/ 6(ab " bc " ca) (a " b " c) (a " b)(b " c)(c " a) .
This follows by cubing both sides and using the two inequalities in the claim to get (a+b+c)3(a+b)(b+c)(c+a)
/ 8 (a " b " c) 4 (ab " bc " ca) 9
Solutions
****************
Problem 326. Prove that 3 " 4 is the product of two integers, each at least 102009. Solution. CHAN Ho Lam Franco
45 56
Due to the homogeneity of the original inequality, without loss of generality we may assume ab+bc+ca = 1. Then
Page 4
,
cyc
1 " b2 /
6 . a"b"c
and 2n " 2 = 2(n"1). Hence, C(2n, 2k)/C(n, k) is not an integer. So such n cannot a solution for the problem. For an odd integer n $ 7, we divide into three cases. Case 1 : (n"1 & 2a for all a=1,2,3,) Then n"1 has a prime factor p $ 3. We repeat the argument above. Case 2 : (n"2 & 3b for all b=1,2,3,) Then n"2 has a prime factor p $ 5. Now 1 < (p+1)/2 % n/2 < n"1. Let k = (p+1)/2. Then p=2k"1, but p is not a factor of 2n"1, 2n"3, , 2n"2k+1 since again 2n "2k "3 = 2(n " 2) " p and 2n " 4 = 2(n " 2) are multiples of p. Hence, C(2n,2k)/C(n,k) is not an integer. Case 3 : (n"1 = 2a and n"2 = 3b for some positive integers a and b) Then 2a "3b=1. Consider mod 3, we see a is even, say a = 2c. Then 3b = 2a"1 = 22c"1 = (2c"1)(2c+1). Since 2 +1 and 2 "1 have a difference of 2 and they are powers of 3 by unique prime factorization, we must have c = 1. Then a = 2 and n = 5, which contradicts n $ 7. Other commended solvers: G.R.A. 20 Problem Solving Group (Roma, Italy) and O Kin Chit Alex (GT(Ellen Yeung) College).
Problem 330. In 'ABC, AB = AC = 1 and !BAC = 90. Let D be the midpoint of side BC. Let E be a point inside segment CD and F be a point inside segment BD. Let M be the point of intersection of the circumcircles of 'ADE and 'ABF, other than A. Let N be the point of intersection of the circumcircle of 'ACE and line AF, other than A. Let P be the point of intersection of the circumcircle of 'AMN and line AD, other than A. Determine the length of segment AP with proof. (Source: 2003 Chinese IMO team test) Official Solution.
c c
E are sent to the intersection points F*, D*, E* of lines AF, AD, AE with $ respectively. The circumcircles of 'ADE and 'ABF are sent to lines D*E* and BF*. So M* = D*E* & BF*. Also, the circumcircle of 'ACE and line AF are sent to lines CE* and AF*. Hence, N* = CE* & AF*. Next, the circumcircle of 'AMN and line AD are sent to lines M*N* and AD*. So, P* = M*N* & AD*. Now D*, E*, C, B, F*, A are six points on $. By Pascals theorem, M* = D*E*&BF*, N* = E*C&F*A and D = CB&AD* are collinear. Since P* = M*N* & AD*, we get D = P*. Then P = D* and A, B, P, C are all on $.
Observe that
19 1 6 2 x" 3 1 " x2 / 7 x # 4 " , ! 28 2 35 3 which can be checked by squaring both sides and simplified to ( 3 x"1)2 $ 0 (or alternatively, f(x) = 1 " x 2 is a convex function on ! and y = (x+ 3 )/2 is the equation of the tangent line to the graph of f(x) at ( 1 / 3 , 2 / 3 ).) Now (a " b " c) 2 / 3(ab " bc " ca) can be expressed as
,b ! a " b " c /
cyc
3.
Olympiad Corner
(continued from page 1)
,
cyc
1" b /
2
,b " 3
cyc
/2 3/
6 . a"b"c
Other commended solvers: Salem MALIKI! (Student, University of Sarajevo, Bosnia and Herzegovina) and Paolo PERFETTI (Math Dept, Universit degli studi di Tor Vergata Roma, via della ricerca scientifica, Roma, Italy).
Problem 329. Let C(n,k) denote the binomial coefficient with value n!/(k!(n"k)!). Determine all positive integers n such that for all k = 1, 2, %, n"1, we have C(2n,2k) is divisible by C(n,k). Solution. HUNG Ka Kin Kenneth (Diocesan Boys School).
Problem 4. Given a circle k and its chord AB which is not a diameter, let C be any point inside the longer arc AB of k. We denote by K and L the reflections of A and B with respect to the axes BC and AC. Prove that the distance of the midpoints of the line segments KL and AB is independent of the location of point C. Problem 5. The n-tuple of positive integers a1,,an satisfies the following conditions:
(i) 1% a1< a2 < % < an % 50; (ii) for any n-tuple of positive integers b1,, bn, there exist a positive integer m and an n-tuple of positive integers c1,, cn such that
mbi ! ciai for i = 1,,n.
For n < 6, we can check that n = 1, 2, 3 and 5 are the only solutions. For n $ 6, we will show there are no solutions. Observe that after simplification,
Prove that n % 16 and find the number of different n-tuples a1,, an satisfying the given conditions for n = 16.
Problem 6. Given an integer n $ 16, consider the set
We will show A, B, P, C are concyclic. (Then, by symmetry, AP is a diameter of the circumcircle of 'ABC. We see !ABP = 90, AB = 1 and !BAP = 45, which imply AP = 2 . ) Consider inversion with center at A and r = 1. Let X* denote the image of point X. Let the intersection of lines XY and WZ be denoted by XY&WZ. We have B*= B and C*= C. The line BC is sent to the circumcircle $ of 'ABC. The points F, D,
G ={(x,y): x,y"{1,2,,n}} consisting of n2 points in the plane. Let A be any subset of G containing at least 4n n points. Prove that there are at least n2 convex quadrangles with all their vertices in A such that their diagonals intersect in one common point.