Spheres, Ellipsoids & Level Surfaces

SECTION 1

Historical Context & Motivation

The study of curved surfaces in three-dimensional space has roots stretching back over two millennia, beginning with the ancient Greeks' fascination with perfect geometric forms. Spheres were among the first surfaces studied rigorously — Euclid discussed them in Elements, and Archimedes derived formulas for their volume and surface area that remain cornerstones of geometry today. The transition from two-dimensional conic sections (circles, ellipses, parabolas, hyperbolas) to their three-dimensional counterparts — quadric surfaces — required the invention of coordinate geometry and, eventually, the language of multivariable calculus.

The concept of a level surface emerged much later, as mathematicians and physicists sought ways to visualize functions of three variables. Just as a contour map represents elevation on a two-dimensional plot, level surfaces capture the loci where a scalar field takes a constant value. This idea became indispensable in thermodynamics, electromagnetism, and fluid dynamics, where quantities such as temperature, electric potential, and pressure are naturally defined throughout three-dimensional space.

~300 BCE

Euclid & Archimedes

Euclid defines the sphere as a surface of revolution in Elements. Archimedes derives V = (4/3)πr³ and A = 4πr², establishing the sphere as the most symmetric closed surface.

1637

Descartes' Coordinate Geometry

René Descartes publishes La Géométrie, introducing algebraic equations for curves and laying the groundwork for representing surfaces as equations in x, y, and z.

1748

Euler's Classification of Quadric Surfaces

Leonhard Euler systematically classifies second-degree surfaces — ellipsoids, hyperboloids, paraboloids — using their algebraic equations, unifying conics and their 3D generalizations.

1850s

Level Sets in Physics

Physicists including William Thomson (Lord Kelvin) and James Clerk Maxwell use equipotential surfaces and isothermal surfaces as visual tools, formalizing the concept of level surfaces for scalar fields.

1900s–Present

Modern Multivariable Calculus

Level surfaces become a standard topic in multivariable calculus courses, providing geometric insight into gradients, directional derivatives, and the implicit function theorem.

The central question this lesson addresses is: How do we describe, classify, and visualize the most fundamental curved surfaces in ℝ³ — and how do level surfaces let us "see" functions of three variables?

SECTION 2

Core Principles & Definitions

Before diving into equations and examples, it is essential to establish the foundational ideas that unify spheres, ellipsoids, and level surfaces. All three concepts arise from a single thread: describing collections of points in ℝ³ that satisfy a particular algebraic or functional condition. The following principles form the conceptual backbone of this lesson.

The Sphere as a Locus

A sphere is the set of all points equidistant from a fixed center. In ℝ³, this distance condition yields a second-degree equation whose cross-section in any plane through the center is a circle.

The Ellipsoid as a Stretched Sphere

An ellipsoid generalizes the sphere by allowing different radii along three mutually perpendicular axes. When all three semi-axes are equal, the ellipsoid reduces to a sphere.

Level Surfaces of f(x, y, z)

Given a scalar function f : ℝ³ → ℝ, a level surface is defined by f(x, y, z) = c for a constant c. Each value of c generally produces a distinct surface, and together these surfaces foliate (fill) the domain of f.

Gradient Perpendicularity

The gradient ∇f is always perpendicular to the level surface f = c at every point. This principle connects the geometry of level surfaces directly to the calculus of directional derivatives and optimization.

Quadric Surface Classification

Spheres and ellipsoids belong to the family of quadric surfaces — surfaces defined by second-degree polynomial equations. The signs and coefficients of the quadratic terms determine which type of quadric surface the equation describes.

✦ KEY TAKEAWAY

Think of level surfaces like the layers of an onion. Each layer (surface) corresponds to a specific constant value of the function, and as you peel from the outermost layer inward, the value changes. A sphere of radius r centered at the origin is nothing more than a level surface of the distance function f(x, y, z) = x² + y² + z² at the level c = r². The gradient — which tells you the direction of steepest increase — always points outward, perpendicular to each spherical shell.

SECTION 3

Visual Explanation — Spheres & Ellipsoids in 3D

