Skip to main content
Mathematics LibreTexts

3.2: Tangent Planes

  • Page ID
    91905
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    If you are confronted with a complicated surface and want to get some idea of what it looks like near a specific point, probably the first thing that you will do is find the plane that best approximates the surface near the point. That is, find the tangent plane to the surface at the point. In general, a good way to specify a plane is to supply

    • a nonzero vector \(\vecs{n} \) (called a normal vector) perpendicular to the plane 1 (to determine the orientation of the plane) and
    • one point \((x_0,y_0,z_0)\) on the plane.

    If \((x,y,z)\) is any other point on the plane, then the vector

    \[ (x,y,z)-(x_0,y_0,z_0) = (x-x_0\,,\,y-y_0\,,\,z-z_0) \nonumber \]

    lies entirely in the plane and so is perpendicular to \(\vecs{n} \text{.}\) This gives the following very neat the equation for the plane.

    \[ \vecs{n} \cdot(x-x_0\,,\,y-y_0\,,\,z-z_0) = 0 \nonumber \]

    plane.svg

    The following theorem provides formulae for normal vectors \(\vecs{n} \) to general surfaces, assuming first that the surface is parametrized, second that the surface is a graph and finally the surface is given by an implicit equation. The formulae are developed in the proof of the theorem.

    Theorem 3.2.1. Normal vectors to surfaces
    1. Let

      \[\begin{align*} \vecs{r} &: \mathcal{D}\subset\mathbb{R}^2 \rightarrow \mathbb{R}^3\\ &(u,v) \in\mathcal{D} \mapsto \vecs{r} (u,v) =\big(x(u,v)\,,\,y(u,v)\,,\,z(u,v)\big) \end{align*}\]

      be a parametrized surface and let \((x_0,y_0,z_0)=\vecs{r} (u_0,v_0)\) be a point on the surface. Set

      \[\begin{align*} \vecs{T} _u &= \frac{\partial\ }{\partial u}\vecs{r} (u,v_0)\Big|_{u=u_0} =\Big(\frac{\partial x}{\partial u}(u_0,v_0)\,,\, \frac{\partial y}{\partial u}(u_0,v_0)\,,\, \frac{\partial z}{\partial u}(u_0,v_0)\Big)\\ \vecs{T} _v &= \frac{\partial\ }{\partial v}\vecs{r} (u_0,v)\Big|_{v=v_0} =\Big(\frac{\partial x}{\partial v}(u_0,v_0)\,,\, \frac{\partial y}{\partial v}(u_0,v_0)\,,\, \frac{\partial z}{\partial v}(u_0,v_0)\Big) \end{align*}\]

      Then

      \[\begin{align*} \vecs{n} = \vecs{T} _u\times\vecs{T} _v =\det\left|\begin{matrix} \hat{\pmb{\imath}} & \hat{\pmb{\jmath}} & \hat{\mathbf{k}} \\ \frac{\partial x}{\partial u}(u_0,v_0) & \frac{\partial y}{\partial u}(u_0,v_0) & \frac{\partial z}{\partial u}(u_0,v_0) \\ \frac{\partial x}{\partial v}(u_0,v_0) & \frac{\partial y}{\partial v}(u_0,v_0) & \frac{\partial z}{\partial v}(u_0,v_0) \end{matrix}\right| \end{align*}\]

      is normal (i.e. perpendicular) to the surface at \((x_0,y_0,z_0)\text{.}\)
    2. Let \((x_0,y_0,z_0)=f(x_0,y_0)\) be a point on the the surface \(z=f(x,y)\text{.}\) Then,

      \[\begin{gather*} \vecs{n} =-f_x(x_0,y_0)\,\hat{\pmb{\imath}} - f_y(x_0,y_0)\,\hat{\pmb{\jmath}} + \hat{\mathbf{k}} \end{gather*}\]

      is normal to the surface at \((x_0,y_0,z_0)\text{.}\)
    3. Consider the surface given implicitly by the equation \(G(x,y,z) = K\text{,}\) where \(K\) is a constant. Let \((x_0,y_0,z_0)\) be a point on the surface and assume that the gradient \(\vecs{ \nabla} G\big(x_0,y_0,z_0\big)\ne \vecs{0}\text{.}\) Then

      \[\begin{gather*} \vecs{n} = \vecs{ \nabla} G\big(x_0,y_0,z_0\big) \end{gather*}\]

      is normal to the surface at \((x_0,y_0,z_0)\text{.}\)

    Note that none of the normal vectors \(\vecs{n} \) above need be of unit length.

    Note that if we apply part (c) to \(G(x,y,z) = z - f(x,y)\) we get the normal vector \(\vecs{n} =\vecs{ \nabla} G\big(x_0,y_0,z_0\big) =-f_x(x_0,y_0)\,\hat{\pmb{\imath}} - f_y(x_0,y_0)\,\hat{\pmb{\jmath}} + \hat{\mathbf{k}}\text{,}\) which is the same as the normal vector provided by part (b). Of course they had to be at least parallel.

    Proof

    (a) First fix \(v=v_0\) and let \(u\) vary. Then

    \[ u\mapsto \vecs{r} (u,v_0) = \big(x(u,v_0)\,,\,y(u,v_0)\,,\,z(u,v_0)\big) \nonumber \]

    is a curve on the surface (the red curve in the figure on the right below) that passes through \((x_0,y_0,z_0)\) (the black dot in the figure) when \(u=u_0\text{.}\)

    surfaceSlice.svg        saddleA.svg

    The tangent vector to this curve at \((x_0,y_0,z_0)\text{,}\) which is also a tangent vector to the surface at \((x_0,y_0,z_0)\text{,}\) is

    \[ \vecs{T} _u = \frac{\partial\ }{\partial u}\vecs{r} (u,v_0)\Big|_{u=u_0} =\Big(\frac{\partial x}{\partial u}(u_0,v_0)\,,\, \frac{\partial y}{\partial u}(u_0,v_0)\,,\, \frac{\partial z}{\partial u}(u_0,v_0)\Big) \nonumber \]

    It is the red arrow in the figure on the right above.

    Next fix \(u=u_0\) and let \(v\) vary. Then

    \[ v\mapsto \vecs{r} (u_0,v) = \big(x(u_0,v)\,,\,y(u_0,v)\,,\,z(u_0,v)\big) \nonumber \]

    is a curve on the surface (the blue curve in the figure on the right above) that passes through \((x_0,y_0,z_0)\) when \(v=v_0\text{.}\) The tangent vector to this curve at \((x_0,y_0,z_0)\text{,}\) which is also a tangent vector to the surface at \((x_0,y_0,z_0)\text{,}\) is

    \[ \vecs{T} _v = \frac{\partial\ }{\partial v}\vecs{r} (u_0,v)\Big|_{v=v_0} =\Big(\frac{\partial x}{\partial v}(u_0,v_0)\,,\, \frac{\partial y}{\partial v}(u_0,v_0)\,,\, \frac{\partial z}{\partial v}(u_0,v_0)\Big) \nonumber \]

    It is the blue arrow in the figure on the right above.

    We now have two vectors, namely \(\vecs{T} _u\) and \(\vecs{T} _v\text{,}\) that are tangent to the surface at \((x_0,y_0,z_0)\text{.}\) So their cross product

    \[\begin{align*} \vecs{n} = \vecs{T} _u\times\vecs{T} _v =\det\left|\begin{matrix} \hat{\pmb{\imath}} & \hat{\pmb{\jmath}} & \hat{\mathbf{k}} \\ \frac{\partial x}{\partial u}(u_0,v_0) & \frac{\partial y}{\partial u}(u_0,v_0) & \frac{\partial z}{\partial u}(u_0,v_0) \\ \frac{\partial x}{\partial v}(u_0,v_0) & \frac{\partial y}{\partial v}(u_0,v_0) & \frac{\partial z}{\partial v}(u_0,v_0) \end{matrix}\right| \end{align*}\]

    is normal (i.e. perpendicular) to the surface at \((x_0,y_0,z_0)\text{.}\) Note however that this vector need not be normalized. That is, it need not be of unit length.

    (b) Next assume that the surface is given by the equation \(z=f(x,y)\text{.}\) Then, renaming \(u\) to \(x\) and \(v\) to \(y\text{,}\) we may reuse part (a):

    \[ \vecs{r} (x,y) = \big(x,y, f(x,y)\big) \nonumber \]

    parametrizes the surface and, at \(\big(x_0,y_0,z_0\big)=f(x_0,y_0)\big)\text{,}\)

    \[\begin{align*} \vecs{T} _x &= \frac{\partial\vecs{r} }{\partial x}(x_0,y_0) =\big(1\,,\, 0\,,\, f_x(x_0,y_0)\big)\\ \vecs{T} _y &= \frac{\partial\vecs{r} }{\partial y}(x_0,y_0) =\big(0\,,\, 1\,,\, f_y(x_0,y_0)\big) \end{align*}\]

    and

    \[\begin{align*} \vecs{n} &= \vecs{T} _x\times\vecs{T} _y =\det\left|\begin{matrix} \hat{\pmb{\imath}} & \hat{\pmb{\jmath}} & \hat{\mathbf{k}} \\ 1 & 0 & f_x(x_0,y_0) \\ 0 & 1 & f_y(x_0,y_0) \end{matrix}\right| =-f_x(x_0,y_0)\,\hat{\pmb{\imath}} - f_y(x_0,y_0)\,\hat{\pmb{\jmath}} + \hat{\mathbf{k}} \end{align*}\]

    (c) Finally assume that the surface is given implicitly by the equation \(G(x,y,z)=0\) or, more generally by the equation, \(G(x,y,z) = K\text{,}\) where \(K\) is a constant. If \(\vecs{r} (t)=\big(x(t)\,\,y(t)\,,\,z(t)\big)\) is any curve with \(\vecs{r} (0) = (x_0,y_0,z_0)\) that lies on the surface, then

    \[\begin{alignat*}{3} & & G\big(\vecs{r} (t)\big)&=K &\qquad &\text{for all } t\\ &\implies & \dfrac{d\ }{dt} G\big(x(t),y(t),z(t)\big)&=0 & &\text{for all } t \end{alignat*}\]

    Applying the chain rule gives

    \[\begin{align*} \frac{\partial G}{\partial x}\big(x(t),y(t),z(t)\big)\dfrac{dx}{dt}(t) &+\frac{\partial G}{\partial y}\big(x(t),y(t),z(t)\big)\dfrac{dy}{dt}(t)\\ &+\frac{\partial G}{\partial z}\big(x(t),y(t),z(t)\big)\dfrac{dz}{dt}(t) =0 \end{align*}\]

    The left hand side is exactly the dot product of \(\big(\frac{\partial G}{\partial x} \,,\,\frac{\partial G}{\partial y} \,,\,\frac{\partial G}{\partial z}\big)=\vecs{ \nabla} G\) with \(\big(\dfrac{dx}{dt} \,,\,\dfrac{dy}{dt} \,,\,\dfrac{dz}{dt}\big) =\dfrac{d\vecs{r} }{dt}\text{,}\) so that

    \[\begin{align*} \vecs{ \nabla} G\big(\vecs{r} (t)\big)\cdot\vecs{r} '(t)&=0 \qquad \text{for all } t\\ \implies \vecs{ \nabla} G\big(x_0,y_0,z_0\big)\cdot\vecs{r} '(0)&=0 & \end{align*}\]

    This tell us that \(\vecs{ \nabla} G\big(x_0,y_0,z_0\big)\) is perpendicular to \(\vecs{r} '(0)\text{,}\) which is a tangent vector to \(G=K\) at \((x_0,y_0,z_0)\text{.}\) This is true for all curves \(\vecs{r} (t)\) on \(G=K\) and so is true for all tangent vectors to \(G=K\) at \((x_0,y_0,z_0)\text{.}\) So \(\vecs{ \nabla} G\big(x_0,y_0,z_0\big)\) is a normal vector to \(G(x,y,z)=K\) at \((x_0,y_0,z_0)\text{.}\)

    Example 3.2.2

    Consider the surface

    \[\begin{align*} x &= x(u,v) = u\cos v\\ y &=y(u,v) = u\sin v\\ z &=z(u,v) = u \end{align*}\]

    Observe that

    \[ x(u,v)^2 + y(u,v)^2 = u^2 = z(u,v)^2 \nonumber \]

    So our surface is also

    \[ G(x,y,z) = x^2+y^2-z^2 = 0 \nonumber \]

    We shall sketch it shortly. But first, let's find it's tangent plane at \((x_0,y_0,z_0)=\vecs{r} (u_0,v_0)\text{.}\) In fact, let's do it twice. Once using the parametrization and once using its implicit equation. First, using the parametrization \(\vecs{r} (u,v) = u\cos v\,\hat{\pmb{\imath}} + u\sin v\,\hat{\pmb{\jmath}} + u\,\hat{\mathbf{k}}\text{,}\) we have

    \[\begin{align*} \vecs{T} _u &= \frac{\partial\vecs{r} }{\partial u}(u_0,v_0) = \cos v_0\,\hat{\pmb{\imath}} + \sin v_0\,\hat{\pmb{\jmath}} + \hat{\mathbf{k}}\\ \vecs{T} _v &= \frac{\partial\vecs{r} }{\partial v}(u_0,v_0) = -u_0\sin v_0\,\hat{\pmb{\imath}} + u_0\cos v_0\,\hat{\pmb{\jmath}} \end{align*}\]

    so that

    \[\begin{align*} \vecs{n} &= \big(\cos v_0\,\hat{\pmb{\imath}} + \sin v_0\,\hat{\pmb{\jmath}} + \hat{\mathbf{k}}\big)\times \big(-u_0\sin v_0\,\hat{\pmb{\imath}} + u_0\cos v_0\,\hat{\pmb{\jmath}}\big)\\ &= \big(-u_0\cos v_0\,,\,-u_0\sin v_0\,,\, u_0) = (-x_0,-y_0,z_0) \end{align*}\]

    Next using the implicit equation \(G(x,y,z) = x^2+y^2-z^2=0\text{,}\) we have the normal vector

    \[ \vecs{ \nabla} G\big(x_0,y_0,z_0\big) = (2x_0,2y_0,-2z_0) =-2(-x_0,-y_0,z_0) \nonumber \]

    Of course the two vectors \((-x_0,-y_0,z_0)\) and \(-2(-x_0,-y_0,z_0)\) are parallel to each other. Either can be used as a normal vector and the tangent plane to \(x^2+y^2-z^2=0\) at \((x_0,y_0,z_0)\) is

    \[ 0=\vecs{n} \cdot(x-x_0,y-y_0,z-z_0) = -x_0(x-x_0)-y_0(y-y_0) + z_0(z-z_0) \nonumber \]

    provided \((x_0,y_0,z_0)\ne \vecs{0}\text{.}\) In the event that \((x_0,y_0,z_0) = \vecs{0}\) the “tangent plane equation” reduces to \(0=0\) and there is clearly a problem.

    More generally, if \(\vecs{T} _u\times\vecs{T} _v=\vecs{0}\) (or \(\vecs{ \nabla} G(x_0,y_0,z_0)=\vecs{0}\)), then either 2 

    • the surface fails to have a tangent plane at \((x_0,y_0,z_0)\text{,}\) or
    • our parametrization is screwy 3 there. For example, we can parametrize the \(xy\)-plane, \(z=0\text{,}\) by \(\vecs{r} (u,v) = u\cos v\,\hat{\pmb{\imath}} + u\sin v\,\hat{\pmb{\jmath}}\text{.}\) (This is just polar coordinates.) Then \(\vecs{T} _u = \cos v_0\,\hat{\pmb{\imath}} + \sin v_0\,\hat{\pmb{\jmath}} \) and \(\vecs{T} _v = -u_0\sin v_0\,\hat{\pmb{\imath}} + u_0\cos v_0\,\hat{\pmb{\jmath}}\text{,}\) so that \(\vecs{T} _u\times\vecs{T} _v = u_0\hat{\mathbf{k}}\) is \(\vecs{0}\) when \(u_0=0\text{.}\) But the plane \(z=0\) is its own tangent plane everywhere.

    The surface of current interest is \(x^2+y^2=z^2\text{.}\) The intersection of this surface with the horizontal plane \(z=z_0\) is \(x^2+y^2=z_0^2\text{,}\) which is the circle of radius \(|z_0|\) centred on \(x=y=0\text{.}\) So our surface is a stack of circles. The radius of the circle in the \(xy\)-plane is zero. The radius increases linearly as we move away from the \(xy\)-plane. Our surface is a cone. It does not have a tangent plane at \((0,0,0)\text{.}\)

    cone.svg

    Example 3.2.3

    This time we shall find the tangent planes to the surface

    \[ x^2 + y^2 -z^2 = 1 \nonumber \]

    As for the cone of the last example, the intersection of this surface with the horizontal plane \(z=z_0\) is a circle — the circle of radius \(\sqrt{1+z_0^2}\) centred on \(x=y=0\text{.}\) Our surface is again a stack of circles. The radius of the circle in the \(xy\)-plane is \(1\text{.}\) The radius increases as we move away from the \(xy\)-plane. Here is a sketch of the surface.

    hyperboloid1.svg

    It is called a hyperboloid 4 of one sheet.

    Using the implicit equation \(G(x,y,z) = x^2+y^2-z^2=1\text{,}\) we have

    \[ \vecs{ \nabla} G\big(x_0,y_0,z_0\big) = (2x_0,2y_0,-2z_0) =2(x_0,y_0,-z_0) \nonumber \]

    and we may take \((x_0,y_0,-z_0)\) as a normal vector at \((x_0,y_0,z_0)\text{.}\) So the tangent plane to \(x^2+y^2-z^2=1\) at \((x_0,y_0,z_0)\) is

    \[ 0=\vecs{n} \cdot(x-x_0,y-y_0,z-z_0) = x_0(x-x_0)+y_0(y-y_0) - z_0(z-z_0) \nonumber \]

    This time \(\vecs{n} =(x_0,y_0,-z_0)\ne \vecs{0}\text{,}\) so that we have a tangent plane, at every point of the surface. In particular, the vanishing of \(\vecs{n} =(x_0,y_0,-z_0)\) at \((x_0,y_0,z_0)=(0,0,0)\) is not a problem because \((0,0,0)\) is not on the surface.

    Example 3.2.4. Optional — Parametrizing the Hyperboloid of One Sheet

    The hyperboloid of one sheet, \(x^2+y^2-z^2=1\text{,}\) has a symmetry. It is invariant under rotation about the \(z\)-axis. So it is natural to parametrize the surface using cylindrical coordinates.

    cylindrical.svg

    \[\begin{align*} x &= r\cos\theta\\ y &= r\sin\theta\\ z &= z \end{align*}\]

    In cylindrical coordinates the surface \(x^2+y^2-z^2=1\) is \(r^2-z^2=1\text{,}\) and we could parametrize it by \(\vecs{r} (\theta,z) = \sqrt{1+z^2}\,\cos\theta\,\hat{\pmb{\imath}} +\sqrt{1+z^2}\,\sin\theta\,\hat{\pmb{\jmath}} +z\,\hat{\mathbf{k}}\text{.}\) Alternatively, we can eliminate the square roots in the parametrization by exploiting the hyperbolic trig functions

    \[ \sinh u = \frac{1}{2}\big(e^u-e^{-u}\big) \qquad \cosh u = \frac{1}{2}\big(e^u+e^{-u}\big) \nonumber \]

    The functions have properties 5 that are very similar to those of \(\sin\theta\) and \(\cos\theta\text{.}\)

    \[\begin{gather*} \dfrac{d}{du} \cosh u= \sinh u \qquad \dfrac{d}{du} \sinh u= \cosh u \qquad \cosh^2 u -\sinh^2 u =1 \end{gather*}\]

    We can set \(r=\cosh u\text{,}\) \(z=\sinh u\) to yield the parametrization

    \[\begin{gather*} \vecs{r} (\theta,u) = \cosh u\,\cos\theta\,\hat{\pmb{\imath}} +\cosh u\,\sin\theta\,\hat{\pmb{\jmath}} +\sinh u\,\hat{\mathbf{k}} \end{gather*}\]

    As an exercise in working with hyperbolic trig functions, we'll use this parametrization to find \(\hat{\textbf{n}}\text{.}\)

    \[\begin{align*} x&= \cosh u\,\cos\theta & x_u&= \sinh u\,\cos\theta & x_\theta&= -\cosh u\,\sin\theta\\ y&= \cosh u\,\sin\theta & y_u&= \sinh u\,\sin\theta & y_\theta&= \phantom{-}\cosh u\,\cos\theta\\ z&=\sinh u & z_u&=\cosh u & z_\theta&=0 \end{align*}\]

    So

    \[\begin{align*} \vecs{n} = \vecs{T} _u\times\vecs{T} _\theta &=\det\left|\begin{matrix} \hat{\pmb{\imath}} & \hat{\pmb{\jmath}} & \hat{\mathbf{k}} \\ \sinh u\,\cos\theta & \sinh u\,\sin\theta & \cosh u \\ -\cosh u\,\sin\theta & \cosh u\,\cos\theta & 0 \end{matrix}\right|\\ &=\big(-\cosh^2u\,\cos\theta\,,\, -\cosh^2u\,\sin\theta\,,\, \sinh u\cosh u\big) \end{align*}\]

    Exercises

    Stage 1

    1

    Is it reasonable to say that the surfaces \(x^2+y^2+(z-1)^2=1\) and \(x^2+y^2+(z+1)^2=1\) are tangent to each other at \((0,0,0)\text{?}\)

    2

    Let the point \(\vecs{r} _0= (x_0,y_0,z_0)\) lie on the surface \(G(x,y,z)=0\text{.}\) Assume that \(\vecs{ \nabla} G(x_0,y_0,z_0)\ne\vecs{0}\text{.}\) Suppose that the parametrized curve \(\vecs{r} (t)=\big(x(t),y(t),z(t)\big)\) is contained in the surface and that \(\vecs{r} (t_0)=\vecs{r} _0\text{.}\) Show that the tangent line to the curve at \(\vecs{r} _0\) lies in the tangent plane to \(G=0\) at \(\vecs{r} _0\text{.}\)

    3

    Find the parametric equations of the normal line to the surface \(z=f(x,y)\) at the point \(\big(x_0\,,\,y_0\,,\,z_0\!=\!f(x_0,y_0)\big)\text{.}\) By definition, the normal line in question is the line through \((x_0,y_0,z_0)\) whose direction vector is perpendicular to the surface at \((x_0,y_0,z_0)\text{.}\)

    4

    Let \(F(x_0,y_0,z_0)=G(x_0,y_0,z_0)=0\) and let the vectors \(\vecs{ \nabla} F(x_0,y_0,z_0)\) and \(\vecs{ \nabla} G(x_0,y_0,z_0)\) be nonzero and not be parallel to each other. Find the equation of the normal plane to the curve of intersection of the surfaces \(F(x,y,z)=0\) and \(G(x,y,z)=0\) at \((x_0,y_0,z_0)\text{.}\) By definition, that normal plane is the plane through \((x_0,y_0,z_0)\) whose normal vector is the tangent vector to the curve of intersection at \((x_0,y_0,z_0)\text{.}\)

    5

    Let \(f(x_0,y_0)=g(x_0,y_0)\) and let \(\left( f_x(x_0,y_0), f_y(x_0,y_0)\right)\ne \left( g_x(x_0,y_0), g_y(x_0,y_0)\right)\text{.}\) Find the equation of the tangent line to the curve of intersection of the surfaces \(z=f(x,y)\) and \(z=g(x,y)\) at \((x_0\,,\,y_0\,,\,z_0=f(x_0,y_0))\text{.}\)

    Stage 2

    Let \(\displaystyle f(x,y)=\frac{x^2y}{x^4+2y^2}\text{.}\) Find the tangent plane to the surface \(z = f(x,y)\) at the point \(\left( -1\,,\,1\,,\,\frac{1}{3}\right)\text{.}\)

    Find the tangent plane to

    \[ \frac{27}{\sqrt{x^2+y^2+z^2+3}}=9 \nonumber \]

    at the point \((2, 1, 1)\text{.}\)

    Consider the surface \(z = f(x,y)\) defined implicitly by the equation \(xyz^2 + y^2 z^3 = 3 + x^2\text{.}\) Use a 3--dimensional gradient vector to find the equation of the tangent plane to this surface at the point \((-1, 1, 2)\text{.}\) Write your answer in the form \(z = ax + by + c\text{,}\) where \(a\text{,}\) \(b\) and \(c\) are constants.

    A surface is given by

    \[ z = x^2 - 2xy + y^2 . \nonumber \]

    1. Find the equation of the tangent plane to the surface at \(x = a\text{,}\) \(y = 2a\text{.}\)
    2. For what value of \(a\) is the tangent plane parallel to the plane \(x - y + z = 1\text{?}\)
    10 

    A surface S is given by the parametric equations

    \[\begin{align*} x &= 2u^2\\ y &= v^2\\ z &= u^2 + v^3 \end{align*}\]

    Find an equation for the tangent plane to \(S\) at the point \((8, 1, 5)\text{.}\)

    11 

    Let \(S\) be the surface given by

    \[ \vecs{r} (u, v) = \big( u + v\,,\, u^2 + v^2 \,,\, u - v\big),\qquad -2 \le u \le 2,\ -2 \le v \le 2 \nonumber \]

    Find the tangent plane to the surface at the point \((2, 2, 0)\text{.}\)

    12 

    Find the tangent plane and normal line to the surface \(z=f(x,y)=\frac{2y}{x^2+y^2}\) at \((x,y)=(-1,2)\text{.}\)

    13 

    Find all the points on the surface \(x^2 + 9y^2 + 4z^2 = 17\) where the tangent plane is parallel to the plane \(x - 8z = 0\text{.}\)

    14 

    Let \(S\) be the surface \(z = x^2 + 2y^2 + 2y - 1\text{.}\) Find all points \(P (x_0,y_0,z_0)\) on \(S\) with \(x_0 \ne 0\) such that the normal line at \(P\) contains the origin \((0,0,0)\text{.}\)

    15 

    Find all points on the hyperboloid \(z^2=4x^2+y^2-1\) where the tangent plane is parallel to the plane \(2x-y+z=0\text{.}\)

    Stage 3

    16 
    1. Find a vector perpendicular at the point \((1,1,3)\) to the surface with equation \(x^2+z^2=10\text{.}\)
    2. Find a vector tangent at the same point to the curve of intersection of the surface in part (a) with surface \(y^2+z^2=10\text{.}\)
    3. Find parametric equations for the line tangent to that curve at that point.
    17 

    Let \(P\) be the point where the curve

    \[ \vecs{r} (t) = t^3\,\hat{\pmb{\imath}} + t\,\hat{\pmb{\jmath}} + t^2\,\hat{\mathbf{k}},\qquad (0 \le t \lt \infty) \nonumber \]

    intersects the surface

    \[ z^3 + xyz -2 = 0 \nonumber \]

    Find the (acute) angle between the curve and the surface at \(P\text{.}\)

    18

    Find all horizontal planes that are tangent to the surface with equation

    \[ z=xy e^{-(x^2+y^2)/2} \nonumber \]

    What are the largest and smallest values of \(z\) on this surface?

    1. Alternatively, you could find two vectors that are in the plane (and not parallel to each other), and then construct a normal vector by taking their cross product.
    2. We saw the same dichotomy when considering what happened for a curve when \(\vecs{r} '(t)=0\text{.}\) See Example 1.1.10.
    3. Of course “screwy” is not a mathematically precise word. One way a parametrization \(\vecs{r} (u,v)\) could be “screwy” is if it failed to give a one-to-one correspondence between parameter values \((u,v)\) and points on (part of) the surface. For example, polar coordinates \(\vecs{r} (u,v) = u\cos v\,\hat{\pmb{\imath}} + u\sin v\,\hat{\pmb{\jmath}}\) give \(\vecs{r} (0,v)=(0,0)\) for all values of \(v\text{.}\)
    4. There are also hyperboloids of two sheets. See Appendix A.8.
    5. This is no accident: \(\cosh u = \cos(iu)\) and \(\sinh u = -i\sin(iu)\text{,}\) where \(i\) is the usual complex number that obeys \(i^2=-1\text{.}\) You can verify these formulae by just checking that \(\cosh u\) and \(\cos(iu)\) have the same Taylor expansions and that \(\sinh u\) and \(-i\sin(iu)\) have the same Taylor expansions.

    This page titled 3.2: Tangent Planes is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Joel Feldman, Andrew Rechnitzer and Elyse Yeager via source content that was edited to the style and standards of the LibreTexts platform.