| For All Solvers
OMC182

OMC182(D)

 x2f(x,y)x^2f(x,y)y2y^2 を因数に持ち,さらに交代式であるから yxy-x も因数に持つ.これより f(x,y)f(x,y) は多項式 g(x,y)g(x,y) を用いて y2(yx)g(x,y)y^2(y-x)g(x,y) と表せる.さらに g(x,y)g(x,y)22 次の対称式であるため,実数 a,b,c,da,b,c,d を用いて g(x,y)=a(x2+y2)+bxy+c(x+y)+dg(x,y)=a(x^2+y^2)+bxy+c(x+y)+d と表すことができる.このとき f(x,y)f(x,y)y5,xy4,y4y^5,xy^4,y^4 の係数はそれぞれ a,ba,ca,b-a,c であるから,問の条件と合わせて a=1,b=c=3a=1,b=c=3 を得る.また g(2,3)=111g(2,3)=111 が分かるから d=65d=65 である.
 以上より, f(x,y)=y2(yx)(x2+y2+3xy+3x+3y+65)f(x,y)=y^2(y-x)(x^2+y^2+3xy+3x+3y+65) であるから,求める答えは f(5,7)=27440f(5, 7) = \mathbf{27440} である.

交代式について  ある 22 変数多項式 u(x,y)u(x,y)u(x,y)=u(y,x)u(x,y)= -u(y,x) をみたすとき,uu交代式という.このような交代式は u(x,x)=0u(x,x)=0 をみたしているため,xx11 変数多項式とみれば,因数定理より xyx-y を因数に持つことが分かる.したがってある 22 変数多項式 v(x,y)v(x, y) により u(x,y)=(xy)v(x,y)u(x, y) = (x-y) v(x, y) とかけるが,このとき (xy)v(x,y)=u(x,y)=u(y,x)=(yx)v(y,x) (x-y) v(x, y) = u(x, y) = -u(y, x) = - (y-x) v(y, x) であるので,v(x,y)=v(y,x)v(x, y) = v(y, x),すなわち vv が対称式であることも従う.

解説YouTube

解説YouTubeが存在しません.