The circular tractrix (1965)

Transcription

The circular tractrix (1965)
The American Mathematical Monthly, Vol. 72, No. 10 (Dec., 1965), pp. 1065-1071
Reprinted with permission of Mathematical Association of America, 1529 18th
Street, NW, Washington, DC 20036
THE CIRCULAR TRACTRIX
W. G. CADY, 127 Power St., Providence, Rhode Island
Abstract. After a historical sketch the equations are derived for tracld>: curves whose directrix
is a circle. Two types are distinguished. In one, the curve has the form of a spiral. In the other,
there is a succession of cusps forming a flower-like pattern; the conditions are considered under
which the curve can close upon itself. A mechanical device for drawing the curves i,� described.
At a meeting in Paris in 1693 Claude Perrault laid his watch on the table,
with the long chain drawn out in a straight line ([I} vol. 3). He showed that
when he moved the end of the chain along a straight line, keeping the chain
taut, the watch was dragged along a certain curve. This was one of the early
demonstrations of the tractrix. The line along which the chain is pulled is called
the directrix. Perrault did not know that the curve had already been recognized,
and its equation derived, by Sir Isaac Newton
[2]
in 1676. This is said to have
been the first example of the determination of a curve by the process of integra­
tion.
The theory of the tractrix was treated by J-I uygens and Leibniz, both of
whom considered the case in which the directrix was any arbitrary curve. It was
not until almost a century later that Euler [3] treated the problem so com­
pletely that little or nothing on the subject has appeared since. Among other
things Euler derived equations for the case in which the directrix was a circle
instead of a straight line.
Hitherto no one seems to have pointed out the fact that a tractrix can be
drawn not only by pulling (whence the name "tractrix"), but also by pushing.
That is, the string or chain can be replaced by a rigid bar; a mirror image of
the same curve is then obtained. Such a reverse tractrix might appropriately be
called a "trudrix," from the Latin trudere, to push. In the circular tractrix dis­
Cllssed here both pulling and pushing occur.
The ordinary tractrix, having a straight line as directrix, is the one treated
in textbooks. It may be called a linear tractrix. The circular tractrix, though
really more interesting, does not seem to have been considered at all in our day.
It is interesting mechanically and aesthetically as well as mathematically and
historically.
We now derive the equations for the circular tractrix in a form better
adapted for comparison with the actual curves than that given by Euler.
Fig. 1 shows a linear tractrix, and for comparison part of a circular tractrix.
As in the linear case, the curve is characterized by the fact that the length of the
tangent from any point on the curve to the directrix is constant.
The differential equation of the circular tractrix is easily derived with the
aid of Fig. 2, in which OA and AB are the driving and tracing arms. Initially
the arms are in line, with a=OA and b=AB. If 'Y is the angle between b and
a,
measured counter-clockwise from b, we have at the start 'Y=7r. Now let a be
rotated in the positive direction about the origin 0 to the position OA', through
1065
This content downloaded from 132.72.138.1 on Thu, 6 Mar 2014 06:57:22 AM
All use subject to JSTOR Terms and Conditions
1066
1066
[Decemnber
[December
THE CIRCULAR
CIRCULAR TRACTRIX
TRACTRIX
THE
O. The
The tracing
tracing point,
point, initially
initially at
at B, is
is dragged
dragged along
along the
the curve
curve to
to B',
B',
the angle
angle 0.
the
where A'B'==b.
A'B'=b. B'
B' thus
thus represents
represents any point
point on the
the curve,
curve, and b
b is
is tangent
tangent to
to
where
the curve
curve at B'.
B'. If aa were
were rotated
rotated in the
the negative
negative direction,
direction, the
the branch
branch of
of the
the
the
curve shown
shown below OB would be traced.
traced. The angular
angular amplitude
amplitude of
of the
the radius
radius
curve
vector at any point
point on the
the curve
curve is 4'.
t/;.
vector
B
|B
J)
/~~~~~
E
aQ
/~~
o
with
tractrixFBE
FBE with
a circular
as directrix,
directrix,and
line as
a straight
straightline
DBC with
with a
aind a
circculartractrix
tractrixDBC
FIG. 1.
1. A linear
linear tractrix
FIG.
of equal
length.
GH are
are of
A'B', and
and GH
equial length.
AB, A'B',
lines AB,
The tangent
tanigentlines
a circle
of radius
as directrix.
directrix.The
radius a
a as
circle of
a
B'
0
A
B
arm aa about the
the origin
origin
the driving
drivingarm
of the
rotationof
by rotation
2. Part
generatedby
FIG.
tractrixgenerated
FIG. 2.
Part of
of a circular
circulartractrix
the point
the angle
point on
on
angle 0,
0, the
a has
has rotated
rotated through
throughthe
Wrhen
o.
a
0. The circle
circle with
is the
the directrix.
directrix.When
radius aa is
with radius
is the
of any
is 'Y.
the angular
any
and aa is
amplitudeof
angular amplitude
is at B', with
the
B' = b.
the curve
A 'B'
b. The angle
betweenbb and
angle between
curve is
with A'
T. '"t'is
=
= b.
= a, AB
AB =b.
point
on the
the curve.
curve. OA
OA =a,
pointon
an infinitesimal
infinitesimal
angle
Now suppose
angle
furtherpositively
rotatedfurther
throughan
a to
to be rotated
positivelythrough
suppose a
B'
while
the
moves
adO
a-circle,
small
distance
along
dO.
ves
through
the
small
distance
adO
along
the
a-circle,
while
B'
moves
dO.A'
A' mo
the
moves through
the angle
rotatedthrough
The arm
becomes rotated
angle
arm bb becomes
throughthe
a short
shortdistance
the curve.
curve. The
distance along
along the
This content downloaded from 132.72.138.1 on Thu, 6 Mar 2014 06:57:22 AM
All use subject to JSTOR Terms and Conditions
1965]
1965]
1067
THE
CIRCULAR TRACTRIX
TRACTRIX
THE CIRCULAR
-a
adO
adO
cos ("I
- 7r) =
d =
d(3
=- -cos
(y -db
(1)
a
- dO cos "I.
--dO
y.
b
,Bcause
in 80 and
and (3
-yto
to change
the amount
amount dy=ddO+df,
changes in
These
cause 'Y
change by
by the
d'Y=d8+d(3, or
or
These changes
(1),
from (1),
from
a
a
= dO
cos."I.
d-y=
dO---dO
d'Y
- - dO cos
(2)
b
b
the ratio
relationbetween
and 80 depends
depends only
only on
ratio of
of the
two
Evidently
between 'Yyand
the relation
the two
Evidently the
onithe
= p,
p, and
and find
findfrom
(2):
from (2):
arms.
write alb
We now
now write
arms. We
al/b=
dO
=
dO=
(3)
(3)
d'Y
dy
11-p- P cos "I
-y
differentforms
to whether
p> 1,
1,
assumes different
of (3) assumes
accordinigto
The
forms according
whether p>
integral of
The integral
or p
p
< 1, or
=1.
p<1,
p=1.
b, and
and
than b,
is greater
When
greater than
When p>
1, a is
p> 1,
-
,
"I))
sin lea
(a= cotalIn
0=
cotaln [�_22____
+ c,
sin -2(a +
sinHa
+ "I)
y)
(4)
___
(1/p), whence
=cos-I (lip),
a=cos-1
where a
=cos-1 (bla)
(bla) =cos-1
whence
(5)
cotaa =
cota
1
- 1)
-�-
V(p2
V (p2
-
-
I
.
1)
= r in
(4) and
and find
findthat
that C
Thereforefor
in (4)
all
C=O.
and 'Y
0=0 and
set 8=0
C, set
find C,
To find
To
=O. Therefore
for all
-y=7r
b, we
a>> b,
of 8,
when a
we have
have
0, when
values of
I
sin Ha
'(a- - "I))
sin
sin
= cot
o0 =
a In
cotcn
(6)
sin
+
i
I
) .
Ha + "I)
is
than b,
b, and
and the
the integral
is smaller
smaller than
When
integral is
< 1,
1, a is
When p <
=
o0 =
(7)
(7)
2
2
V(lI- - p2)
PI)
tan-'
tan-1
( 11, /(��)
(I
1 -p1
- tan�22/- ) + C.
+
P
tan
+ c.
=0
= 7rr as
Then
as before.
and 'Y
C, set
findC,
To find
0 and
=
before. Then
To
set 80=
-y
----
?rb
7r
7r
7rb
C
-·
== ---=
C =
v(l
v(b2
- p2)
- a2)
\V(b2 -/(1-p2)
therefore
is therefore
(7) is
of (7)
The final
finalform
The
form of
(8)
(8)
Va
=
o0 =
1
1
- p2)
v(l
(1 p2)
{22 tan-' ((A11/(�)
)
1 + )tan �
2 +7 }
2
1
tan-1
n
•
I - P
tan
+ 7r
= b,
the integral
when p=l,
and the
is simply
integral is
Finally
b, and
Finally when
p = 1, a =
simply
This content downloaded from 132.72.138.1 on Thu, 6 Mar 2014 06:57:22 AM
All use subject to JSTOR Terms and Conditions
.
1068
1068
(9)
(9)
[Deceinber
[December
THE
THE CIRCULAR
CIRCULAR TRACTRIX
TRACTRIX
0e =
'Y
-
cot
cot 2
.
Here,
Here, as
as is
is easily
easily verified,
verified, the
the constant
constant of
of integration
integration vanishes.
vanishes.
1. We
1. If
Case 1.
We consider
consider first
first the
the case
case in
in which
which a>
a> b,
b, and
and therefore
therefore p>
p> 1.
If the
the
2
driving
driving arm
arm aa continues
continues to
to rotate
rotate counter-clockwise,
counter-clockwise, the
the curve
curve shown
shown in
in Fig.
Fig. 2
and
(6) passes
and expressed
expressed by
by (6)
passes inside
inside the
the a-circle
a-circle and
and forms
forms aa spiral,
spiral, approaching
approaching
illustratedin
asymptotically
asymptotically aa circle
circle of
of radius
radius R=a2-b2.
R =a2- b2• This
This is
is illustrated
in Fig.
Fig. 3,
3, in
in which
which
the
b ==AB
AB are
OA and
and b
are initially
initially in
in line.
line. When
When aa rotates
rotates clockwise,
clockwise, one
one
the arms
arms a ==OA
\
~~~~b
B
thanthe
thetracing
arm.
armlonger
thedriving
FIG.
with
withthe
tracingarm.
longerthan
FIG. 3.
3. Circular
tractrix
drivingarm
Circulartractrix
second
A second
branch
around the
the R-circle.
R-circle.A
is traced
as shown,
traced as
of the
the curve
curve is
branch of
shown,spiraling
spiralingaround
at the
the
if at
if a
a rotated
counter-clockwise.Moreover,
branch
rotated counter-clockwise.
traced if
would be traced
Mloreover,if
branch would
= b,two
B'A'
morespiral
of B, so
so that
that B'
start
A' =b,
two more
B' instead
instead of
is located at B'
spiral
the point
start the
point B is
These
branches
at B'.
B'. These
froman
an inwardly-facing
become traced,
cusp at
branches become
inwardly-facingcusp
startingfrom
traced, starting
In all
all these
these cases
cases
fromthe
theinside.
inside. In
branches
theR-circle
R-circleasymptotically
branchesapproach
asymptoticallyfrom
approach the
finalvalue
The
the final
a approaches
value 'Y=27r-cos-1(bja).
the
and a
the angle
between bb and
y=2w - cos-'(b/a). The
approaches the
angle 'Yybetween
course be
be anywhere
on the
the a-circle,
a can
can of
of course
arm a
forthe
a-circle,
starting
the driving
anywhereon
drivingarm
startingpoint
point for
would
B' would
which
located in
in coincidence
coincidencewith
with A,
If A'
had been
been located
A' had
is the
the directrix.
directrix.If
which is
A, B'
0 and
A.
and A.
have fallen
fallenbetween
between 0
This content downloaded from 132.72.138.1 on Thu, 6 Mar 2014 06:57:22 AM
All use subject to JSTOR Terms and Conditions
1965]
1965]
1069
1069
THE
TRACTRIX
CIRCULAR TRACTRIX
THE CIRCULAR
Case
extreme cases of
when a
1.
a bb and
firstis wThen
of (6). The first
two extremie
There are two
Case III.I. There
anidp 1.
The radius
This is the
4. The
R in
in Fig.
Fig. 33
illustratedby
by Fig.
Fig. 4.
ra.diusR
(9), illustrated
expressedby (9).
the case expressed
has become
the
curve converges
the curve
upon the
zero, so that
that the
convergesasymptotically
asyinptoticallyupon
become equal to zero,
This
curve
was
called
by
R.
Cotes
the
Tract
rix
Com
pole.
plicata
(see
[4]
the
Tractrix
curve
by
Complicata
pole.
p.
202).
p.
=
=
and
driving
withdriving
tractrix
FIG. 4.
4. Circular
Circular
FIG,
tractrix with
and tracing
tracing arms
arms equal.
equal.
a becomes
infinite,
becomes infin',
Case
when, with
with bb finite,
te,
finite,a
The other
other extreme
is when,
extremecase is
III. . The
Case III
tractrix,and
linear tractrix,
familiarlinear
forthe
the familiar
that for
and
becomes that
The equation
equation becomes
so that
co. The
so
that p = C/J.
the four
become the
above become
tractrix mentioned
the four
of the
the circular
branches of
the
four branches
circular tractrix
mentioned above
four
of the
linear tractrix.
branches of
the linear
tractrix.
branches
=
A
I
arm.
thetracing
tracing
thanthe
arm
shorter
driving
withthe
thedriving
tractrix
FIG. 5.
5. Circular
Circular
FIG.
tractrix with
arm shorter
than
arm.
< 1.
1.
b, so
so that
that p <
arm b,
tracingarm
the tracing
than the
Case IV.
arm a
a is
is shorter
shorterthan
IV. The
The driving
drivingarm
Case
5,
in Fig,
Fig. 5,
shown in
formshown
of the
the form
(8), yielding
by (8),
This is
is the
the case
This
case expressed
expressed by
yielding curves
curves of
This content downloaded from 132.72.138.1 on Thu, 6 Mar 2014 06:57:22 AM
All use subject to JSTOR Terms and Conditions
1070
1070
[December
[Decebnber
THE CIRCULAR
CIRCULAR TRACTRIX
THE
TRACTRIX
with
a succession
of positive
with a
with petals
successionof
positiveand
and negative
negative cusps,
cusps, like
like a
a flower
flowerwith
petals spread
spread
out into
into a
a circle.
The radial
radial difference
out
circle. The
between positive
difference
between
positiveand
and negative
negativecusps is
is 2a.
Figures 3,
3, 4,
4, and
and 55 are
are reproduced
reproduced from
actual curves
curves traced
with the
Figures
from actual
traced with
the
apparatus described
described below.
apparatus
below.
With the
the aid
aid of
of Eq.
With
the following
relationscan
can be derived.
Eq. (8)
(8) the
followingrelations
derived.Since,
Since, at each
positive cusp,
is an
an extension
positive
cusp, bb is
extension of
a, it
it follows
follows that
between two
successive posi­
of a,
that between
two successive
positive cusps
the angular
angular rotation
rotationof
of 'Yy is
is 27r;
tive
cusps the
the angular
angular rotation
rotation()0 of
of the
the arm
arm aa is
27r;the
27r/V/(l
-p2);
and the
the angular
angular change
in the
27r
/ V (1p2) ; and
change in
vector is
the radius
radius vector
is
(10)
(10)
dl==
Ii1/!
271'
27r
-
V(l
- P)
NAI -PI)
= 271'
2r =
2r
- 271'
11-V(1-p2)
- v(l - p2)
-
V(l
- p2)
-\(1PI)
271'
27r
.
= -radians,
radians,
=
m
m
-
where
where
(11)
(-)/(
m=
_ p2)
-
_ a2)
v(b2
\I(b2-
1 - V(l-p2)
_ p2)
b - v(b2 - a2)
b-V/(b2-a2)
In general
the quantity
general the
In
from zero
infinity,
quantity m,
m, which
which may
may have any
any value from
zero to infinity,
is an
an irrational
irrationalnumber.
number. This
This means
means that
in general
is
general the
that in
the circular
circular tractrix
tractrixdoes
not become
closed curve
forany
any finite
finiterotation
rotationof
of the
the arm
arm a.
It is
only when
not
become aa closed
curve for
a. It
is only
when
is a
m is
a rational
rational fraction
that the
the curve
itself.
m
fraction that
curve closes
closes upon
upon itself.
= 0,
= a,
m=
When m
the curve
and the
one positive
one negative)
When
a, and
curve has
has one
0, bb=
and
positive (or
(or one
negative) cusp and
a spiral
spiral converging
on a
a point,
as we
a
converging on
we have
have already
point,as
already seen.
seen. When
When m
m is
is an
an integer
integerwe
have
a closed
closed curve
curve with
m positive
positivecusps,
cusps, completed
completedin
in one
one revolution
revolutionof
of the
the
have a
with m
amplitude 1/;.
4'. The
The curve
curve then
then has
m-foldsymmetry.
symmetry.
amplitude
has m-fold
= mdm
m is
When m
is a
a rational
m=
rationalfraction
it may
in lowest
When
be written
written in
lowest terms
fractionit
may be
termsas
as m
m1/M2,
2'
m1and
where
and m2
are integers.
the driving
is rotated,
where ml
positive
m2are
as the
arm is
integers.Then,
Then, as
drivingarm
rotated, ml
positive
ml
cusps
is completed
cusps become
become described,
while the
completed in
described,while
the covering
coveringoperation
operationis
in m2
m2revolu­
revolutions of
of the
the curve.
tions
curve.
m is
If m
small, ml«m
is nearly
as large
as b,
and there
thereare
are few
If
is very
very small,
large as
few cusps
nearly as
b, and
Ml<<M2,
2, aa is
in many
5 illustrates
this,
for
in
this
figure
many revolutions
ofthe
the curve.
in
this
in
revolutions of
curve. Fig.
Fig. 5
illustratesthis,for
m - 5/2.
figurem"",S/2.
The
negative
cusps
come
inside
the
a-circle.
The negative cusps come inside the a-circle.
a <<b, and
If m
m is
is large,
large,ml»m2,
thereare
are many
small "petals"
in few
and there
If
few revolurevolu­
many small
"petals" in
ml>>m2,a«b,
= 1,
tions. If
If m2
m2=
1, the
the curve
on itself
itselfin
in one
one revolution.
tions.
curve closes
closes on
revolution.
Returningto
to Figure
Figure 5,
see that
5, we
that the
the curve
we see
curve apparently
closes upon
Returning
apparently closes
upon itself
itself
= 2.5. Actually
with
m1= 5, m2=2,
so that
with ml=S,
m=2.S.
curve was drawn
with aa=31.8
= 31.8
that m
the curve
drawn with
m2= 2, so
Actually the
mm, bb=46.2
The discrepancy
is to
to be at­
=46. 2 mm,
from which,
which, by (11), m
= 2.64. The
mm,
atmm, from
m=2.64.
discrepancyis
to faulty
tributed
faulty mechanical
with possible
errors in
in the
tributed to
mechanical tracking,
tracking,together
the
together with
possible errors
meatsurement
of aa and
b.
measurement
of
and b.
A mechanical
ratio of
A
circular tractrix
with any
mechanical device
fordrawing
tractrixcurves
curves with
of
device for
drawing circular
any ratio
to aa is
is pictured
in Fig.
flat wooden
about 28
28 cm
bb to
pictured in
wooden base
base about
cm square,
square, carefully
carefully
Fig. 6.
6. A
A flat
carriesa
a bridge
is a
a clearance
of about
leveled,
thereis
about 9 cm.
Through
leveled, carries
bridge below
below which
which there
clearance of
cm. Through
the
center of
of the
the bridge
the vertical
turned by
a handle
passes the
drivingshaft,
the center
bridge passes
vertical driving
shaft, turned
by a
handle
that plays
The driving
a graduated
so as
as to
to be
at any
plays over
over a
dial, so
any desired
angle. The
that
graduated dial,
be set
set at
desired angle.
driving
This content downloaded from 132.72.138.1 on Thu, 6 Mar 2014 06:57:22 AM
All use subject to JSTOR Terms and Conditions
1965]
19651
THE CIRCULAR
CIRCULAR TRACTRIX
TRACTRIX
THE
1071
1071
in this
shaft,and
and by
means of
of a
a set
screw can
this shaft,
arm
hole in
by means
set screw
can be
be
a hole
througha
arm aa passes through
clamped
at any
any desired
desired length.
length.
clamped at
Fastened to
free end of
yoke bent
bent out of
of a
strip of
of
a strip
of the
the driving
drivingarm
arm is
is a
a yoke
to the
the free
at the
the lower
of which
a
shaft,at
a thin
thintracing
The yoke
yoke carries
metal. The
sheet
sheet metal.
carries a
tracing shaft,
lower end
end of
which is
is a
arm should
should be
as close
close to
to the
the
This tracing
tracingarm
arm b.
b. This
tracingarm
the tracing
block for
holding the
be as
forholding
block
and clamped
clamped by
a set
set screw.
screw.
at any
any length
set at
it can
paper
can be
be set
length and
by a
as practicable;
practicable; it
paper as
to hold
the lead
fordrawing
drawing
is a
a block
of this
this arm
arm is
At
block with
with vertical
vertical bore
bore to
hold the
lead for
end of
At the
the end
the paper
paper
it is
is pressed
pressed onto
be used
used;; it
should be
of lead
lead should
the
onto the
type of
the curve.
The softest
softesttype
curve. The
weight of
4 ounces.
ounces.
of 33 or
or 4
by a weight
any friction
and from
play, and
The device
free as
from loose
loose play,
from any
friction
as free
as possible
possible from
must be as
device must
and paper.
paper.
except that
between ttracing
point and
racingpoint
that between
except
iriving
shaft
curves.
tractrixcurves.
drawing circular
fordrawing
FIG. 6.
6. Machine
Machine for
FIG.
circular tractrix
References
References
1. M.
M. Cantor,
Cantor, Vorlesungen
Vorlesungentiber
uber Geschichte
Geschichte der
der Mathematik,
Mathematik, Leipzig,
Leipzig, 1908,
1908, Vol.
Vol. 3,
3, pp.
pp. 214,
1.
214,
Vol. 4,
215,
786; Vol.
4, p.
p. 508.
508.
2
15, 786;
The Correspondence
Correspondenceof
of Isaac
Isaac Newton,
Newton, ed.
ed. by
by H. W. Turnbull,
Turnbull, Cambridge
Cambridge Univ.
Univ. Press,
Press,
2. The
New York,
York, 196
1961,
Vol. 3,
329.
3, pp.
pp. 148.
160,329.
New
1, Vol.
148, 160,
L. Euler,
Euler, Opera Omnia,
Omnia, Ser.
Ser. II,
II, Vol.
Vol. 7,
7, pp.
pp. 120-147,
3. L.
120-147, Lausanne, 1958; also Nova
Nova Acta
Academiae
Scientiarum Imperialis
Imperialis Petropolitanae
Petropolitanae II,
II, pp. 3-27,
�ademiae Scientiarum
A
3-27, 1788.
1788. Euler considers
considers also the
the
of the
the tractrix,
in which
general case
case of
tractrix,in
which the
the directrix
directrixmay
findsit
general
may be of
of any form,
form,but
but finds
it insoluble.
insoluble.
Loria, Spezielle
Spezielle algebraische
algebraische und
und transzendente
transzendente ebene
4. G. Loria,
ebene Kurven,
Kurven, vol.
vol. II, Teubner,
Teubner,
Leipzig, 1911.
1911.
This content downloaded from 132.72.138.1 on Thu, 6 Mar 2014 06:57:22 AM
All use subject to JSTOR Terms and Conditions