The math optional, made finite. Daily Practice

Paraboloid (elliptic and hyperbolic)

At a Glance

Why This Chapter Matters

Paraboloid questions appear in 6 of the last 13 years and are the most technically demanding atom in Paper 1 Analytic Geometry. Four of the six questions are rated hard. The atom covers a wide range: a simple tangent-plane gradient calculation (2017), completing the square to identify canonical form (2023), finding generating lines of a ruled quadric (2018), the locus of perpendicular generators (2020), a cubic normal-count condition (2019), and an envelope-of-tangent-planes problem (2015). The first two are 10-mark easy questions handled by standard gradient/completion-of-squares; the remaining four require deeper technique and care.

Minimum Theory

Canonical forms.

TypeEquationKey features
Elliptic paraboloidx2a2+y2b2=z\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=zVertex at origin; axis along zz; all cross-sections z=c>0z=c>0 are ellipses
Hyperbolic paraboloidx2a2y2b2=z\dfrac{x^2}{a^2}-\dfrac{y^2}{b^2}=zSaddle point at origin; two families of generating lines

Comparison of elliptic and hyperbolic paraboloids: cross-sections and canonical equations.

Tangent plane. At a point (x0,y0,z0)(x_0,y_0,z_0) on the surface F(x,y,z)=0F(x,y,z)=0, the tangent plane is F(rr0)=0\nabla F\cdot(\mathbf r-\mathbf r_0)=0.

For the elliptic paraboloid x2/a2+y2/b2z=0x^2/a^2+y^2/b^2-z=0: tangent at (x0,y0,z0)(x_0,y_0,z_0) is xx0a2+yy0b2=z+z02(split-equation rule).\frac{xx_0}{a^2}+\frac{yy_0}{b^2}=\frac{z+z_0}{2}\qquad\text{(split-equation rule)}. For the general paraboloid αx2+βy2=2z\alpha x^2+\beta y^2=2z: tangent at (ξ,η,ζ)(\xi,\eta,\zeta) is αξx+βηy=z+ζ\alpha\xi x+\beta\eta y=z+\zeta.

Reduction to canonical form. Complete the square in xx and yy to eliminate cross-terms. Translate coordinates to move the vertex to the origin.

Generating lines (rulings) of the hyperbolic paraboloid. Factor x2/a2y2/b2=2zx^2/a^2-y^2/b^2=2z as (xayb) ⁣(xa+yb)=2z.\left(\frac{x}{a}-\frac{y}{b}\right)\!\left(\frac{x}{a}+\frac{y}{b}\right)=2z. Two families of rulings (each pair of matching λ/μ\lambda/\mu gives a line lying entirely on the surface):

Finding generators through a point. For a ruled quadric at a surface point (x0,y0,z0)(x_0,y_0,z_0), parametrise the line as (x0+at,y0+bt,z0+ct)(x_0+at,y_0+bt,z_0+ct); substitute; the t0t^0 term vanishes (point is on surface); impose t1=0t^1=0 and t2=0t^2=0 to get two equations in (a:b:c)(a:b:c) — these factor into two directions.

Normals to a paraboloid. The normal at (ξ,η,ζ)(\xi,\eta,\zeta) on x2+y2=2azx^2+y^2=2az passes through a given point (α,β,γ)(\alpha,\beta,\gamma) iff a cubic equation in λ\lambda (the parameter along the normal) is satisfied — generically three normals.

Envelope of a family of planes. For a 1-parameter family of planes F(x,y,z,t)=0F(x,y,z,t)=0: the envelope is the curve/surface obtained by eliminating tt from F=0F=0 and F/t=0\partial F/\partial t=0.

Question Archetypes

Six patterns cover all six questions in the corpus.

ArchetypeYou are seeing this when…
tangent-plane-at-point”Find the tangent plane to [conicoid] at point PP
paraboloid-reduction”Show [equation] represents a paraboloid; find vertex, axis, principal planes”
generating-lines”Find the generating lines of [ruled quadric] through point PP
normals-from-point”Prove three normals can be drawn from PP; find the coincidence-condition surface”
perpendicular-generators-locus”Find the locus of intersection of perpendicular generators”
tangent-plane-envelope”Two perpendicular tangent planes intersect on [line]; find the envelope”

