tangent plane (elementary)

tangent plane (elementary)

The notion of

tangent plane

is a

generalization

of the notion of

tangent vector

to

surfaces

. Just as the

tangent line

is a special line which is associated to a point of a

smooth curve

, so too a tangent plane is a special plane which is associated to a point on a

smooth surface

.

1

Defining formulae

Let

S

be a surface in three-dimensional space

ℝ

3

and let

𝐩

=

(

p

x

,

p

y

,

p

z

)

be a point of

S

. Three common methods of describing a surface are as the graph of a

function

, by an implicit equation, and parametrically. We shall now present formulae for computing the tangent plane in each of these cases.

If the surface is described by an equation of the form

z

=

g

⁢

(

x

,

y

)

,

then the tangent plane to

S

at

𝐩

is described by the equation

z

=

p

z

+

∂

⁡

z

∂

⁡

x

|

x

=

p

x

y

=

p

y

z

=

p

z

⁢

(

x

-

p

x

)

+

∂

⁡

z

∂

⁡

y

|

x

=

p

x

y

=

p

y

z

=

p

z

⁢

(

y

-

p

y

)

.

1

More generally, if the surface is described by an equation

f

⁢

(

x

,

y

,

z

)

=

0

, then the equation for the tangent plane is

∂

⁡

f

∂

⁡

x

⁢

(

x

-

p

x

)

+

∂

⁡

f

∂

⁡

y

⁢

(

y

-

p

y

)

+

∂

⁡

f

∂

⁡

z

⁢

(

z

-

p

z

)

=

0

.

2

If the surface

S

is described by giving the

coordinates

x

,

y

, and

z

as functions of

parameters

u

and

v

and the point

𝐩

is specified by the values

(

u

0

,

v

0

)

of the parameters, then the tangent plane at

b

⁢

f

⁢

p

is described in terms of parameters

s

and

t

by the equations

x

=

p

x

+

∂

⁡

x

∂

⁡

u

|

u

=

u

0

v

=

v

0

⁢

s

+

∂

⁡

x

∂

⁡

v

|

u

=

u

0

v

=

v

0

⁢

t

y

=

p

x

+

∂

⁡

y

∂

⁡

u

|

u

=

u

0

v

=

v

0

⁢

s

+

∂

⁡

y

∂

⁡

v

|

u

=

u

0

v

=

v

0

⁢

t

z

=

p

x

+

∂

⁡

z

∂

⁡

u

|

u

=

u

0

v

=

v

0

⁢

s

+

∂

⁡

z

∂

⁡

v

|

u

=

u

0

v

=

v

0

⁢

t

3

2

Examples

To illustrate and explain the

definition

, let us consider three examples.

2.1

Example 1

Let

S

be the cone specified by the equation

z

=

x

2

+

y

2

and let

𝐩

=

(

1

,

0

,

1

)

. Then we compute the tangent plane as follows:

∂

⁡

z

∂

⁡

x

=

x

x

2

+

y

2

∂

⁡

z

∂

⁡

y

=

y

x

2

+

y

2

Evaluating at

𝐩

, we have

∂

⁡

z

∂

⁡

x

|

x

=

1

y

=

0

=

1

∂

⁡

z

∂

⁡

y

|

x

=

1

y

=

0

=

0

,

so the tangent plane is specified by the equation

z

=

1

+

1

⁢

(

x

-

1

)

+

0

⁢

(

y

-

0

)

,

which simplifies to

z

=

x

.

Before leaving this example, there are two features which are worth noticing. First, note that the tangent plane

intersects

the cone not only in the point

p

, but in the whole line

{

(

s

,

0

,

s

)

∣

s

∈

𝐑

}

. While it is more typical for the tangent plane to intersect in a point, it is possible for the

intersection

to be a line or even a curve. In fact, it can be shown that if a surface contains a line, then the intersection of the tangent plane to the surface through a point on the line with the surface will include the line.

Second, note that the tangent plane is not defined at the point

