Olympiad Maths Prep

Track / Stage 9 / 7 of 80 #1887 of 2000

Problem 1887

IMO P2/P5; hard shortlist
Algebra Difficulty 9.1 Prove it 1. Auswahlklausur 2014/2015 · Germany · 2014

Problem:

Man bestimme die kleinste positive ganze Zahl nn, für die es ein Polynom
P(X)=a2nX2n+a2n1X2n1++a1X+a0 P(X)=a_{2 n} X^{2 n}+a_{2 n-1} X^{2 n-1}+\ldots+a_{1} X+a_{0}
mit reellen Koeffizienten gibt, das die beiden folgenden Eigenschaften aufweist:
- Für i=0,1,,2ni=0,1, \ldots, 2 n gilt 2014ai20152014 \leq a_{i} \leq 2015.
- Es gibt eine reelle Zahl ξ\xi mit P(ξ)=0P(\xi)=0.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution:

Es ist n=2014n=2014. Zunächst definiere für eine spezielle Wahl der Koeffizienten aka_{k}, nämlich 2014 für gerades kk und 2015 für ungerades kk, das Polynom Qn(X)=2014X2n+2015X2n1+2014X2n2++2015X+2014Q_{n}(X)=2014 X^{2 n}+2015 X^{2 n-1}+2014 X^{2 n-2}+\ldots+2015 X+2014. Es ist Q2014(1)=0Q_{2014}(-1)=0, die gesuchte Zahl ist also höchstens 2014. Es bleibt zu zeigen, dass P(X)P(X) für n2013n \leq 2013 keine reelle Nullstelle hat. Für x0x \geq 0 ist P(x)a0>0P(x) \geq a_{0}>0, da die Koeffizienten positiv sind; für x<0x<0 ist P(x)Qn(x)P(x) \geq Q_{n}(x), da xkx^{k} für gerades kk positiv ist, also akxk2014xka_{k} x^{k} \geq 2014 x^{k}, und xkx^{k} für ungerades kk negativ ist, also akxk2015xka_{k} x^{k} \geq 2015 x^{k}. Es bleibt zu zeigen, dass Qm(x)>0Q_{m}(x)>0 für m2013m \leq 2013.

1. Beweis: Man rechnet nach, dass für reelles xx gilt
Qm(x)=1007(ν=0m1(xν+xν+1)2)+12(ν=0m1(x2ν+1+1)(x2m2ν1+1))+(1007m2)(x2m+1) Q_{m}(x)=1007\left(\sum_{\nu=0}^{m-1}\left(x^{\nu}+x^{\nu+1}\right)^{2}\right)+\frac{1}{2}\left(\sum_{\nu=0}^{m-1}\left(x^{2 \nu+1}+1\right)\left(x^{2 m-2 \nu-1}+1\right)\right)+\left(1007-\frac{m}{2}\right)\left(x^{2 m}+1\right)
Die Summanden der ersten Summe sind als Quadrate nicht negativ. Da x2k+1+1x^{2 k+1}+1 für alle k0k \geq 0 positiv bzw. 0 bzw. negativ ist für x>1x>-1 bzw. x=1x=-1 bzw. x<1x<-1, sind die Summanden in der zweiten Summe nicht negativ. Damit ist für x<0x<0 und m2013m \leq 2013 :
P(x)Qm(x)(1007m2)(x2m+1)>12 P(x) \geq Q_{m}(x) \geq\left(1007-\frac{m}{2}\right)\left(x^{2 m}+1\right)>\frac{1}{2}

2. Beweis (mit Analysis): Definiere für x<0x<0 die reelle Funktion fm(x)=(x21)Qm(x)=2014(x2m+21)+2015x(x2m1)f_{m}(x)=\left(x^{2}-1\right) Q_{m}(x)=2014\left(x^{2 m+2}-1\right)+2015 x\left(x^{2 m}-1\right). Die zweite Ableitung fm(x)=2(2m+1)(2014(m+1)x2m+2015mx2m1)f_{m}^{\prime \prime}(x)=2(2 m+1)\left(2014(m+1) x^{2 m}+2015 m x^{2 m-1}\right) hat die einzige negative Nullstelle xm=2015m2014(m+1)>1x_{m}=-\frac{2015 m}{2014(m+1)}>-1 für m2013m \leq 2013, und es ist
fm(xm)=2014(2m+2)xm2m+1+2015(2m+1)xm2m2015==(2014(2m+2)xm+2015(2m+1))xm2m2015=2015xm2m2015<0 \begin{aligned} f_{m}^{\prime}\left(x_{m}\right) & =2014(2 m+2) x_{m}^{2 m+1}+2015(2 m+1) x_{m}^{2 m}-2015= \\ & =\left(2014(2 m+2) x_{m}+2015(2 m+1)\right) x_{m}^{2 m}-2015=2015 \cdot x_{m}^{2 m}-2015<0 \end{aligned}
Für x<xmx<x_{m} bzw. xm<x<0x_{m}<x<0 wächst bzw. fällt fmf_{m}^{\prime} streng monoton, da die Ableitung fmf_{m}^{\prime \prime} positiv bzw. negativ ist; daher hat fmf_{m}^{\prime} für x<0x<0 ein globales Maximum bei x=xmx=x_{m} und ist negativ für alle x<0x<0. Daher fällt fmf_{m} streng monoton, ist also wegen fm(1)=0f_{m}(-1)=0 positiv für x>1x>-1 und negativ für x<1x<-1. Somit ist Qm(x)Q_{m}(x) positiv für x1x \neq-1; für x=1x=-1 ergibt sich direkt Qm(1)=2014m>0Q_{m}(-1)=2014-m>0.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.