Visualizing three-dimensional surfaces on a two-dimensional page requires projecting them with care. The diagram below shows both a sphere and an ellipsoid with their principal axes, cross-sectional traces, and center points labeled. Comparing the two side by side highlights how the ellipsoid's three distinct semi-axis lengths (a, b, c) break the perfect symmetry of the sphere.

Left: a sphere with equal semi-axes r in all directions, centered at (h, k, l). Right: an ellipsoid with semi-axes a, b, and c along the x-, y-, and z-axes respectively. The dashed ellipses represent cross-sectional traces in the coordinate planes.

In the diagram above, the sphere (left) exhibits identical cross-sectional circles regardless of the slicing plane's orientation through the center. The ellipsoid (right) instead produces elliptical cross-sections whose shapes depend on the slicing direction. A plane through the center parallel to the xy-plane slices the ellipsoid into an ellipse with semi-axes a and b; a plane parallel to xz produces one with semi-axes a and c, and so on. Recognizing these trace ellipses is a powerful technique for sketching quadric surfaces by hand.

SECTION 4

Mathematical Framework

We now formalize the algebraic equations that define spheres, ellipsoids, and level surfaces. Each equation is a direct translation of a geometric or functional condition into the language of coordinates.

Equation of a Sphere

STANDARD FORM — SPHERE

(x − h)² + (y − k)² + (z − l)² = r²

Center: (h, k, l) ∈ ℝ³. Radius: r > 0. Every point (x, y, z) on the surface satisfies distance from center = r. Expanding yields the general form x² + y² + z² + Dx + Ey + Fz + G = 0, where completing the square recovers the center and radius.

Equation of an Ellipsoid

STANDARD FORM — ELLIPSOID

((x − h)/a)² + ((y − k)/b)² + ((z − l)/c)² = 1

Center: (h, k, l). Semi-axes: a, b, c > 0 along the x-, y-, z-directions. When a = b = c = r, this reduces to the sphere equation (divided by r²). The surface is bounded: x ∈ [h − a, h + a], y ∈ [k − b, k + b], z ∈ [l − c, l + c].

Level Surfaces

LEVEL SURFACE DEFINITION

S_c = { (x, y, z) ∈ ℝ³ : f(x, y, z) = c }

For a scalar-valued function f : ℝ³ → ℝ and a constant c ∈ ℝ, the level surface S_c is the set of all points where f equals c. For example, if f(x, y, z) = x² + y² + z², then S_c is a sphere of radius √c (for c > 0).

GRADIENT — NORMAL TO LEVEL SURFACE

∇f = (∂f/∂x, ∂f/∂y, ∂f/∂z) ⊥ S_c at every point of S_c

The gradient vector is always orthogonal to the level surface passing through that point. Its magnitude |∇f| measures how rapidly f changes in the direction normal to the surface; thus closely spaced level surfaces indicate a steep gradient.

💡 Completing the Square in 3D

Given the general second-degree equation x² + y² + z² + Dx + Ey + Fz + G = 0, group each variable and complete the square: (x + D/2)² + (y + E/2)² + (z + F/2)² = D²/4 + E²/4 + F²/4 − G. This expression represents a sphere only when the right-hand side is strictly positive; if it equals zero, the "sphere" degenerates to a single point, and if it is negative, no real surface exists.

SECTION 5

Detailed Breakdown — Families of Level Surfaces

A single function f(x, y, z) generates an entire family of level surfaces as the constant c varies. The geometry of these surfaces can change dramatically with c, and classifying them provides deep insight into the function's behavior. This section catalogs several important examples and provides a second diagram showing nested level surfaces.

Common functions and their families of level surfaces

Function f(x, y, z)	Level Surface f = c	Shape & Notes
x² + y² + z²	x² + y² + z² = c	Concentric spheres of radius √c for c > 0. Empty for c < 0; origin for c = 0.
x²/4 + y²/9 + z²	x²/4 + y²/9 + z² = c	Concentric ellipsoids with semi-axes 2√c, 3√c, √c for c > 0.
x² + y² − z²	x² + y² − z² = c	Hyperboloid of one sheet (c > 0), cone (c = 0), hyperboloid of two sheets (c < 0).
x² + y²	x² + y² = c	Circular cylinders of radius √c for c > 0 (independent of z).
z − x² − y²	z = x² + y² + c	Family of paraboloids opening upward, shifted vertically by c.

