<?xml version="1.0" encoding="UTF-8" standalone="yes"?><oembed><version><![CDATA[1.0]]></version><provider_name><![CDATA[Azimuth]]></provider_name><provider_url><![CDATA[https://johncarlosbaez.wordpress.com]]></provider_url><author_name><![CDATA[John Baez]]></author_name><author_url><![CDATA[https://johncarlosbaez.wordpress.com/author/johncarlosbaez/]]></author_url><title><![CDATA[Rolling Circles and Balls (Part&nbsp;1)]]></title><type><![CDATA[link]]></type><html><![CDATA[<p>For over a decade I&#8217;ve been struggling with certain math puzzle, first with the help of James Dolan and later also with John Huerta.  It&#8217;s about something amazing that happens when you roll a ball on another ball that&#8217;s <i>exactly 3 times as big</i>.   John Huerta and I just finished a paper about it, and I&#8217;d like to explain that here.</p>
<p>But I&#8217;d like to ease into it slowly, so I&#8217;ll start by talking about what happens when you roll a circle on another circle that&#8217;s the <i>exact same size</i>:</p>
<div align="center"><a href="http://en.wikipedia.org/wiki/Cardioid"><br />
<img src="https://i1.wp.com/math.ucr.edu/home/baez/mathematical/cardioid_animation.gif" /></a></div>
<p>Can you see how the rolling circle rotates <i>twice</i> as it rolls around the fixed circle <i>once?</i>  Do you understand why?  </p>
<p>The heart-shaped curve traced out by any point on the rolling circle is called a <a href="http://en.wikipedia.org/wiki/Cardioid"><b>cardioid</b></a>.  In her latest video Vi Hart pretends to complain about parabolas while actually telling us quite a lot about them, and much else too:</p>
<span class='embed-youtube' style='text-align:center; display: block;'><iframe class='youtube-player' type='text/html' width='420' height='315' src='https://www.youtube.com/embed/v-pyuaThp-c?version=3&#038;rel=0&#038;fs=1&#038;showsearch=0&#038;showinfo=1&#038;iv_load_policy=1&#038;wmode=transparent' frameborder='0' allowfullscreen='true'></iframe></span>
<p>Naturally, with her last name, she prefers the cardioid.  She describes various ways to draw this curve: for example, by turning the hated parabola inside out.   Here are my 6 favorite ways:</p>
<p>1) The one we&#8217;ve seen already: roll a circle on another circle the same size, and track the motion of a point on the rolling circle:</p>
<div align="center"><a href="http://en.wikipedia.org/wiki/Cardioid"><br />
<img src="https://i1.wp.com/math.ucr.edu/home/baez/mathematical/cardioid_animation_2.gif" /></a></div>
<p>2) Take a parabola and &#8216;turn it inside out&#8217;, replacing each point with polar coordinates (r, θ) by a point with coordinates (1/r, θ).    As long as your parabola doesn&#8217;t contain the origin, you get a cardioid:</p>
<div align="center"><a href="http://en.wikipedia.org/wiki/Cardioid#Inverse_curve"><img src="https://i0.wp.com/upload.wikimedia.org/wikipedia/commons/thumb/0/0c/Inverse_Curves_Parabola_Cardioid.svg/400px-Inverse_Curves_Parabola_Cardioid.svg.png" /><br />
</a></div>
<p>This &#8216;turning inside out&#8217; trick is called <a href="http://en.wikipedia.org/wiki/Conformal inversion">conformal inversion</a>.</p>
<p>3) Draw all circles whose centers are points on a fixed circle, and which contain a specified point on that circle:</p>
<div align="center"><a href="http://en.wikipedia.org/wiki/Cardioid"><img src="https://i2.wp.com/upload.wikimedia.org/wikipedia/commons/thumb/5/5a/CardioidCircleEnvelope.svg/400px-CardioidCircleEnvelope.svg.png" />&#8220;</a></div>
<p>Here&#8217;s a nice animation of this process, made available by the <a href="http://mathforum.org/mathimages/index.php/Envelope#Envelope_of_circles">Math Images Project</a> under a <a href="http://www.gnu.org/copyleft/fdl.html">GNU Free Documentation License</a>:</p>
<div align="center"><a href="http://mathforum.org/mathimages/index.php/Envelope#Envelope_of_circles"><img src="https://i1.wp.com/math.ucr.edu/home/baez/mathematical/cardioid_as_envelope_animation.gif" /></a> </div>
<p>4) Let light rays emanate from one point on a circle and reflect off all other points on that circle.  Draw all these reflected rays, and you&#8217;ll see a cardioid:</p>
<div align="center"><a href="http://xahlee.info/SpecialPlaneCurves_dir/Cardioid_dir/cardioid.html"><img src="https://i0.wp.com/math.ucr.edu/home/baez/mathematical/cardioid_as_caustic.png" /></a></div>
<p>If you draw all light rays that reflect off some curve, the curve they snuggle up against (their so-called <a href="http://en.wikipedia.org/wiki/Envelope_%28mathematics%29">envelope</a>) is called a <a href="http://mathworld.wolfram.com/Catacaustic.html">catacaustic</a>.</p>
<p>5) Draw 36 equally spaced points on a circle numbered 0 to 35, and draw a line between each point n and the point 2n modulo 36.  You&#8217;ll see a cardioid, approximately:</p>
<div align="center"><a href="http://xahlee.info/SpecialPlaneCurves_dir/Cardioid_dir/cardioid.html"><img src="https://i2.wp.com/math.ucr.edu/home/baez/mathematical/cardioid_as_envelope.png" /></a></div>
<p>But there&#8217;s nothing special about the number 36.  If you take more evenly spaced points, you get a better approximation to a cardioid.  You get a perfect cardioid if you connect each point (1, θ) to the point (1, 2θ) with a line, and take the envelope of these lines.  </p>
<p>6) Finally, here&#8217;s how to draw a cardioid starting with a cardioid!  Draw all the <a href="http://en.wikipedia.org/wiki/Osculating_circle"><b>osculating circles</b></a> of the cardioid&#8212;that is, circles match the cardioid&#8217;s curvature as well as its slope at the points they touch. The centers of these circles give another cardioid:</p>
<div align="center"><a href="http://xahlee.info/SpecialPlaneCurves_dir/Cardioid_dir/cardioid.html"><img src="https://i0.wp.com/math.ucr.edu/home/baez/mathematical/cardioid_as_evolute.png" /></a></div>
<p>This picture has some distracting lines on it; just look at the big and the little cardioid, and the circles.  This trick is an example of an &#8216;evolute&#8217;.  The <a href="http://en.wikipedia.org/wiki/Evolute"><b>evolute</b></a> of a curve is the set of centers of the osculating circles of that curve.  </p>
<p>All the pictures above are from <a href="http://xahlee.info/SpecialPlaneCurves_dir/Cardioid_dir/cardioid.html">Xah Lee&#8217;s wonderful website</a> or the <a href="http://en.wikipedia.org/wiki/Cardioid">Wikipedia article on cardioids</a>.  Click on the picture to see where it came from and get more information.</p>
<p>I ❤ cardioids!</p>
<p>Next time we&#8217;ll see what happens when we roll a circle inside a circle that&#8217;s <i>exactly twice as big</i>.</p>
<h3> Constructions on curves </h3>
<p>We&#8217;ve seen a few constructions on curves:</p>
<p>&bull; A <a href="http://en.wikipedia.org/wiki/Roulette_%28curve%29"><b>roulette</b></a> is the curve traced out by a point attached to a given curve as it rolls without slipping along a second curve.  </p>
<p>We rolled a circle on a circle and got a cardioid, but you could roll a parabola on another parabola:</p>
<div align="center"><a href="http://en.wikipedia.org/wiki/Roulette_%28curve%29"><img src="https://i1.wp.com/upload.wikimedia.org/wikipedia/commons/d/d8/RouletteAnim.gif" /></a></div>
<p>This gives a curve called the <a href="http://en.wikipedia.org/wiki/Cissoid_of_Diocles"><b>cissoid of Diocles</b></a>, which in some coordinate system (not the one shown) is given by this cubic equation:</p>
<p><img src='https://s0.wp.com/latex.php?latex=%28x%5E2%2By%5E2%29x%3D2ay%5E2+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='(x^2+y^2)x=2ay^2 ' title='(x^2+y^2)x=2ay^2 ' class='latex' /></p>
<p>&bull;  A <a href="http://mathworld.wolfram.com/Catacaustic.html"><b>catacaustic</b></a> is the envelope of rays emanating from a specified point (perhaps a point at infinite distance, which produces parallel rays) and reflecting off a given curve.  </p>
<p>We&#8217;ve obtained the cardioid as a catacaustic of the circle.   Supposedly if you take the cissoid of Diocles and form its catacaustic using rays emanating from its &#8216;focus&#8217;, you get a cardioid!  This would be a seventh way to get a cardioid, but I don&#8217;t understand it, even though it&#8217;s described on <a href="http://mathworld.wolfram.com/CissoidofDioclesCatacaustic.html">Wolfram Mathworld</a>.  I don&#8217;t even know what the &#8216;focus&#8217; of a cissoid of Diocles is. Can you help?</p>
<p>&bull; The <a href="http://en.wikipedia.org/wiki/Evolute"><b>evolute</b></a> of a curve is the curve formed by the centers of its tangent circles.  </p>
<p>We&#8217;ve seen that the cardioid is its own evolute.   The evolute of an ellipse looks like this:</p>
<div align="center"><a href="http://en.wikipedia.org/wiki/Evolute"><img src="https://i0.wp.com/upload.wikimedia.org/wikipedia/commons/thumb/9/92/Ellipse_evolute.svg/300px-Ellipse_evolute.svg.png" /></a></div>
<p>It&#8217;s called an <a href="http://en.wikipedia.org/wiki/Astroid"><b>astroid</b></a>, and it&#8217;s given by an equation of this form:</p>
<p><img src='https://s0.wp.com/latex.php?latex=a+x%5E%7B2%2F3%7D+%2B+b+y%5E%7B2%2F3%7D+%3D+1&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='a x^{2/3} + b y^{2/3} = 1' title='a x^{2/3} + b y^{2/3} = 1' class='latex' /></p>
<p>If you take the tangent circles of the black points on the ellipse above, their centers are the sharp pointy &#8216;cusps&#8217; of the astroid.</p>
<h3> Order from chaos? </h3>
<p>Some other famous ways to construct new curves from old ones include the <a href="http://en.wikipedia.org/wiki/Involute">involute</a>, the <a href="http://en.wikipedia.org/wiki/Isoptic">isoptic</a>, and the <a href="http://en.wikipedia.org/wiki/Pedal_curve">pedal</a>. I could describe them&#8230; but I won&#8217;t.   You get the picture: there&#8217;s a zoo of curves and constructions on curves, and lots of relations between these constructions.   It&#8217;s all very beautiful, but also a bit of a mess.</p>
<p>It seems that all these constructions, and their relations, should be studied more systematically in algebraic geometry.  It may seem like a somewhat musty and old-fashioned branch of algebraic geometry, but surely there&#8217;s a way to make it new and fresh using modern math.  Has someone done this?</p>
]]></html><thumbnail_url><![CDATA[https://i1.wp.com/math.ucr.edu/home/baez/mathematical/cardioid_animation.gif?fit=440%2C330]]></thumbnail_url><thumbnail_height><![CDATA[300]]></thumbnail_height><thumbnail_width><![CDATA[300]]></thumbnail_width></oembed>