A New Insight Into An Old Calculus Mystery:: DX, Dy and The Nature of The Infinitesimal
A New Insight Into An Old Calculus Mystery:: DX, Dy and The Nature of The Infinitesimal
A New Insight Into An Old Calculus Mystery:: DX, Dy and The Nature of The Infinitesimal
by
Peter Schorer
Email: peteschorer@gmail.com
Phone: (510) 548-3827
Mar. 5, 2015
1
A New Insight Into an Old Calculus Mystery...
Introduction
In this paper, we set forth what seems to be a new insight into the nature of the derivative f ´(x)
in elementary calculus — an insight that we believe answers at least some of the questions that
students often have.
x + x – f x - = lim y dy
f (x) = lim f------------------------------------- ------ = ------
x 0 x x 0 x dx
Students are taught, via a diagram such as that in “Fig. 1” on page 4 that f ´(x) is the slope of
the tangent line at the point f(x) on the curve.
What is the difference between x and y, and dx and dy?2 Sometimes it is said that these are
infinitesimals, that is, numbers that are “arbitrarily small but not 0”. What kind of numbers are
those? It doesn’t seem possible that they are very small positive real numbers, because no matter
how small a positive real number we name, there is always a smaller one.
“Leibniz’s notation [dy/dx, etc.] suggests that the limit [that defines dy/dx] is a quotient,
whereas the limit ... is not a quotient. Leibniz’s symbol ... must be taken in its entirety.”4
“...in the notation...dy/dx, the symbols dy and dx have no meaning by themselves. The symbol
dy/dx should be thought of as a single entity, just like the numeral 8, which we do not think of as
formed of two 0’s.”5
2
A New Insight Into an Old Calculus Mystery...
“...in many calculations and formal transformations, we can deal with the symbols dy and dx
in exactly the same way as if they were ordinary numbers.”1
“As to the ultimate meanings of dy, dx and dy/dx, Leibniz remained vague. He spoke of dx as
the difference in x values between two infinitely near points and of the tangent as the line joining
such points... The infinitely small dx and dy were sometimes described as vanishing or incipient
quantities, as opposed to quantities already formed. These indefinitely small quantities were not
zero, but were smaller than any finite quantity.”2
“[Euler] denied the concept of an infinitesimal, a quantity less than any assignable magnitude
and yet not 0. In his Institutiones of 1755 he argued,
There is no doubt that every quantity can be diminished to such an extent that it vanishes
completely and disappears. But an infinitely small quantity is nothing other than a vanish-
ing quantity and therefore the thing itself equals 0. It is in harmony also with that defini-
tion of infinitely small things, by which the things are said to be less than any assignable
quantity; it certainly would have to be nothing; for unless it is equal to 0, an equal quantity
can be assigned to it, which is contrary to hypothesis.
“Since Euler banished differentials he had to explain how dy/dx, which was 0/0 for him, could
equality a definite number. He does this as follows: Since for any number n, n • 0 = 0, then n =
0/0. The derivative is just a convenient way of determining 0/0...”3
“[D’Alambert] held that no such thing as an infinitesimal [for example, dy or dx] existed in its
own right.
A New Insight
Consider the following diagram.
3
A New Insight Into an Old Calculus Mystery...
E
F
y
f(x)
A D B
Fig. 1
For a given curve y = f(x) and a given x, we fix points A, B, and C . A is at the point f(x).
Angle BAC = the slope of the tangent to the curve at point A. The tangent of BAC = BC/AB =
f (x) = dy/dx.
y = DF; x = AD.
The tangent of angle DAF = y/x = DF/AD = BE/AB. Neither BE nor AB becomes arbi-
trarily small as x and y approach zero. And yet y/x = DF/AD = BE/AB always. (E
moves vertically up the line BC throughout this process, of course.)
As x = AD approaches zero, the point F moves to the left along the curve y = f(x) and y =
DF grows smaller. The angle DAF increases continuously until it eventually equals the angle
BAC. The point E moves vertically upward continuously until BE eventually equals the line seg-
ment BC. These two equalities occur when x = 0.
We need not wrack our brains trying to figure out the value of y/x when both y and x = 0.
The value is simply BC/AB.
So there is nothing mysterious here provided we fix our attention on the continuous movement
of the line AFE as x = AD approaches zero. AFE pivots continuously about the point A as the
angle DAF increases. Eventually, AFE is at the same angle as the angle of the tangent, BAC. All
we have done is pivot a line (AFE) about a point (A) until the line is coincident with another line
(AC). That is all!
4
A New Insight Into an Old Calculus Mystery...
(1) x
If F(x) = 0 f x dx
dF x
Then -------------- = f x
dx
(2)
dF(x) = f(x)dx,
You probably know that the value of F(x) is the area under the derivative curve from the point
0 to the point x. This area is the sum of the areas of infinitesimal rectangles.
(3)
the infinitesimal change dF(x) in the integral curve at the point x =
the area f(x)dx of the infinitesimal rectangle of height f(x) and width dx that is positioned at x.
It’s that simple! And this is apparently the way Newton thought of the relation between the
integral and derivative curves — in other words, how he thought of the Fundamental Theorem of
the Calculus. (See Carl B. Boyer’s The History of the Calculus and Its Conceptual Development1,
p. 191.)
We are preparing drawings to illustrate (3), but meantime, you are encouraged to draw some
derivative curves, and their integral curves, and see how (3) works.
5
A New Insight Into an Old Calculus Mystery...
1. This “asserts that, given any real number a, there is a whole number n such that na is larger than any other
given real number b.” — ibid., p. 274.