(

0

,

0

,

0

)

.

If we try to evaluate the

partial derivatives

at this point, we run into the indeterminate form

0

/

0

. Sometimes, one can make sense of such a form by using L’Hospital’s rule, but in this case, that does not work — the

derivatives

are simply not defined for the values

x

=

0

and

y

=

0

. When it happens that it is not possible to define a tangent plane at a certain point, that point is known as a

singular point

of the surface. In our case,

(

0

,

0

,

0

)

is a singular point of the cone. Looking at the surface, it is not hard to see why this point is

singular

— this point is the vertex of the cone.

2.2

Example 2

To illustrate the computation of tangent planes to a surface which is described by an implicit equation, we shall now compute the tangent plane to the sphere of radius

R

centred about the origin. The sphere may be described by the equation

x

2

+

y

2

+

z

2

=

R

2

.

In the notation of the last

section

, we have

f

⁢

(

x

,

y

,

z

)

=

x

2

+

y

2

+

z

2

-

R

2

.

Computing partial derivatives, we find that

∂

⁡

f

∂

⁡

x

=

2

⁢

x

∂

⁡

f

∂

⁡

y

=

2

⁢

y

∂

⁡

f

∂

⁡

z

=

2

⁢

z

.

If

𝐩

is a point which lies on the sphere, the equation of the tangent plane through

𝐩

is as follows:

2

⁢

p

x

⁢

(

x

-

p

x

)

+

2

⁢

p

y

⁢

(

y

-

p

y

)

+

2

⁢

p

z

⁢

(

z

-

p

z

)

=

0

.

We may simplify this equation by cancelling the factors of

2

and using the fact that

p

x

2

+

p

y

2

+

p

z

2

=

R

2

:

p

x

⁢

x

+

p

y

⁢

y

+

p

z

⁢

z

=

R

2

Having derived this equation, let us note an interesting fact about the tangent plane to the sphere. Let

L

be the radius through

𝐩

. (By definition,

L

is the line connecting

𝐩

with the point

(

0

,

0

,

0

)

.) It is easy to see that

L

is

perpendicular

to the tangent plane. This is a generalization to three

dimensions

of the well-known fact of

plane geometry

that the

tangent

to a circle through a point on the circle is perpendicular to the radius through that point.

2.3

Example 3

To gain some practise with computing tangent planes to parameterized surfaces, let us compute a tangent plane to a sphere a different way. A sphere of radius

R

centred about the origin may be also described by the

parametric equations

x

=

R

⁢

sin

⁡

u

⁢

sin

⁡

v

y

=

R

⁢

sin

⁡

u

⁢

cos

⁡

v

z

=

R

⁢

cos

⁡

u

.

Let us compute the tangent plane through the point

𝐩

=

(

0

,

R

,

0

)

using this description of the sphere. First, we notice that to describe the point

𝐩

, we should take

u

0

=

π

/

2

and

v

0

=

0

.

Taking derivatives, we find that

∂

⁡

x

∂

⁡

u

=

R

⁢

cos

⁡

u

⁢

sin

⁡

v

∂

⁡

x

∂

⁡

v

=

R

⁢

sin

⁡

u

⁢

cos

⁡

v

∂

⁡

y

∂

⁡

u

=

R

⁢

cos

⁡

u

⁢

cos

⁡

v

∂

⁡

y

∂

⁡

v

=

-

R

⁢

sin

⁡

u

⁢

sin

⁡

v

∂

⁡

z

∂

⁡

u

=

-

R

⁢

sin

⁡

u

∂

⁡

z

∂

⁡

v

=

0

.

Substituting

u

0

for

u

and

v

0

for

v

, we find

∂

⁡

x

∂

⁡

u

=

0

∂

⁡

x

∂

⁡

v

=

R

∂

⁡

y

∂

⁡

u

=

0

∂

⁡

y

∂

⁡

v

=

0

∂

⁡

z

∂

⁡

