Integration of f(dx): Proving Area of a Circle Formula

  • Thread starter Shootertrex
  • Start date
  • Tags
    Integration
In summary: If x is close to 0, then the cosine and sine will be very close to each other, and the limit of the cosine will be the limit of the sine. However, if x is far from 0, then the cosine and sine will be very different from each other, and the limit of the cosine will not be the limit of the sine. I am not sure how to get from the cosine limit to the sine limit.
  • #1
Shootertrex
49
0
While I was attempting to prove the area of a circle formula, I ran into a snag. This is the work that I had (note that I am using the area of an infinite amount of triangles within the circle):

a=1/2bh
=1/2br
da=1/2r db
---(splitting the triangle into 2 right triangles produces b=2r*tan([itex]\frac{θ}{2}[/itex]))
=1/2r (2r tan([itex]\frac{dθ}{2}[/itex]))
=r2 tan([itex]\frac{dθ}{2}[/itex])
a=r2[itex]\int^{2π}_{0}(tan(\frac{dθ}{2}))[/itex]

I know that the integration will equal π not only due to inspection, but also because I proved it empirically using Excel. If anyone knows how to do this type of integration, if it is possible at all, or if you see any other problems in my work I would appreciate your help.
 
Last edited:
Physics news on Phys.org
  • #2
tan(dx/2)=dx/2 is a formula that's very easy to get. You can find it using the fact that limit of sin(x) /x as x goes to zero is 1 and the fact that the limit of (cos(x)-1)/x as x goes to zero is 0, from which with a little work you can get that the limit of tan(x)/x as x goes to zero is 1. Or you can use Taylor series. There should also be a geometric reason why tan(x) is approximately equal to x (measured in radians) if x is really small, and thus tan(dx)=dx where dx is infinitely small.
 
Last edited:
  • #3
