How can you prove the integral without knowing the derivative?

  • Context: Undergrad 
  • Thread starter Thread starter Trying2Learn
  • Start date Start date
  • Tags Tags
    Derivative Integral
Click For Summary

Discussion Overview

The discussion revolves around the question of how to prove the integral of a function, specifically x-cubed, without relying on the derivative or the fundamental theorem of calculus. Participants explore the relationship between differentiation and integration, the concept of Riemann sums, and the possibility of calculating integrals independently of derivatives.

Discussion Character

  • Exploratory
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant expresses confusion about proving the integral of x-cubed without using the fundamental theorem of calculus, which connects differentiation and integration.
  • Another participant suggests examining the methods of derivatives and Riemann sums to understand their relationship, proposing that one can compute integrals without knowing derivatives.
  • A participant questions the meaning of "indefinite integral" and suggests that definite integrals can be computed using Riemann sums without knowledge of derivatives.
  • One participant describes a method for calculating a definite integral from first principles, specifically using Riemann sums, and provides detailed calculations.

Areas of Agreement / Disagreement

Participants express differing views on whether it is possible to derive integrals without knowledge of derivatives. Some argue that Riemann sums provide a pathway to compute integrals independently, while others remain uncertain about the feasibility of such an approach.

Contextual Notes

Participants note that the discussion involves assumptions about the definitions of integrals and derivatives, and the reliance on Riemann sums may not address all aspects of the question posed.

Trying2Learn
Messages
375
Reaction score
57
TL;DR
How can you prove the integral without knowing the derivative
Hello

(A continued best wishes to all, in these challenging times and a repeated 'thank you' for this site.)

OK, I have read that Newton figured out that differentiation and integration are opposites of each other.
(This is not the core of my question, so if that is wrong, please let it go.)

I can work out the derivative of, say, f(x) = x-squared.

However, I am having trouble proving the integral of, say, x-cubed.

If it is true, that it was 'discovered' that differentiation is anti-integration or integration is anti-derivative...

If that is true that it was 'discovered' and that people were studying differentiation and integration SEPARATELY, then I should be
able to derive the integral of say, x-cubed.

But I cannot do it without the first fundamental theorem of the calculus (which, assumes already that the two are opposites).

First, is this a ridiculous question?

If not, could someone work out one example? Something simple like the indefinite integral of say: x-cubed divided by 3

Thank you
 
Physics news on Phys.org
You can look at the methods for example. A derivative is the quotient ##\dfrac{f(p+h)-f(p)}{h} \longrightarrow \dfrac{df}{dx}## where ##h \longrightarrow dx## is getting smaller and smaller, and ##f(p+h)-f(p) \longrightarrow df##, which is the opposite of Riemannian sums: ##\displaystyle{\sum f(x_h) \cdot h}## where the interval lengths ##h \longrightarrow dx## again. One is a quotient and the other a multiplication.

You can also have a look at easy examples like ##f(x)=c,\; f(x)=x ## or ##f(x)=x^2## and observe the connection of both, and then think about a generalisation.
 
Trying2Learn said:
Summary::
If not, could someone work out one example? Something simple like the indefinite integral of say: x-cubed divided by 3

What do you mean by "indefinite integral" if not just anti-derivative?

What you can do without derivatives, though is compute the definite integral ##\int_a^b x^3 dx=\frac{1}{4}(b^4-a^4)## from the Riemann sum definition of an integral.
 
I understand what both are saying.
(And this is where it may be that the question is silly.)

But I can take the difference of the ratio of the function at two points divided by the difference in the points and get an approximation to the derivative.

I can actually show the derivative of f(x) = x-squared, is 2x.

But can I show the reverse WITHOUT knowing the anti-derivative, WITHOUT knowing the derivative is the opposite of the Riemann sum.

So why can't I formulate the integral WITHOUT knowing about the derivative?

Both answers above do that.

I am confused.
 
You can calculate ##\displaystyle{\int_a^b} x^2\,dx## without knowing the derivative of ##f(x)=x^2## simply by Riemann sums, or without knowing that ##\dfrac{d}{dx}\dfrac{1}{3}x^3 =x^2.##
 
Here is an example of how you would go about computing a definite integral of ##f(x) = x^2## from "first-principle" without utilizing the fundamental theorem of calculus. I will only show the calculations for the right evaluated Riemann sum, as the calculations for the left evaluated Riemann sum is identical to it.
$$ \begin{align*} A(x) &= \int_0^xf(s)\,ds \\
&:= \lim_{N\rightarrow\infty}\frac{x-0}{N}\sum_{k=1}^Nf\Big(k\frac{x-0}{N}\Big) \\
&= \lim_{N\rightarrow\infty}\frac{x}{N}\sum_{k=1}^N\Big(k\frac{x}{N}\Big)^2 \\
&= x^3\lim_{N\rightarrow\infty}\frac{1}{N^3}\sum_{k=1}^Nk^2 \\
&= x^3\lim_{N\rightarrow\infty}\frac{1}{N^3}\frac{N(N+1)(2N+1)}{6} \\
&= x^3\lim_{N\rightarrow\infty}\Big(\frac{1}{3} + \frac{1}{2}\frac{1}{N} + \frac{1}{6}\frac{1}{N^2}\Big) \\
&= \frac{1}{3}x^3.\end{align*}$$
Where third last equality is valid by Faulhaber's Formula <LINK>, particularly the Faulhaber formula for
$$\sum_{k=1}^Nk^2 = \frac{N(N+1)(2N+1)}{6}.$$
 
  • Like
  • Informative
Likes   Reactions: weirdoguy, etotheipi, Stephen Tashi and 2 others
Thank you very much, everyone!
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 22 ·
Replies
22
Views
5K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 30 ·
2
Replies
30
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K