tangent-plane-at-point (1 question(s); 2017)

Recognition Cues

Solution Template

  1. Verify the point lies on the surface: F(x0,y0,z0)=0F(x_0,y_0,z_0)=0.
  2. Compute F\nabla F and evaluate at (x0,y0,z0)(x_0,y_0,z_0).
  3. Write the tangent plane: F(rr0)=0\nabla F\cdot(\mathbf r-\mathbf r_0)=0.
  4. Simplify and double-check using the split-equation shortcut.

Worked Example(s)

2017 Paper 1, 2017-P1-Q1d (10 marks, compulsory)

Find the tangent plane at (1,1,1)(1,1,1) to 3x2y2=2z3x^2-y^2=2z.

F=3x2y22zF=3x^2-y^2-2z. Check: 312=03-1-2=0 ✓. F=(6x,2y,2)\nabla F=(6x,-2y,-2); at (1,1,1)(1,1,1): (6,2,2)(6,-2,-2).

Tangent plane: 6(x1)2(y1)2(z1)=06x2y2z=26(x-1)-2(y-1)-2(z-1)=0\Rightarrow 6x-2y-2z=2:   3xyz=1.  \boxed{\;3x-y-z=1.\;}

Common Traps


paraboloid-reduction (1 question(s); 2023)

Recognition Cues

Solution Template

  1. Complete the square in xx and in yy.
  2. Move all constant terms to the right side; the equation should take the form (xh)2a2+(yk)2b2=zz0\frac{(x-h)^2}{a^2}+\frac{(y-k)^2}{b^2}=z-z_0 (elliptic) or with a minus sign (hyperbolic).
  3. Read off vertex (h,k,z0)(h,k,z_0), axis (line through vertex parallel to zz-axis), principal planes (the two planes of symmetry through the axis).

Worked Example(s)

2023 Paper 1, 2023-P1-Q2c-i (10 marks)

Show 2x2+3y28x+6y12z+11=02x^2+3y^2-8x+6y-12z+11=0 is an elliptic paraboloid. Find its principal axis and planes.

Complete the square: 2(x2)28+3(y+1)2312z+11=0    2(x2)2+3(y+1)2=12z.2(x-2)^2-8+3(y+1)^2-3-12z+11=0\;\Rightarrow\;2(x-2)^2+3(y+1)^2=12z. Divide by 12: (x2)26+(y+1)24=z\dfrac{(x-2)^2}{6}+\dfrac{(y+1)^2}{4}=z.

This is canonical form — elliptic paraboloid with vertex (2,1,0)(2,-1,0).   Principal axis: x=2,  y=1.Principal planes: x=2 and y=1.  \boxed{\;\text{Principal axis: }x=2,\;y=-1.\quad\text{Principal planes: }x=2\text{ and }y=-1.\;}

Common Traps


generating-lines (1 question(s); 2018)

Recognition Cues

Solution Template

  1. Verify PP is on the surface.
  2. Parametrise: (x,y,z)=P+(a,b,c)t(x,y,z)=P+(a,b,c)t.
  3. Substitute into F(x,y,z)=0F(x,y,z)=0; expand as a polynomial in tt.
  4. The t0t^0 coefficient vanishes (P on surface). Set t1=0t^1=0 (linear condition on (a,b,c)(a,b,c)) and t2=0t^2=0 (quadratic condition).
  5. From the linear condition express cc in terms of a,ba,b; substitute into the quadratic to get a factored equation in (a:b)(a:b); two factors give two direction ratios.

Worked Example(s)

2018 Paper 1, 2018-P1-Q3c (13 marks)

Find the generating lines of (x+y+z)(2x+yz)=6z(x+y+z)(2x+y-z)=6z through (1,1,1)(1,1,1).

Verify: (1+1+1)(2+11)=32=6=61(1+1+1)(2+1-1)=3\cdot2=6=6\cdot1 ✓.

