It is well known that an ellipse might be defined by a focus a point and a directrix a straight line, as a locus of points such that the distance to the focus divided by the distance to
Trang 1Problem 6 For a permutation o = (¢1, i2, ,%n) of (1, 2, ,n) define D(a) = SO ji, — k| Let Q(n,d) be
k=1 the number of permutations o of (1, 2, ,n) with d= D(o) Prove that Q(n,d) is even for d > 2n
Solution Consider the n x m determinant
ght „n=2 1
where S,, is the set of all permutations oŸ (1, 2, ,z) and inv(, , #„) denotes the number of inversions in
the sequence (i1, ,in) So Q(n,d) has the same parity as the coefficient of x? in A(r)
It remains to evaluate A(a) In order to eliminate the entries below the diagonal, subtract the (n—1)-th
row, multiplied by x, from the n-th row Then subtract the (n — 2)-th row, multiplied by x, from the
(n — 1)-th and so on Finally, subtract the first row, multiplied by 2, from the second row
For d > 2n, the coefficient of x@ is 0 so Q(n,d) is even
IMC2008, Blagoevgrad, Bulgaria
Day 1, July 27, 2008
Problem 1 Find all continuous functions f: R — R such that f(2) — f(y) is rational for all reals x and
y such that « — y is rational
Solution We prove that f(z) = ax + b where a € Q and b € R These functions obviously satify the conditions
Suppose that a function f() fulfills the required properties For an arbitrary rational g, consider the function g(x) = f(@+¢q)— f(x) This is a continuous function which attains only rational values, therefore
Øạ 1S constant
Set ø = ƒ(1) — ƒ(0) and b = ƒ(0) Let n be an arbitrary positive integer and let r = f(1/n) — ƒ(0) Since ƒ(œ + 1/n) — f(x) = f(1/n) — f(0) =r for all x, we have
/@/m) — ƒ(0) = /m) — ƒ(0)) + ((3/m) = ƒ0/0)) + + (/m) — F(R = 1) /n) = ker
and
#(—R/m) — ƒ(0) = =0) ~ /(—1/0)) — (1/0) — ƒ(—3/0)) — — (Tứ — 1)/n) — ƒ(—kjm) = kr
for k > 1 In the case k = n we get a = f(1) — f(0) =nr, sor =a/n Hence, f(k/n) — f(0) = kr = ak/n and then ƒ(k/n) = a - k/n + 6 for all integers k and n > 0
So, we have f(x) = ax +b for all rational x Since the function f is continous and the rational numbers form a dense subset of R, the same holds for all real 2
Problem 2 Denote by V the real vector space of all real polynomials in one variable, and let P: V — R
be a linear map Suppose that for all f,g € V with P( fg) =0 we have P(f) = 0 or P(g) = 0 Prove that there exist real numbers 2o,c such that P(f) = c f(a) for all f € V
Solution We can assume that P 4 0
Let f € V be such that P(f) 4 0 Then P(f*) 4 0, and therefore P(f*) = aP(f) for some non-zero real a Then 0 = P(f* — af) = P(f(f —a)) implies P(f — a) = 0, so we get P(a) 4 0 By rescaling, we can assume that P(1) = 1 Now P(X +6) =0 for b= —P(X) Replacing P by P given as
P(f(X)) = PUL(X +)
we can assume that P(X) = 0
Now we are going to prove that P(X*) = 0 for all k > 1 Suppose this is true for all k <n We know that P(X” + e) = 0 for e = —P(X”) From the induction hypothesis we get
P((X +e)(X +1)"™") = P(X" +e) =0,
and therefore P(X +e) =0 (since P(X + 1) =1#0) Hence e = 0 and P(X") = 0, which completes the inductive step From P(1) = 1 and P(X") =0 for k > 1 we immediately get P(f) = f(0) for all f EV
Trang 2is a Cauchy sequence in H (This is the crucial observation.) Indeed, for m > n, the norm ||Ym — Yn|l
may be computed by the above remark as
Wm
+
By completeness of H, it follows that there exists a limit
y = lim yp, € H
We claim that y sastisfies all conditions of the problem For m > n > p, with n, p fixed, we compute
2
len — aml? = 5-2 -41-4,-4, ,-4 m m mm m em
d fm—-1 (m—1)? @m-1l &
= — | —— + —— | = - —_ oo =, mo
showing that ||#„ — || = đ/V2, as well as
Ln nà ®p — Úm) — TT TT pe xa nư gy TT yp ey TT ›
showing that (#„ — #,#p — y) = 0, so that
{lena nen]
is indeed an orthonormal system of vectors
This completes the proof in the case when T’ = S, which we can always take if S' is countable If
it is not, let 2’, x” be any two distinct points in S\T Then applying the above procedure to the set
7 Ƒ [hà
T’ = {a', 27,01, £2, ,2n,- -}
it follows that
{Be -Zer-n| U tu, : Từ C nt
is still an orthonormal system
This it true for any distinct 2’,2” € S\ T; it follows that the entire system
th ves
is an orthonormal system of vectors in H, as required
satishes that
IMC2008, Blagoevgrad, Bulgaria
Day 2, July 28, 2008
Problem 1 Let n,k be positive integers and suppose that the polynomial x* — x* + 1 divides xr? +a" +1 Prove that 27° + 2* +1 divides x?" + 2” +1
Solution Let f(x) = 2?" +2" +1, g(x) = #+°* — +" +1, h(+) = +?" + +? +1 The complex number
đị = cos(st) + /sin() is a root of g(x)
Let a = 32 Since g(x) divides f(x), f(#1) = g(#1) = 0 So, 0 = 2" + af + 1 = (cos(2a) + isin(2a)) + (cosa +isina)+1=0, and (2cosa+1)(cosa+isina) = 0 Hence 2cosa +1 = 0, ice a= + + 2mc, where c € Z
Let x2 be a root of the polynomial h(a) Since h(a) = = the roots of the polynomial h(x) are distinct and they are x2 = cos as + isin ars where s = 3a+1,a € Z It is enough to prove that f(z) = 0 We have f(xg) = 23” + 232 + 1 = (cos(4sa) + sin(4sa)) + (cos(2sa) + sin(2sa)) + 1 = (2 cos(2sa) + 1)(cos(2sa) + isin(2sa)) = 0 (since 2cos(2sa) + 1 = 2cos(2s(+4% + 2mc)) +1 = 2cos(44*) + 1 = 2cos( “(3a E1)) +1 =0)
Problem 2 Two different ellipses are given One focus of the first ellipse coincides with one focus
of the second ellipse Prove that the ellipses have at most two points in common
Solution It is well known that an ellipse might be defined by a focus (a point) and a directrix (a straight line), as a locus of points such that the distance to the focus divided by the distance to directrix is equal to a given number e < 1 So, if a point X belongs to both ellipses with the same focus F and directrices l,,l2, then e, -4.X = FX = e2-I,X (here we denote by 1, X,l.X distances between the corresponding line and the point X) The equation e; -1,X = e-l,X defines two lines, whose equations are linear combinations with coefficients e,, te: of the normalized equations of lines
11, l2 but of those two only one is relevant, since X and F’ should lie on the same side of each directrix
So, we have that all possible points lie on one line The intersection of a line and an ellipse consists
of at most two points
Problem 3 Let n be a positive integer Prove that 2”~' divides
© (1)
0<k<n/2
Solution As is known, the Fibonacci numbers F,, can be expressed as F,, = 4+ al (54) — (5#) ) Expanding this expression, we obtain that F, = + (G) + ()5 + + (
3 ) 5), where J is the get Vy
greatest odd number such that [<n and s = it < 5
8
So, F, = su a (a1) 5*, which implies that 2”! divides Ề 20<k<n/2 1) 5F, Problem 4 Let Z[z| be the ring oFpolynomials with integer coefficients, and let ƒ(z), g(z) € Z|z| be nonconstant polynomials such that g(a) divides f(x) in Z[x] Prove that if the polynomial f(a) —2008 has at least 81 distinct integer roots, then the degree of g(x) is greater than 5
Solution Let f(x) = g(x)h(x) where h(2) is a polynomial with integer coefficients
Let a1, ,@g; be distinct integer roots of the polynomial f(a) — 2008 Then f(a;) = g(ai)h(a;) =
2008 for i=1, ,81, Hence, g(a1), , g(a@gi) are integer divisors of 2008
Since 2008 = 23-251 (2,251 are primes) then 2008 has exactly 16 distinct integer divisors (including the negative divisors as well) By the pigeonhole principle, there are at least 6 equal numbers among g(a1),-.-,g(ag1) (because 81 > 16-5) For example, g(a 1) = g(a2) = = g(ag) = c So g(x) — ¢ is
1
Trang 3a nonconstant polynomial which has at least 6 distinct roots (namely a,, ,a¢) Then the degree
of the polynomial g(a) —c is at least 6
Problem 5 Let n be a positive integer, and consider the matrix A = (aj;;)1<i,;<n, where
1 ift+ 9 is a prime number,
0 otherwise
Prove that | det A| = k? for some integer k
Solution Call a square matrix of type (B), if it is of the form
| bay—2 1 0 bop-23 0 « 0 b2y—2,2—1 |
0 b2y_—12 0 wee Ô9p_—-12,—2 0 ) Note that every matrix of this form has determinant zero, because it has & columns spanning a vector
space of dimension at most k — 1
Call a square matrix of type (C), if it is of the form
By permutations of rows and columns, we see that
det ({ ") =| det Cl’,
| det C"| = 0c
where C’ denotes the k x k-matrix with coefficients ¢;,; Therefore, the determinant of any matrix of
type (C) is a perfect square (up to a sign)
Now let X’ be the matrix obtained from A by replacing the first row by ( 0 0 0), and
let Y be the matrix obtained from A by replacing the entry a1, by 0 By multi-linearity of the
determinant, det(A) = det(X’) + det(Y) Note that X’ can be written as
, f1 0
v(t x)
for some (n — 1) x (n — 1)-matrix X and some column vector v Then det(A) = det(X) + det(Y)
Now consider two cases If n is odd, then X is of type (C), and Y is of type (B) Therefore,
| det(A)| = | det(X)| is a perfect square If n is even, then X is of type (B), and Y is of type (C);
hence | det(A)| = | det(Y)| is a perfect square
The set of primes can be replaced by any subset of {2} U {3,5,7,9, 11, }
Problem 6 Let H be an infinite-dimensional real Hilbert space, let d > 0, and suppose that S' is a set of points (not necessarily countable) in such that the distance between any two distinct points
in S is equal to d Show that there is a point y € H such that
is an orthonormal system of vectors in H
Solution It is clear that, if B is an orthonormal system in a Hilbert space H, then {(d/V2)e: e € BY
is a set of points in H, any two of which are at distance d apart We need to show that every set S$
of equidistant points is a translate of such a set
We begin by noting that, if 71, 22,73,7%4 € S are four distinct points, then
(x2 — 21,22 — #1) = a,
1 (2 — 21, %3 —@1) = 2 (llz› — #Il? + llzs — ziÍlŸ — ll>¿ — za||Ÿ) = 5f
This shows that scalar products among vectors which are finite linear combinations of the form
Ai@y + Ag@g ++++ + An®n, where #1, %2, , %» are distinct points in S and Ay, A2, , An are integers with Ay +Ag+ -+An = 0, are universal across all such sets S$ in all Hilbert spaces H; in particular, we may conveniently evaluate them using examples of our choosing, such as the canonical example above in R” In fact this property trivially follows also when coefficients A; are rational, and hence by continuity any real numbers with sum 0
If S = {21,%2, ,2n} is a finite set, we form
1
+ = (đi 8y 8n),
pick a non-zero vector z € [Span(a — #,#2 — #, ,#„ — z)]” and seek y in the form y = x + Az for
a suitable 1 € R We find that
(đị — y2 — y) = (đị — 8 — ÀZ,#a — # — À2) = (1| — 8,82 — # + A?|Iz|l
(đq — #,#¿ — #) may be computed by our remark above as
2 will make all vectors ee — y) orthogonal to each other; it is easily
d
So the choice A = ———
v2nl|z|
checked as above that they will also be of length one
Let now S' be an infinite set Pick an infinite sequence T = {21,22, ,%n, } of distinct points
in S We claim that the sequence
1
Yn = (a1 + ta b+ + tn)
Trang 4Problem 3 Let p be a polynomial with integer coefficients and let a, < ag < < ag be integers
a) Prove that there exists a € Z such that p(a;) divides p(a) for all i = 1,2, ,k
b) Does there exist an a € Z such that the product p(a,) - p(ag)- + p(a,) divides p(a)?
Solution The theorem is obvious if p(a;) = 0 for some i, so assume that all p(a;) are nonzero and pairwise
different
There exist numbers s, t such that s|p(az), t|p(az), sf = lem(p(ay), p(az)) and gecd(s, £) = 1
As s, t are relatively prime numbers, there exist m,n € Z such that a, -+8n = ag+tm =: bo Obviously
s|p(œi + sn) — p(ay) and t\p(azg + tm) — p(ag), so st\p(b2)
Similarly one obtains 63 such that p(a3)|p(b3) and p(b2)|p(b3) thus also p(a;)|p(b3) and p(as)|p(ba)
Reasoning inductively we obtain the existence of a = by as required
The polynomial p(x) = 2x? + 2 shows that the second part of the problem is not true, as p(0) = 2,
p(1) =4 but no value of p(a) is divisible by 8 for integer a
Remark One can assume that the p(a;) are nonzero and ask for a such that p(a) is a nonzero mul-
tiple of all p(a;) In the solution above, it can happen that p(a) = 0 But every number p(a +
np(a1)p(az) p(ax)) is also divisible by every p(a;), since the polynomial is nonzero, there exists n such
that p(a + np(a1)p(az) p(ax)) satisfies the modified thesis
Problem 4 We say a triple (a1, a2, a3) of nonnegative reals is better than another triple (61, bz, bs) if two
out of the three following inequalities a; > bi, ag > bz, a3 > b3 are satisfied We call a triple (2, y, z)
special if x,y, z are nonnegative and «+ y+ z= 1 Find all natural numbers n for which there is a set S
of n special triples such that for any given special triple we can find at least one better triple in S
Consider the following set of special triples:
"15 157 ` 5` 5` 5 5 ` 1ỗ 15 15/_
We will prove that any special triple (2, y, z) is worse than one of these (triple a is worse than triple 6 if
triple b is better than triple a) We suppose that some special triple (x, y, z) is actually not worse than the
first three of the triples from the given set, derive some conditions on x,y,z and prove that, under these
conditions, (2, y, z) is worse than the fourth triple from the set
Triple (x,y,z) is not worse than (0, S, i) means that y > yg or z > Hà Triple (2, y, z) is not worse
than (2,0, 3) — # > 2 or z > 2 Triple (2, y, z) is not worse than (2, 2,0) —# > 2 or y = Z Since
# + + z = |, then it is impossible that all inequalities x > z, ys 2 and z > 5 are true Suppose that
4# < 2, then > 2 and z 2 ` Using z + + z = I and z > Ú we getL #z =O0,y = 2,2 = ` We obtain
the triple (0, z, 2) which is worse than (4, 4: =) Suppose that y < z, then « > ; and z => 1 and this
is a contradiction to the admissibility of (x,y,z) Suppose that z < x, then « 2 = and y 2 = We get
(by admissibility, again) that z < m and < ` The last inequalities imply that (4, x, 2) is better than
(x, y, Z)
We will prove that for any given set of three special triples one can find a special triple which is not
worse than any triple from the set Suppose we have a set S of three special triples
Solution The answer is n > 4
8
(21,41, 41); (x2, Y2, 22); (23, 3, Z3)
Denote a(5) = mún(#, #a, #s), b(S) = min(y1, yo, y3), CS) = min(z1, 22, 23) It is easy to check that Sj:
1—=à—b—c l—-øa—-b-—-c l-a-b-c
4a — q 1a — b Z2 —€
1—øa—b—c I—=a—b—c l-a-b-—c
1—øa—b—c I—=a—b—c l-a-b-—c
2
is a set of three special triples also (we may suppose that a+b6+c < 1, because otherwise all three triples are equal and our statement is trivial)
If there is a special triple (x,y, z) which is not worse than any triple from Sj, then the triple
(1—a—b—c)z+a,(I—a—b—c)y+b,(1—a—b—c)z+c}
is special and not worse than any triple from S We also have a(51) = b(51) = c(S1) = 0, so we may suppose that the same holds for our starting set S
Suppose that one element of S has two entries equal to 0
Note that one of the two remaining triples from S' is not worse than the other This triple is also not worse than all triples from S because any special triple is not worse than itself and the triple with two zeroes
So we have a = b = c = 0 but we may suppose that all triples from S contain at most one zero By transposing triples and elements in triples (elements in all triples must be transposed simultaneously) we may achieve the following situation 7; = y = z3 = 0 and x > x3 If zg > 2, then the second triple (2,0, 22) is not worse than the other two triples from S So we may assume that 2 > z If y > ys, then the first triple is not worse than the second and the third and we assume y3 > y, Consider the three pairs of numbers 22, 1; 21,23; Y3, Z2- The sum of all these numbers is three and consequently the sum of the numbers in one of the pairs is less than or equal to one If it is the first pair then the triple (x2, 1 — x2,0) is not worse than all triples from S, for the second we may take (1 — 2,0, 21) and for the third — (0, y3, 1 — ys) So we found a desirable special triple for any given S
Problem 5 Does there exist a finite group G with a normal subgroup H such that |Aut H| > |Aut G/? Solution Yes Let H be the commutative group H = F3, where F, © Z/2Z is the field with two elements The group of automorphisms of H is the general linear group GL3F; it has
(8 —1)-(8—2)-(8—4) =7-6-4 = 168
elements One of them is the shift operator @ : (#1, #a, #3) E> (đa, #3, #1)
Now let T = {a°, a‘, a?} be a group of order 3 (written multiplicatively); it acts on H by r(a) = ¢ Let
G be the semidirect product G = H x, T In other words, G is the group of 24 elements
G={ba': bE H,i€ (Z/3Z)}, ab=(bd)a
G has one element e of order 1 and seven elements 6, b € H, b # e of order 2
If g = ba, we find that g? = baba = b¢(b)a? ¥ e, and that
g° = b9(b)a*ba = b6(b)ag(b)a* = bb(b)g*(b)a® = u(b),
where the homomorphism ~ : H — H is defined as w : (41, 22,03) > (a1 +22 +2%3)(1, 1,1) It is clear that g? = w(b) =e for 4 elements b € H, while g® = 7/*(b) = e for all b € H
We see that G has 8 elements of order 3, namely ba and ba? with b € Ker, and 8 elements of order 6, namely ba and ba? with b ¢ Ker y That accounts for orders of all elements of G
Let b) € H\Kerw be arbitrary; it is easy to see that G' is generated by bp and a As every automorphism
of G is fully determined by its action on bo and a, it follows that G has no more than
7-8 = 56 automorphisms
Remark G and H can be equivalently presented as subgroups of Sg, namely as H = ((12), (34), (56)) and
G = ((135) (246), (12))