Week 3 Discussion Notes

Table of Contents

Inverse Trigonometric Functions

Defining Them

In order to define inverse trig functions, we need to find domains so that they are one-to-one without changing their ranges. Because trig functions oscillate, there are a lot of intervals like these, so which one do we take? 00 is a nice number, so we are going to look for a domain containing 00 which doesn't change the range of our function.

Take a look at the graph of sinx\sin{x}:

As you can see, [π2,π2]\br{-\frac{\pi}{2}, \frac{\pi}{2}} does the trick. On this interval, sinx\sin{x} passes the horizontal line test and it hits every point in its range, [1,1]\br{-1, 1}.

Now look at cosx\cos{x}:

There are two intervals in this case: [π,0]\br{-\pi, 0} and [0,π]\br{0, \pi}. Hopefully, you agree that [0,π]\br{0, \pi} is "nicer" than the other one since it contains only positive numbers, so we're going to restrict cosx\cos{x} to [0,π]\br{0, \pi} when defining the inverse.

The last one we're going to look at is tanx\tan{x}:

As in the case with cosx\cos{x}, we have multiple choices, but I think it's clear that (π2,π2)\p{-\frac{\pi}{2}, \frac{\pi}{2}} is the "nicest" interval we can use.

We can play the same game with the rest of the trig functions, and what we get are the following inverse functions:

Definition (inverse trigonometric functions)

We define the inverses of trig functions via the following tables:

f(x)f1(x)rangesinxarcsinx[π2,π2]cscxarccscx[π2,0)(0,π2]tanxarctanx(π2,π2)\def\arraystretch{1.5} \begin{array}{lll} f\p{x} & f^{-1}\p{x} & \text{range} \\ \hline \sin{x} & \arcsin{x} & \br{-\frac{\pi}{2}, \frac{\pi}{2}} \\ \csc{x} & \arccsc{x} & \left\lbrack -\frac{\pi}{2}, 0 \right\rparen \cup \left\lparen 0, \frac{\pi}{2} \right\rbrack \\ \tan{x} & \arctan{x} & \p{-\frac{\pi}{2}, \frac{\pi}{2}} \end{array}
f(x)f1(x)rangecosxarccosx[0,π]secxarcsecx[0,π2)(π2,π]cotxarccotx(0,π)\def\arraystretch{1.5} \begin{array}{lll} f\p{x} & f^{-1}\p{x} & \text{range} \\ \hline \cos{x} & \arccos{x} & \br{0, \pi} \\ \sec{x} & \arcsec{x} & \left\lbrack 0, \frac{\pi}{2} \right\rparen \cup \left\lparen \frac{\pi}{2}, \pi \right\rbrack \\ \cot{x} & \arccot{x} & \p{0, \pi} \end{array}

We get the range of f1(x)f^{-1}\p{x} by swapping the domain and range of f(x)f\p{x}.

Exercise 1.

Figure out the domains of the inverse trig functions.

One thing to notice is how I arranged the tables. If you look at the top table, the ranges are all [π2,π2]\br{-\frac{\pi}{2}, \frac{\pi}{2}} with some points removed, i.e., the range of arcsinx\arcsin{x} with some points removed. Similarly, the bottom table ranges are all the range of arccosx\arccos{x} with some points removed.

The way I remember how to group them are as follows: if sinx\sin{x} is the "main" function (e.g., cscx=1sinx\csc{x} = \frac{1}{\sin{x}}), then the range is related to arcsinx\arcsin{x}. Similarly, if cosx\cos{x} is the "main" function, then the range will be related to arccosx\arccos{x}.

Their Derivatives

Now that we have the inverses, let's talk about their derivatives. They are given in the following theorem:

