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 be a surface in three-dimensional space and let be a point of . 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
then the tangent plane to at is described by the equation
1 |
More generally, if the surface is described by an equation , then the equation for the tangent plane is
2 |
If the surface is described by giving the coordinates , , and as functions of parameters and and the point is specified by the values of the parameters, then the tangent plane at is described in terms of parameters and by the equations
3 |
2 Examples
To illustrate and explain the definition, let us consider three examples.
2.1 Example 1
Let be the cone specified by the equation
and let . Then we compute the tangent plane as follows:
Evaluating at , we have
so the tangent plane is specified by the equation
which simplifies to
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 , but in the whole line . 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 If we try to evaluate the partial derivatives at this point, we run into the indeterminate form . 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 and . 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, 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 centred about the origin. The sphere may be described by the equation
In the notation of the last section, we have
Computing partial derivatives, we find that
If is a point which lies on the sphere, the equation of the tangent plane through is as follows:
We may simplify this equation by cancelling the factors of and using the fact that :
Having derived this equation, let us note an interesting fact about the tangent plane to the sphere. Let be the radius through . (By definition, is the line connecting with the point .) It is easy to see that 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 centred about the origin may be also described by the parametric equations
Let us compute the tangent plane through the point using this description of the sphere. First, we notice that to describe the point , we should take and .
Taking derivatives, we find that
Substituting for and for , we find
Hence the parametric equations of the tangent plane are
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
Let us define Our surface is described by the equation By formula (2), its tangent plane at a point is described by the equation
Making minor rearrangements and recognizing that and here denote the same entites as and did in the statement of equation (2) because there is assumed to equal , 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
and an implicit equation
then we must have
Differentiating with respect to and using the chain rule, we find that
Likewise, diferentiating with respect to , we find that
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 to two new parameters . By the chain rule, we have
and
and likewise for and . Substituting these expressions into formula (3), we obtain
If we define
and
then our system of equations may be rewritten as
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 is a smooth surface and that , , and are three sequences of points such that
-
1.
For every , the points , , and are distinct.
-
2.
There exists a point such that
-
3.
There exists a constant such that for every , the angles of the triangle lie in the interval .
Then the planes spanned by the triplets tend towards the tangent plane of through in the limit
Also, there is a simple relation of tangent planes to tangent lines — the tangent plane of smooth surface at a point is exactly the union of the tangents to the all the smooth curves which lie on 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
where the functions , , and 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 gets closer to to and gets closer to , 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 and it is safe to approximate 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 is an -dimensional surface located in and let be a point of . Then we may generalize formulas (1) - (3) as follows:
If the surface is described by the system of equations
then its tangent space is described by the system
1^{\prime} |
If the surface is described by the system of equations
then the tangent space is described by the system
2^{\prime} |
If the surface is described parametrically on terms of a set of parameters , then the tangent space may be parameterized as follows:
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/902this entry and http://planetmath.org/node/2007this 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 |