u

=

-

R

∂

⁡

z

∂

⁡

v

=

0

.

Hence the parametric equations of the tangent plane are

x

=

R

⁢

t

y

=

R

z

=

-

R

⁢

s

.

It is clear that this agrees with the answer obtained in the last example.

3

Consistency of definitions

Since we have presented three different

formulas

for computing the tangent plane, logical

consistency

demands that we make sure that they indeed define the same plane. Moreover, we should check that if we compute the tangent plane to the same point to the ame surface using two different parameterizations, we obtain the same plane both ways. As we will soon see, consistency follows readily from the

chain rule

and

implicit differentiation

.

Since it is rather

trivial

, let us first derive equations (1) as a special case of (2). Suppose that our surface is given by an equation

z

=

g

⁢

(

x

,

y

)

.

Let us define

f

⁢

(

x

,

y

,

z

)

=

g

⁢

(

x

,

y

)

-

z

.

Our surface is described by the equation

f

⁢

(

x

,

y

,

z

)

=

0

.

By formula (2), its tangent plane at a point

𝐩

is described by the equation

∂

⁡

g

∂

⁡

x

⁢

(

x

-

p

x

)

+

∂

⁡

g

∂

⁡

y

⁢

(

y

-

p

y

)

-

(

z

-

p

z

)

=

0

.

Making minor rearrangements and recognizing that

∂

⁡

g

/

∂

⁡

x

and

∂

⁡

g

/

∂

⁡

y

here denote the same entites as

∂

⁡

z

/

∂

⁡

x

and

∂

⁡

z

/

∂

⁡

y

did in the statement of equation (2) because there

z

is assumed to equal

g

⁢

(

x

,

y

)

, we see that (2) is indeed a

consequence

of (1).

To show that equations (2) and (3) are

consistent

, we will make use of the chain rule. If the same surface is described by a parameterization

x

=

g

⁢

(

u

,

v

)

y

=

h

⁢

(

u

,

v

)

z

=

k

⁢

(

u

,

v

)

and an implicit equation

f

⁢

(

x

,

y

,

z

)

=

0

,

then we must have

f

⁢

(

g

⁢

(

u

,

v

)

,

h

⁢

(

u

,

v

)

,

k

⁢

(

u

,

v

)

)

=

0

.

Differentiating with respect to

u

and using the chain rule, we find that

∂

⁡

f

∂

⁡

x

⁢

∂

⁡

g

∂

⁡

u

+

∂

⁡

f

∂

⁡

y

⁢

∂

⁡

h

∂

⁡

u

+

∂

⁡

f

∂

⁡

z

⁢

∂

⁡

k

∂

⁡

u

=

0

.

Likewise, diferentiating with respect to

v

, we find that

∂

⁡

f

∂

⁡

x

⁢

∂

⁡

g

∂

⁡

v

+

∂

⁡

f

∂

⁡

y

⁢

∂

⁡

h

∂

⁡

v

+

∂

⁡

f

∂

⁡

z

⁢

∂

⁡

k

∂

⁡

v

=

0

.

Note that the two equations above are exactly the conditions which are needed to guarantee that (2) and (3) describe the same plane.

Finally, we consider the effect of changing the parameters from

u

,

v

to two new parameters

u

′

,

v

′

. By the chain rule, we have

∂

⁡

x

∂

⁡

u

=

∂

⁡

x

∂

⁡

u

′

⁢

∂

⁡

u

′

∂

⁡

u

+

∂

⁡

x

∂

⁡

v

′

⁢

∂

⁡

v

′

∂

⁡

u

and

∂

⁡

x

∂

⁡

v

=

∂

⁡

x

∂

⁡

u

′

⁢

∂

⁡

u

′

∂

⁡

v

+

∂

⁡

x

∂

⁡

v

′

⁢

∂

⁡

v

′

∂

⁡

v

and likewise for

y

and

z

. Substituting these

expressions

into formula (3), we obtain

x

=

