Tenga en cuenta que sólo tenemos que considerar f que son, incluso, ya que si f es una cuártica con |f(x)|≤1−1≤x≤1, e(x)=f(x)+f(−x)2 es también una cuártica con |e(x)|≤1−1≤x≤1, e e es regular y tiene el mismo coeficiente de x2f.
Como tal, vamos a f(x)=a0+a2x2+a4x4. A continuación, f(x)=g(x2) donde g(x)=a0+a2x+a4x2, e g tiene la propiedad de que |g(x)|≤1 0≤x≤1 (desde −1≤x≤1⟺0≤x2≤1). En particular, |g(x)|≤1 x=0, 12, y 1. Ahora
a2=4⋅(a0+a22+a44)−(a0+a2+a4)−3a0=4g(12)−g(1)−3g(0)
y así g(12)≤1, g(1)≥−1, y g(0)≥−1 implica que
a2≤4⋅1−(−1)−3⋅(−1)=8.
Del mismo modo, g(12)≥1, g(1)≤−1, y g(0)≤−1 implica que a2≥−8. Por lo tanto, debemos tener |a2|≤8.
Por el contrario, g(x)=8(x−12)2−1=8x2−8x+1 satisface |g(x)|≤10≤x≤1, y, por tanto, f(x)=8x4−8x2+1 satisface |f(x)|≤1−1≤x≤1. Por lo tanto, 8 es el valor máximo posible de |a2|.