Parametrise (1+at,1+bt,1+ct)(1+at,1+bt,1+ct). Substituting, the t1t^1 coefficient gives: (L)8a+5b7c=0    c=8a+5b7.(\text{L})\quad 8a+5b-7c=0\;\Rightarrow\;c=\frac{8a+5b}{7}. The t2t^2 coefficient gives 2a2+3ab+ac+b2c2=02a^2+3ab+ac+b^2-c^2=0. Substituting cc and multiplying by 4949: 6(3a+b)(5a+4b)=0.6(3a+b)(5a+4b)=0. Two cases:

  x11=y13=z11andx14=y15=z11.  \boxed{\;\frac{x-1}{1}=\frac{y-1}{-3}=\frac{z-1}{-1}\quad\text{and}\quad\frac{x-1}{4}=\frac{y-1}{-5}=\frac{z-1}{1}.\;}

Verification: substitute (1+t,13t,1t)(1+t,1-3t,1-t) into (x+y+z)(2x+yz)6z(x+y+z)(2x+y-z)-6z: (33t)(2)6(1t)=66t6+6t=0(3-3t)(2)-6(1-t)=6-6t-6+6t=0 ✓.

Common Traps


normals-from-point (1 question(s); 2019)

Recognition Cues

Solution Template

  1. Write the normal direction at a surface point (ξ,η,ζ)(\xi,\eta,\zeta): for x2+y22az=0x^2+y^2-2az=0 it is (ξ,η,a)(\xi,\eta,-a).
  2. Parametrise the normal through the external point (α,β,γ)(\alpha,\beta,\gamma): write (ξ,η,ζ)(\xi,\eta,\zeta) in terms of a parameter λ\lambda.
  3. Impose that the foot lies on the surface: this gives a cubic in λ\lambda (three roots = three normals).
  4. The cubic has a repeated root (two normals coincide) iff its discriminant Δ=0\Delta=0; compute and identify the algebraic surface Δ=0\Delta=0.

Worked Example(s)

2019 Paper 1, 2019-P1-Q3b (15 marks)

Prove three normals can be drawn from (α,β,γ)(\alpha,\beta,\gamma) to x2+y2=2azx^2+y^2=2az; find the coincidence-condition surface.

Normal at (ξ,η,ζ)(\xi,\eta,\zeta) has direction (ξ,η,a)(\xi,\eta,-a). The foot satisfies ξ=α/(1λ)\xi=\alpha/(1-\lambda), η=β/(1λ)\eta=\beta/(1-\lambda), ζ=γaλ\zeta=\gamma-a\lambda. Substituting into ξ2+η2=2aζ\xi^2+\eta^2=2a\zeta: α2+β2(1λ)2=2a(γaλ).\frac{\alpha^2+\beta^2}{(1-\lambda)^2}=2a(\gamma-a\lambda). Expanding, this is a cubic in λ\lambda with leading coefficient 2a202a^2\ne0 — three roots in general.

A repeated root requires Δ=0\Delta=0. Computing and factoring the discriminant: Δ    8(aγ)3+27a(α2+β2)=0,\Delta\;\propto\;8(a-\gamma)^3+27a(\alpha^2+\beta^2)=0, which (replacing (α,β,γ)(x,y,z)(\alpha,\beta,\gamma)\to(x,y,z)) is:   27a(x2+y2)+8(az)3=0.  \boxed{\;27a(x^2+y^2)+8(a-z)^3=0.\;}

Common Traps


perpendicular-generators-locus (1 question(s); 2020)

Recognition Cues

Solution Template

  1. Write down the two families of rulings using the factored form.
  2. Find the direction vectors of a λ\lambda-ruling and a μ\mu-ruling (cross-product of the two plane normals for each family).
  3. Impose perpendicularity: d1d2=0\mathbf d_1\cdot\mathbf d_2=0; express as a condition on λμ\lambda\mu.
  4. At the intersection point, express z=2λμz=2\lambda\mu using the ruling equations; substitute the perpendicularity condition.

Worked Example(s)

2020 Paper 1, 2020-P1-Q4b (15 marks)

Locus of intersection of perpendicular generators of x2/a2y2/b2=2zx^2/a^2-y^2/b^2=2z.

λ\lambda-generator direction (after cross-product of its plane normals, scaled by abab): d1=(a,b,2λ)\mathbf d_1=(a,b,2\lambda).

μ\mu-generator direction: d2=(a,b,2μ)\mathbf d_2=(-a,b,-2\mu).

