Help me please!!! Ayudame por favor! Analysis proof. Suppose that \(f:[a,b] \rightarrow Real \) is continuous. Suppose that \(\int_{a}^{x}f=\int_{x}^{b}f\) for every x is an element of [a,b]. Show f(x)=0 for every x is an element of [a,b].
I was thinking contradiction, but I just don't know where to start.
So if ax∫f = F(x) - F(a) xb∫f = F(b) - F(x) I'm not done thinking but this is where I was starting.
ok so FTC to there makes sense
then just say if they are equal F(b) must = F(a) therefore no distance has been travelled?
so F(x)=0?
I was thinking of picking a point C in between them and plunging them back into the equation. So F(x) - F(a) =F(b) - F(x) becomes F(x) - F(a) - [F(b) - F(x)] = 0
I'm sorry that doesn't get anywhere.
it's ok. I suck at this, I appreciate the effort... I'm wishing it was just calc again lol
What is this supposed to be? haha.
homework... :x
No I mean what math is this?
and it's for Real Analysis
pretty much prove calc 1,2,3 and parts of dif eq
What happens as x -> a?
The integral gets closer and closer to zero
If you take the derivative of both sides, you have \[f(x)=-f(x)\] which is only true for \(f(x)=0\), if I'm not mistaken. Something tells me there's more to this proof, though.
rhs
on the left and on the right it becomes the full integral from a to b of F(x) is equal to zero
thanks @SithsAndGiggles how did you get \(-f(x)\)?
x is on the bottom of the B integral therefore it would have been F(B) - F(x) then you would take the derivative.
Fundamental theorem of calc: \[\frac{d}{dx}\int_c^{g(x)}f(t)~dt=f(g(x))\cdot g'(x)\] So, \[\frac{d}{dx}\int_x^bf(t)~dt=\frac{d}{dx}\left[-\int_b^xf(t)~dt\right]=-f(x)\]
hmm, I follow that @SithsAndGiggles I want to see how @pgpilot326 is doing this first because I have a feeling they are correct
yes pg agreed
then 2F(x)=0 and it can only happen when f(x) is zero?
and actually since it is for all x in [a,b], there is no need to take a limit.
The only way the two integrals could be equal for f(x) not equal to 0 is if there was a jump discontinuity.
@SithsAndGiggles : consider f(x) = e^-x d/dx f(x) = -e^-x = -(e^-x)=-f(x)
if F(x) - F(a) = F(a) - F(x) then they are negatives of one another. the only number that satisfies this is 0. => f(x) = 0 for all x in [a,b].
Lets just assume you had a horizontal line with a constant-zero slope: C Upon integration, you'd end up with a variable:|dw:1375226885213:dw| Which is untrue for all a not equal to b.
Join our real-time social learning platform and learn together with your friends!