{"id":2629,"date":"2026-03-01T00:01:51","date_gmt":"2026-03-01T05:01:51","guid":{"rendered":"https:\/\/mathvoices.ams.org\/featurecolumn\/?p=2629"},"modified":"2026-03-23T12:29:57","modified_gmt":"2026-03-23T16:29:57","slug":"how-to-untwist-your-fractions","status":"publish","type":"post","link":"https:\/\/mathvoices.ams.org\/featurecolumn\/2026\/03\/01\/how-to-untwist-your-fractions\/","title":{"rendered":"How to Untwist Your Fractions"},"content":{"rendered":"<p><span id=\"pullQuote\"><em>You could pick up the torus and rotate it horizontally, as though you are taking the lid off of a jar of peanut butter&#8230;<\/em><\/span><\/p>\n<h1 class=\"headlineText\">How to Untwist Your Fractions<\/h1>\n<p><b>Diana Davis<br \/>\nPhillips Exeter Academy<br \/>\n<\/b><\/p>\n<h2>A string around a bagel<\/h2>\n<p>Here&#8217;s the problem: your bagel has a torus knot wrapped around it, and you need to untwist it to get it off. How best to do it? The short answer is <I>the Euclidean algorithm<\/I>. The longer answer is a tour of beautiful mathematics combining geometry, dynamical systems, and group theory. Let&#8217;s get to it!<\/p>\n<p>First, we&#8217;ve got this string around this bagel. Let&#8217;s suppose that it wraps 12 times through the center hole and goes 5 times around the equator: it&#8217;s the $(12, 5)$ <I>torus knot<\/I>. I chose 12 and 5 because May 12 is Maryam Mirzakhani&#8217;s birthday. <\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/12-5-sketch.png?w=300&#038;ssl=1\" alt=\"A torus with a string that wraps 12 times through the center hole and goes 5 times around the equator\"  \/>\n<\/div>\n<p>Since we started with the $(12, 5)$ torus knot, the slope of the path is $12\/5$. Our goal is to untwist this path until it has slope 0. <\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/12-5-0.png?w=600&#038;ssl=1\" alt=\"An arrow shows that an untwist leads to a torus with a single loop around the equator\"  \/>\n<\/div>\n<h2>The answer<\/h2>\n<p>The answer is to first untwist the bagel twice vertically, then twice horizontally, then twice vertically. Ta-da!<\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/untwist.png?w=600&#038;ssl=1\" alt=\"The arrows show a multi-step process of untwisting\"  \/>\n<\/div>\n<p>How did we know this, and what is going on here? Read on.<\/p>\n<h2>Our tools<\/h2>\n<h3>The Euclidean algorithm<\/h3>\n<p>Suppose you have two positive integers, and you want to know their greatest common divisor (GCD). The best way to find it is to use the <I>Euclidean algorithm<\/I>:<\/p>\n<ul>\n<li> Subtract the smaller number from the larger number.\n<li> Repeat until the two numbers match.\n<li> Ta-da! That&#8217;s the GCD.\n<\/ul>\n<p><I>Example.<\/I> Bryna Kra is the most recent past president of the AMS, and her birthday is October 6. To find the GCD of 10 and 6:<\/p>\n<ul>\n<li> (10, 6) &mdash; 6 is smaller, so subtract 6 from 10\n<li> (4, 6) &mdash; 4 is smaller, so subtract 4 from 6\n<li> (4, 2) &mdash; 2 is smaller, so subtract 2 from 4\n<li> (2, 2) &mdash; Ta-da! The GCD of 10 and 6 is 2.\n<\/ul>\n<p>People love the Euclidean algorithm because it is fast and efficient. Many people make it even more efficient by subtracting off <I>every<\/I> multiple of the smaller number at once, but for our purposes, we&#8217;ll subtract them off one at a time.<\/p>\n<p><I>Question for you to ponder.<\/I> Given a birthday, what is the probability that the GCD of the month and day is 1?<\/p>\n<h3>Twists of the torus<\/h3>\n<p>The &#8220;twists&#8221; that we will work with are automorphisms of the square torus surface: symmetries that preserve its structure, and take nearby points to nearby points. Rotations are easy examples of such automorphisms: you could pick up the torus and rotate it horizontally, as though you are taking the lid off of a jar of peanut butter, or you could rotate it through the hole, as though you are trying to fix a balled-up sock on your leg. But rotations are <I>not<\/I> the automorphisms that we will use. The automorphisms that we will use are <I>twists<\/I>, which also come in horizontal and vertical types.<\/p>\n<p>Let&#8217;s start with the vertical twist. First, you chop the surface with a cut in a vertical plane, as though the torus is a tasty donut that you are going to share with your friend. Leaving one side where it is, you grab the other side, and give it one full twist. Finally, you stick the two sides back together. (Whoops! You&#8217;re not sharing with your friend after all.) Twisting it exactly one full rotation glues nearby points right back together again, exactly how they were before the twist, so that this is an automorphism of the surface.<\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/v.png?w=300&#038;ssl=1\" alt=\"A donut chopped along the vertical plane with arrows indicating the direction to twist\"  \/>\n<\/div>\n<p>What is the effect of the vertical twist on the torus knot? In this case, it transforms the $(12, 5)$ knot into the $(7, 5)$ knot. <\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/12-5-to-7-5-2.png?w=600&#038;ssl=1\" alt=\"Untwisting a knot vertically\"  \/>\n<\/div>\n<p>Note that we could have twisted it in the other direction, which would make our trajectory more complicated instead of simpler. That twist would transform the $(12, 5)$ knot to the $(17, 5)$ knot.<\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/12-5-to-17-5-1.png?w=1080&#038;ssl=1\" alt=\"Twisting a knot more, vertically\"  \/>\n<\/div>\n<p><b>Claim.<\/b> Assuming that <b>$p &gt; q$<\/b>, the simplifying vertical twist as described above takes the $(p, q)$ torus knot to the $(p-q, q)$ torus knot.<\/p>\n<p><I>Proof.<\/I> The $(p, q)$ torus knot passes through the hole $p$ times. When you slice it open, there are $q$ intersections with the slice. You untwist this once, and each of these intersections backs out of its passing through the hole, so the resulting trajectory passes through the hole only $p-q$ times. Since you only twisted vertically, the horizontal trips around the equator are not affected, and stay at $q$.<\/p>\n<p>Now let&#8217;s do the horizontal twist. For this one, you use a sharp knife to open the surface around its equator, as though you are thinking about cutting your bagel in half and adding cream cheese but you are not willing to commit. Leaving the bottom where it is, you grab the top, and untwist it as though you are opening a jar of peanut butter. You give the top a full twist, and stick the two parts back together. (Nope, no cream cheese today.) As above, doing exactly one twist ensures nearby points are stuck back together, so this is an automorphism.<\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/h.png?w=300&#038;ssl=1\" alt=\"Slicing a knot horizontally, then twisting.\"  \/>\n<\/div>\n<p>What is the effect of the horizontal twist on the torus knot? It transforms the $(2, 5)$ torus knot to the $(2, 3)$ torus knot. <\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/2-5-to-2-3.png?w=600&#038;ssl=1\" alt=\"Simplifying via a horizontal twist\"  \/>\n<\/div>\n<p>Note again that we could have twisted it in the other direction, which would make our trajectory more complicated instead of simpler. That twist would transform the $(2, 5)$ knot to the $(7, 5)$ knot.<\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/2-5-to-7-5.png?w=1080&#038;ssl=1\" alt=\"More complicated knot via horizontal twist\"  \/>\n<\/div>\n<p><b>Claim.<\/b> Assuming that <b>$p &lt; q$<\/b>, the simplifying horizontal twist as described above takes the $(p, q)$ torus knot to the $(p, q-p)$ torus knot.<\/p>\n<p><I>Proof.<\/I> Analogous to the previous proof, but with the roles of vertical and horizontal switched.<\/p>\n<h2>Making your fractions simpler<\/h2>\n<p>Now here is the connection to the Euclidean algorithm. We begin with the $(12, 5)$ torus knot. Since $p &gt; q$, we will apply the vertical twist, transforming the $(12, 5)$ knot to the $(7, 5)$ knot:<\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/12-5-7-5.png?w=1080&#038;ssl=1\" alt=\"vertical twist\" \/>\n<\/div>\n<p>Since $p &gt; q$ is still true, we apply the vertical twist again, transforming $(7, 5)$ to $(2, 5)$:<\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/7-5-2-5.png?w=1080&#038;ssl=1\" alt=\"vertical twist\" \/>\n<\/div>\n<p>Now we have $p &lt; q$, so we apply the horizontal twist. The horizontal twist transforms the $(2, 5)$ knot to the $(2, 3)$ knot:<\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/2-5-2-3.png?w=1080&#038;ssl=1\" alt=\"horizontal twist\" \/>\n<\/div>\n<p>Since it is still true that $p &lt; q$, we apply the horizontal twist again, transforming $(2, 3)$ to $(2, 1)$:<\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/2-3-2-1.png?w=1080&#038;ssl=1\" alt=\"horizontal twist\" \/>\n<\/div>\n<p>Now p &gt; q, so we apply the vertical twist twice, taking $(2, 1)$ to $(1, 1)$ to $(0, 1)$:<\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/2-1-1-1-0-1.png?w=1080&#038;ssl=1\" alt=\"two vertical twists\" \/>\n<\/div>\n<p>Ta-da! The equator of our dreams. Finally, we have untwisted our beautiful $(12, 5)$ torus knot trajectory to the most basic, boring trajectory: an equator. We are proud.<\/p>\n<h2>Going the other direction<\/h2>\n<p>Suppose you want to make a beautiful present for Ingrid Daubechies. Since her birthday is on August 17, naturally you want to give her a torus with the $(17, 8)$ torus knot wrapped around it. Right now, your torus has a basic, boring equator trajectory. What twists should you apply to get the desired knot?<\/p>\n<p>Well, applying the Euclidean algorithm, we have:<br \/>\n$$(17, 8) \\xrightarrow{V} (9, 8) \\xrightarrow{V} (1, 8) \\xrightarrow{H} (1, 7) \\xrightarrow{H} (1, 6) \\xrightarrow{H} \\cdots \\xrightarrow{H} (1, 1) \\xrightarrow{V} (0, 1).$$<br \/>\nHere an arrow with a V indicates a vertical twist, while an arrow with an H indicates a horizontal twist. We see that to go from $(17, 8)$ down to $(0, 1)$, we apply the transformations $VVHHHHHHHV = V^2 H^6 V$. <\/p>\n<p>Therefore, to twist up the equator into Ingrid Daubechies&#8217;s birthday trajectory, we should apply the transformations in the opposite order: $V H^6 V^2$. (Note that when we are simplifying the trajectory, we use the untwisting direction, and when we are twisting it up, we use the twisting direction of each automorphism.)<\/p>\n<p>Let&#8217;s do it! In a picture:<\/p>\n<div align=\"center\">\n<img data-recalc-dims=\"1\" decoding=\"async\" src=\"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2026\/03\/spiral.png?w=1080&#038;ssl=1\" alt=\"a spiral of different twists shows the equator becoming a complicated knot\" \/>\n<\/div>\n<p>Happy birthday, Ingrid Daubechies!<\/p>\n<h2>Create your own<\/h2>\n<p>Do you have a birthday coming up? Need a gift for that special someone? Here are the Desmos 3D functions that I used to create the pictures in this article: <a href=\"https:\/\/www.desmos.com\/3d\/edfuibmas4\">https:\/\/www.desmos.com\/3d\/edfuibmas4<\/a>.<\/p>\n<h2>More mathematics<\/h2>\n<p>These ideas come out of a problem-based book I recently published with the AMS, called <a href=\"https:\/\/bookstore.ams.org\/view?ProductCode=STML\/109\"><I>Billiards, Surfaces, and Geometry<\/I><\/a>. I purposefully gave a different presentation of the ideas here than what I did in the book, so that students searching for solutions won&#8217;t be able to copy things down exactly. The first two chapters of the book develop a &#8220;Grand Unifying Theory&#8221; that unites billiard paths in the square billiard table and the list of sides that the billiard ball hits, automorphisms of the torus, and continued fractions. The ideas discussed in this article are part of that grand theory. If you liked this, check that out for a great deal more, and the opportunity to figure it out yourself.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>You could pick up the torus and rotate it horizontally, as though you are taking the lid off of a jar of peanut butter&#8230; How to Untwist Your Fractions Diana Davis Phillips Exeter Academy A string around a bagel Here&#8217;s the problem: your bagel has a torus knot wrapped around<span class=\"more-link\"><a href=\"https:\/\/mathvoices.ams.org\/featurecolumn\/2026\/03\/01\/how-to-untwist-your-fractions\/\">Read More &rarr;<\/a><\/span><\/p>\n","protected":false},"author":2,"featured_media":2037,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[213,6,218,114],"tags":[220,219],"class_list":["entry","author-uwhitcher","post-2629","post","type-post","status-publish","format-standard","has-post-thumbnail","category-213","category-algebra-and-number-theory","category-diana-davis","category-geometry-and-topology","tag-euclidean-algorithm","tag-knots"],"jetpack_featured_media_url":"https:\/\/i0.wp.com\/mathvoices.ams.org\/featurecolumn\/wp-content\/uploads\/sites\/2\/2024\/07\/cropped-FC1380x500x2.png?fit=1380%2C288&ssl=1","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts\/2629","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/comments?post=2629"}],"version-history":[{"count":17,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts\/2629\/revisions"}],"predecessor-version":[{"id":2697,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/posts\/2629\/revisions\/2697"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/media\/2037"}],"wp:attachment":[{"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/media?parent=2629"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/categories?post=2629"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-json\/wp\/v2\/tags?post=2629"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}