Three nested ellipsoidal level surfaces for f(x, y, z) = x²/a² + y²/b² + z²/c² at levels c = 1 (innermost, pink), c = 4 (middle, violet), and c = 9 (outermost, cyan). The gradient ∇f points radially outward from the center, perpendicular to every level surface it crosses.

The diagram illustrates how level surfaces of an ellipsoidal function nest inside one another like Russian dolls. As c increases, the ellipsoids expand outward while maintaining the same shape ratios determined by a, b, and c. The gradient vector at any point on a level surface points in the direction of increasing f — directly toward the next higher-valued surface. The spacing between adjacent level surfaces encodes the magnitude of the gradient: closely packed surfaces signal a rapidly changing function.

SECTION 6

Worked Example

Let us work through a problem that combines sphere identification, ellipsoid analysis, and level surface interpretation.

Identifying and Analyzing a Quadric Surface

Step 1 — State the ProblemConsider the equation 4x² + 4y² + 4z² − 8x + 16y − 24z + 36 = 0. Determine whether this equation represents a sphere. If so, find its center and radius. Then describe the level surfaces of the function g(x, y, z) = (x − 1)² + (y + 2)² + (z − 3)².

Step 2 — Simplify the EquationDivide the entire equation by 4 to obtain: x² + y² + z² − 2x + 4y − 6z + 9 = 0. This eliminates the leading coefficient and produces a monic equation suitable for completing the square.

x² + y² + z² − 2x + 4y − 6z + 9 = 0

Step 3 — Complete the SquareGroup by variable: (x² − 2x) + (y² + 4y) + (z² − 6z) = −9. Complete each square: (x² − 2x + 1) + (y² + 4y + 4) + (z² − 6z + 9) = −9 + 1 + 4 + 9. This simplifies to (x − 1)² + (y + 2)² + (z − 3)² = 5.

(x − 1)² + (y + 2)² + (z − 3)² = 5

Step 4 — Identify the SphereThe equation (x − 1)² + (y + 2)² + (z − 3)² = 5 matches the standard form (x − h)² + (y − k)² + (z − l)² = r². The center is (h, k, l) = (1, −2, 3), and the radius is r = √5 ≈ 2.236.

Center: (1, −2, 3), Radius: √5

Step 5 — Describe the Level Surfaces of gSince g(x, y, z) = (x − 1)² + (y + 2)² + (z − 3)², the level surfaces g = c are given by (x − 1)² + (y + 2)² + (z − 3)² = c. For c > 0, each level surface is a sphere centered at (1, −2, 3) with radius √c. For c = 0, the "surface" degenerates to the single point (1, −2, 3). For c < 0, no points satisfy the equation, so the level set is empty. The original sphere in the problem corresponds to the specific level surface g = 5.

Level surfaces of g: concentric spheres centered at (1, −2, 3) with radii √c for c > 0

SECTION 7

Comparing Spheres, Ellipsoids & Other Quadric Surfaces

Spheres and ellipsoids are just two members of the larger quadric surface family. Understanding their relationship to other quadric surfaces — and the strengths and limitations of each representation — provides a richer geometric vocabulary for multivariable calculus.

Comparison of three fundamental quadric surfaces

Property	Sphere	Ellipsoid	Hyperboloid (1 sheet)
Boundedness	Bounded (closed surface)	Bounded (closed surface)	Unbounded (extends to infinity)
Symmetry	Full rotational symmetry about any axis through center	Three planes of reflective symmetry	One axis of rotational symmetry, two planes of reflection
Cross-sections	Circles in every plane through center	Ellipses in coordinate planes through center	Ellipses (horizontal), hyperbolas (vertical)
Parameters	1 (radius r)	3 (semi-axes a, b, c)	3 (semi-axes a, b, c)
Equation sign pattern	+ + + = r²	+ + + = 1	+ + − = 1

✦ KEY TAKEAWAY

The sign pattern of the squared terms is the fingerprint of a quadric surface. All three positive → ellipsoid (or sphere). Two positive, one negative → hyperboloid of one sheet. One positive, two negative → hyperboloid of two sheets. Memorizing these sign patterns is analogous to how an engineer reads a circuit schematic — the signs tell you the "topology" of the surface before you ever sketch it.

