<?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[42]]></title><type><![CDATA[link]]></type><html><![CDATA[<p>In <i>The Hitchhiker&#8217;s Guide to the Galaxy</i> by Douglas Adams, the number 42 is the &#8220;Answer to the Ultimate Question of Life, the Universe, and Everything&#8221;.  But he didn&#8217;t say what the question was!</p>
<p>Since today is <a href="http://towelday.org/">Towel Day</a>, let me reveal that now.</p>
<p>If you try to get several regular polygons to meet snugly at a point in the plane, what&#8217;s the most sides any of the polygons can have? The answer is 42.</p>
<div align="center">
<a href="http://en.wikipedia.org/wiki/Tiling_by_regular_polygons#Combinations_of_regular_polygons_that_can_meet_at_a_vertex"><br />
<img width="450" src="https://i2.wp.com/math.ucr.edu/home/baez/mathematical/3.7.42_vertex.jpg" /><br />
</a>
</div>
<p>The picture shows an equilateral triangle, a regular heptagon and a regular 42-gon meeting snugly at a point.  If you do the math, you&#8217;ll see the reason this works is that</p>
<div align="center"><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B++%5Cfrac%7B1%7D%7B3%7D+%2B+%5Cfrac%7B1%7D%7B7%7D+%2B+%5Cfrac%7B1%7D%7B42%7D+%3D+%5Cfrac%7B1%7D%7B2%7D+%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{  &#92;frac{1}{3} + &#92;frac{1}{7} + &#92;frac{1}{42} = &#92;frac{1}{2} }  ' title='&#92;displaystyle{  &#92;frac{1}{3} + &#92;frac{1}{7} + &#92;frac{1}{42} = &#92;frac{1}{2} }  ' class='latex' /> </div>
<p>There are actually <a href="http://en.wikipedia.org/wiki/Tiling_by_regular_polygons#Combinations_of_regular_polygons_that_can_meet_at_a_vertex">10 solutions</a> of</p>
<div align="center"><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B1%7D%7Bp%7D+%2B+%5Cfrac%7B1%7D%7Bq%7D+%2B+%5Cfrac%7B1%7D%7Br%7D++%3D+%5Cfrac%7B1%7D%7B2%7D+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;frac{1}{p} + &#92;frac{1}{q} + &#92;frac{1}{r}  = &#92;frac{1}{2} } ' title='&#92;displaystyle{ &#92;frac{1}{p} + &#92;frac{1}{q} + &#92;frac{1}{r}  = &#92;frac{1}{2} } ' class='latex' /> </div>
<p>with <img src='https://s0.wp.com/latex.php?latex=p+%5Cle+q+%5Cle+r%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p &#92;le q &#92;le r,' title='p &#92;le q &#92;le r,' class='latex' /> and each of them gives a way for three regular polygons to snugly meet at a point.  But this particular solution features the biggest number possible!</p>
<p>But why is this so important?  Well, it turns out that if you look for natural numbers <img src='https://s0.wp.com/latex.php?latex=a%2C+b%2C+c+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='a, b, c ' title='a, b, c ' class='latex' /> that make</p>
<div align="center"><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+++%5Cfrac%7B1%7D%7Ba%7D+%2B+%5Cfrac%7B1%7D%7Bb%7D+%2B+%5Cfrac%7B1%7D%7Bc%7D+%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{   &#92;frac{1}{a} + &#92;frac{1}{b} + &#92;frac{1}{c} }  ' title='&#92;displaystyle{   &#92;frac{1}{a} + &#92;frac{1}{b} + &#92;frac{1}{c} }  ' class='latex' /> </div>
<p>as close to 1 as possible, while still less than 1, the very best you can do is <img src='https://s0.wp.com/latex.php?latex=1%2F2+%2B+1%2F3+%2B+1%2F7.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='1/2 + 1/3 + 1/7.' title='1/2 + 1/3 + 1/7.' class='latex' />  It comes within <img src='https://s0.wp.com/latex.php?latex=1%2F42&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='1/42' title='1/42' class='latex' /> of equalling 1, since</p>
<div align="center"><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B++%5Cfrac%7B1%7D%7B3%7D+%2B+%5Cfrac%7B1%7D%7B7%7D+%2B+%5Cfrac%7B1%7D%7B42%7D+%3D+%5Cfrac%7B1%7D%7B2%7D+%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{  &#92;frac{1}{3} + &#92;frac{1}{7} + &#92;frac{1}{42} = &#92;frac{1}{2} }  ' title='&#92;displaystyle{  &#92;frac{1}{3} + &#92;frac{1}{7} + &#92;frac{1}{42} = &#92;frac{1}{2} }  ' class='latex' /> </div>
<p>And why is <i>this</i> important?  Well, suppose you&#8217;re trying to make a doughnut with at least two holes that has the maximum number of symmetries.  More precisely, suppose you&#8217;re trying to make a Riemann surface with genus <img src='https://s0.wp.com/latex.php?latex=g+%5Cge+2+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='g &#92;ge 2 ' title='g &#92;ge 2 ' class='latex' /> that has the maximum number of symmetries.  Then you need to find a highly symmetrical tiling of the hyperbolic plane by triangles whose interior angles are <img src='https://s0.wp.com/latex.php?latex=%5Cpi%2Fa%2C+%5Cpi%2Fb+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;pi/a, &#92;pi/b ' title='&#92;pi/a, &#92;pi/b ' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=%5Cpi%2Fc+%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;pi/c ,' title='&#92;pi/c ,' class='latex' /> and you need</p>
<div align="center"><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B1%7D%7Ba%7D+%2B+%5Cfrac%7B1%7D%7Bb%7D+%2B+%5Cfrac%7B1%7D%7Bc%7D+%3C+1+%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;frac{1}{a} + &#92;frac{1}{b} + &#92;frac{1}{c} &lt; 1 }  ' title='&#92;displaystyle{ &#92;frac{1}{a} + &#92;frac{1}{b} + &#92;frac{1}{c} &lt; 1 }  ' class='latex' /> </div>
<p>for these triangles to fit on the hyperbolic plane.  </p>
<p>For example, if you take <img src='https://s0.wp.com/latex.php?latex=a+%3D+2%2C+b+%3D+3%2C+c+%3D+7+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='a = 2, b = 3, c = 7 ' title='a = 2, b = 3, c = 7 ' class='latex' /> you get this tiling:</p>
<div ALIGN="CENTER">
<img width="450" SRC="https://i1.wp.com/math.ucr.edu/home/baez/mathematical/(2,3,7)_tiling.png" />
</div>
<p>A <a href="http://math.ucr.edu/home/baez/klein.html#symmetrical">clever trick</a> then lets you  curl up the hyperbolic plane and get a Riemann surface with at most</p>
<div align="center"><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B2%28g-1%29%7D%7B1+-+%5Cfrac%7B1%7D%7Ba%7D+-+%5Cfrac%7B1%7D%7Bb%7D+-+%5Cfrac%7B1%7D%7Bc%7D%7D+%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;frac{2(g-1)}{1 - &#92;frac{1}{a} - &#92;frac{1}{b} - &#92;frac{1}{c}} }  ' title='&#92;displaystyle{ &#92;frac{2(g-1)}{1 - &#92;frac{1}{a} - &#92;frac{1}{b} - &#92;frac{1}{c}} }  ' class='latex' /> </div>
<p>symmetries.</p>
<p>So, to get as many symmetries as possible, you want to make <img src='https://s0.wp.com/latex.php?latex=1+-+%5Cfrac%7B1%7D%7Ba%7D+-+%5Cfrac%7B1%7D%7Bb%7D+-+%5Cfrac%7B1%7D%7Bc%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='1 - &#92;frac{1}{a} - &#92;frac{1}{b} - &#92;frac{1}{c}  ' title='1 - &#92;frac{1}{a} - &#92;frac{1}{b} - &#92;frac{1}{c}  ' class='latex' /> as small as possible!  And thanks to what I said, the best you can do is</p>
<div align="center"><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B++1+-+%5Cfrac%7B1%7D%7B2%7D+-+%5Cfrac%7B1%7D%7B3%7D+-+%5Cfrac%7B1%7D%7B7%7D+%3D+%5Cfrac%7B1%7D%7B42%7D+%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{  1 - &#92;frac{1}{2} - &#92;frac{1}{3} - &#92;frac{1}{7} = &#92;frac{1}{42} }  ' title='&#92;displaystyle{  1 - &#92;frac{1}{2} - &#92;frac{1}{3} - &#92;frac{1}{7} = &#92;frac{1}{42} }  ' class='latex' /> </div>
<p>So, your surface can have at most</p>
<div align="center"><img src='https://s0.wp.com/latex.php?latex=84%28g-1%29+++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='84(g-1)   ' title='84(g-1)   ' class='latex' /> </div>
<p>symmetries.  This is called <a href="http://en.wikipedia.org/wiki/Hurwitz%27s_automorphisms_theorem">Hurwitz&#8217;s automorphism theorem</a>.  The number 84 looks mysterious when you first see it &mdash; but it&#8217;s there because it&#8217;s twice 42.</p>
<p>In particular, the famous mathematician Felix Klein studied the most symmetrical doughnut with 3 holes.  It&#8217;s a really amazing thing, called <a href="http://math.ucr.edu/home/baez/klein.html">Klein&#8217;s quartic curve</a>:</p>
<div ALIGN="CENTER">
<img SRC="https://i1.wp.com/math.ucr.edu/home/baez/mathematical/KleinDual.png" />
</div>
<p>It has</p>
<div align="center"><img src='https://s0.wp.com/latex.php?latex=84+%5Ctimes+2+%3D+168+++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='84 &#92;times 2 = 168   ' title='84 &#92;times 2 = 168   ' class='latex' /> </div>
<p>symmetries. That number also looks mysterious when you first see it.  Of course it&#8217;s the number of hours in a week, but the <i>real</i> reason it&#8217;s there is because it&#8217;s four times 42.</p>
<p>If you carefully count the triangles in the picture above, you&#8217;ll get 56.  However, these triangles are equilateral, or at least they would be if we could embed Klein&#8217;s quartic curve in 3d space without distorting it.  If we drew all the smaller triangles whose interior angles are <img src='https://s0.wp.com/latex.php?latex=%5Cpi%2F2%2C+%5Cpi%2F3&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;pi/2, &#92;pi/3' title='&#92;pi/2, &#92;pi/3' class='latex' /> and <img src='https://s0.wp.com/latex.php?latex=%5Cpi%2F7%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;pi/7,' title='&#92;pi/7,' class='latex' /> each equilateral triangle would get subdivided into 6 smaller triangles, and there would be a total of <img src='https://s0.wp.com/latex.php?latex=6+%5Ctimes+56+%3D+336&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='6 &#92;times 56 = 336' title='6 &#92;times 56 = 336' class='latex' /> triangles.  But of course</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=336+%3D+8+%5Ctimes+42+++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='336 = 8 &#92;times 42   ' title='336 = 8 &#92;times 42   ' class='latex' />
</div>
<p>Half of these smaller triangles would be &#8216;left-handed&#8217; and half would be &#8216;right-handed&#8217;, and there&#8217;d be a symmetry sending a chosen triangle to any other triangle of the same handedness, for a total of</p>
<div align="center">
<img src='https://s0.wp.com/latex.php?latex=168+%3D+4+%5Ctimes+42+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='168 = 4 &#92;times 42 ' title='168 = 4 &#92;times 42 ' class='latex' />
</div>
<p>symmetries (that is, conformal transformations, not counting reflections).</p>
<p>But why is this stuff the answer to <i>the ultimate question of life, the universe, and everything?</i> I&#8217;m not sure, but I have a crazy theory.  Maybe all matter and forces are made of tiny little strings! As they move around, they trace out Riemann surfaces in spacetime. And when these surfaces are as symmetrical as possible, reaching the limit set by Hurwitz&#8217;s automorphism theorem, the size of their symmetry group is a multiple of 42, thanks to the math I just described.</p>
<h3>Puzzles</h3>
<p><b>Puzzle 1.</b> Consider solutions of</p>
<div align="center"><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B1%7D%7Bp%7D+%2B+%5Cfrac%7B1%7D%7Bq%7D+%2B+%5Cfrac%7B1%7D%7Br%7D++%3D++%5Cfrac%7B1%7D%7B2%7D+%7D+&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;frac{1}{p} + &#92;frac{1}{q} + &#92;frac{1}{r}  =  &#92;frac{1}{2} } ' title='&#92;displaystyle{ &#92;frac{1}{p} + &#92;frac{1}{q} + &#92;frac{1}{r}  =  &#92;frac{1}{2} } ' class='latex' /> </div>
<p>with positive integers <img src='https://s0.wp.com/latex.php?latex=p+%5Cle+q+%5Cle+r%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='p &#92;le q &#92;le r,' title='p &#92;le q &#92;le r,' class='latex' /> and show that the largest possible value of <img src='https://s0.wp.com/latex.php?latex=r&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='r' title='r' class='latex' /> is <img src='https://s0.wp.com/latex.php?latex=42.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='42.' title='42.' class='latex' /></p>
<p><b>Puzzle 2.</b> Consider solutions of </p>
<div align="center"><img src='https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B1%7D%7Ba%7D+%2B+%5Cfrac%7B1%7D%7Bb%7D+%2B+%5Cfrac%7B1%7D%7Bc%7D+%3C+1%7D++&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;displaystyle{ &#92;frac{1}{a} + &#92;frac{1}{b} + &#92;frac{1}{c} &lt; 1}  ' title='&#92;displaystyle{ &#92;frac{1}{a} + &#92;frac{1}{b} + &#92;frac{1}{c} &lt; 1}  ' class='latex' /> </div>
<p>with positive integers <img src='https://s0.wp.com/latex.php?latex=a%2C+b%2C+c%2C&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='a, b, c,' title='a, b, c,' class='latex' /> and show that the largest possible value of <img src='https://s0.wp.com/latex.php?latex=%5Cfrac%7B1%7D%7Ba%7D+%2B+%5Cfrac%7B1%7D%7Bb%7D+%2B+%5Cfrac%7B1%7D%7Bc%7D&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='&#92;frac{1}{a} + &#92;frac{1}{b} + &#92;frac{1}{c}' title='&#92;frac{1}{a} + &#92;frac{1}{b} + &#92;frac{1}{c}' class='latex' /> is <img src='https://s0.wp.com/latex.php?latex=1+-+%5Cfrac%7B1%7D%7B42%7D.&#038;bg=ffffff&#038;fg=000&#038;s=0' alt='1 - &#92;frac{1}{42}.' title='1 - &#92;frac{1}{42}.' class='latex' /></p>
<h3>Acknowledgments and references </h3>
<p>For more details, see my page on <a href="http://math.ucr.edu/home/baez/klein.html">Klein&#8217;s quartic curve</a>, and especially the section on <a href="klein.html#symmetrical"> incredibly symmetrical surfaces</a>.  Sums of reciprocals of natural numbers are called &#8216;Egyptian fractions&#8217;, and they have deep connections to geometry; for more on this see my article on <a href="https://johncarlosbaez.wordpress.com/2012/02/05/archimedean-tilings-and-egyptian-fractions/">Archimedean tilings and Egyptian fractions</a>.</p>
<p>The picture of a triangle, heptagon and 42-gon (also known as a tetracontakaidigon) was made by <a href="http://www.superliminal.com/geometry/tyler/Tyler.htm">Tyler</a>, and you can see all 17 ways to get 3 regular polygons to meet snugly at a vertex <a href="http://en.wikipedia.org/wiki/Tiling_by_regular_polygons#Combinations_of_regular_polygons_that_can_meet_at_a_vertex">on Wikipedia</a>.   Of these, only 11 can occur in a uniform  tiling of the plane.  The triangle, heptagon and 42-gon do <i>not</i> tile the plane, but you can see some charming attempts to do something with them on Kevin Jardine&#8217;s website <a href="http://gruze.org/tilings/3_7_42_shield">Imperfect Congruence</a>:</p>
<div align="center">
<a href="http://gruze.org/tilings/3_7_42_shield"><br />
<img width="450" src="https://i1.wp.com/gruze.org/tilings/images/fathauer/3.7.42.shield.tess.png" /></a></div>
<p>The picture of Klein&#8217;s quartic curve was made by <a href="http://gregegan.customer.netspace.net.au/SCIENCE/KleinQuartic/KleinQuartic.html">Greg Egan</a>, and you should also check out his page on <a href="http://www.gregegan.net/SCIENCE/KleinQuartic/KleinQuartic.html">Klein&#8217;s quartic curve</a>.</p>
<hr />
<i><br />
&#8220;Good Morning,&#8221; said Deep Thought at last.<br />
&#8220;Er&#8230;good morning, O Deep Thought&#8221; said Loonquawl nervously, &#8220;do you have&#8230;er, that is&#8230;&#8221;<br />
&#8220;An Answer for you?&#8221; interrupted Deep Thought majestically. &#8220;Yes, I have.&#8221;<br />
The two men shivered with expectancy. Their waiting had not been in vain.<br />
&#8220;There really is one?&#8221; breathed Phouchg.<br />
&#8220;There really is one,&#8221; confirmed Deep Thought.<br />
&#8220;To Everything? To the great Question of Life, the Universe and everything?&#8221;<br />
&#8220;Yes.&#8221;<br />
Both of the men had been trained for this moment, their lives had been a preparation for it, they had been selected at birth as those who would witness the answer, but even so they found themselves gasping and squirming like excited children.<br />
&#8220;And you&#8217;re ready to give it to us?&#8221; urged Loonsuawl.<br />
&#8220;I am.&#8221;<br />
&#8220;Now?&#8221;<br />
&#8220;Now,&#8221; said Deep Thought.<br />
They both licked their dry lips.<br />
&#8220;Though I don&#8217;t think,&#8221; added Deep Thought. &#8220;that you&#8217;re going to like it.&#8221;<br />
&#8220;Doesn&#8217;t matter!&#8221; said Phouchg. &#8220;We must know it! Now!&#8221;<br />
&#8220;Now?&#8221; inquired Deep Thought.<br />
&#8220;Yes! Now&#8230;&#8221;<br />
&#8220;All right,&#8221; said the computer, and settled into silence again. The two men fidgeted. The tension was unbearable.<br />
&#8220;You&#8217;re really not going to like it,&#8221; observed Deep Thought.<br />
&#8220;Tell us!&#8221;<br />
&#8220;All right,&#8221; said Deep Thought. &#8220;The Answer to the Great Question&#8230;&#8221;<br />
&#8220;Yes&#8230;!&#8221;<br />
&#8220;Of Life, the Universe and Everything&#8230;&#8221; said Deep Thought.<br />
&#8220;Yes&#8230;!&#8221;<br />
&#8220;Is&#8230;&#8221; said Deep Thought, and paused.<br />
&#8220;Yes&#8230;!&#8221;<br />
&#8220;Is&#8230;&#8221;<br />
&#8220;Yes&#8230;!!!&#8230;?&#8221;<br />
&#8220;Forty-two,&#8221; said Deep Thought, with infinite majesty and calm.</i> &#8211; Douglas Adams</p>
]]></html><thumbnail_url><![CDATA[https://i2.wp.com/math.ucr.edu/home/baez/mathematical/3.7.42_vertex.jpg?fit=440%2C330]]></thumbnail_url><thumbnail_height><![CDATA[330]]></thumbnail_height><thumbnail_width><![CDATA[384]]></thumbnail_width></oembed>