Beruflich Dokumente
Kultur Dokumente
.
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of
content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms
of scholarship. For more information about JSTOR, please contact support@jstor.org.
Springer is collaborating with JSTOR to digitize, preserve and extend access to Educational Studies in
Mathematics.
http://www.jstor.org
HUGH THURSTON
I. INTRODUCTION
f' ()=
lim f ({
f R)
we can sayfirmlythatf andf' denotefunctionsand that {,f (f) andf'(4) denote numbers.Indeed,a well-writtendefinitionof f'({) will start "Givena
functionf and a numberc...".
(2) Everyoneknows that the relationy = f (x) yields dy/dx=f '(x). And
if f is differentiableat, say, 0, thenf'(0) makes sense. But dy/dOdoes not.
This is probablythe commonestway in which the ambiguitiesin (1) plague
student.
the slightly-more-thoughtful-than-average
EducationalStudies in Mathematics4 (1972) 358-367. All Rights Reserved
CopyrightC 1972 by D. ReidelPublishingCompany,Dordrecht-Holland
359
dy/du
dx
dx/du
HUGH THURSTON
360
We can avoid someof the difficultiesif we foregothe use of dy/dx and use
only the 'prime'notation. Indeed, in the MathematicalGazette(No. 385)
M. Bruckheimerand R.E. Scratonstateflatly "thereis no suchthing as differentiationwith respectto x." In a courseof pureanalysiswe mightwell do
withoutdy/dx and,indeed,few writers,if any, statethe mean-valuetheorem
in Leibniz'snotation.But for calculusin the wide sense the sacrificewould
be too great.We needds/dt, dv/dtand v dv/dsin kinematics;we needdP/dV
of gases; we needdcx/dsand ds/dx in the
and dV/d Tin the thermodynamics
differentialgeometryof curves;and we need dy/dx whenx andy arerelated
If u, v, w, x, y and z are six coordinatesof parts
implicitlyor parametrically.
of a machine(angularcoordinatesof wheels,linearcoordinatesof rods, and
so on) each of which is a function of any other, then we can differentiate
any one of these coordinateswith respectto any otherin Leibniz'snotation
withoutfurtherado; whereasthe 'prime'notationwould requirethirtysymbols for functionslike thef for whichu=f(v). Problemswith a largenumber
of relatedvariablesare not uncommonin the exact sciences.
Finally, even if the teacherdoes not feel that
dw dz dy
dw
dz dy dx
dx
is immenselysuperiorto
(f o g o h)' (cx)= (f'o g o h) (c) (g' o h) (c) h' (cx)
WHAT EXACTLY IS
dy/dx?
361
dz
dy dx
dx
will follow as a directresultof the 'limitof a product'rule.It will be a theoremthat (undercertainreasonableconditions)if y=f(x) thendy/dx=f '(x).
Further,if y=f (x) locally, then dy/dx=f '(x) locally.
II. THE DEFINITION
OF DERIVATIVE
(T)
S (T + ) -S (T)
providedthats(T+3)-s(T)# O.
The(instantaneous)rate of increaseof velocitywith respectto displacement
at time T is the limit as 6 approacheszero of this averageincrease.
This suggeststhe followingdefinition.
362
HUGH THURSTON
Definition
If x and y are functions,then dy/dx is the functiondefinedby
dy
dx
Y(T+)-Y(T)
T =
() =
rnOx
)-X
(T)
dz T)dz
dx
dy
T)dy ()
dx
dz dy
dy dx
y'(T)
dx
x_(T)
y'
x'
dy (T) =f
'(x (T)).
Proof: y' (T)=f ' (x(T)).x' (T) by the theoremon the derivativeof a composite function.Theorem2 then yields our result.
Corollary.If x is differentiableand iff is differentiableat x (x) for every-r
in the domain of x, it follows that:
if y = f(x),
WHAT EXACTLY
IS
dy/dx?
363
(x))
(X
(thatis to say, the functionX2 + y2 is constantand has value 1), then, on the
set of points at which the value of x' is non-zero
2x + 2y
dy
dx
= 0.
Example(parametricdifferentiation).
Let t be the identity-functionand
x = t2 and y =2at
then
dy
dx
a
t
III. CONCLUSIONS
dz
dy dx
dx
IV. EXTENSION
TO ONE-DIMENSIONAL
MANIFOLDS
So far we have taken it for grantedthat, in dy/dx, the y and the x denote
WHAT EXACTLY IS
dy/dx?
365
f(t)):
edom f}
366
HUGH THURSTON
du
(x)
= lim u (O + 6)-u
(a)
for each point a of M for whichthe limit exists, and the definitionof du/dy
will be similar.
We must,of course,be quiteclearwhat we meanby 'limit'in this context.
Two definitionsof limit are to be found in the literature,a strong (older)
form and a weak (newer)form; we must use the newerform.
Let us look at the older form. Iff is a functionin R2 unto R, and a is a
point of R2, then the numberAis a limit off at a if for eachneighbourhood
N of A there is a neighbourhoodU of a such thatf () 'eN whenever4 e U
but { # oc.Under this definitionf cannot have a limit at a unlessthereis at
least one neighbourhoodof a all of which(exceptpossiblyfor a itself)is containedin the domainoff.
Underthe newerdefinition,A is a limit off at a if ocis a limit-pointof domf
and for each neighbourhoodN of A there is a neighbourhoodU of a such
thatf (c) e N whenever4 E U n domf
In our case, domfis M, and so we can describethe limitin (ii) as 'thelimit
as oc+c approachesa in M'. The reasonwhy the olderdefinitionwill not do
367