SECTION 8

Connections to Advanced Theory

The ideas explored in this lesson serve as launching points for several advanced topics in multivariable calculus, differential geometry, and applied mathematics. Understanding how spheres, ellipsoids, and level surfaces interact with gradients and tangent planes will prove essential as you move forward.

How this lesson connects to advanced calculus topics

This Lesson's Topic	Advanced Extension
Level surfaces f(x, y, z) = c	Implicit differentiation in 3D; the Implicit Function Theorem guarantees when a level surface is locally a graph z = g(x, y).
∇f ⊥ level surface	Tangent plane equation: ∇f · (r − r₀) = 0. This directly yields the equation of the tangent plane at any point on the surface.
Quadric surface classification	Eigenvalue analysis of the associated matrix A in x⃗ᵀAx⃗ = 1. Principal axis theorem and rotations to eliminate cross-terms.
Concentric level surfaces	Lagrange multipliers: optimizing a function h(x, y, z) subject to a constraint f(x, y, z) = c is geometrically finding where level surfaces of h are tangent to a level surface of f.
Sphere parameterization	Spherical coordinates (ρ, θ, φ); surface integrals over spheres; flux integrals and the Divergence Theorem.

Perhaps the most powerful connection is to Lagrange multipliers. When you optimize f(x, y, z) subject to a constraint g(x, y, z) = c, you are geometrically seeking points where a level surface of f just grazes (is tangent to) the level surface g = c. At such points, ∇f = λ∇g — the two gradient vectors are parallel. Without the geometric intuition of level surfaces developed in this lesson, Lagrange's method can seem like an algebraic trick; with it, the method becomes a beautiful exercise in surface geometry.

SECTION 9

Practice Problems

PROBLEM 1 — CONCEPTUAL

Explain in your own words why every sphere centered at the origin can be viewed as a level surface of some function f(x, y, z). What is the function, and what is the corresponding constant c?

PROBLEM 2 — BASIC CALCULATION

Rewrite the equation x² + y² + z² + 6x − 4y + 2z + 5 = 0 in standard form by completing the square. Identify the center and radius of the sphere.

PROBLEM 3 — INTERMEDIATE

Describe the level surfaces of f(x, y, z) = x²/4 + y²/9 + z² for various values of c. What happens at c = 0, c = 1, and c = 4? Sketch or describe the traces in the xy-plane for c = 1.

PROBLEM 4 — APPLIED

The temperature distribution in a region of space is modeled by T(x, y, z) = 100 − 2x² − 3y² − 5z². Find the equation of the isothermal surface (level surface of T) corresponding to T = 50. What shape is this surface, and what are its semi-axes? In which direction does the temperature decrease most rapidly at the point (1, 2, 1)?

PROBLEM 5 — CRITICAL THINKING

Let f(x, y, z) = x² + y² − z². Describe how the topology of the level surfaces f = c changes as c passes through zero. Explain why the level surface at c = 0 is qualitatively different from those at c > 0 and c < 0, and relate this to the behavior of ∇f on that surface.

SUMMARY

Lesson Summary

This lesson established the equations and geometric intuition for the most fundamental closed surfaces in three-dimensional space. A sphere is defined by (x − h)² + (y − k)² + (z − l)² = r², encoding the condition that every surface point lies at distance r from the center (h, k, l). An ellipsoid generalizes this by introducing three independent semi-axes a, b, c, replacing the single radius and producing the equation ((x − h)/a)² + ((y − k)/b)² + ((z − l)/c)² = 1. Completing the square is the essential algebraic technique for converting a general second-degree equation into standard form, revealing the center, semi-axes, and whether the equation represents a real surface.

A level surface of a function f(x, y, z) is the set of all points satisfying f = c for a constant c, analogous to a contour line on a topographic map but now a full surface in ℝ³. Both spheres and ellipsoids arise naturally as level surfaces of simple quadratic functions. The gradient ∇f is always perpendicular to the level surface at every point, pointing in the direction of steepest increase. This orthogonality principle links the geometry of level surfaces to tangent planes, optimization via Lagrange multipliers, and the broader framework of differential geometry in higher dimensions.