Proving F'(x)= f(x) using the definition of integral?

  • Context: Undergrad 
  • Thread starter Thread starter irresistible
  • Start date Start date
  • Tags Tags
    Definition Integral
Click For Summary

Discussion Overview

The discussion revolves around proving the relationship between the definite integral of a function and the difference of its antiderivative evaluated at the endpoints, specifically using the definition of the integral rather than the Fundamental Theorem of Calculus. The scope includes mathematical reasoning and exploration of integral definitions.

Discussion Character

  • Mathematical reasoning
  • Exploratory

Main Points Raised

  • One participant seeks assistance in proving that F(b) - F(a) = ∫ f(x) dx from a to b using the definition of the integral.
  • The same participant mentions a preference for using partition propositions in their proof approach.
  • Another participant suggests a method involving the integral mean value theorem, stating that for any h > 0, F(x_0 + h) - F(x_0) can be expressed in terms of the integral of f(t) over the interval from x_0 to x_0 + h.
  • This participant also notes that as h approaches 0, the value f(𝑥̅) approaches f(x_0), leading to the conclusion that dF/dx at x = x_0 is f(x_0).

Areas of Agreement / Disagreement

Participants have not reached a consensus on the proof method, and there are differing approaches presented. The discussion remains open with various ideas being explored.

Contextual Notes

Some assumptions regarding the properties of the function f and the nature of the integral may not be explicitly stated, and the discussion does not resolve all mathematical steps involved in the proof.

irresistible
Messages
15
Reaction score
0
Hey guys,:smile:
Can you help me prove this?:confused:

Suppose that f:[a.b] -> R is integrable and that F:[a,b]->R is a differentiable function such thet F'(x)= f(x) for all x\in [a,b].
Prove from the definition of the integral that;

F(b)-F(a) =\int f(x) dx ( integral going from a to b)

I can prove this using the Fundamental theorem of calculus;however, this question specifically asks that we use the definition of integral to prove this:

I'm thinking that I have to use the "partition" prepositions to prove this.
Any ideas?
Thank you in advance guys!:wink:
 
Physics news on Phys.org
Why is this in the Topology & Geometry forum?
 
sorry, I'm new here
I'm going to post it over there and delete this one if possible
 
I'll move this to Calculus
 
Now: choose any given value for x_0. F(x_0)= F(a)+ \int_a^{x_0} f(t)dt. For any h> 0, F(x_0+ h)= \int_a^{x_0+h}f(t)dt and F(x_0+h)- F(x_0)= \int_{x_0}^{x_0+ h} f(t)dt.

By the "integral mean value theorem" (that's where you use the definition of "integral"), there exist an \overline{x}, between x_0 and x_0+ h such that \int_{x_0}^{x_0+ h} f(t)dt= f(\overline{x})((x_0+h)- x_0)= f(\overline{x}h. Then F(x_0+h)- F(x_0)= f(\overline{x})h and
\frac{F(x_0+h)- F(x_0)}{h}= f(\overline{x})
Taking the limit as h goes to 0, since \overline{x} must always be between x_0 and x_0+ h, f(\overline{x}) goes to f(x). That is, dF/dx, at x= x_0 is f(x_0).
 
Last edited by a moderator:

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 30 ·
2
Replies
30
Views
4K
  • · Replies 31 ·
2
Replies
31
Views
4K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K