Partial derivatives and geometry

A function of one variable has a single slope at each point. A function of two variables, z=f(x,y)z=f(x,y), is a whole surface in space, and it can rise steeply in one direction while staying flat in another — so "the slope" needs to specify which direction. The partial derivative answers this by freezing every variable except one and differentiating the rest with the ordinary single-variable rules already known from school. It sounds like a small trick, but it is the entry point to all of multivariable calculus: tangent planes, directional behaviour, optimisation of surfaces, and eventually the chain rule and gradients all build on this one idea of "hold everything else fixed." Geometrically, each partial derivative is the slope of a curve carved out of the surface by a vertical slicing plane, so the algebra of freezing variables has an exact picture in terms of cutting a surface with a knife.

The core insight

The partial derivative fx(a,b)f_x(a,b) freezes y=by=b and differentiates ff with respect to xx using ordinary rules, giving the slope of the trace curve where the vertical plane y=by=b cuts the surface z=f(x,y)z=f(x,y).

The core idea

Definition by a limit. For z=f(x,y)z=f(x,y), the partial derivative with respect to xx at (a,b)(a,b) is defined exactly like the ordinary derivative, except only xx is allowed to move:

fx(a,b)=∂f∂x(a,b)=lim⁡h→0f(a+h,b)−f(a,b)h.f_x(a,b) = \frac{\partial f}{\partial x}(a,b) = \lim_{h\to 0} \frac{f(a+h,b)-f(a,b)}{h}.

where: hh is a small increment in the xx-direction only, yy stays fixed at bb throughout the limit, and fxf_x (also written ∂f/∂x\partial f/\partial x) is the resulting rate of change. Swapping the roles of xx and yy gives

fy(a,b)=∂f∂y(a,b)=lim⁡h→0f(a,b+h)−f(a,b)h,f_y(a,b) = \frac{\partial f}{\partial y}(a,b) = \lim_{h\to 0} \frac{f(a,b+h)-f(a,b)}{h},

now with xx held fixed at aa. For a function of three variables f(x,y,z)f(x,y,z), the same freezing trick gives fxf_x, fyf_y, fzf_z in turn, each obtained by treating the other two letters as plain constants.

Computing without the limit. In practice the limit is never evaluated directly. Because yy is a fixed number while computing fxf_x, every ordinary differentiation rule — power rule, product rule, chain rule for single-variable expressions — applies with yy carried along as a constant coefficient. This is the whole computational content of the topic: partial differentiation of a two-variable function is nothing more than single-variable differentiation performed twice, once per variable, with the other variable "switched off."

Geometric interpretation. The graph z=f(x,y)z=f(x,y) is a surface. Fixing y=by=b slices it with the vertical plane y=by=b, producing a curve on the surface called a trace, described by z=f(x,b)z=f(x,b) — now a function of xx alone, since bb is a fixed number. The partial derivative fx(a,b)f_x(a,b) is exactly the ordinary slope of this trace curve at x=ax=a, measured in the plane y=by=b. Symmetrically, fixing x=ax=a and slicing with the plane x=ax=a produces the trace z=f(a,y)z=f(a,y), whose slope at y=by=b is fy(a,b)f_y(a,b). So a single point on the surface carries two natural slopes — one along each coordinate direction — and together they describe how the surface tilts locally; the plane through both tangent lines is the tangent plane, developed once differentiability is introduced in the next topic.

Figure
A saddle-shaped surface sliced by two perpendicular vertical planes showing the two trace curves whose slopes are the partial derivatives
Slicing the surface z = f(x,y) at a point trace y=b, slope f_x trace x=a, slope f_y (a,b,f(a,b)) Two perpendicular vertical planes cut the surface into two curves; each partial derivative is a slope on one of them.
Derivation AComputing and reading both partial derivatives of a polynomial surface

