Trig identity and ln derivatives driving me nuts!
I'm working my way through all the Khan Academy topics in the practice section and I've come as far as 'special derivatives' and 'chain rule'. The special derivatives consist of identifying the derivatives of sin, cos, tan, ln and e. I have memorized the derivative of these functions but I do not understand why they work (cannot find a good proof).
In the chain rule and beyond, almost every problem has these special derivatives in them and I am finding it really hard to find good information containing proofs for these.
For example I memorized that the derivative of ln is 1/x and also I memorized that the derivative of tan(x) is sec^2(x). Then I got a problem which asked me to derive ln*tan(x) which somehow started going in the direction of 1/tan(x) and I'm clueless.
Please help me find some good stuff on this as I've been stuck here for a long time and I was progressing extremely fast in math before this!
Re: Trig identity and ln derivatives driving me nuts!
Quote:
Originally Posted by
Paze 
I'm working my way through all the Khan Academy topics in the practice section and I've come as far as 'special derivatives' and 'chain rule'. The special derivatives consist of identifying the derivatives of sin, cos, tan, ln and e. I have memorized the derivative of these functions but I do not understand why they work (cannot find a good proof).
In the chain rule and beyond, almost every problem has these special derivatives in them and I am finding it really hard to find good information containing proofs for these.
For example I memorized that the derivative of ln is 1/x and also I memorized that the derivative of tan(x) is sec^2(x). Then I got a problem which asked me to derive ln*tan(x) which somehow started going in the direction of 1/tan(x) and I'm clueless.
Please help me find some good stuff on this as I've been stuck here for a long time and I was progressing extremely fast in math before this!
The proof that ![\displaystyle \begin{align*} \frac{d}{dx}\left[ \sin{(x)} \right] = \cos{(x)} \end{align*}](http://latex.codecogs.com/png.latex?\displaystyle \begin{align*} \frac{d}{dx}\left[ \sin{(x)} \right] = \cos{(x)} \end{align*})
requires knowing the standard limits }}{h} = 1 \end{align*})
and } - 1}{h} = 0 \end{align*})
. Proof:
Let  = \sin{(x)} \end{align*})
, then  = \sin{(x + h)} = \sin{(x)}\cos{(h)} + \cos{(x)}\sin{(h)} \end{align*})
, and so
![\displaystyle \begin{align*} f'(x) &= \lim_{h \to 0}\frac{f(x + h) - f(x)}{h} \\ &= \lim_{h \to 0}\frac{\sin{(x)}\cos{(h)} + \cos{(x)}\sin{(h)} - \sin{(x)}}{h} \\ &= \lim_{h \to 0}\frac{\sin{(x)}\cos{(h)} - \sin{(x)}}{h} + \lim_{h \to 0}\frac{\cos{(x)}\sin{(h)}}{h} \\ &= \sin{(x)}\lim_{h \to 0}\left[ \frac{\cos{(x)} - 1}{h} \right] + \cos{(x)} \lim_{h \to 0}\frac{\sin{(h)}}{h} \\ &= \sin{(x)} \cdot 0 + \cos{(x)} \cdot 1 \\ &= \cos{(x)} \end{align*}](http://latex.codecogs.com/png.latex?\displaystyle \begin{align*} f'(x) &= \lim_{h \to 0}\frac{f(x + h) - f(x)}{h} \\ &= \lim_{h \to 0}\frac{\sin{(x)}\cos{(h)} + \cos{(x)}\sin{(h)} - \sin{(x)}}{h} \\ &= \lim_{h \to 0}\frac{\sin{(x)}\cos{(h)} - \sin{(x)}}{h} + \lim_{h \to 0}\frac{\cos{(x)}\sin{(h)}}{h} \\ &= \sin{(x)}\lim_{h \to 0}\left[ \frac{\cos{(x)} - 1}{h} \right] + \cos{(x)} \lim_{h \to 0}\frac{\sin{(h)}}{h} \\ &= \sin{(x)} \cdot 0 + \cos{(x)} \cdot 1 \\ &= \cos{(x)} \end{align*})
Q.E.D.
Proof that ![\displaystyle \begin{align*} \frac{d}{dx} \left[ \cos{(x)} \right] = -\sin{(x)} \end{align*}](http://latex.codecogs.com/png.latex?\displaystyle \begin{align*} \frac{d}{dx} \left[ \cos{(x)} \right] = -\sin{(x)} \end{align*})
:
} \\ &= \sin{\left( \frac{\pi}{2} - x \right)} \end{align*})
Now let 
so that } \end{align*})
.
Then 
and
} \\ &= \cos{\left( \frac{\pi}{2} - x \right)} \\ &= \sin{(x)} \end{align*})
And thus } = -\sin{(x)} \end{align*})
.
Q.E.D.
Proof that ![\displaystyle \begin{align*} \frac{d}{dx} \left[ \tan{(x)} \right] = \sec^2{(x)} \end{align*}](http://latex.codecogs.com/png.latex?\displaystyle \begin{align*} \frac{d}{dx} \left[ \tan{(x)} \right] = \sec^2{(x)} \end{align*})
:
![\displaystyle \begin{align*} y &= \tan{(x)} \\ &= \frac{\sin{(x)}}{\cos{(x)}} \\ \frac{dy}{dx} &= \frac{\cos{(x)}\frac{d}{dx}\left[ \sin{(x)} \right] - \sin{(x)} \frac{d}{dx} \left[ \cos{(x)} \right]}{\left[ \cos{(x)} \right]^2} \\ &= \frac{\cos{(x)}\cos{(x)} - \sin{(x)}\left[ -\sin{(x)} \right] }{\cos^2{(x)}} \\ &= \frac{\cos^2{(x)} + \sin^2{(x)}}{\cos^2{(x)}} \\ &= \frac{1}{\cos^2{(x)}} \\ &= \sec^2{(x)} \end{align*}](http://latex.codecogs.com/png.latex?\displaystyle \begin{align*} y &= \tan{(x)} \\ &= \frac{\sin{(x)}}{\cos{(x)}} \\ \frac{dy}{dx} &= \frac{\cos{(x)}\frac{d}{dx}\left[ \sin{(x)} \right] - \sin{(x)} \frac{d}{dx} \left[ \cos{(x)} \right]}{\left[ \cos{(x)} \right]^2} \\ &= \frac{\cos{(x)}\cos{(x)} - \sin{(x)}\left[ -\sin{(x)} \right] }{\cos^2{(x)}} \\ &= \frac{\cos^2{(x)} + \sin^2{(x)}}{\cos^2{(x)}} \\ &= \frac{1}{\cos^2{(x)}} \\ &= \sec^2{(x)} \end{align*})
We have  = e^x \end{align*})
by definition. There's not much of a proof we can do here, except to set up  = a^x \end{align*})
, get a limit expression for  \end{align*})
, and use this to evaluate the value of 
so that  = f'(x) \end{align*})
.
The proof that ![\displaystyle \begin{align*} \frac{d}{dx} \left[ \ln{(x)} \right] = \frac{1}{x} \end{align*}](http://latex.codecogs.com/png.latex?\displaystyle \begin{align*} \frac{d}{dx} \left[ \ln{(x)} \right] = \frac{1}{x} \end{align*})
requires knowing that 
.
} \\ x &= e^y \\ \frac{dx}{dy} &= e^y \\ \frac{1}{\frac{dx}{dy}} &= \frac{1}{e^y} \\ \frac{dy}{dx} &= \frac{1}{x} \end{align*})
Q.E.D.
All derivatives of combinations of these special functions can be evaluated using your standard sum, difference, product, quotient and chain rules.
Re: Trig identity and ln derivatives driving me nuts!
Wow, thanks a lot. I'm going to go through these when I wake up tomorrow!
Again, thanks a lot!
Re: Trig identity and ln derivatives driving me nuts!
After looking over these I am definitely starting to see a pattern, however I do not possess proper understanding for the limits which you referred to in the start.
Am I thinking in the right direction when I visualize sin as the y value and cos as the x value on a unit circle? Thank you.
Re: Trig identity and ln derivatives driving me nuts!
The proof that comes from the definitions of the trigonometric functions on the unit circle.
http://i22.photobucket.com/albums/b3...ps9a9c01f3.jpg
If we call the angle made with the radius and the positive x axis 
, then the red length is } \end{align*})
, the green length is } \end{align*})
and the blue length is } \end{align*})
.
The area of the smaller triangle is }\cos{(\theta)}}{2} \end{align*})
, the area of the circular sector is 
, and the area of the larger triangle is }}{2} = \frac{\sin{(\theta)}}{2\cos{(\theta)}} \end{align*})
, and it should be obvious that
}\cos{(\theta)}}{2} \leq \frac{\theta}{2} &\leq \frac{\sin{(\theta)}}{2\cos{(\theta)}} \\ \sin{(\theta)}\cos{(\theta)} \leq \theta &\leq \frac{\sin{(\theta)}}{\cos{(\theta)}} \\ \cos{(\theta)} \leq \frac{\theta}{\sin{(\theta)}} &\leq \frac{1}{\cos{(\theta)}} \textrm{ we can do this because in the first quadrant }\sin{(\theta)} > 0 \\ \frac{1}{\cos{(\theta)}} \geq \frac{\sin{(\theta)}}{\theta} &\geq \cos{(\theta)} \textrm{ note the change of inequality sign from inversion} \\ \cos{(\theta)} \leq \frac{\sin{(\theta)}}{\theta} &\leq \frac{1}{\cos{(\theta)}} \end{align*})
And now since } \to 1 \end{align*})
as 
, so does }} \end{align*})
, and therefore, so does }}{\theta} \end{align*})
, since it's sandwiched between them.
Technically, this only proves the right hand limit, where your angles are positive, but the proof of the left hand limit is almost identical, you just have to take more care with the negatives.
Q.E.D.
As for the proof that , we do some algebraic manipulation.
![\displaystyle \begin{align*} \lim_{h \to 0}\frac{\cos{(h)} - 1}{h} &= \lim_{h \to 0}\frac{\left[ \cos{(h)} - 1 \right] \left[ \cos{(h)} + 1 \right]}{h \left[ \cos{(h)} + 1 \right] } \\ &= \lim_{h \to 0}\frac{\cos^2{(h)} - 1 }{h \left[ \cos{(h)} + 1 \right] } \\ &= \lim_{h \to 0}\frac{1 - \sin^2{(h)} - 1}{h \left[ \cos{(h)} + 1 \right]} \\ &= \lim_{h \to 0}\frac{-\sin^2{(h)}}{h \left[ \cos{(h)} + 1 \right]} \\ &= - \lim_{h \to 0}\frac{\sin{(h)}}{h} \lim_{h \to 0} \frac{\sin{(h)}}{\cos{(h)} + 1 } \\ &= -1 \cdot \frac{\sin{(0)}}{\cos{(0)} + 1} \\ &= -\frac{0}{2} \\ &= 0 \end{align*}](http://latex.codecogs.com/png.latex?\displaystyle \begin{align*} \lim_{h \to 0}\frac{\cos{(h)} - 1}{h} &= \lim_{h \to 0}\frac{\left[ \cos{(h)} - 1 \right] \left[ \cos{(h)} + 1 \right]}{h \left[ \cos{(h)} + 1 \right] } \\ &= \lim_{h \to 0}\frac{\cos^2{(h)} - 1 }{h \left[ \cos{(h)} + 1 \right] } \\ &= \lim_{h \to 0}\frac{1 - \sin^2{(h)} - 1}{h \left[ \cos{(h)} + 1 \right]} \\ &= \lim_{h \to 0}\frac{-\sin^2{(h)}}{h \left[ \cos{(h)} + 1 \right]} \\ &= - \lim_{h \to 0}\frac{\sin{(h)}}{h} \lim_{h \to 0} \frac{\sin{(h)}}{\cos{(h)} + 1 } \\ &= -1 \cdot \frac{\sin{(0)}}{\cos{(0)} + 1} \\ &= -\frac{0}{2} \\ &= 0 \end{align*})
Re: Trig identity and ln derivatives driving me nuts!
Quote:
Originally Posted by
Paze The special derivatives consist of identifying the derivatives of sin, cos, tan, ln and e. I have memorized the derivative of these functions but I do not understand why they work (cannot find a good proof).
Nothing wrong with seeking proofs to understand some of these from (relatively speaking) first principles. But notice that most differentiation and integration exercises take them...
http://www.ballooncalculus.org/asy/given.png
... and the various rules for combining them, especially...
http://www.ballooncalculus.org/asy/chain.png
... which is how I like to think of the chain rule, and...
http://www.ballooncalculus.org/asy/prod.png
... the product rule, as givens.
I.e., assume they work... then, what happens?
(key in spoiler)
E.g. Prove It gave you the derivative of sine from first principles, but the rest from the rules (which do also have proofs... e.g. in wikipedia).
Quote:
Originally Posted by
Paze For example I memorized that the derivative of ln is 1/x and also I memorized that the derivative of tan(x) is sec^2(x). Then I got a problem which asked me to derive ln*tan(x) which somehow started going in the direction of 1/tan(x) and I'm clueless.
Yes, so we have tan as the inner function of a composite, and ln as the outer. So we know to apply the chain rule...
http://www.ballooncalculus.org/draw/...ain/logtan.png
... and we can see the outer function differentiated with respect to the inner function is one over...
http://www.ballooncalculus.org/draw/...in/logtanb.png
... and how the rule plays out...
http://www.ballooncalculus.org/draw/...in/logtana.png
I hope that helps, or doesn't confuse. (Smile)
_________________________________________
Don't integrate - balloontegrate!
Balloon Calculus; standard integrals, derivatives and methods
Balloon Calculus Drawing with LaTeX and Asymptote!
Re: Trig identity and ln derivatives driving me nuts!
WOW! I am receiving so much info here! These answers are unbelievably precise and descriptive!
I can't thank you guys enough for your efforts. This is simply amazing.
Ignore past this point (unless you notice fallacies) as I will be bookmarking the thread and I intend to utilize this space for notes:
- More info on why sin(theta)/theta = 1 in the inequality proof can be found by researching the squeeze theorem.
