2021-05-03から1日間の記事一覧
? f(x)=x^3+3*x^2-9*x; ? g=strjoin(["y<x,x<a",concat([f(x),">",((x-y)*f(a)+(a-x)*f(y))/(a-y)])],",") %2 = "y<x,x<a,x^3+3*x^2-9*x>(y^2+(a+3)*y+(a^2+3*a-9))*x+(-a*y^2+(-a^2-3*a)*y)" ? tst12([all,all],[a,x,y],(f1,f2,f3)->imp(f1*f2,f3),g);Ans() *** using Lazard's method (MPP17). [y,2] [x</x,x<a,x^3+3*x^2-9*x></x,x<a",concat([f(x),">…