Watt's curve
In mathematics, Watt's curve is a tricircular plane algebraic curve of degree six. It is generated by two circles of radius b with centers distance 2a apart (taken to be at (±a, 0). A line segment of length 2c attaches to a point on each of the circles, and the midpoint of the line segment traces out the Watt curve as the circles rotate. It arose in connection with James Watt's pioneering work on the steam engine.
The equation of the curve can be given in polar coordinates as
The polar equation for the curve can be derived as follows: Working in the complex plane, let the centers of the circles be at a and −a, and the connecting segment have endpoints at −a+bei λ and a+bei ρ. Let the angle of inclination of the segment be ψ with its midpoint at rei θ. Then the endpoints are also given by rei θ ± cei ψ. Setting expressions for the same points equal to each other gives
Add these and divide by two to get
Comparing radii and arguments gives
Similarly, subtracting the first two equations and dividing by 2 gives
Write
Then
Expanding the polar equation gives
Letting d 2=a2+b2–c2 simplifies this to
The construction requires a quadrilateral with sides 2a, b, 2c, b. Any side must be less than the sum of the remaining sides, so the curve is empty (at least in the real plane) unless a<b+c and c<b+a.
The has a crossing point at the origin if there is a triangle with sides a, b and c. Given the previous conditions, this means that the curve crosses the origin if and only if b<a+c. If b=a+c then two branches of the curve meet at the origin with a common vertical tangent, making it a quadruple point.
Given b<a+c, the shape of the curve is determined by the relative magnitude of b and d. If d is imaginary, that is if a2+b2 <c2 then the curve has the form of a figure eight. If d is 0 then the curve is a figure eight with two branches of the curve having a common horizontal tangent at the origin. If 0<d<b then the curve has two additional double points at ±d and the curve crosses itself at these points. The overall shape of the curve is pretzel-like in this case. If d=b then a=c and the curve decomposes into a circle of radius b and a lemniscate of Booth, a figure eight shaped curve. A special case of this is a=c, b=√2c which produces the lemniscate of Bernoulli. Finally, if d>b then the points ±d are still solutions to the Cartesian equation of the curve, but the curve does not cross these points and they are acnodes. The curve again has a figure eight shape though the shape is distorted if d is close to b.
...
Wikipedia