You are on page 1of 1

Mathematical Excalibur, Vol. 11, No. 1, Feb. 06 - Mar.

06 Page 4

H lies inside the circle of radius r (STFA Leung Kau Kui College), CHAN Birkhoffs Theorem. For every doubly
centered at M1, but all other points of R Pak Woon (HKU Math UG Year 1), stochastic matrix D, there exist
is outside or on the circle. Hence the WONG Kwok Cheung (Carmel Alison nonnegative numbers c() with sum
interior of H does not contain any other Lam Foundation Secondary School, Form equals 1 such that
point of R. 7) and YUEN Wah Kong (St. Joan of Arc
Secondary School). D= c( )M ( ).
S n
Below we will say two triangles are
disjoint if their interiors do not Granting these results, for Pis in the
intersect. There are 3 possible cases: second step, we can just let Pi= M(i)p.
Olympiad Corner
(a) H is a pentagon. Then H may be (continued from page 1) Hardy-Littlewood-Polyas theorem can
divided into three disjoint triangles be proved by introducing r as in the
with vertices in R, each of them first proof. Following the idea of
Problem 1. (Cont.)
containing a point of B inside. The Hardy-Littlewood-Polya, we take T to
triangle with these points of B as (c) the sum of all terms of every sequence be the matrix with
vertices would contain another point of
Tjj= d + c =Tkk, Tjk= d c =Tkj,
is at least 666?
R, which would be in H. This is
impossible. 2d 2d
Problem 2. Let O be the center of the
circumcircle of the acute-angled triangle all other entries on the main diagonal
(b) H is a quadrilateral. Then one of ABC, for which CBA < ACB holds. equal 1 and all other entries of the
the Mi is inside H and the other Mj, Mk, matrix equal 0. We can check T is
The line AO intersects the side BC at the
Ml, Mm are at its vertices, say clockwise.
point D. Denote by E and F the centers of doubly stochastic and r = Tp. Then we
The four disjoint triangles MiMjMk,
MiMkMl, MiMlMm, MiMmMi induce four the circumcircles of triangles ABD and repeat until r = q.
points of B, which can be used to form ACD respectively. Let G and H be two
two disjoint triangles with vertices in B points on the rays BA and CA such that Birkhoffs theorem can be proved by
which would contain two points in R. AG=AC and AH=AB, and the point A lies induction on the number N of positive
So H would then contain another point between B and G as well as between C and entries of D using Halls theorem (see
of R inside, other than Mi, which is H. Prove the quadrilateral EFGH is a Mathematical Excalibur, vol. 1, no. 5,
impossible. rectangle if and only if ACB ABC = p. 2). Note N n. If N = n, then the
60. positive entries are all 1s and D is a
(c) H is a triangle. Then it contains permutation matrix already. Next for N
inside it two points Mi, Mj. One of the Problem 3. Let a, b and c be positive > n, suppose the result is true for all
three disjoint triangles MiMkMl, numbers such that ab + bc + ca = 1. doubly stochastic matrices with less
MiMlMm, MiMmMk will contain Mj. Prove the inequality than N positive entries. Let D have
Then we can break that triangle into
three smaller triangles using Mj. This 1 3
3 exactly N positive entries. For j = 1,,
33 + 6(a + b + c) . n, let Wj be the set of k such that Djk > 0.
makes five disjoint triangles with abc abc
vertices in R, each having one point of We need a system of distinct
B inside. With these five points of B, representatives (SDR) for W1,,Wn.
three disjoint triangles with vertices in To get this, we check the condition in
B can be made so that each one of them Halls theorem. For every collection
having one point of R. Then H Proofs of Muirheads Inequality W j , K , W j , note m is the sum of all
contains another point of R, different 1 m

from M1, M2, M3, M4, M5, which is (continued from page 2) positive entries in column j1,,jm of D.
impossible. This is less than or equal to the sum of
For the proof of the second step, we all positive entries in those rows that
Problem 245. ABCD is a concave follow the approach in J. Michael Steeles have at least one positive entry among
quadrilateral such that BAD =ABC book The Cauchy-Schwarz Master Class, column j1,,jm. This latter sum is the
=CDA = 45. Prove that AC = BD. MAA-Cambridge, 2004. For a nn number of such rows and is also the
Solution. CHAN Tsz Lung (HKU matrix M, we will denote its entry in the number of elements in the union of
Math PG Year 1), KWOK Lo Yan j-th row, k-th column by Mjk. Let us W j1 , K , W j m .
(Carmel Divine Grace Foundation introduce the term permutation matrix for
Secondary School, Form 6), Problem Sn to mean the nn matrix M() with So the condition in Halls theorem is
Solving Group @ Miniforum, WONG satisfied and there is a SDR for W1,,
Kai Cheuk (Carmel Divine Grace M()jk = 1 if (j)=k and M()jk = 0
otherwise. Also, introduce the term Wn. Let (i) be the representative in Wi,
Foundation Secondary School, Form 6),
WONG Man Kit (Carmel Divine Grace doubly stochastic matrix to mean a square then Sn. Let c() be the minimum of
Foundation Secondary School, Form 6) matrix whose entries are nonnegative real D1 (1) ,K, Dn ( n ) . If c() = 1, then D is a
and WONG Tsun Yu (St. Marks numbers and the sum of the entries in
School, Form 6). permutation matrix. Otherwise, let
every row and every column is equal to
Let line BC meet AD at E, then BEA one. The proof of the second step follows D= (1 c())1(D c() M()).
=180 ABC BAD = 90. Note from two results:
Then D = c() M() + (1 c()) D and
AEB and CED are 45-90-45 D is a double stochastic matrix with at
Hardy-Littlewood-Polyas Theorem. If p
triangles. So AE = BE and CE = DE. least one less positive entries than D.
q, then there is a nn doubly stochastic
Then AEC BED. So AC = BD. So we may apply the cases less than N
matrix D such that q = Dp, where we write
to D and thus, D has the required sum.
Commended solvers: CHAN Ka Lok p and q as column matrices.

You might also like