Theorem
ddxarcsinx=11x2ddxarccosx=11x2ddxarctanx=11+x2ddxarcsecx=1xx21ddxarccscx=1xx21ddxarccotx=11+x2\begin{aligned} &\deriv{}{x} \arcsin{x} &=& \phantom{-}\frac{1}{\sqrt{1 - x^2}} \\ &\deriv{}{x} \arccos{x} &=& -\frac{1}{\sqrt{1 - x^2}} \\ &\deriv{}{x} \arctan{x} &=& \phantom{-}\frac{1}{1 + x^2} \\ &\deriv{}{x} \arcsec{x} &=& \phantom{-}\frac{1}{\abs{x}\sqrt{x^2 - 1}} \\ &\deriv{}{x} \arccsc{x} &=& -\frac{1}{\abs{x}\sqrt{x^2 - 1}} \\ &\deriv{}{x} \arccot{x} &=& -\frac{1}{1 + x^2} \\ \end{aligned}

These are all done by implicit differentiation, and I'll show one of them:

Example 1.

Prove that ddxarcsecx=1xx21\deriv{}{x} \arcsec{x} = \frac{1}{\abs{x}\sqrt{x^2 - 1}}.

Solution.

To start, I'm going to set y=arcsecxy = \arcsec{x}. Since arcsecx\arcsec{x} and secx\sec{x} are inverses, we can apply secθ\sec{\theta} to both sides to get secy=x\sec{y} = x. Now we can take derivatives on both sides to get

(secytany)y=1    y=1secytany.\p{\sec{y}\tan{y}} y' = 1 \implies y' = \frac{1}{\sec{y}\tan{y}}.

To finish the problem, we need to get the right-hand side in terms of xx. We already know that secy=x\sec{y} = x, so we need to handle tany\tan{y}. We can use the following trig identity to relate tany\tan{y} to secy=x\sec{y} = x:

tan2y+1=sec2y=x2    tan2y=x21    tany=±x21.\begin{aligned} \tan^2{y} + 1 = \sec^2{y} = x^2 &\implies \tan^2{y} = x^2 - 1 \\ &\implies \tan{y} = \pm\sqrt{x^2 - 1}. \end{aligned}

We need to figure out when the sign is positive and when the sign is negative, so we need to break it into two cases:

Case 1: secy=x>0\sec{y} = x > 0

Since y=arcsecxy = \arcsec{x}, yy is in the range of arcsecx\arcsec{x}, so yy is in the first or second quadrant.

Since secy>0\sec{y} > 0, this means that cosy>0\cos{y} > 0, which means that yy must be in Quadrant I. In this quadrant, tany>0\tan{y} > 0, so tany=x21\tan{y} = \sqrt{x^2 - 1} in this case.

Case 2: secy=x<0\sec{y} = x < 0

We can use the same argument: in this case, cosy<0\cos{y} < 0, so yy is in Quadrant II, which means that tany<0\tan{y} < 0. Thus, tany=x21\tan{y} = -\sqrt{x^2 - 1} in this case.

Now that we have established the signs of tany\tan{y}, we just need to plug it back into our original function. There are two cases, so we end up with a piecewise function:

