Prove the differentiation rule: (cosx)' = sinx for any x.

In summary, the derivative of cosine is equal to negative sine, which can be proven using different methods such as trigonometric identities, power series, and initial value problems. Ultimately, the derivative of cosine is a fundamental rule in calculus and is essential in solving various equations and problems.
  • #1
NWeid1
82
0
As the title says. I'm unsure what to use...limit definition? Thanks.
 
Physics news on Phys.org
  • #2
Start with the definition of "derivative".

By the way, I don't like the notation (cos x)'. cos'(x) would be better.
 
  • #3
NWeid1 said:
Prove the differentiation rule: (cosx)' = sinx for any x.
Is that even true? The derivative of cosine is sine?
 
  • #4
Good point. :smile: I didn't even notice that.
 
  • #5
He most likely meant that the derivative of cos x is -sin x.

OP, there is a couple way you can do this. You can do this using the one of the trig identities with chain rule but I'm not familiar with that route. A more familiar route is starting off with the definition of the derivative. As you go about doing the proof, try to manipulate the variables to fit a couple of the three special limits: cos and sin. Does that ring a bell?

The latter method is longer but I find it useful to figure out that way.
 
Last edited:
  • #6
Use the definition of a derivative, it should come out to -sinx. If you use the chain rule, you need to know what the derivative of cosine is so it's obviously not what he needs to do.
 
  • #7
iRaid said:
Use the definition of a derivative, it should come out to -sinx. If you use the chain rule, you need to know what the derivative of cosine is so it's obviously not what he needs to do.

No not cosine, you need to know what the derivative of sin is. After using a co-function identity where d/dx cos x = d\dx [sin pi/2 - x], you use the chain rule and manipulate accordingly.
 
  • #8
Nano-Passion said:
No not cosine, you need to know what the derivative of sin is. After using a co-function identity where d/dx cos x = d\dx [sin pi/2 - x], you use the chain rule and manipulate accordingly.

y=cos(x)

y=cos(u) u=x
y'=-sinu u'=1

Therefore..
dy/dx=(-sinx)(1) = -sinx
 
  • #9
iRaid said:
y=cos(x)

y=cos(u) u=x
y'=-sinu u'=1

Therefore..
dy/dx=(-sinx)(1) = -sinx

That's a circular argument. You're using in your proof what you should be proving...
 
  • #10
dextercioby said:
That's a circular argument. You're using in your proof what you should be proving...

That's what I'm saying, you can't use the chain rule if you need to prove cos'x = sinx, you should only use it when you need to solve equations like: y=cos3xtan4x

(not when proving the derivatives of trig functions)
 
  • #11
write the definition of derivative, and use the fact that sinx~x for infinitely small values of x. you'll need Taylor series to prove that sinx~x but there is a nice way of proving that using binomial theorem that has been done by Euler. There is also a way of proving that approximation using geometry and high school algebra combined together.

Anyway, the key point is to use sinx~x when x approaches zero. once you know that, you will be able to prove that (cosx)'=-sinx and (sinx)'=cosx by writing down the formal definition of derivative. You also need to know that cos(x+y)=cosxcosy-sinxsiny and sin(x+y)=sinxcosy+sinycosx
 
Last edited:
  • #12
by use of elementary trigonometry and continuity of sine it is obvious that

cos'(x)=-sin'(0) sin(x)=cos'(0)cos(x)-sin'(0)sin(x)

So sin'(0) needs to be found by some means, usually by use of the particular definition being used.
 
  • #13
Part of the problem is that how you would prove such a thing depends upon how you have defined "cos(x)". You cannot use the "trigonometry" definition- that requires that x be positive. One common definition is in terms of the unit circle: if you measure a distance t around the circumference of the unit circle, starting at the point (1, 0), the point you end at has, by definition, coordinates (cos(t), sin(t)). In that case, you can use trig identities to reduce [itex](cos(x+h)- cos(x))/h[/itex] and limit properties. There are, however, problems without defining measurement around the circumference of a circle without using trig functions.