The goal is to compute fxf_x and fyf_y for a genuinely mixed two-variable polynomial where both variables appear in the same term, evaluate both at a specific point, and read the numeric results as two different surface slopes at that point — the full cycle the syllabus expects, done carefully enough that the "freeze one variable" rule is applied term by term rather than remembered as a slogan.

Step 1. Write the function and identify what "freezing yy" means for each term. Let f(x,y)=x2y+3xy3−y2f(x,y) = x^2y + 3xy^3 - y^2. To find fxf_x, treat yy as a fixed number in every term: x2yx^2y becomes a constant yy times x2x^2, whose xx-derivative is 2xy2xy; 3xy33xy^3 becomes a constant 3y33y^3 times xx, whose xx-derivative is 3y33y^3; and −y2-y^2 is a pure constant once yy is frozen, so its xx-derivative is 00.

Step 2. Assemble fxf_x. Adding the three pieces from Step 1 gives fx=2xy+3y3−0=2xy+3y3f_x = 2xy + 3y^3 - 0 = 2xy+3y^3. Notice that yy never got differentiated — it only ever appears as a multiplier, exactly as the freezing rule demands.

Step 3. Repeat with xx frozen to find fyf_y. Now x2yx^2y becomes a constant x2x^2 times yy, giving x2x^2; 3xy33xy^3 becomes a constant 3x3x times y3y^3, giving 3x⋅3y2=9xy23x\cdot 3y^2=9xy^2; and −y2-y^2 differentiates normally to −2y-2y. Summing gives fy=x2+9xy2−2yf_y = x^2+9xy^2-2y.

Step 4. Evaluate both at the point (1,−1)(1,-1). Substituting x=1,y=−1x=1,y=-1 into fx=2xy+3y3f_x=2xy+3y^3 gives fx(1,−1)=2(1)(−1)+3(−1)3=−2−3=−5f_x(1,-1)=2(1)(-1)+3(-1)^3=-2-3=-5. Substituting into fy=x2+9xy2−2yf_y=x^2+9xy^2-2y gives fy(1,−1)=(1)2+9(1)(−1)2−2(−1)=1+9+2=12f_y(1,-1)=(1)^2+9(1)(-1)^2-2(-1)=1+9+2=12.

Step 5. Read the two numbers as two slopes on the surface. At the point (1,−1,f(1,−1))(1,-1,f(1,-1)), moving in the xx-direction while yy stays fixed at −1-1, the surface descends with slope −5-5 (the trace curve is falling). Moving instead in the yy-direction while xx stays fixed at 11, the surface rises steeply with slope 1212. The two values are unrelated in size or sign precisely because they describe two different, perpendicular directions on the surface — neither one alone tells you what happens along, say, a diagonal direction. Verified: fx=2xy+3y3⇒fx(1,−1)=−5f_x=2xy+3y^3\Rightarrow f_x(1,-1)=-5; fy=x2+9xy2−2y⇒fy(1,−1)=12f_y=x^2+9xy^2-2y\Rightarrow f_y(1,-1)=12.

Worked example

The surface z=9−x2−y2z=9-x^2-y^2 (a downward paraboloid, like a dome) is sliced by the vertical plane y=1y=1. Find the slope of the resulting trace curve at x=2x=2, and give the equation of the tangent line to that trace.

Step 1. Identify the trace. Setting y=1y=1 in z=9−x2−y2z=9-x^2-y^2 gives z=9−x2−1=8−x2z=9-x^2-1=8-x^2, a downward parabola lying in the plane y=1y=1. Its slope at x=2x=2 is exactly fx(2,1)f_x(2,1) for f(x,y)=9−x2−y2f(x,y)=9-x^2-y^2.

Step 2. Compute fxf_x by freezing yy. Since y2y^2 is constant once yy is frozen, fx=∂∂x(9−x2−y2)=−2xf_x=\dfrac{\partial}{\partial x}(9-x^2-y^2)=-2x.

