Sigh
by djmathman, Oct 28, 2013, 11:04 PM
I haven't been doing many math problems lately darn darn darn
and the ones I do try take forever darn I have to learn to get faster at these if I have any hope of trying to do more of them throughout junior year
like this one took two hours and I'm not even sure if it's correct gg
EDIT: Oops yea it's sort-of wrong; easily patchable since the only real thing I do is switch the meanings of
and
toward the end of the solution
Bad Solution
and the ones I do try take forever darn I have to learn to get faster at these if I have any hope of trying to do more of them throughout junior year
like this one took two hours and I'm not even sure if it's correct gg
EDIT: Oops yea it's sort-of wrong; easily patchable since the only real thing I do is switch the meanings of


Iran 2009 Round 2.1 wrote:
Let
be a quadratic polynomial for which
![\[ |p(x)| \leq 1 \qquad \forall x \in \{-1,0,1\}.\]](//latex.artofproblemsolving.com/b/d/6/bd65826d2e04eac0b928389890acc3cd1bbc4e8d.png)
Prove that
![\[ \ |p(x)|\leq\frac{5}{4} \qquad \forall x \in [-1,1].\]](//latex.artofproblemsolving.com/d/4/d/d4d1db6787fb7aa0b24243fb2494c6ab8f112a01.png)

![\[ |p(x)| \leq 1 \qquad \forall x \in \{-1,0,1\}.\]](http://latex.artofproblemsolving.com/b/d/6/bd65826d2e04eac0b928389890acc3cd1bbc4e8d.png)
Prove that
![\[ \ |p(x)|\leq\frac{5}{4} \qquad \forall x \in [-1,1].\]](http://latex.artofproblemsolving.com/d/4/d/d4d1db6787fb7aa0b24243fb2494c6ab8f112a01.png)
Bad Solution
Let
, and WLOG let
. If the
-coordinate of the vertex of the parabola satisfies
, then there is nothing to prove, as the maxima and minima of the function along that domain are
and
respectively. Otherwise, let
and
. It is clear that
and
, so
![\[x_{\text{vertex}}=\dfrac{-b}{2a}=\dfrac{-(m+n)/2}{2(m-n)/2}=\dfrac{-m-n}{2(m-n)}.\]](//latex.artofproblemsolving.com/5/7/e/57efbe3491f7439d19894ed49e3ad8bcbd2f5edc.png)
We know that this lies between
and
, and setting these bounds and expanding eventually gives
and
. This implies that
, since if this is true then the other inequality must obviously be true. The
-coordinate of the vertex must be
![\[a\left(\dfrac{-b}{2a}\right)^2+b\left(\dfrac{-b}{2a}\right)+c=c-\dfrac{b^2}{4a}=c-\dfrac{(m+n)^2/4}{4(m-n)/2}=c-\dfrac{(m+n)^2}{8(m-n)}.\]](//latex.artofproblemsolving.com/b/4/e/b4e5cf5b32ba9cac7d048af5527e857e6128dd95.png)
Noting that
, it suffices to determine the maximum possible value of
, because then we can choose the smallest possible value of
that makes
.
Let
. As
can be negative,
and
are essentially independent, so we shall maximize our expression as though they were independent. Our expression becomes
. Note that as
increases, the numerator of the fraction increases while the denominator decreases (unless
is negative, but this is absurd, as
being negative implies that
, which in itself implies that the function is concave down, contradiction). Hence we must maximize
in order to maximize the expression. Now, rewrite the expression as
. It's clear here that as
increases, the numerator of the expression increases faster than the denominator, so the expression is maximized when
is also maximized. Due to the constraints in the problem statement,
and
, so setting
gives the value of the expression to be
![\[2+\dfrac{2^2}{8(2\cdot 2-2)}=2+\dfrac{4}{8\cdot 2}=\dfrac94.\]](//latex.artofproblemsolving.com/a/1/6/a1621dab5637d800ff55c24b991046600a534c0c.png)
Now since
, we must have
(as then
). Therefore the smallest possible value of the function
has to be
, so
along the interval as desired. 










![\[x_{\text{vertex}}=\dfrac{-b}{2a}=\dfrac{-(m+n)/2}{2(m-n)/2}=\dfrac{-m-n}{2(m-n)}.\]](http://latex.artofproblemsolving.com/5/7/e/57efbe3491f7439d19894ed49e3ad8bcbd2f5edc.png)
We know that this lies between






![\[a\left(\dfrac{-b}{2a}\right)^2+b\left(\dfrac{-b}{2a}\right)+c=c-\dfrac{b^2}{4a}=c-\dfrac{(m+n)^2/4}{4(m-n)/2}=c-\dfrac{(m+n)^2}{8(m-n)}.\]](http://latex.artofproblemsolving.com/b/4/e/b4e5cf5b32ba9cac7d048af5527e857e6128dd95.png)
Noting that




Let
















![\[2+\dfrac{2^2}{8(2\cdot 2-2)}=2+\dfrac{4}{8\cdot 2}=\dfrac94.\]](http://latex.artofproblemsolving.com/a/1/6/a1621dab5637d800ff55c24b991046600a534c0c.png)
Now since







This post has been edited 3 times. Last edited by djmathman, Oct 31, 2013, 3:08 AM