p

x

+

(

∂

⁡

x

∂

⁡

u

′

⁢

∂

⁡

u

′

∂

⁡

u

+

∂

⁡

x

∂

⁡

v

′

⁢

∂

⁡

v

′

∂

⁡

u

)

⁢

s

+

(

∂

⁡

x

∂

⁡

u

′

⁢

∂

⁡

u

′

∂

⁡

v

+

∂

⁡

x

∂

⁡

v

′

⁢

∂

⁡

v

′

∂

⁡

v

)

⁢

t

y

=

p

y

+

(

∂

⁡

x

∂

⁡

u

′

⁢

∂

⁡

u

′

∂

⁡

u

+

∂

⁡

x

∂

⁡

v

′

⁢

∂

⁡

v

′

∂

⁡

u

)

⁢

s

+

(

∂

⁡

x

∂

⁡

u

′

⁢

∂

⁡

u

′

∂

⁡

v

+

∂

⁡

x

∂

⁡

v

′

⁢

∂

⁡

v

′

∂

⁡

v

)

⁢

t

z

=

p

z

+

(

∂

⁡

x

∂

⁡

u

′

⁢

∂

⁡

u

′

∂

⁡

u

+

∂

⁡

x

∂

⁡

v

′

⁢

∂

⁡

v

′

∂

⁡

u

)

⁢

s

+

(

∂

⁡

x

∂

⁡

u

′

⁢

∂

⁡

u

′

∂

⁡

v

+

∂

⁡

x

∂

⁡

v

′

⁢

∂

⁡

v

′

∂

⁡

v

)

⁢

t

If we define

s

′

=

∂

⁡

u

′

∂

⁡

u

⁢

s

+

∂

⁡

u

′

∂

⁡

v

⁢

t

and

t

′

=

∂

⁡

v

′

∂

⁡

u

⁢

s

+

∂

⁡

v

′

∂

⁡

v

⁢

t

,

then our system of equations may be rewritten as

x

=

p

x

+

∂

⁡

x

∂

⁡

u

′

⁢

s

′

+

∂

⁡

x

∂

⁡

v

′

⁢

t

′

y

=

p

x

+

∂

⁡

y

∂

⁡

u

′

⁢

s

′

+

∂

⁡

y

∂

⁡

v

′

⁢

t

′

z

=

p

x

+

∂

⁡

z

∂

⁡

u

′

⁢

s

′

+

∂

⁡

z

∂

⁡

v

′

⁢

t

′

,

which is formula (3) evaluated wit respect to the primed coordinates.

4

Motivation and derivation

So far, we presented formulae for computing the tangent plane. We showed how to use them with examples and verified that they were consistent. However, the defining formulae might as well have been “plucked from out of a hat” since we made no attempt to explain what the formulae mean intuitively of to derive them from more basic principles. The purpose of this section is to make up for this shortcoming by discussing the

concept

of tangent plane intuitively and proving some results which shed light on this concept.

Just as the tangent to a line may be understood as the limit of a line connecting two nearby points in the limit where the points coalesce, so too the tangent plane can be regarded as a limit. Whereas a line is determined by two points, a plane is determined by three points. Thus, we may try to define the tangent plane as the limit of the plane that

passes through

three points as the three points approach each other.

Whilst this line of reasoning is correct, a bit of care is needed in order to make it work properly. The problem is that three distinct points do not always determine a unique plane — if the points lie on a

straight line

, then any plane passing through the line will contain all three points. Furthermore, should the points even be close to

collinear

, then the position of the plane they span will still depend sensitively on the position of the points. Hence, to guarantee that the limit exists, we need to impose a condition which keeps the points from being or tending to become collinear in the limit. One possible way out of this problem is to insist that the angles formed by the

triangle

of points stay

bounded

away from zero. If we make such a stipulation, then we can obtain the tangent plane as a limit.

Theorem

Suppose that

S

is a smooth surface and that

𝐚

n

,

𝐛

