| For All Solvers
OMC214 (エリジオン杯)

OMC214(D) - 連立方程式を回避する方法

ユーザー解説 by J_Koizumi_144

f(x)=a(10x1)4+b(10x+1)4+c(20x1)4+d(20x+1)4f(x)=a(10x-1)^4+b(10x+1)^4+c(20x-1)^4+d(20x+1)^4 と定めると {f(2)=f(3)=f(4)=f(5)=1e=f(1)+1\begin{cases}f(2)=f(3)=f(4)=f(5)=-1\\e=f(1)+1\end{cases}である.因数定理より,実数 kk を用いて f(x)=k(x2)(x3)(x4)(x5)1=k(x414x3+71x2154x+120)1f(x)=k(x-2)(x-3)(x-4)(x-5)-1=k(x^4-14x^3+71x^2-154x+120)-1 と表すことができる.kk を決定するために,f(x)f(x) の係数の間の関係式を得たい.gλ(x)=(λx1)4g_\lambda(x)=(\lambda x-1)^4 と定めると,f(x)f(x)g10(x),g10(x),g20(x),g20(x)g_{10}(x),g_{-10}(x), g_{20}(x),g_{-20}(x) の線型結合である.そこで gλ(x)g_\lambda(x) の係数の間の関係式を考える. gλ(x)=λ4x44λ3x3+6λ2x24λx+1g_\lambda(x)=\lambda^4x^4-4\lambda^3 x^3+6\lambda^2 x^2-4\lambda x+1 より gλ(x)g_\lambda(x) の係数は λ4,4λ3,6λ2,4λ,1\lambda^4,-4\lambda^3,6\lambda^2,-4\lambda,1 である.ここで λ=10,10,20,20\lambda=10,-10,20,-20 に対して 0=(λ10)(λ+10)(λ20)(λ+20)=λ4500λ2+400000=(\lambda-10)(\lambda+10)(\lambda-20)(\lambda+20)=\lambda^4-500\lambda^2+40000 が成り立つので (gλ(x)x4の係数)5006(gλ(x)x2の係数)+40000(gλ(x)の定数項)=0(g_\lambda(x)\text{の}x^4\text{の係数})-\dfrac{500}{6}(g_\lambda(x)\text{の}x^2\text{の係数})+40000(g_\lambda(x)\text{の定数項})=0 となる.この性質は線型結合を取っても保たれるので (f(x)x4の係数)5006(f(x)x2の係数)+40000(f(x)の定数項)=0(f(x)\text{の}x^4\text{の係数})-\dfrac{500}{6}(f(x)\text{の}x^2\text{の係数})+40000(f(x)\text{の定数項})=0 が得られる.この式から k=12000014382253k=\dfrac{120000}{14382253} であることがわかり,e=f(1)+1e=f(1)+1 が計算できる.