But you can also define cos(x) and sin(x) by the power series:
[tex]cos(x)= \sum_{n=0}^\infty \frac{(-1)^nx^{2n}}{(2n)!}[/tex]
[tex]sin(x)= \sum_{n=0}^\infty \frac{(-1)^n x^{2n+1}}{(2n+1)!}[/tex]
Because that power series converges for all x (which can be shown by the ratio test), it converges uniformly in every compact interval and so can be differentiated term by term:
[tex]cos'(x)= \sum_{n= 1}^\infty \frac{(-1)^n(2n)x^{2n-1}}{(2n)!}= \sum_{n=1}^\infty \frac{(-1)^nx^{2n-1}}{(2n-1)!}[/tex]
Making the change of index, j= n-1, n=j+1 so [itex](-1)^n= (-1)^{j-1}= (-1)(-1)^j[/itex], and 2n- 1= 2(j+1)- 1= 2j+ 1 so
[tex]cos'(x)=-\sum_{j=0}^\infty \frac{(-1)^jx^{2j+1}}{(2j+1)!}= -sin(x)[/tex]

Another perfectly valid way to define sine and cosine is
"y= sin(x) is the function satisfying the differential equation y''= -y with intial conditions y(0)= 0, y'(0)= 1" and
"y= cos(x) is the function satisfying the differential equation y''= -y with initial conditions y(0)= 1, y'(0)= 0".

By the "existence and uniqueness theorem" for initial value problems we know that there exist unique functions satisfying those conditions. Further, since y''= -y is a second order linear differential equation, we know that any solution can be written as a linear combination of two independent solutions and it is easy to see that the functions above are independent solutions. That is, any solution to y''= -y can be written in the form y(x)= A cos(x)+ B sin(x).

In particular, if we write y(x)= cos'(x), then y'(x)= cos''(x)= -cos(x). Differentiating again, y''= -cos')(x)= -y. That is, this new function y satisfies that same differential equation, y''= -y and so y(x)= Acos(x)+ Bsin(x). But cos(x) satisfies the initial conditions cos(0)= 1, cos'(x)= 0 so y(0)= cos'(0)= 0 and y'(0)= -cos(0)= -1. Putting those into the formula for y, y(0)= Acos(0)+ Bsin(0)= A(1)+ B(0)= 0 so A= 0 while y'(0)= Acos'(0)+ Bsin'(0)= A(0)+ B(1)= -1 so B=-1. That is, y(x)= cos'(x)= 0(cos(x))+ (-1)(sin(x))= -sin(x).
 
Last edited by a moderator:
  • #14
iRaid said:
That's what I'm saying, you can't use the chain rule if you need to prove cos'x = sinx, you should only use it when you need to solve equations like: y=cos3xtan4x

(not when proving the derivatives of trig functions)
Your argument was circular, but the method Nano-Passion suggested isn't. It uses the chain rule to find the derivative of cos, but to use it, you must know the derivative of sin.

AdrianZ said:
write the definition of derivative, and use the fact that sinx~x for infinitely small values of x.
This method is slightly more complicated than I first thought. To use it, you must be able to find the limits of [itex](\cos h-1)/h[/itex] and [itex](\sin h)/h[/itex] as [itex]h\to 0[/itex].

lurflurf said:
by use of elementary trigonometry and continuity of sine it is obvious that

cos'(x)=-sin'(0) sin(x)=cos'(0)cos(x)-sin'(0)sin(x)

So sin'(0) needs to be found by some means, usually by use of the particular definition being used.
It took me a pretty long time to figure out what you're doing here. I still don't see how you got that expression in the middle (unless you got it by using cos'(0)=0 on the right-hand side). So I think the OP will find this pretty difficult. But it is a nice method.
 
  • #15
Fredrik said:
This method is slightly more complicated than I first thought. To use it, you must be able to find the limits of [itex](\cos h-1)/h[/itex] and [itex](\sin h)/h[/itex] as [itex]h\to 0[/itex].

Sure. That's why I told him that he needs to know sinx~x when x approaches 0. that's the same as saying sinh/h~1 for infinitely small values of h. also, (cosh-1)/h can be found once you know sinx~x.
 
  • #16
Fredrik said:
I still don't see how you got that expression in the middle (unless you got it by using cos'(0)=0 on the right-hand side).

