■わが闘争・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

である.

===================================