Proof that the area under a curve is the definite integral, without the fundamental theorem of calculus

I feel your question is a little bit reversed in terms of the logical sequence of integration and area. So firstly the question arises about how we calculate the "area" beneath a function, and then people invented integration to do that, and people found that the definition of the "area"/measure is tricky.

Riemann integration tries to give strict definition of how to define the "area" under a function by vertically partition it with small rectangles to approximate the "area" and take the limit of the sum. But it has limitations in dealing with function limits (e.g. Fourier Series of a function) and also some functions do not have Riemann Integration ( e.g. function that is 1 for irrational numbers in $(0,1)$, and 0 otherwise)

Lebesgue integration solved this issues by firstly defining measure over sets, and then add up horizontally by multiplying function values with the measure over the sets that is mapped around the value by the function. It is compatible with Riemann integration. The Lesbegue monotone convergence theorem etc. provides good tools for analyzing the integration of limit functions, and actually the Lebesgue integration is firstly defined on simple functions, and then extend to non-negative function using those limit theorem, and then extend by $f=f_+-f_-$. Also some function that is not Riemann integrable is Lebesgue integrable.

In sum, the integration arises when people want to calculate the area under the function, but then people realized the definition of "area"/measure is actually very tricky.


Here is a very quick very informal summary of what calculus is all about (with genuine apologies to historians). I think it may help.

There are two problems about curved figures that are harder than the same problems about figures formed from straight lines.

The first is calculating areas. The second is calculating directions along the boundary (slopes). Each of those problems can be solved with a limiting process of some kind.

To find the area under a curve you approximate it by a collection of rectangles and use more and more thinner and thinner rectangles to get better and better approximations. These are the Riemann sums. The essential idea here goes back to Archimedes.

For slopes you approximate the tangent line by a secant line that goes through two close together points, and make the points closer and closer to get a better and better approximation to the slope of the tangent.

In the late 1600's Isaac Newton and Gottfried Leibniz realized (simultaneously and probably independently) that if you could solve one of these problems then you could solve the other. The connection is the fundamental theorem of calculus. It comes in several forms.

Suppose you want to find an area. If you can manage to guess an antiderivative then you can avoid having to go through the tedious calculation of the Riemann sums.

Suppose you want to find an antiderivative. If you can't manage to guess one then you can find one by calculating the area under a curve the hard way (with the Riemann sums).

Now back to your original question:

Is there a proof that the area under a curve is equivalent to the definite integral, that doesn't involve the fundamental theorem of calculus? Perhaps a proof that uses Riemann sums.

No, not really. It's intuitively clear that the area under a curve is what you get from those complicated Riemann sums, so that's how we define the area. Nothing to prove about that. The miracle of the fundamental theorem is that guessing an antiderivative avoids the messy stuff involved in that definition.

The fundamental theorem is what needs to be proved. Newton and Leibniz did, with a level of mathematical rigor appropriate to their time. They weren't very precise about what their "limits" really meant, but they understood quite enough to get the math and physics right. Nowadays we have to be more careful about those limits and approximations. Different calculus courses opt for different levels of rigor.