Basic Integral without Basic Concept

  • Context: Undergrad 
  • Thread starter Thread starter ahaanomegas
  • Start date Start date
  • Tags Tags
    Concept Integral
Click For Summary

Discussion Overview

The discussion revolves around the problem of finding the integral of \(\cos x\) without relying on the derivative of sine being cosine. Participants explore various definitions and approaches to this problem, including Taylor series expansions and geometric interpretations.

Discussion Character

  • Exploratory, Debate/contested, Conceptual clarification

Main Points Raised

  • Some participants suggest using the Taylor series expansion of the cosine function to derive the integral, though they express uncertainty about the necessity of knowing the derivative of cosine to use this method.
  • Others argue that it may not be possible to find the integral without relying on certain definitions of sine and cosine, questioning whether the exponential definitions are acceptable.
  • Some participants propose that sine and cosine can be defined in multiple ways, including geometric definitions and series expansions, and challenge the adequacy of these definitions in the context of the integral problem.
  • There is a discussion about the second derivative of sine, with some participants noting that it is indeed \(-\sin(x)\), while others clarify that the differential equation for sine involves a positive term.

Areas of Agreement / Disagreement

Participants express differing views on whether it is possible to find the integral of \(\cos x\) without using the derivative of sine. There is no consensus on the definitions of sine and cosine that should be used in this context, leading to multiple competing perspectives.

Contextual Notes

Participants highlight the dependence on definitions of sine and cosine, as well as the potential limitations of using Taylor series without prior knowledge of derivatives. The discussion remains unresolved regarding the validity of different approaches and definitions.

ahaanomegas
Messages
28
Reaction score
0
A friend proposed this problem to me.

Find [itex]\displaystyle\int \cos x \ \mathrm{d}x[/itex] without using the fact that the derivative of sine is cosine.
 
Physics news on Phys.org
ahaanomegas said:
A friend proposed this problem to me.

Find [itex]\displaystyle\int \cos x \ \mathrm{d}x[/itex] without using the fact that the derivative of sine is cosine.

How about using the Taylor series expansion of the cosine function?[tex]\int \cos x\,dx = \int \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!}\,dx[/tex][tex]= \sum_{n=0}^{\infty} \int \frac{(-1)^n x^{2n}}{(2n)!}\,dx[/tex][tex]= \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!}\frac{1}{2n+1}x^{2n+1}[/tex]Now, (2n+1)*(2n)! = (2n+1)! so that this becomes[tex]\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}[/tex]Now all you have to do is "notice" that this result is the Taylor series expansion of a sine function.

I just realized that you'd probably have to know the derivative of cosine in order to derive its Taylor series expansion in the first place, so I'm not sure whether you are satisfied with this answer.
 
ahaanomegas said:
A friend proposed this problem to me.

Find [itex]\displaystyle\int \cos x \ \mathrm{d}x[/itex] without using the fact that the derivative of sine is cosine.

I think this is not possible. Maybe your friend considers

[tex]\sin\theta=\frac{{e}^{i\theta}-{e}^{-i\theta}}{2i}[/tex]
[tex]\cos\theta=\frac{{e}^{i\theta}+{e}^{-i\theta}}{2}[/tex]

to be definitions of sine and cosine? But sine and cosine are defined to y/r and x/r respectively.
 
dimension10 said:
I think this is not possible. Maybe your friend considers

[tex]\sin\theta=\frac{{e}^{i\theta}-{e}^{-i\theta}}{2i}[/tex]
[tex]\cos\theta=\frac{{e}^{i\theta}+{e}^{-i\theta}}{2}[/tex]

to be definitions of sine and cosine?

Assuming we're allowed that definition of cosine, then that also works.

dimension10 said:
But sine and cosine are defined to y/r and x/r respectively.

I'm not sure I understand your statement here. Can you clarify?
 
dimension10 said:
I think this is not possible. Maybe your friend considers

[tex]\sin\theta=\frac{{e}^{i\theta}-{e}^{-i\theta}}{2i}[/tex]
[tex]\cos\theta=\frac{{e}^{i\theta}+{e}^{-i\theta}}{2}[/tex]

to be definitions of sine and cosine? But sine and cosine are defined to y/r and x/r respectively.
Non-sense- because you haven't said what x, y, and r are. There are, in fact, many different ways to define sine and cosine. The formulas given above are perfectly good as definitions.

You could also define cos(x) as [itex]\sum_{n=0}^\infty [(-1)^n/(2n)!]x^{2n}[/itex]
and sine(x) as [itex]\sum_{n=0}^\infty [(-1)^n/(2n+1)!]x^{2n+1}[/itex]

Or you can define cos(x) as the function satifying y''= -y with initiial conditions y(0)= 1, y'(0)= 0 and define sin(x) as the function satisfying y''= y with initial conditions y(0)= 0, y'(0)= 1.
 
cepheid said:
I'm not sure I understand your statement here. Can you clarify?

HallsofIvy said:
You haven't said what x, y, and r are.

If you draw a right-angled triangle, then x is the adjacent side, y is the opposite side and r is the hypotenuse.
 
HallsofIvy said:
Non-sense- because you haven't said what x, y, and r are. There are, in fact, many different ways to define sine and cosine. The formulas given above are perfectly good as definitions.

You could also define cos(x) as [itex]\sum_{n=0}^\infty [(-1)^n/(2n)!]x^{2n}[/itex]
and sine(x) as [itex]\sum_{n=0}^\infty [(-1)^n/(2n+1)!]x^{2n+1}[/itex]

Yes but I am considering the geometric definition.

HallsofIvy said:
define sin(x) as the function satisfying y''= y with initial conditions y(0)= 0, y'(0)= 1.

Isn't the second derivative of sin(x) is -sin(x) ?
 
dimension10 said:
Isn't the second derivative of sin(x) is -sin(x) ?
Yes. I'm pretty sure HallsOfIvy meant y'' + y = 0 as the differential equation.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 26 ·
Replies
26
Views
3K