n

, and

𝐜

n

are three

sequences

of points such that

1.

For every

n

, the points

𝐚

n

,

𝐛

n

, and

𝐜

n

are distinct.

2.

There exists a point

𝐩

∈

S

such that

lim

n

→

∞

⁡

|

𝐚

n

-

𝐩

|

=

0

lim

n

→

∞

⁡

|

𝐛

n

-

𝐩

|

=

0

lim

n

→

∞

⁡

|

𝐜

n

-

𝐩

|

=

0

.

3.

There exists a constant

0

<

α

<

π

such that for every

n

, the angles of the triangle

𝐚

n

⁢

𝐛

n

⁢

𝐜

n

lie in the

interval

[

α

,

π

-

α

]

.

Then the planes

spanned by

the

triplets

(

𝐚

n

,

𝐛

n

,

𝐜

n

)

tend towards the tangent plane of

S

through

𝐩

in the limit

n

→

∞

Also, there is a simple

relation

of tangent planes to tangent lines — the tangent plane of smooth surface

S

at a point

𝐩

is exactly the union of the tangents to the all the smooth curves which lie on

S

and pass through

𝐩

.

Finally, equation (1) bears a strong resemblance to the multivariate Taylor’s

expansion

. A weak form of the bivariate Taylor’s theorem with

remainder

reads

z

-

p

z

=

∂

⁡

z

∂

⁡

x

|

x

=

p

x

y

=

p

y

z

=

p

z

⁢

(

x

-

p

x

)

+

∂

⁡

z

∂

⁡

y

|

x

=

p

x

y

=

p

y

z

=

p

z

⁢

(

y

-

p

y

)

+

c

1

⁢

(

x

,

y

)

⁢

(

x

-

p

x

)

2

+

c

2

⁢

(

x

,

y

)

⁢

(

x

-

p

x

)

⁢

(

y

-

p

y

)

+

c

3

⁢

(

x

,

y

)

⁢

(

y

-

p

y

)

2

where the functions

c

1

,

c

2

, and

c

3

are bounded in a

neighborhood

of

𝐩

. (A strong version of the theorem would be more explicit about the form of these functions. Since we do not need precise information about these functions, the weak theorem suffices.) As

x

gets closer to to

p

x

and

y

gets closer to

p

y

, the remainder terms become increasingly smaller in comparison to the

first order

terms in the expansion. Therefore, if we are only interested in small values of

x

-

p

x

and

y

-

p

y

it is safe to approximate

z

by ignoring the remainder. By doing so, we obtain the equation of the tangent plane at

𝐩

. In other words, if we are only interested in a small enough neighborhood of the point

𝐩

, we may approximate the surface by its tangent plane.

This observation allows one to understand the tangent plane intuitively as a planar approximation to a surface in the neighborhood of a point of the surface. At least in one

instance

, we make use of this fact in everyday life. With the exception of a few benighted souls who belong to the Flat Earth Society, we know that the Earth is a sphere, yet we find that planar maps afford a perfectly adequate representation of the Earth’s surface for planning excursions within a city. The reason for this is that the size of a city is small compared to the size of the Earth. Hence, the error committed by approximating the spherical Earth on such scales by a tangent plane is a

fraction

of a

percent

and it is perfectly reasonable to use a planar map. However, when we move the scale of, say, continents, the errors become proportionately larger and it is not possible to represent such a large portion of the Earth on a planar map without introducing significant distortions.

5

Higher dimensions

The

formalism

presented here is capable of generalization to more than three dimensions. Since most of the

differences

between the case of three-dimensions which we have considered and higher dimensions are a matter of bookkeeping to keep track of more

variables

, we are content to simply present the results. How to use these results and the justifications for them are substantially the same as in three dimensions, so there is no reason to repeat them here with essentially cosmetic changes.

Suppose that

S

is an

m

-dimensional surface located in

ℝ

n

and let

𝐩

be a point of

S

