Proof without words

From formulasearchengine
Revision as of 12:32, 11 March 2013 by en>Addbot (Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q3402800)
Jump to navigation Jump to search

In geometry, a centered trochoid is the roulette formed by a circle rolling along another circle. That is, the path traced by a point attached to a circle as the circle rolls without slipping along a fixed circle. The term encompasses both epitrochoid and hypotrochoid. The center of this curve is defined to be the center of the fixed circle.

Alternatively, a centered trochoid can be defined as the path traced by the sum of two vectors, each moving at a uniform speed in a circle. Specifically, a centered trochoid is a curve that can be parameterized in the complex plane by

z=r1eiω1t+r2eiω2t,

or in the Cartesian plane by

x=r1cos(ω1t)+r2cos(ω2t),y=r1sin(ω1t)+r2sin(ω2t),

where

r1,r2,ω1,ω20,ω1ω2.

If ω1/ω2 is rational then the curve is closed and algebraic. Otherwise the curve winds around the origin an infinite number of times, and is dense in the annulus with outer radius |r1|+|r2| and inner radius ||r1||r2||.

Terminology

Most authors use epitrochoid to mean a roulette of a circle rolling around the outside of another circle, hypotrochoid to mean a roulette of a circle rolling around the inside of another circle, and trochoid to mean a roulette of a circle rolling along a line. However, some authors (for example [1] following F. Morley) use "trochoid" to mean a roulette of a circle rolling along another circle, though this is inconsistent with the more common terminology. The term Centered trochoid as adopted by [2] combines epitrochoid and hypotrochoid into a single concept to streamline mathematical exposition and remains consistent with the existing standard.

The term Trochoidal curve describes epitrochoids, hypotrochoids, and trochoids (see [3]). A trochoidal curve can be defined as the path traced by the sum of two vectors, each moving at a uniform speed in a circle or in a straight line (but not both moving in a line).

In the parametric equations given above, the curve is an epitrochoid if ω1 and ω2 have the same sign, and a hypotrochoid if they have opposite signs.

Dual generation

Let a circle of radius b be rolled on a circle of radius a, and a point p is attached to the rolling circle. The fixed curve can be parameterized as f(t)=aeit and the rolling curve can be parameterized as either r(t)=bei(a/b)t or r(t)=bei(a/b)t depending on whether the parameterization traverses the circle in the same direction or in the opposite direction as the parameterization of the fixed curve. In either case we may use r(t)=cei(a/c)t where |c|=b. Let p be attached to the rolling circle at d. Then, applying the formula for the roulette, the point traces out a curve given by:

f(t)+(dr(t))f(t)r(t)=aeit+(dcei(a/c)t)aieitaiei(a/c)t=(ac)eit+dei(1a/c)t.

This is the parameterization given above with r1=ac, r2=d, ω1=1, ω2=1a/c.

Conversely, given r1, r2, ω1, and ω2, the curve r1eiω1t+r2eiω2t can be reparameterized as r1eit+r2ei(ω2/ω1)t and the equations r1=ac, r2=d, ω2/ω1=1a/c can be solved for a, c and d to get a=r1(1ω1/ω2),c=r1ω1/ω2,d=r2.

The curve r1eiω1t+r2eiω2t remains the same if the indexes 1 and 2 are reversed but the resulting values of a, c and d, in general, do not. This produces the Dual generation theorem which states that, with the exception of the special case discussed below, any centered trochoid can be generated in two essentially different ways as the roulette of a circle rolling on another circle.

Examples

Cardioid

The cardioid is parameterized by 2eite2it. Take r1=2,r2=1,ω1=1,ω2=2 to get a=2(11/2)=1,c=2(1/2)=1,d=1. The circles both have radius 1 and, since c < 0, the rolling circle is rolling around the outside of the fixed circle. The point p is 1 unit from the center of the rolling so it lies on its circumference. This is the usual definition of the cardioid. We may also parameterize the curve as e2it+2eit, so we may also take r1=1,r2=2,ω1=2,ω2=1 to get a=1(12)=1,b=(1)(2)=2,d=2. In this case the fixed circle has radius 1, the rolling circle has radius 2, and, since c > 0, the rolling circle revolves around the fixed circle in the fashion of a hula hoop. This produces an essentially different definition of the same curve.

Ellipse

If ω1=ω2 then we obtain the parametric curve r1eit+r2eit, or x=(r1+r2)cost,y=(r1r2)sint. If |r1||r2|, this is the equation of an ellipse with axes 2|r1+r2| and 2|r1r2|. Evaluating a, c, and d as before; either a=2r1,c=r1,d=r2 or a=2r2,c=r2,d=r1. This gives two different ways of generating an ellipse, both of which involve a circle rolling inside a circle with twice the diameter.

Straight line

If additionally, next to ω1=ω2, r1=r2=r, then a=2r,b=r,c=r in both cases and the two ways of generating the curve are the same. In this case the curve is simply x=2rcost,y=0 or a segment of the x-axis.

Likewise, if r1=r,r2=r, then a=2r,c=r,d=r or a=2r,c=r,d=r. The circle is symmetric about the origin, so both of these give the same pair of circles. In this case the curve is simply x=0,y=2rsint: a segment of the y-axis.

So the case ω1=ω2,|r1|=|r2| is an exception (in fact the only exception) to the dual generation theorem stated above. This degenerate case, in which the curve is a straight-line segment, underlies the Tusi-couple.

References

External links