y=1xtany={1xx21if x>01xx21if x<0=1xx21.\begin{aligned} y' &= \frac{1}{x\tan{y}} \\ &= \begin{cases} \dfrac{1}{\phantom{-}x\sqrt{x^2 - 1}} & \text{if } x > 0 \\[2ex] \dfrac{1}{-x\sqrt{x^2 - 1}} & \text{if } x < 0 \end{cases} \\ &= \frac{1}{\abs{x}\sqrt{x^2 - 1}}. \end{aligned}

The last equality comes from the fact that x=x\abs{x} = x if x>0x > 0 and x-x if x<0x < 0.

Exercise 2.

Prove the rest of the derivatives.

Compounding Interest Monthly

This is the setup: we have an initial amount of money (the principal) P0P_0, an interest rate rr which is compounded nn times a year, and we want to know how much money we have after tt years.

"Compunded nn times a year" means that we calculate interest with the rate rn\frac{r}{n} a total of nn times each year. So, after the first compounding, we get P0(rn)P_0\p{\frac{r}{n}} dollars in interest, which brings our total to P0+P0(rn)=P0(1+rn)P_0 + P_0\p{\frac{r}{n}} = P_0\p{1 + \frac{r}{n}}.

After the second time, we get P0(1+rn)rnP_0\p{1 + \frac{r}{n}}\frac{r}{n} in interest, which gives us P0(1+rn)2P_0\p{1 + \frac{r}{n}}^2 total, etc. You should be able to see the pattern: after 11 year, you will have compounded interest nn times, so you end up with P0(1+rn)nP_0\p{1 + \frac{r}{n}}^n. Since we want to know how much we have in tt years, we get the formula

P(t)=P0(1+rn)nt.P\p{t} = P_0\p{1 + \frac{r}{n}}^{nt}.

If we compound monthly, we compound 1212 times a year, so you use the formula n=12n = 12. And, for example, if we compound biannually, then we compound twice a year, so you would use the formula with n=2n = 2.

As nn gets very, very large, we essentially compound interest every moment, i.e., we're compounding interest continuously. So, it's no surprise that

limnP0(1+rn)nt=P0ert,\lim_{n\to\infty} P_0\p{1 + \frac{r}{n}}^{nt} = P_0e^{rt},

i.e., we get the formula for continuously compounded interest.

Exercise 3.

Prove the limit, e.g., using L'Hôpital's rule or by using the limit definition of ee.

L'Hôpital's Rule

This rule will probably be the one thing you remember from this class:

Theorem (L'Hôpital's rule)

Suppose ff and gg satisfy the following conditions:

  1. ff and gg are differentiable in an open interval around aa
  2. limxaf(x)=limxag(x)=0\lim_{x \to a} f\p{x} = \lim_{x \to a} g\p{x} = 0 or limxaf(x)=limxag(x)=±\lim_{x \to a} f\p{x} = \lim_{x \to a} g\p{x} = \pm\infty (they are allowed to have different signs)
  3. g(x)0g'\p{x} \neq 0 in an open interval around aa except possibly at x=ax = a
  4. limxaf(x)g(x)\lim_{x \to a} \frac{f'\p{x}}{g'\p{x}} exists or is infinite

Then

limxaf(x)g(x)=limxaf(x)g(x).\lim_{x \to a} \frac{f\p{x}}{g\p{x}} = \lim_{x \to a} \frac{f'\p{x}}{g'\p{x}}.

Assumpion (i) is there just so you can take derivatives, and (iii) is just there to make sure that the limit makes sense. For example, what is limx0x0\lim_{x \to 0} \frac{x}{0}? It's a meaningless expression, which is what we want to avoid.

So, the only assumptions that really make a difference are (ii) and (iv).

Pitfalls

It can be relatively easy to make mistakes when using L'Hôpital's, and the worst part is that they don't look like mistakes most of the time. So, here are a couple common pitfalls:

Don't use the quotient rule!

For example, L'Hôpital's rule does not tell you that

limxxex=limxexxexe2x.(wrong)\lim_{x \to \infty} \frac{x}{e^x} = \lim_{x \to \infty} \frac{e^x - xe^x}{e^{2x}}. \quad\text{(wrong)}

Instead, it tells you

limxxex=limx1ex=0.(right)\lim_{x \to \infty} \frac{x}{e^x} = \lim_{x \to \infty} \frac{1}{e^x} = 0. \quad\text{(right)}

Check assumptions!

Make sure you are allowed to use L'Hôpital's before actually using it. This seems obvious, but it happens more than you think. Before you take derivatives, it's good to build the habit of checking that you have an indeterminate form. Here's an example that doesn't satisfy condition (ii):

limx0x2cosx=limx02xsinx=2.(wrong)\lim_{x \to 0} \frac{x^2}{\cos{x}} = \lim_{x \to 0} -\frac{2x}{\sin{x}} = -2. \quad\text{(wrong)}

This is incorrect because you don't have an indeterminate form, but it doesn't even look like a mistake, which it's why it's so important to be careful when using the rule. Instead, for this problem, you can plug in x=0x = 0 directly to get 00.

Here's another example which satisfies condition (ii) but violates condition (iv):

limxx+sinxx=limx1+cosx1=DNE.\lim_{x \to \infty} \frac{x + \sin{x}}{x} = \lim_{x \to \infty} \frac{1 + \cos{x}}{1} = \mathrm{DNE}.

This does not mean that the limit does not exist; instead, it only tells you that L'Hôpital's rule is inconclusive here. Indeed, even though the limit of the derivatives does not exist, the original limit does exist:

limxx+sinxx1x1x=limx1+sinxx1=1.\lim_{x \to \infty} \frac{x + \sin{x}}{x} \cdot \frac{\frac{1}{x}}{\frac{1}{x}} = \lim_{x \to \infty} \frac{1 + \frac{\sin{x}}{x}}{1} = 1.

L'Hôpital's does not mean that old techniques are useless now!

Consider this limit:

limxexexex+ex=limxex+exexex=limxexexex+ex=\lim_{x \to \infty} \frac{e^x - e^{-x}}{e^x + e^{-x}} = \lim_{x \to \infty} \frac{e^x + e^{-x}}{e^x - e^{-x}} = \lim_{x \to \infty} \frac{e^x - e^{-x}}{e^x + e^{-x}} = \cdots

As you can see, repeatedly using L'Hôpital's doesn't do anything for you, since you just end up with the original limit again. Instead, you can multiply and divide by exe^{-x}, which gives

limxexexex+exexex=limx1e2x1+e2x=1.\lim_{x \to \infty} \frac{e^x - e^{-x}}{e^x + e^{-x}} \cdot \frac{e^{-x}}{e^{-x}} = \lim_{x \to \infty} \frac{1 - e^{-2x}}{1 + e^{-2x}} = 1.

Examples

Example 2.

Calculate limx0+sinxx21cos2x\lim_{x \to 0^+} \frac{\sin{x} - x^2}{\sqrt{1 - \cos^2{x}}}.

Solution.

Before using L'Hôpital's, you should always take a minute to see if you can simplify anything. In this problem, if you don't do that, you end up with a horrible derivative in the denominator. But if you do simplify, you will just get sinx\sin{x} in the bottom—much nicer! If you use L'Hôpital's after this, you just get

limx0+sinxx21cos2x=limx0+sinxx2sinx=limx0+cosx2xcosx=1.\lim_{x \to 0^+} \frac{\sin{x} - x^2}{\sqrt{1 - \cos^2{x}}} = \lim_{x \to 0^+} \frac{\sin{x} - x^2}{\sin{x}} = \lim_{x \to 0^+} \frac{\cos{x} - 2x}{\cos{x}} = \boxed{1}.
Example 3.

Calculate limx0+x2x\lim_{x \to 0^+} x^{2\sqrt{x}}.

Solution.

Here, we're going to want to use logarithms to bring the exponent down, so first set y=x2xy = x^{2\sqrt{x}}. Then we simply need to calculate limx0+lny\lim_{x \to 0^+} \ln{y}: (I will put an HH when I use L'Hôpital's rule)

limx0+lny=limx0+2xlnx=limx0+2lnx1x=limx0+2lnxx1/2=Hlimx0+2x12x3/2=limx0+4xx3/2=limx0+4x1/2=0.\begin{aligned} \lim_{x \to 0^+} \ln{y} = \lim_{x \to 0^+} 2\sqrt{x} \ln{x} &= \lim_{x \to 0^+} \frac{2\ln{x}}{\frac{1}{\sqrt{x}}} \\ &= \lim_{x \to 0^+} \frac{2\ln{x}}{x^{-1/2}} \\ &\overset{H}= \lim_{x\to0^+} \frac{\frac{2}{x}}{-\frac{1}{2}x^{-3/2}} \\ &= \lim_{x\to0^+} -\frac{4}{x} \cdot x^{3/2} \\ &= \lim_{x\to0^+} -4x^{1/2} \\ &= 0. \end{aligned}

Finally, we need to evaluate the original limit:

limx0+y=limx0+elny=elimx0+lny=e0=1.\lim_{x \to 0^+} y = \lim_{x \to 0^+} e^{\ln{y}} = e^{\lim_{x \to 0^+} \ln{y}} = e^0 = \boxed{1}.
Example 4.

Calculate limxx+1x2x24\lim_{x \to \infty} \abs{\frac{x + 1}{x - 2}}^{\sqrt{x^2 - 4}}.

Solution.

Like in the previous example, we're going to set y=x+1x2x24y = \abs{\frac{x + 1}{x - 2}}^{\sqrt{x^2 - 4}}. Then

limxlny=limxx24ln(x+1x2)=limxln(x+1x2)1x24=limxln(x+1)ln(x2)(x24)1/2=Hlimx1x+11x2x(x24)3/2=limxx2(x+1)(x2)x+1(x+1)(x2)x(x24)3/2=limx3(x24)3/2x(x+1)(x2)=limx3(x24)3/2x(x+1)(x2)\begin{aligned} \lim_{x \to \infty} \ln{y} &= \lim_{x \to \infty} \sqrt{x^2 - 4}\ln\p{\frac{x + 1}{x - 2}} \\ &= \lim_{x \to \infty} \frac{\ln\p{\frac{x + 1}{x - 2}}}{\frac{1}{\sqrt{x^2 - 4}}} \\ &= \lim_{x \to \infty} \frac{\ln\p{x + 1} - \ln\p{x - 2}}{\p{x^2 - 4}^{-1/2}} \\ &\overset{H}{=} \lim_{x \to \infty} \frac{\frac{1}{x+1} - \frac{1}{x-2}}{-x\p{x^2 - 4}^{-3/2}} \\ &= \lim_{x \to \infty} \frac{\frac{x-2}{\p{x+1}\p{x-2}} - \frac{x+1}{\p{x+1}\p{x-2}}}{-x} \cdot \p{x^2 - 4}^{3/2} \\ &= \lim_{x \to \infty} \frac{-3\p{x^2 - 4}^{3/2}}{-x\p{x+1}\p{x-2}} \\ &= \lim_{x \to \infty} \frac{3\p{x^2 - 4}^{3/2}}{x\p{x+1}\p{x-2}} \end{aligned}

When xx is large, (x24)3/2\p{x^2 - 4}^{3/2} is roughly (x2)3/2=x3\p{x^2}^{3/2} = x^3, and the denominator is also roughly x3x^3. So, we will multiply and divide by 1x3\frac{1}{x^3}. Notice that x3=(x2)3/2x^3 = \p{x^2}^{3/2}, which gives

=limx3(x24)3/2x(x+1)(x+2)1x31x3=limx3(x24)3/2(1x2)3/2x(x+1)(x2)x3=limx3(x24x2)3/2xxx+1xx2x=limx3(14x2)3/2(1+1x)(12x)=3.\begin{aligned} &= \lim_{x \to \infty} \frac{3\p{x^2 - 4}^{3/2}}{x\p{x+1}\p{x+2}} \cdot \frac{\frac{1}{x^3}}{\frac{1}{x^3}} \\ &= \lim_{x \to \infty} \frac{3\p{x^2 - 4}^{3/2} \p{\frac{1}{x^2}}^{3/2}}{\frac{x\p{x+1}\p{x-2}}{x^3}} \\ &= \lim_{x \to \infty} \frac{3\p{\frac{x^2 - 4}{x^2}}^{3/2}}{\frac{x}{x} \frac{x+1}{x} \frac{x-2}{x}} \\ &= \lim_{x \to \infty} \frac{3\p{1 - \frac{4}{x^2}}^{3/2}}{\p{1 + \frac{1}{x}}\p{1 - \frac{2}{x}}} \\ &= 3. \end{aligned}

Finally, we just need to go back to the original limit. By continuity,

limx0+y=limx0+elny=elimx0+lny=e3.\lim_{x \to 0^+} y = \lim_{x \to 0^+} e^{\ln{y}} = e^{\lim_{x \to 0^+} \ln{y}} = \boxed{e^3}.
Exercise 4.

Find aa and bb so that

limx0(sin2xx3+ax2+b)=1.\lim_{x \to 0} \p{\frac{\sin{2x}}{x^3} + \frac{a}{x^2} + b} = 1.

Hint: If you find the value of bb before finding the value of aa, you did not check the assumptions before using L'Hôpital's rule!