Alright hello, the proof on paper is really simple yet I'm having a lot of trouble with it. The proof is this:Let $f(x)$ be continuous on $[a,b]$, and $\forall x\in [a,b], f(x) \geq 0$. If $\int_a^b f(x)\ dx = 0$, then prove $∀x\in [a,b], f(x) = 0$.
Now I've messed around with it and I figure it's probably some simple use of squeeze theorem or something but I'm not entirely sure.
The method I devised was using the fundamental theorem of calculus along with the mean value theorem which I won't get into typing the whole thing, BUT I got this far with it.
1.) There exists a $c\in [a,b]$ such that $f(c)=0$.
2.) I can keep manually proving there exists values between the already calculated values or between $a$ and the next greatest point and $b$ with the highest point that isn't equal to $b$.
However, even if I could find a way to extend that to show that there's infinitely many points in the interval $[a,b]$ that produce an output of zero, I am not entirely sure if the cardinality of that set of points would be the same as the reals which would mean that the function may not necessarily equal zero, if approaching it that way.
Just to add a little diagram to the logic I'm explaining (sorry I'm awful with LaTex so this will have to do.)
NO FTC: [a------b]FTC once: [a----c----b] where f(c)=0FTC twice: [a--d---c---g--b] where f(d)=f(c)=f(g)=0
I just keep seeming to miss the obvious solution to the problem and could really use a point in the right direction. Thanks much! Sorry again for my lackluster formatting