The difference identity

[tex]\cos(A)-\cos(B)=-2 \sin\left( \frac{A}{2}-\frac{B}{2}\right) \sin\left( \frac{A}{2}+\frac{B}{2}\right)[/tex]

by use of the difference identity of by manipulation of the addition identity we have

[tex]\frac{ \cos(x+h)-\cos(h) }{h}= -\frac{ \sin\left( \frac{h}{2}\right)}{\frac{h}{2}} \sin\left( x+\frac{h}{2}\right)\rightarrow - \sin'(0) \sin(x)[/tex]

by direct application of the addition identity

[tex]\frac{ \cos(x+h)-\cos(h) }{h}= \left( \frac{\cos(h)-1}{h} \right) \cos(x)-\left( \frac{\sin(h)}{h}\right) \sin(x) \rightarrow cos'(0)cos(x)-\sin(0) \sin'(x)[/tex]

so comparison of the two not only establishes cos'(0)=0, but also the fact that cos'(0) is in a sense obvious in a way sin'(0) is not.
 
  • #17
Fredrik said:
Your argument was circular, but the method Nano-Passion suggested isn't. It uses the chain rule to find the derivative of cos, but to use it, you must know the derivative of sin.This method is slightly more complicated than I first thought. To use it, you must be able to find the limits of [itex](\cos h-1)/h[/itex] and [itex](\sin h)/h[/itex] as [itex]h\to 0[/itex].It took me a pretty long time to figure out what you're doing here. I still don't see how you got that expression in the middle (unless you got it by using cos'(0)=0 on the right-hand side). So I think the OP will find this pretty difficult. But it is a nice method.

Its pretty simple if you memorized it. In my calculus book they were introduced as "three special limits" and were required to be memorized, where a couple included[itex](\cos h-1)/h[/itex] and [itex](\sin h)/h[/itex] as [itex]h\to 0[/itex] the third one was [itex] \lim_{x\ to\ 0} (1 + x) ^{1/x} = e [/itex]; of which was used in proving the derivative of e^x.

[tex]\lim_{x\to 0} \frac{cos x - 1}{x} = 0 [/tex]
[tex]\lim_{x\to 0} \frac{sin x}{x} = 1 [/tex]

Using the chain rule is the easiest method. But OP might feel more comfortable learning it by the limit process because that is what would ring a bell if this problem was on a test.
 
  • #18
HallsofIvy said:
Part of the problem is that how you would prove such a thing depends upon how you have defined "cos(x)". You cannot use the "trigonometry" definition- that requires that x be positive. One common definition is in terms of the unit circle: if you measure a distance t around the circumference of the unit circle, starting at the point (1, 0), the point you end at has, by definition, coordinates (cos(t), sin(t)). In that case, you can use trig identities to reduce [itex](cos(x+h)- cos(x))/h[/itex] and limit properties.

Huh? They are used in the proof by the limit process and proof by the chain rule? What you really mean is that it isn't a rigorous proof and wouldn't be a proper one correct?
 
  • #19
lurflurf said:
The difference identity
...
Ah, then I wasn't even close when I tried to guess what you were doing. (I actually don't even recognize that identity). I thought you were just taking derivatives of cleverly chosen trigonometric identities and solving for cos'(x). For example like this:

Start with

cos(x+y)=cos x cos y-sin x sin y.

Note that

d/dx cos(x+y) = cos'(x+y) =d/dy cos(x+y).

This implies that

cos'(x) cos y-sin'(x) sin y = cos x cos'(y)-sin x sin'(y).

Now choose y=0.

cos'(x) = cos x cos'(0) - sin x sin'(0)
 
  • #20
lurflurf said:
The difference identity