Perpendicularity: d1d2=a2+b24λμ=0    4λμ=b2a2\mathbf d_1\cdot\mathbf d_2=-a^2+b^2-4\lambda\mu=0\;\Rightarrow\;4\lambda\mu=b^2-a^2.

zz-coordinate of intersection: From the ruling equations, z=λ(x/a+y/b)=λ2μ=2λμ=(b2a2)/2z=\lambda\cdot(x/a+y/b)=\lambda\cdot2\mu=2\lambda\mu=(b^2-a^2)/2.

The locus is the plane:   2z=b2a2.  \boxed{\;2z=b^2-a^2.\;}

Common Traps


tangent-plane-envelope (1 question(s); 2015)

Recognition Cues

Solution Template

  1. Write the tangent-plane equation at a general point (α,β)(\alpha,\beta): αx+βyz=(α2+β2)/2\alpha x+\beta y-z=(\alpha^2+\beta^2)/2 for x2+y2=2zx^2+y^2=2z.
  2. Perpendicularity of two such planes: α1α2+β1β2+1=0\alpha_1\alpha_2+\beta_1\beta_2+1=0.
  3. Line in x=0x=0: both planes restricted to x=0x=0 must coincide, forcing β1=β2=β\beta_1=\beta_2=\beta, α2=α1\alpha_2=-\alpha_1. Perpendicularity then gives β2α2=1\beta^2-\alpha^2=-1.
  4. Write the 1-parameter family of lines F(y,z,β)=0F(y,z,\beta)=0; find the envelope by eliminating β\beta from F=0F=0 and F/β=0\partial F/\partial\beta=0.

Worked Example(s)

2015 Paper 1, 2015-P1-Q4c (13 marks)

Two perpendicular tangent planes to x2+y2=2zx^2+y^2=2z intersect in a line in x=0x=0. Find the curve this line touches.

Tangent plane at (α,β,(α2+β2)/2)(\alpha,\beta,(\alpha^2+\beta^2)/2): αx+βyz=(α2+β2)/2\alpha x+\beta y-z=(\alpha^2+\beta^2)/2.

For two planes to intersect along a line in x=0x=0: β1=β2=β\beta_1=\beta_2=\beta, α2=α\alpha_2=-\alpha. Perpendicularity: α2+β2=1-\alpha^2+\beta^2=-1, so α2β2=1\alpha^2-\beta^2=1.

On x=0x=0 both planes give βyz=(α2+β2)/2=(1+2β2)/2\beta y-z=(\alpha^2+\beta^2)/2=(1+2\beta^2)/2, i.e.: F(y,z,β)=zβy+β2+12=0.F(y,z,\beta)=z-\beta y+\beta^2+\tfrac{1}{2}=0.

Envelope: F/β=y+2β=0β=y/2\partial F/\partial\beta=-y+2\beta=0\Rightarrow\beta=y/2. Substitute: z=y22y2412=y2412.z=\tfrac{y^2}{2}-\tfrac{y^2}{4}-\tfrac{1}{2}=\tfrac{y^2}{4}-\tfrac{1}{2}.   x=0,y2=4z+2.  \boxed{\;x=0,\quad y^2=4z+2.\;}

Common Traps


Marks-Aware Writing

10-mark questions (2017, 2023): Tangent plane: three lines (verify point, gradient, equation). Paraboloid reduction: display the completing-the-square step clearly, state the canonical form, identify vertex/axis/planes.

13-mark questions (2015, 2018): Show all intermediate steps — the factoring of the quadratic condition (2018) or the envelope derivation (2015) is worth 5–6 marks on its own.

15-mark questions (2019, 2020): These need systematic setup. For normals: derive the cubic, state its degree and leading coefficient, then address the discriminant. For perpendicular generators: write the ruling families, direction vectors, dot product — each step is a mark.

Practice Set

YearPaper/QMarksArchetypeOne-line hint
2019P1-Q3b15normals-from-pointNormal at (ξ,η,ζ)(\xi,\eta,\zeta): direction (ξ,η,a)(\xi,\eta,-a); parametrise external point; substitution gives cubic in λ\lambda; discriminant =0=0 yields 27a(x2+y2)+8(az)3=027a(x^2+y^2)+8(a-z)^3=0

We've mapped all 13 years of this exam. Get new chapters, tools, and solutions as we release them — free.