# Question 11597: A Fixed-y Polynomial Slice and Its Exact One-Variable Derivative [Return to catalogue page 58](https://ocme.evemisslab.com/en/questions/page/58/) [← Question derivation index](https://ocme.evemisslab.com/en/questions/) · [Original question batch](https://ocme.evemisslab.com/en/practice/batch-20261013-advance-20261024-r04-partial-derivative-foundations/#q-20261013-advance-20261024-r04-partial-derivative-0097) This teaching derivation has second-context AI mathematical and bilingual semantic review, limited to the model and assumptions stated in this question. It has no human review or new Lean proof and does not promote the original question or MKO to Canonical truth. R0022-11597 · q-20261013-advance-20261024-r04-partial-derivative-0097 ## Original question and givens Use coefficients=[9, -1, -3, 1, -1, -1] in the fixed order [1,x,y,x²,x*y,y²]. A partial derivative fixes the other coordinate and is defined by the one-variable difference-quotient limit as nonzero h tends to 0; the exercise uses exact polynomial differentiation, not a single finite-difference sample. Existence of partial derivatives alone establishes no general continuity, total differentiability or exchange of mixed derivatives. fixed y=-1, evaluation x=-3. Give (original coefficients,fixed y,ascending x-slice coefficients,ascending derivative coefficients,x,derivative value). The slice has degrees up to 2 and its derivative degrees up to 1. - G001 — Use coefficients=[9, -1, -3, 1, -1, -1] in the fixed order [1,x,y,x²,x*y,y²]. A partial derivative fixes the other coordinate and is defined by the one-variable difference-quotient limit as nonzero h tends to 0; the exercise uses exact polynomial differentiation, not a single finite-difference sample. Existence of partial derivatives alone establishes no general continuity, total differentiability or exchange of mixed derivatives. fixed y=-1, evaluation x=-3. Give (original coefficients,fixed y,ascending x-slice coefficients,ascending derivative coefficients,x,derivative value). The slice has degrees up to 2 and its derivative degrees up to 1. ## Definition and scope Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate. - [mko-partial-derivative](https://ocme.evemisslab.com/en/mko/mko-partial-derivative/) ## Step-by-step derivation S001 · impliesBefore original coefficients=[9, -1, -3, 1, -1, -1];basis=[1,x,y,x^2,xy,y^2] After u(x,y)=(9)+(-1)*x+(-3)*y+(1)*x^2+(-1)*x*y+(-1)*y^2 Conditions: none Read the six coefficients in their fixed monomial order,not the descending[a,b,c] order of a univariate quadratic. Step identifiers and dependenciesRule: bivariate_scalar_polynomial_basis_roles · Uses: G001 S002 · calculationBefore fixed-y slice fixed coordinate squared := mul(-1, -1) After fixed-y slice fixed coordinate squared = 1 Conditions: none Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order. Step identifiers and dependenciesRule: exact_rational_arithmetic · Uses: G001, S001 S003 · calculationBefore fixed-y slice fixed linear term := mul(-3, -1) After fixed-y slice fixed linear term = 3 Conditions: none Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order. Step identifiers and dependenciesRule: exact_rational_arithmetic · Uses: G001, S002 S004 · calculationBefore fixed-y slice fixed square term := mul(-1, 1) After fixed-y slice fixed square term = -1 Conditions: none Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order. Step identifiers and dependenciesRule: exact_rational_arithmetic · Uses: G001, S003 S005 · calculationBefore fixed-y slice constant coefficient := sum(9, 3, -1) After fixed-y slice constant coefficient = 11 Conditions: none Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order. Step identifiers and dependenciesRule: exact_rational_arithmetic · Uses: G001, S004 S006 · calculationBefore fixed-y slice cross contribution := mul(-1, -1) After fixed-y slice cross contribution = 1 Conditions: none Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order. Step identifiers and dependenciesRule: exact_rational_arithmetic · Uses: G001, S005 S007 · calculationBefore fixed-y slice linear coefficient := sum(-1, 1) After fixed-y slice linear coefficient = 0 Conditions: none Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order. Step identifiers and dependenciesRule: exact_rational_arithmetic · Uses: G001, S006 S008 · impliesBefore fixed-y slice:vary x;fix y=-1;original coefficients=[9, -1, -3, 1, -1, -1] After ascending x slice coefficients=[11, 0, 1] Conditions: none Substitute the fixed other coordinate first,collecting constant,linear and quadratic terms separately.The two coordinates do not vary together. Step identifiers and dependenciesRule: fixed_other_coordinate_before_derivative · Uses: G001, S007 S009 · impliesBefore x slice derivative:g(t)=(11)+(0)*t+(1)*t^2;point=-3;h!=0 After g(-3+h)-g(-3)=(0)*h+(1)*(2*(-3)*h+h^2) Conditions: none Cancel constants and expand(z+h)^2−z^2=2zh+h^2.Do not substitute h=0 at this stage. Step identifiers and dependenciesRule: slice_increment_exact_expansion · Uses: G001, S008 S010 · calculationBefore x slice derivative twice quadratic coefficient := mul(2, 1) After x slice derivative twice quadratic coefficient = 2 Conditions: none Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order. Step identifiers and dependenciesRule: exact_rational_arithmetic · Uses: G001, S009 S011 · calculationBefore x slice derivative derivative point term := mul(2, -3) After x slice derivative derivative point term = -6 Conditions: none Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order. Step identifiers and dependenciesRule: exact_rational_arithmetic · Uses: G001, S010 S012 · calculationBefore x slice derivative derivative value := sum(0, -6) After x slice derivative derivative value = -6 Conditions: none Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order. Step identifiers and dependenciesRule: exact_rational_arithmetic · Uses: G001, S011 S013 · impliesBefore x slice derivative:h!=0;increment=h*((0)+2*(1)*(-3)+(1)*h) After difference quotient=-6+(1)*h Conditions: none Factor out the whole h and cancel only under h≠0.The quotient still has D*h;a finite difference is not automatically the derivative. Step identifiers and dependenciesRule: cancel_only_nonzero_increment · Uses: G001, S012 S014 · impliesBefore x slice derivative:quotient=-6+(1)*h;epsilon>0;delta=epsilon/1 After 0