[tex]\cos(A)-\cos(B)=-2 \sin\left( \frac{A}{2}-\frac{B}{2}\right) \sin\left( \frac{A}{2}+\frac{B}{2}\right)[/tex]

by use of the difference identity of by manipulation of the addition identity we have

[tex]\frac{ \cos(x+h)-\cos(h) }{h}= -\frac{ \sin\left( \frac{h}{2}\right)}{\frac{h}{2}} \sin\left( x+\frac{h}{2}\right)\rightarrow - \sin'(0) \sin(x)[/tex]

by direct application of the addition identity

[tex]\frac{ \cos(x+h)-\cos(h) }{h}= \left( \frac{\cos(h)-1}{h} \right) \cos(x)-\left( \frac{\sin(h)}{h}\right) \sin(x) \rightarrow cos'(0)cos(x)-\sin(0) \sin'(x)[/tex]

so comparison of the two not only establishes cos'(0)=0, but also the fact that cos'(0) is in a sense obvious in a way sin'(0) is not.

Do you mean [tex]cos'(0)cos(x)-\sin'(0) \sin(x)[/tex]

Here is my portion of the proof in case it is more comforting.

We will use the sum & difference rule where [tex] cos(u±v) = cosu cosv \mp sinu sin v[/tex]

[tex]\frac{d}{dx} [cos x] = \frac{cos (x+\delta x) - cos x}{\delta x}[/tex]
[tex]= \frac{cos x cos \delta x - sin x sin \delta x - cos x}{\delta x}[/tex]
[tex]=\frac{ -sin x sin \delta x +cos x cos \delta x - cos x}{\delta x}[/tex]
[tex]=\frac{-sin x sin \delta x + cos x (1- cos \delta x)}{\delta x}[/tex]
[tex]= - sin x (\frac{sin \delta x}{x}) + cos x (\frac{1 - cos \delta x}{\delta x})[/tex]
[tex]= - sin x \lim_{\delta x\to 0}(\frac{sin \delta x}{x}) + cos x \lim_{\delta x\to 0} (\frac {1 - cos \delta x}{\delta x}[/tex]
[tex]= - sin (1) - cos (0)[/tex]
[tex]= - sin x[/tex]
 
  • #21
Nano, you need to type \sin and \cos instead of sin and cos when you use LaTeX. A LaTeX guide for the forums can be found here if you need it. (Hm, maybe it should say that you need to type \sin and \cos right at the beginning).

Oh yeah, one more thing: We don't normally post complete solutions when someone asks for help with a textbook-style problem. But since too much information had already been revealed, I don't think it matters here.

Edit: You can edit your post to insert the \ symbols until 11 hours and 40 minutes (700 minutes) after you posted.
 
Last edited:
  • #22
Fredrik said:
Nano, you need to type \sin and \cos instead of sin and cos when you use latex.
Oh okay thank you. :approve:

Test 1
[tex] \cos x [/tex]
 
  • #23
Nano-Passion said:
Huh? They are used in the proof by the limit process and proof by the chain rule? What you really mean is that it isn't a rigorous proof and wouldn't be a proper one correct?
You seem to be referring to several different points here. When I said that "you cannot use the trigonometry definition- that requires that x be positive" I was referring to the definiton of sine as "opposite side over hypotenuse" and cosine as "near side over hypotenuse" in a right triangle. In those definitions, the variable is an angle and must be between 0 and [itex]\pi/2[/itex] radians.
 
  • #24
HallsofIvy said:
You seem to be referring to several different points here. When I said that "you cannot use the trigonometry definition- that requires that x be positive" I was referring to the definiton of sine as "opposite side over hypotenuse" and cosine as "near side over hypotenuse" in a right triangle. In those definitions, the variable is an angle and must be between 0 and [itex]\pi/2[/itex] radians.

but if you interpret sine and cosine functions as orthogonal coordinates that we're projecting the circle x^2 + y^2 = 1 on them then there will be no problems interpreting negative angles geometrically. you just need to reverse the direction from counter-clockwise to clockwise.

It's very easy to prove this equation. all you need to know is that sin(x)~x when x is infinitely small. well, a simple intuitive proof for this can be to graph y= sin(x) and the line y=x. when x is infinitely small, values of these two functions are becoming closer and closer to each other because y=x is tanget to y=sin(x) at x=0. Hence, [itex]lim_{x→0}\sin{x}=lim_{x→0}x[/itex]. so we can say [itex]lim_{x→0} \frac{\sin{x}}{x}=1[/itex].
From trig. identities (sort of haversine formula) we have: [itex]2sin^2(\frac{x}{2})=1-cos(x)[/itex], hence, if we take limits from both sides and let x approach zero, we'll have:
[tex]lim_{x→ 0} {(2 sin(\frac{x}{2})sin(\frac{x}{2}))} = lim_{x→0}{(1-cos(x))}[/tex]
[tex]lim_{x→ 0} {(2 \frac{x}{2} \frac{x}{2})} = lim_{x→0}{(1-cos(x))}[/tex]
[tex]lim_{x→ 0} {\frac{(1-cos(x))}{x}}= lim_{x→ 0}{\frac{(2 \frac{x}{2} \frac{x}{2})}{x}}[/tex]
[tex]lim_{x→ 0}{\frac{2 \frac{x}{2} \frac{x}{2}}{x}}=lim_{x→ 0}{x/2}=0[/tex]
Hence,
[tex]lim_{x→ 0}{\frac{1-cos(x)}{x}}=0[/tex]

Knowing these two limits and the trig. identities sin(x+y)=sinxcosy+sinycosx cos(x+y)=cosxcosy-sinxsiny, you can prove (cosx)'=-sinx and (sinx)'=cosx, just like the way Nano-Passion proved it, And once you know the derivatives of sine and cosine, you can easily find the derivatives of all trigonometric functions (tan,cot,sec,csc,...)
 
Last edited:
  • #25
AdrianZ, the result will look better if you type \lim, \sin and \cos instead of lim, sin and cos.
 
  • #26
Fredrik said:
AdrianZ, the result will look better if you type \lim, \sin and \cos instead of lim, sin and cos.

Yea, it won't be italic any more. Thanks. I'll try to keep that in mind for future.
 
  • #27
The proof depends on the definition of cosine and sine (as HallsofIvy already said).
For example, if we define the cosines by their power series, just differentiate the terms of the series.
We could also define them as the real and imaginary parts of a complex number with unit magnitude. In this case, we can rearrange the equations so that cosine is given in terms of the complex number and its complex conjugate, which then can be differentiated to make the proof. (By using the polar representation of a complex number of unit magnitude).
 
  • #28
HallsofIvy said:
You seem to be referring to several different points here. When I said that "you cannot use the trigonometry definition- that requires that x be positive" I was referring to the definiton of sine as "opposite side over hypotenuse" and cosine as "near side over hypotenuse" in a right triangle. In those definitions, the variable is an angle and must be between 0 and [itex]\pi/2[/itex] radians.

If you are thinking in terms of triangles then think of this: At any point in the unit circle where the triangle is constructed, the angle between "opposite side over the hypotenuse" and "adjacent over hypotenuse" will be [itex]0 > \theta > pi/2[/itex]

Furthermore, there is no parameter that implies that the angle x has to be positive.

Prove d\dx cos x = - sin x

All its saying is that the derivative of cosine at some angle will be the negative sine of the that same angle. Nothing here says that the angle must be a positive; its all arbitrary anyways. And in fact the derivative works for any angle anyhow.


Fredrik said:
Nano, you need to type \sin and \cos instead of sin and cos when you use LaTeX. A LaTeX guide for the forums can be found here if you need it. (Hm, maybe it should say that you need to type \sin and \cos right at the beginning).

Oh yeah, one more thing: We don't normally post complete solutions when someone asks for help with a textbook-style problem. But since too much information had already been revealed, I don't think it matters here.

Edit: You can edit your post to insert the \ symbols until 11 hours and 40 minutes (700 minutes) after you posted.

My apology, I noticed lurfluf post the whole solution anyhow so I proceeded. But I suppose two wrongs don't make a right! :shy:
 
Last edited:
  • #29
Define

[tex] \cos x := \frac{e^{ix}+e^{-ix}}{2} [/tex]

[tex] \sin x := \frac{e^{ix}-e^{-ix}}{2i} [/tex]

Use that (eu(x))'=u'(x)eu(x) and linearity of differentiation to obtain the derivatives of sin and cos
 
  • #30
AdrianZ said:
but if you interpret sine and cosine functions as orthogonal coordinates that we're projecting the circle x^2 + y^2 = 1 on them then there will be no problems interpreting negative angles geometrically. you just need to reverse the direction from counter-clockwise to clockwise.
Oh, so you are referring to the definition sine and cosine on the unit circle. I was referring to not having "negative" angle in a right triangle. The difficulty with the unit circle definition is that it requires the circumference around the circle. And that requires an integral that inevitably leads to use of sine and cosine! Indeed that integral requires integrating [itex]1/\sqrt{1- x^2}[/itex] which is undefined at that starting point, x= 1, y= 0. It is an improper integral and just proving the integral exists require some use of sine and cosine. So trying to define sine and cosine in that way is definitely circular!
 
Last edited by a moderator:
  • #31
Halls, why would it require an integral ? The angle in the right triangle expressed in radians instead of degrees is defined as the length of the circular segment. The 'height' of the triangle is the number <sine x>, when x is the angle at center given in radians.

Why do you think there's a need for an integral ?
 
Last edited:
  • #32
HallsofIvy said:
Indeed that integral requires integrating [itex]1/\sqrt{1- x^2}[/itex] which is undefined at that starting point, x= 1, y= 0. It is an improper integral and just proving the integral exists require some use of sine and cosine. So trying to define sine and cosine in that way is definitely circular!
I don't think that's accurate. See disregardthat's post #79 in the thread where we discussed these things in August: Link.
 
  • #33
More calculus without tears.

I don't know why I have never seen it done this way which makes it more obvious and expected. Hasn't anyone else?
2n28oz.jpg

Here is a unit circle.
The vertical height (BA) of A tends to sin x.

δx is the length of arc increment: as it gets small it gets as close as we please to a straight line segment.

So δ(sin x)/δx becomes the ratio of the vertical side to the hypotenuse of the little triangle Abc. Which is similar to the large triangle ABC. So it equals the corresponding ratio there (AB/AC) which is cos x (or tends to it as close as we please as we make δx as small as we please).

I did (sin x)' here; you can get d(cos x)/dx in the same way, in fact you could get it from the same figure, maybe I should put one more line in.

..
 
Last edited:
  • #35
This is pretty amazing!

We're now at the 35th post in this thread and OP has not replied even once !

Well, it has provided some interesting debate --- or whatever it might be called.
 

What is the differentiation rule for (cosx)'?

The differentiation rule for (cosx)' is sinx.

What does the rule (cosx)' = sinx mean?

This rule means that the derivative of cosine is equal to sine for any value of x.

How do you prove the differentiation rule (cosx)' = sinx?

The proof involves using the definition of the derivative, the trigonometric identities for cosine and sine, and the limit definition of the derivative.

Why is it important to prove the differentiation rule (cosx)' = sinx?

Proving this rule helps to solidify our understanding of the relationship between cosine and sine and their derivatives. It also allows us to confidently use this rule in more complex mathematical problems.

Can the differentiation rule (cosx)' = sinx be applied to any value of x?

Yes, this rule holds true for any value of x, as long as the function is differentiable at that point.

Similar threads

  • Calculus and Beyond Homework Help
Replies
6
Views
893
  • Calculus and Beyond Homework Help
Replies
26
Views
804
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
2K
  • Calculus and Beyond Homework Help
Replies
2
Views
781
  • Calculus and Beyond Homework Help
Replies
10
Views
968
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
845
  • Calculus and Beyond Homework Help
Replies
8
Views
1K
Back
Top