Need help understanding Fundamental Theorem of Calculus

[JudoHonor]

I was trying to understand, how does the proof of the FTC1 ties to FTC2. Can someone please correct me, if my reasoning is wrong?

The first part tells us, that if function $f$ is continous over the interval $[a,b]$, then:

[MATH]f(x) = F'(x)[/MATH], where [MATH]F(x) = \int_a^xf(t)dt[/MATH], for every [MATH]x \in [a,b][/MATH]
Now would it be correct (?) to write this as:

[MATH]F'(x) = f(x)[/MATH] // [MATH]\int[/MATH]
antiderivative of both sides, to get rid of the derivative on the left, and we get:

[MATH]F(x) = \int f(x)[/MATH]
And then just plug it in:

[MATH]\int_a^bf(t)dt = \int_a^bf(t)dt - \int_a^af(t)dt = \int f(b) - \int f(a) [/MATH]
So we are left with the notion that a definite integral of function [MATH]f[/MATH] from [MATH]a[/MATH] to [MATH]b[/MATH] is the antiderivative of [MATH]f [/MATH]evaluated at [MATH]b - f[/MATH] evaluated at [MATH]a[/MATH]: which is how we calculate integrals

Is my reasoning good? ( for a beginner of course, this is not meant to be a professional proof )

 

[Steven G]

I have no idea what the 5th line from the top means.

Your last equation is meaningless as there is no differential (dx, dt, dq, ...)

It appears that you are saying that [math]\int_a^b f(t)dt = \int f(b) dt(?) = f(b)*t + c.\ Why\ do\ you\ have \int_a^af(t)dt??\ You\ do\ know\ that\ integral\ equals\ 0?[/math]

 

[JudoHonor]

Well okay then, I guess my question is if, as stated in FTC2:

[MATH]\int_a^bf(x)dx = F(b) - F(a) [/MATH] where [MATH]F' = f[/MATH]
Then how we figure out what [MATH]F[/MATH] is, if we only know what [MATH]F' [/MATH] is ? - we need to know this, to be able to calculate [MATH]F(b)[/MATH] an [MATH]F(a)[/MATH]
And so, I thought that to get [MATH]F[/MATH] out of the equation [MATH]F' = f[/MATH], we could take the antiderivative of [MATH]F'[/MATH] (and consequently we need to do this on the other side of the equation)

this sort of makes sense because if we substitue [MATH]F[/MATH] with antiderivative of [MATH]f[/MATH], we get:

antiderivative of derivative of [MATH]f= f [/MATH], left side cancels out and we have:

[MATH]f= f [/MATH]
going back we are left with:

antiderivative of [MATH]F'[/MATH] (teh derivative and antiderivative cancel out) = any antiderivative of [MATH]f[/MATH], since a constant would not make any difference


And this in my head makes sense because going back to:

[MATH]\int_a^bf(x)dx = F(b) - F(a) [/MATH]
to calculate [MATH]\int_a^bf(x)dx[/MATH] we subtract [MATH]F(b)[/MATH] which is any antiderivative of [MATH]f[/MATH] evaluated at [MATH]b[/MATH] and subtrack [MATH]f[/MATH] at [MATH]a[/MATH]and this is the algorithm used to calculate definite integrals

I am clearly missing something here