Tangent function: Difference between revisions

From Calculus
Line 93: Line 93:
===Critical points===
===Critical points===


As computed earlier, we have:
As computed earlier, we have:


<math>f'(x) = \sec^2x</math>
<math>f'(x) = \sec^2x</math>

Revision as of 17:07, 19 December 2011

This article is about a particular function from a subset of the real numbers to the real numbers. Information about the function, including its domain, range, and key data relating to graphing, differentiation, and integration, is presented in the article.
View a complete list of particular functions on this wiki

For functions involving angles (trigonometric functions, inverse trigonometric functions, etc.) we follow the convention that all angles are measured in radians. Thus, for instance, the angle of is measured as .

Definition

Definition in terms of sine and cosine

The tangent function, denoted , is defined as the quotient of the sine function by the cosine function, and it is defined wherever the cosine function takes a nonzero value. In symbols:

Definition in terms of the unit circle

Fill this in later

Definition for acute angles in terms of triangles

Suppose is an acute angle, i.e., . Construct a right triangle where is one of the acute angles. is defined as the quotient of the leg opposite to the leg adjacent to .


Key data

Item Value
default domain all real numbers except odd integer multiples of , i.e., .
This is a union of countably many open intervals of the form with :
range all real numbers, i.e., all of
period , i.e.,
local maximum values and points of attainment there are no local maximum values
local minimum values and points of attainment there are no local minimum values
points of inflection (both coordinates) all points of the form where varies over integers.
vertical asymptotes All lines of the form , varies over integers. At each such line, the left hand limit is and the right hand limit is .
important symmetries odd function
half turn symmetry about all points of the form where varies over integers. Note that for the even multiples of , (i.e., the multiples of , this is half turn symmetry about points of inflection. For the odd multiples of , this is half turn symmetry about points not on the graph itself.
first derivative , i.e., the secant-squared function. Note that .
second derivative .
higher derivatives every derivative can be expressed as a polynomial in terms of . The degree of the derivative as a polynomial in is .
first antiderivative .
higher antiderivatives no antiderivatives higher than the first are expressible in terms of elementary functions.

Differentiation

First derivative

WHAT WE USE: sine function#First derivative, cosine function#First derivative, quotient rule for differentiation

The first derivative is:

Here's how we get it. We start with:

Using the quotient rule for differentiation, we get:

The penultimate step uses .

Second derivative

WHAT WE USE: secant function#First derivative, chain rule for differentiation, differentiation rule for power functions

The second derivative is:

We obtain this by differentiating the first derivative:

Points and intervals of interest

Consider the function .

Vertical asymptotes

At each of the points where is undefined, which are precisely the odd multiples of , the left hand limit is and the right hand limit is .

Critical points

As computed earlier, we have:

The original function is undefined at odd multiples of . The expression for is also undefined at precisely these points, but these are not considered critical points. Note that is defined wherever is. Thus, the only kind of critical points are those where . However, anywhere because forces .

The upshot is that the function has no critical points on its domain of definition.

Intervals of increase and decrease

Wherever the function is defined, the derivative is positive. Thus, is increasing on each of the open intervals in its domain of definition, i.e., is increasing on each of the intervals:

Further, on each interval, it increases from a limiting value of at the left end of the interval to a limiting value of at the right end of the interval.

However, it is not correct to say that is increasing throughout its domain. This is because between successive intervals, it jumps from <math+\infty</math> to .

Local extreme values

There are no local extreme values for the function.

Intervals of concave up and concave down

The second derivative is . The sign of this is determined by the sign of . Thus, when , the graph is concave down, and when , the graph is concave up. Unpacking, we get:

  • The graph of is concave down on intervals of the form .
  • The graph of is concave up on intervals of the form .

Points of inflection

The points of inflection on the graph are points of the form , i.e., integer multiples of . At these points, the graph transitions from concave down (on the left) to concave up (on the right).

Integration

First antiderivative

WHAT WE USE: integration of quotient of derivative of function by function

We use the following form:

In our case, we write:

Using the integration form above with , we get:

Alternative method: [SHOW MORE]

Definite integrals

The definite integral of the function can be computed on any closed interval that lies completely within one of the open intervals on which is defined, i.e., both endpoints must lie between the same pair of consecutive odd multiples of . Thus, for instance, can be integrated from to but not from to , because these lie on opposite sides of the point at which the function has a vertical asymptote.

Moreover, all improper integrals are undefined.

If both lie between consecutive odd multiples of , we get:

Note that the lower limit comes on top because of the minus sign on the antiderivative. Further, we do not need to put an absolute value sign because has constant sign on each interval of definition, so the quotient is positive in sign.

Finally, note that is an odd function, and more generally, has half turn symmetry about points , so:

for .

Transformed versions

We can use the integration of to integrate any function of the form using the integration of linear transform of function:

The points where the transformed function is undefined are odd multiples of minus , i.e.,:

Higher antiderivatives

It is not possible to antidifferentiate the first antiderivative of within the universe of elementarily expressible functions.