. Then we may generalize formulas (1) - (3) as follows:

If the surface

S

is described by the system of equations

x

n

=

g

1

⁢

(

x

1

,

x

2

,

…

⁢

x

m

)

⋮

x

n

-

m

+

1

=

g

n

-

m

+

1

⁢

(

x

1

,

x

2

,

…

⁢

x

m

)

,

then its tangent space is described by the system

x

n

=

∑

i

=

1

m

∂

⁡

g

1

∂

⁡

x

i

|

𝐩

⁢

x

i

⋮

x

n

-

m

+

1

=

∑

i

=

1

m

∂

⁡

g

n

-

m

+

1

∂

⁡

x

i

|

𝐩

⁢

x

i

,

1^{\prime}

If the surface

S

is described by the system of equations

f

1

⁢

(

x

1

,

x

2

,

…

⁢

x

n

)

=

0

⋮

f

n

-

m

+

1

⁢

(

x

1

,

x

2

,

…

⁢

x

n

)

=

0

,

then the tangent space is described by the system

∑

i

=

1

m

∂

⁡

f

1

∂

⁡

x

i

|

𝐩

⁢

x

n

=

0

⋮

∑

i

=

1

n

∂

⁡

f

n

-

m

+

1

∂

⁡

x

i

|

𝐩

⁢

x

i

=

0

,

2^{\prime}

If the surface is described parametrically on terms of a set of parameters

(

u

1

,

u

2

,

…

,

u

m

)

, then the tangent space may be parameterized as follows:

x

1

=

p

1

+

∑

i

=

1

m

∂

⁡

x

1

∂

⁡

u

i

⁢

s

i

⋮

x

n

=

p

n

+

∑

i

=

1

m

∂

⁡

x

n

∂

⁡

u

i

⁢

s

i

6

Generalizations

In closing, it might be worthwhile to say a few words about how the notion of tangent space has been generalized by modern mathematicians, even though the methods used lie well beyond the scope of this entry.

There is the intrinsic definition of tangent space. Whereas we considered our surface as situated in an ambient space and defined the tangent space as a certain

linear subspace

of this space, in the intrinsic method one only considers

geometric constructions

defined on the surface without reference to an ambient space. This is useful because oftentimes one is interested only in the surface and the ambient space is irrelevant; furthermore, it may be possible to embed the same surface several different ways in an ambient space or describe it in a fashion that makes no reference to an ambient space so it is preferrable not to embed the sufrace in an arbitrary ambient space in order to define its tangent spaces. For this reason, modern

differential geometry

almost exclusively uses the intrinsic definition; for more on this definition, see

http://planetmath.org/node/902

this entry and

http://planetmath.org/node/2007

this entry.

Even more remarkably, it is possible to extend the notion of tangent space to such non-geometric entites as

number fields

and functors in a meaningful way. The secret to this is the axiomatic approach. By expressing the definition of

vector field

in terms of an abstract

algebraic system

, one arrives at a definition which, when applied to surfaces, agrees with the concrete concept defined here, but which, with a different

interpretation

of the axioms, can apply to other mathematical objects as well. Since it turns out that many

properties

of vector fields can be deduced from the abstract axioms, it automatically follows that the tangent space of a number field or a functor defined in this way behaves a lot like the tangent space to a surface in many respects. This point of view has yielded intuitions and insights into various fields of mathematics such as

number theory

which may not otherwise have been available and lies at the heart of a lot of contemporary mathematics.

Title

tangent plane (

elementary

)

Canonical

name

TangentPlaneelementary

Date of creation

2013-03-22 14:58:40

Last modified on

2013-03-22 14:58:40

Owner

rspuzio (6075)

Last modified by

rspuzio (6075)

Numerical id

15

Author

rspuzio (6075)

Entry type

Topic

Classification

msc 26B05

Classification

msc 26A24

Synonym

tangent space

Defines

tangent plane

Generated on Fri Feb 9 19:56:32 2018 by

LaTeXML