Step 3. Evaluate at (2,1)(2,1). fx(2,1)=−2(2)=−4f_x(2,1)=-2(2)=-4. The trace z=8−x2z=8-x^2 has slope −4-4 at x=2x=2.

Step 4. Write the tangent line. At x=2x=2, z=8−(2)2=4z=8-(2)^2=4, so the tangent to the trace at the point (2,1,4)(2,1,4) satisfies

z−4=−4(x−2)⟹z=−4x+12,z-4=-4(x-2) \quad\Longrightarrow\quad z=-4x+12,

valid along the fixed line y=1y=1 in three-dimensional space. The trace has slope −4-4 at x=2x=2, with tangent line z=−4x+12z=-4x+12 (along y=1y=1).

Competitive stretch

The same paraboloid z=9−x2−y2z=9-x^2-y^2 is sliced instead by x=2x=2; find the slope of that trace at y=1y=1 and compare it with the answer above. Freezing x=2x=2 gives z=9−4−y2=5−y2z=9-4-y^2=5-y^2, so fy=−2yf_y=-2y and fy(2,1)=−2f_y(2,1)=-2. The two slopes at the same point, fx(2,1)=−4f_x(2,1)=-4 and fy(2,1)=−2f_y(2,1)=-2, differ because the paraboloid is not radially symmetric in its rate of change along the two axes at this point — both are needed to describe the full local tilt of the dome.

Common traps

  • Letting the frozen variable "come alive." Differentiating x2yx^2y with respect to xx while accidentally treating yy as a hidden function of xx (product-rule reflex) gives the wrong answer 2xy+x2y′2xy+x^2y'; yy is a plain constant during fxf_x, full stop.
  • Swapping which slope is which. fxf_x is the slope along the direction where yy is fixed (motion in xx); it is easy to misread a trace picture and attach the wrong letter to the wrong direction.
  • Over-applying the product rule to mixed terms. In a term like xy3xy^3, the other variable is only a constant multiplier when differentiating — ∂x(xy3)=y3\partial_x(xy^3)=y^3 directly, with no product-rule machinery needed since y3y^3 is treated as a fixed coefficient.
  • Treating one partial derivative as the whole story. fx(a,b)f_x(a,b) alone only describes the slope along one direction; the full first-order tilt of the surface at a point needs both fxf_x and fyf_y together.

Ask the tutor: if a mixed-term partial derivative or a trace-curve tangent line isn't coming out right, ask the AI tutor to walk through a similar function step by step.

Why does freezing a variable make sense — isn't the surface still changing in every direction at once?

It is, but a partial derivative deliberately answers a narrower question: how fast does zz change if you move along just one coordinate axis, ignoring motion along the other? That restriction is what makes ordinary single-variable differentiation applicable at all — you cannot differentiate "in general" along an arbitrary direction without more machinery (that comes later, with directional derivatives and the gradient). Freezing one variable turns a two-variable problem into a one-variable one you already know how to solve exactly.

Do f sub x and f sub y together fully describe the tangent plane to the surface?

Almost — they are the two essential ingredients, but strictly you also need the surface to be differentiable at that point (a slightly stronger condition than just having both partial derivatives exist, covered in the very next topic). Once that holds, the tangent plane is built from exactly these two slopes: it is the unique plane through the surface point whose slope in the xx-direction matches fxf_x and whose slope in the yy-direction matches fyf_y.

Is there a shortcut for functions with more complicated terms, like ones involving sine or exponentials?

No new rule is needed — every single-variable technique (power rule, chain rule, product rule) still applies exactly as usual, with the other variable simply carried as a constant. For example, ∂x ⁣(sin⁡(xy))=ycos⁡(xy)\partial_x\!\left(\sin(xy)\right)=y\cos(xy) by the ordinary chain rule, since yy multiplies the inside of the sine and is treated as a constant factor throughout. The only discipline required is remembering, at every step, which letter is currently "switched off."

Before this

Where this leads