■わが闘争・2017 (その33)
(その29)
[Q]区間[−1,1]において,M=max|x^2+ax+b|は,a,bの値に関わらず常に1/2より小さくないことを証明せよ.
[Q]区間[−1,1]において,M=max|x^4+ax^2+b|は,a,bの値に関わらず常に1/8より小さくないことを証明せよ.
(その30)〜(その32)
[Q]f(x)=x^3+ax^2+bx+c
はa,b,cの値に関わらず常に1/4より小さくないことを証明せよ.
・・・において,1/2,1/8,1/4が出現した理由が多項式近似定理なのである.
p(x)=x^n+a1x^n-1+・・・+an
M=max|p(x)|
とする.このとき,
M≧1/2^n-1
が成立し,Mを最小にするのは
p(x)=Tn(x)/2^n-1
ただひとつである.
===================================
[証]Tn(cosθ)=cosnθ
[−1,1]において,|Tn(cosθ)|≦1
零点はcosnθ=0より,
xj=cos(2j−1)π/2n
dTn(cosθ)/dx=nsinnθ/sinθより,
xj=cosjπ/n
で,極値はTn(cosjπ/n)=cosjπ=±1をとる.
したがって,
Fn(x)=Tn(z)/2^n-1
とおくと,max|Fn(x)|=1/2^n-1
Fn(x)=x^n−fn(x)
とおくと,max|x^n−fn(x)|≧1/2^n-1
が成り立つ.以上より,求める多項式は
Fn(x)=Tn(z)/2^n-1
である.
===================================