Maths Olympiad Prep

Library / /24 of 64

Algebra Difficulty 7.8 National olympiad, round 2 Find the answer

Say that a polynomial with real coefficients in two variables, x,yx,y, is \emph{balanced} if
the average value of the polynomial on each circle centered at the origin is 00.
The balanced polynomials of degree at most 20092009 form a vector space VV over R\mathbb{R}.
Find the dimension of VV.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Any polynomial P(x,y)P(x,y) of degree at most 20092009 can be written uniquely
as a sum i=02009Pi(x,y)\sum_{i=0}^{2009} P_i(x,y) in which Pi(x,y)P_i(x,y) is a homogeneous
polynomial of degree ii.
For r>0r>0, let CrC_r be the path (rcosθ,rsinθ)(r\cos \theta, r\sin \theta)
for 0θ2π0 \leq \theta \leq 2\pi. Put λ(Pi)=C1Pi\lambda(P_i) = \oint_{C_1} P_i; then
for r>0r>0,
CrP=i=02009riλ(Pi). \oint_{C_r} P = \sum_{i=0}^{2009} r^i \lambda(P_i).
For fixed PP, the right side is a polynomial in rr, which vanishes for
all r>0r>0 if and only if its coefficients vanish.
In other words,
PP is balanced
if and only if λ(Pi)=0\lambda(P_i) = 0 for i=0,,2009i=0,\dots,2009.

For ii odd, we have Pi(x,y)=Pi(x,y)P_i(-x,-y) = -P_i(x,y).
Hence λ(Pi)=0\lambda(P_i) = 0, e.g.,
because the contributions to the integral from
θ\theta and θ+π\theta + \pi cancel.

For ii even, λ(Pi)\lambda(P_i) is a linear function of the coefficients of
PiP_i. This function is not identically zero, e.g., because for $P_i =
(x^2 + y^2)^{i/2}$, the integrand is always positive and so
λ(Pi)>0\lambda(P_i) > 0. The kernel of λ\lambda on the space of homogeneous
polynomials of degree ii is thus a subspace of codimension 1.

It follows that the dimension of VV is
(1++2010)1005=(20111)×1005=2020050. (1 + \cdots + 2010) - 1005 = (2011 - 1) \times 1005 = 2020050.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.