Since dx is a very small variation of x, an infinitesimal in fact, then tan(dx)=dx close to =0.
I suppose than you mean tan(x+dx)= tan(x) + d(tan(x))
where d means "a very small variation of something". So, d(tan(x) is the very small variation of tan(x) caused by the very small variation of x :
d(tan(x)) = (1 / cos²(x))*dx
 
  • #4
JJacquelin said:
Since dx is a very small variation of x, an infinitesimal in fact, then tan(dx)=0.
I suppose than you mean tan(x+dx)= tan(x) + d(tan(x))
where d mean a very small variation. So, d(tan(x) is the very small variation of tan(x) caused by the very small variation of x :
d(tan(x)) = (1 / cos²(x))*dx
No, that's not what I mean, but you're on the right track. Let's use the formula you stated, [itex]tan(x+dx)=tan(x)+sec^{2}(x)dx[/itex]. If we plug in x=0, we get [itex]tan(dx)=tan(0)+sec^{2}(0)dx=0+1dx=dx[/itex]. Another way to see this is that sin(dx)=dx (because the limit of sin(x)/x as x goes to zero is 1) and cos(dx)=1 (because the limit of (cos(x)-1)/x as x goes to zero is 0), therefore tan(dx)=dx. (If you want to be fancy, I am expressing the Taylor expansion to first order in dx.)
 
  • #5
Of course, my answer was not adressed to lugita15, but to Shootertrex.

Shootertrex wrote :
a=r2[itex]\int^{2π}_{0}(tan(\frac{dθ}{2}))[/itex].
which is nonsens
.
The title of the topic : " Integration of f(dx) " is also the result of a missunderstanding. Shootertrex should understand that f(dx) must not be confused with f(x)*dx
 
Last edited:
  • #6
I suppose than you mean tan(x+dx)= tan(x) + d(tan(x))
No, I actually do mean [itex]tan(\frac{dθ}{2})[/itex]. This is because within in the circle I created an indefinite amount of triangles with [itex]θ[/itex] that approaches 0. The actual problem that I am having is not showing that this formula is correct (I am fairly certain that it is), but how to integrate a function where [itex]dx[/itex] is within a function, in this case [itex]tanx[/itex]

Shootertrex wrote :
a=r2∫2π0(tan(dθ2)).
which is nonsens
.
The title of the topic : " Integration of f(dx) " is also the result of a missunderstanding. Shootertrex should understand that f(dx) must not be confused with f(x)*dx

I am not sure what you mean here. Are you saying that I do not understand that f(dx) should not be confused with f(x)dx or that I already know the difference? I do know the difference, and that is why I am asking the question.

After asking two of the math teachers at my school, I have not progressed far. Neither knew of a way to integrate the equation as is, but both suggested substitution. An alternate substitution that was proposed was to do this:

[itex]b=2r tan\frac{θ}{2}[/itex]
[itex]\frac{db}{dθ}=2r*\frac{1}{2}[/itex][itex]sec[/itex]2[itex]\frac{θ}{2}[/itex]
[itex]db=r*[/itex][itex]sec[/itex]2[itex]\frac{θ}{2}dθ[/itex]
[itex]da=\frac{1}{2}r[/itex]2[itex]sec[/itex]2[itex]\frac{θ}{2}dθ[/itex]

I see two problems with this equation though. First, it has a 1/2. I do not know if this will work in compliment with the secant. Second, the integration again. Since secant is a non-continuous function, it will be hard to do a definite integral with it. I was thinking that maybe an improper integral would work. Please take note that I am still in Calc 1. I am willing to learn things outside of Calc 1 to finish this proof, but please use these techniques sparingly.
If this substitution works and improper integrals will solve it, I will research how to actually do this kind of integration.

tan(dx/2)=dx/2 is a formula that's very easy to get.
I agree with both of the limits that were proposed, but I am having trouble seeing how to get to the tangent limit. This is what I thought to do:

[itex]lim_{x→0}\frac{xcosx}{xsinx}=\frac{0}{0}[/itex]
[itex]lim_{x→0}\frac{cosx}{sinx}=\frac{0}{0}[/itex] (cancel out x's, then apply L'Hopital's Rule)
[itex]lim_{x→0}\frac{sinx}{cosx} \Rightarrow lim_{x→0}-tanx=0[/itex]

I was able to get tanx, but not tan(x)/x
 
  • #7
Shootertrex, one simple way to see that the limit of tan(x)/x as x goes to zero is 1 is L'hopital's rule.
 
  • #8
lugita15 said:
Shootertrex, one simple way to see that the limit of tan(x)/x as x goes to zero is 1 is L'hopital's rule.

I agree with the limit, I just don't know how you came about that limit. You had said to use the sin(x)/x limit and the (cos(x)-1)/x limit to get it.
 
  • #9
Okay, so I have thought it over some more. Lugita15, you had stated that [itex]tan\frac{dx}{2}=\frac{dx}{2}[/itex]. I would happily make this substitution because it allows me to easily integrate the equation and would get me [itex]a=r[/itex]2[itex]π[/itex], but I don't know if I can agree with it or not. I know that [itex]lim_{dx→0}tan\frac{dx}{2}=0[/itex] and [itex]lim_{dx→0}\frac{dx}{2}=0[/itex]. So both sides would be equal but it seems like one of those "2+2=5" moments. Am I just over analyzing it or what? I will take your word for it either way, but I would like help understanding it.
 
  • #10
Shootertrex said:
Okay, so I have thought it over some more. Lugita15, you had stated that [itex]tan\frac{dx}{2}=\frac{dx}{2}[/itex]. I would happily make this substitution because it allows me to easily integrate the equation and would get me [itex]a=r[/itex]2[itex]π[/itex], but I don't know if I can agree with it or not. I know that [itex]lim_{dx→0}tan\frac{dx}{2}=0[/itex] and [itex]lim_{dx→0}\frac{dx}{2}=0[/itex]. So both sides would be equal but it seems like one of those "2+2=5" moments. Am I just over analyzing it or what? I will take your word for it either way, but I would like help understanding it.
There are two different languages we use to talk about calculus, the language of infinitesimals and the language of limits. Infinitesimals (things like dx and dy) are the way calculus was originally understood by Newton and Leibniz, but they were thought to be vague and nonrigorous, so in the 1800's the notion of limits was invented. But people still kept using the old infinitesimal notation, like writing the derivative as df/dx and writing the integral as ∫f(x)dx. It was only very recently, in the twentieth century, that Abraham Robinson and others showed that manipulating infinitesimals is mathematically valid. Infinitesimals are for many purposes easier to work with than limits: for instance the chain rule is quite difficult to prove using limits, but in infinitesimal language it's just canceling fractions, dy/dx=(dy/du)*(du/dx).

To illustrate the differences between infinitesimals and limits, the definition of the derivative in terms of infinitesimals is (f(x+dx)-f(x))/dx, whereas the limit definition is the limit of ((f(x+Δx)-f(x))/Δx as Δx→0. And a good tip in translating between the two languages is that the infinitesimal statement f(dx)=g(dx) translates into the statement that the limit of f(x)/g(x) as x goes to zero is 1. So sin(dx)=dx corresponds to the statement that the limit of sin(x)/x as x goes to zero is 1, which is true.

Getting back to your case, it's wrong to say tan(dx)=0. tan(dx)=dx, which is an infinitely small number, not zero. The reason that tan(dx)=dx is not that the limits of both tan(x) and x as x goes to zero are equal to 0. If that was true, then cos(dx)-1 would equal dx, because the limits of both cos(x)-1 and x as x goes to zero are equal to 0. But in fact, cos(dx)-1 equals zero, not dx (because the limit of (cos(x)-1)/x as x goes to 0 is 0). Bottom line, just because the limit of f(x) as x goes to 0 is 0 does not mean f(dx)=dx. The correct formula is that f(dx)=f(0)+f'(0)*dx. Can you see how to get this formula?
 
  • #11
I think I understand the last paragraph, and the history lesson was quite interesting. I'm sorry though, but I do not think I fully understand the f(dx) equation you stated at the end. I will explain what I am thinking and you can tell me if I am right, on the right track or just wrong.

f(dx) will be whatever the function is at almost zero. f(0) will be what the function is at zero. Now, is adding f'(0)*dx sort of like a correction factor to get f(0) to be f(dx)?

Am I at least close? Even if I understand how the formula works, I would not be able to derive the formula. Thank you ahead of time for being patient with me.
 
  • #12
Shootertrex said:
f(dx) will be whatever the function is at almost zero. f(0) will be what the function is at zero. Now, is adding f'(0)*dx sort of like a correction factor to get f(0) to be f(dx)?
That's the general idea. But the more precise derivation is as follows: as I told you in my previous post, the definition of the derivative in terms of infinitesimals is f'(x)=(f(x+dx)-f(x))/dx. Plugging in x=0, we get f'(0)=(f(dx)-f(0))/dx. If you solve this equation for f(dx), you get f(dx)=f(0)+f'(0)*dx. Does that make sense?
 
  • #13
Yes, I now see how you got the equation. It makes sense. But will this help me with my original dilemma?
Using this formula, if I assume dx=1/250, then this is what I get:

[itex]tan\frac{dx}{2}=4.44*10[/itex]-16
[itex]tan(0)+sec[/itex]2[itex](0)*dx=8.88*10[/itex]-16

but I'm guessing that the dx in the second formula needs to be dx/2, which would then give:4.44*10-16 which would be equal, correct?

Now if I were to plug this new formula into my integral then:

[itex]a=r[/itex]2[itex]\int^{2π}_{0}(tan(0)+sec[/itex]2[itex](0)*dx)[/itex]
[itex]=r[/itex]2[itex]*(tan(0)x+sec[/itex]2[itex](0)x)[/itex]|[itex]^{2π}_{0}[/itex]

Now, I am unsure if tan(0) would get an x or not, but it wouldn't affect the answer because it is equal to zero. So the final equation would be:

[itex]a=r[/itex]2[itex]2π[/itex]

Which is not correct... Should the interval for the integral be instead just to π? If so, why? The triangles would line the inside of the circle all the way around, being 2π.
 
  • #14
Shootertrex said:
Yes, I now see how you got the equation. It makes sense. But will this help me with my original dilemma?
Using this formula, if I assume dx=1/250, then this is what I get:

[itex]tan\frac{dx}{2}=4.44*10[/itex]-16
[itex]tan(0)+sec[/itex]2[itex](0)*dx=8.88*10[/itex]-16

but I'm guessing that the dx in the second formula needs to be dx/2, which would then give:4.44*10-16 which would be equal, correct?

Now if I were to plug this new formula into my integral then:

[itex]a=r[/itex]2[itex]\int^{2π}_{0}(tan(0)+sec[/itex]2[itex](0)*dx)[/itex]
[itex]=r[/itex]2[itex]*(tan(0)x+sec[/itex]2[itex](0)x)[/itex]|[itex]^{2π}_{0}[/itex]

Now, I am unsure if tan(0) would get an x or not, but it wouldn't affect the answer because it is equal to zero. So the final equation would be:

[itex]a=r[/itex]2[itex]2π[/itex]

Which is not correct... Should the interval for the integral be instead just to π? If so, why? The triangles would line the inside of the circle all the way around, being 2π.
Remember, dx is an infinitesimal, meaning it is an infinitely small number. It is neither equal to zero nor is it equal to a finite number like 1/250. Note that tan(dx)=tan(0)+sec^2(0)*dx is true, but tan(Δx)=tan(0)+sec^2(0)*Δx where Δx is a finite number is false, although if Δx is small then it is approximately true. It only is exactly true for infinitely small numbers.
 
  • #15
Wait! I think I found an error in my substitution. I put [itex](tan(0)+sec2(0)∗dx)[/itex] instead of [itex](tan(0)+sec2(0)∗dx/2)[/itex]. If I use this new substitution, then I would get

[itex]a=r[/itex]2[itex]π[/itex]
edit2: Q.E.D.

Am I correct?

Edit: the dx=1/2^50 was just so I could actually see if the two equations were equal, not to prove anything.
 
Last edited:
  • #16
Shootertrex said:
Wait! I think I found an error in my substitution. I put [itex](tan(0)+sec2(0)∗dx)[/itex] instead of [itex](tan(0)+sec2(0)∗dx/2)[/itex].
Yes, tan(dx/2)=tan(0)+sec^2(0)*dx/2, and tan(dx)=tan(0)+sec^2(0)*dx.
 
  • #17
Thank you very much for all of your help! You are truly a god among men! I can finally lay this problem to rest.
 

1. How is the area of a circle formula related to integration?

Integration is a mathematical process that can be used to find the area under a curve. The area of a circle formula, which is A = πr^2, can also be expressed as the integral of f(dx) = πx, where x represents the radius of the circle.

2. What is the process for proving the area of a circle formula using integration?

To prove the area of a circle formula using integration, you would need to start by graphing the function f(dx) = πx. Then, you would integrate the function from 0 to r, where r is the radius of the circle. This would result in the area of the circle, which is equal to πr^2.

3. Can the integration method be used to find the area of other shapes?

Yes, the integration method can be used to find the area of other shapes as well. It can be used for any shape that can be represented by a function or a series of functions. For example, the area of a triangle can be found by integrating the function f(dx) = (1/2)bh, where b is the base and h is the height of the triangle.

4. Are there any other methods for finding the area of a circle?

Yes, there are other methods for finding the area of a circle, such as using the formula A = πr^2 or using the value of π to calculate the area. However, integration is a more general method that can be used for finding the areas of various shapes and can provide a deeper understanding of the relationship between a shape's area and its function.

5. How is the integration method useful in real-world applications?

The integration method is useful in many real-world applications, particularly in fields such as physics, engineering, and economics. It can be used to find the area under a curve, which can represent various quantities such as velocity, acceleration, or profit. This allows scientists and researchers to make predictions and analyze data in a variety of fields.

Similar threads

Replies
4
Views
1K
Replies
4
Views
187
Replies
20
Views
2K
Replies
2
Views
178
  • Calculus
Replies
29
Views
513
Replies
33
Views
3K
Replies
4
Views
1K
  • Calculus
Replies
24
Views
3K
Replies
3
Views
1K
Replies
2
Views
2K
Back
Top