{"id":2490,"date":"2018-10-13T15:47:06","date_gmt":"2018-10-13T20:47:06","guid":{"rendered":"https:\/\/laurentlessard.com\/bookproofs\/?p=2490"},"modified":"2018-10-13T16:48:58","modified_gmt":"2018-10-13T21:48:58","slug":"tether-your-goat","status":"publish","type":"post","link":"https:\/\/laurentlessard.com\/bookproofs\/tether-your-goat\/","title":{"rendered":"Tether your goat!"},"content":{"rendered":"<p>A geometry problem from the <a href=\"https:\/\/fivethirtyeight.com\/features\/so-you-want-to-tether-your-goat-now-what\/\">Riddler blog<\/a>. Here it goes:<\/p>\n<blockquote><p>\nA farmer owns a circular field with radius R. If he ties up his goat to the fence that runs along the edge of the field, how long does the goat&#8217;s tether need to be so that the goat can graze on exactly half of the field, by area?\n<\/p><\/blockquote>\n<p>Here is my solution:<br \/>\n<a href=\"javascript:Solution('soln_tether_goat','toggle_tether_goat')\" id=\"toggle_tether_goat\">[Show Solution]<\/a><\/p>\n<div id=\"soln_tether_goat\" style=\"display: none\">\n<p>There are many ways to solve this problem, so I figured I would pick an unorthodox way: using calculus! Consider the diagram below. <\/p>\n<p><a href=\"https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius.png\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius.png\" alt=\"\" width=\"1355\" height=\"753\" class=\"aligncenter size-full wp-image-2491\" srcset=\"https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius.png 1355w, https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius-300x167.png 300w, https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius-768x427.png 768w, https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius-1024x569.png 1024w, https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius-1200x667.png 1200w\" sizes=\"auto, (max-width: 709px) 85vw, (max-width: 909px) 67vw, (max-width: 1362px) 62vw, 840px\" \/><\/a><\/p>\n<p>The circular field is centered at $O$. The goat is tethered at $C$ and the tether has length $r$. Let $B$ be the point diametrically opposed to $C$ and let $A$ be the farthest point along the perimeter that the goat can reach. Let $\\theta$ be the angle $BOA$, as shown. If $r$ changes a little bit, by some amount $dr$, then $\\theta$ will change by some amount $d\\theta$. Likewise, the fraction of the total area reachable by the goat will change by $dA$. Let&#8217;s calculate how these quantities are related.<\/p>\n<p>First, note that $dA$ is simply the area between the two circular arcs centered at $C$ and passing through $A$ and $A&#8217;$, respectively. We must also divide by the total area of the field in order to get a ratio. As $dr\\to 0$, we have:<br \/>\n\\[<br \/>\ndA = \\frac{\\tfrac{1}{2} \\theta\\, d(r^2)}{\\pi R^2}<br \/>\n\\]Our next task is to find out how $d\\theta$ is related to $d(r^2)$. Look at the triangle $OAC$. By the law of cosines, we have:<br \/>\n$r^2 = 2R^2(1 + \\cos(\\theta))$. Taking differentials, we obtain:<br \/>\n\\[<br \/>\nd(r^2) = -2R^2 \\sin(\\theta)\\,d\\theta<br \/>\n\\]Substituting back into our expression for $dA$, we obtain:<br \/>\n\\[<br \/>\ndA = -\\tfrac{1}{\\pi} \\theta\\,\\sin(\\theta)\\,d\\theta<br \/>\n\\]We can now integrate! Note that $A=1$ when $\\theta=0$. Therefore, we have:<br \/>\n\\begin{align}<br \/>\nA(\\theta) &#038;= 1 + \\int_{0}^\\theta \\tfrac{1}{\\pi} t\\, \\sin(t)\\,dt \\\\<br \/>\n&#038;= \\frac{\\pi + \\theta\\,\\cos(\\theta)-\\sin(\\theta)}{\\pi}<br \/>\n\\end{align}This tells us the ratio of areas as a function of $\\theta$. If we want this as a function of $r$ instead, we can use the law of cosines again to eliminate $\\theta$ and write $A$ as a function of $r$. This yields:<br \/>\n\\[<br \/>\nA(\\rho) = 1+\\frac{\\left(\\frac{\\rho ^2}{2}-1\\right) \\cos ^{-1}\\left(\\frac{\\rho ^2}{2}-1\\right)}{\\pi }-\\frac{\\rho  \\sqrt{4-\\rho ^2}}{2\\pi}<br \/>\n\\]where I made the substitution $\\rho := r\/R$. We can plot this quantity as a function of $\\rho$, and we get:<\/p>\n<p><a href=\"https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_plot.png\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_plot.png\" alt=\"\" width=\"1161\" height=\"786\" class=\"aligncenter size-full wp-image-2494\" srcset=\"https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_plot.png 1161w, https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_plot-300x203.png 300w, https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_plot-768x520.png 768w, https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_plot-1024x693.png 1024w\" sizes=\"auto, (max-width: 709px) 85vw, (max-width: 909px) 67vw, (max-width: 1362px) 62vw, 840px\" \/><\/a><\/p>\n<p>As we might expect, when $r=0$, $A=0$. And the area ratio grows monotonically with $r$ until we reach $r=2R$, at which point the goat can reach the farthest point (which is point $B$) and therefore can reach the entire field. There is no closed-form expression for the exact tether length that leads to a particular area ratio, since that would require solving the above $A(\\rho)$ for $\\rho$. However, we can easily solve the equation numerically. Doing so, we obtain:<\/p>\n<p style=\"text-align: center;\"><span style=\"background-color: #AFC8E6; padding: 25px 10px 25px 10px;\">$\\displaystyle<br \/>\n\\frac{\\text{length of tether}}{\\text{radius of field}} \\approx 1.15873<br \/>\n$<\/span><\/p>\n<p>Finally, here is a diagram of what the field and tether look like when the area ratio is exactly 1\/2.<\/p>\n<p><a href=\"https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_final.png\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_final.png\" alt=\"\" width=\"1047\" height=\"992\" class=\"aligncenter size-full wp-image-2497\" srcset=\"https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_final.png 1047w, https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_final-300x284.png 300w, https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_final-768x728.png 768w, https:\/\/laurentlessard.com\/bookproofs\/wp-content\/uploads\/2018\/10\/goat_radius_final-1024x970.png 1024w\" sizes=\"auto, (max-width: 709px) 85vw, (max-width: 909px) 67vw, (max-width: 1362px) 62vw, 840px\" \/><\/a><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>A geometry problem from the Riddler blog. Here it goes: A farmer owns a circular field with radius R. If he ties up his goat to the fence that runs along the edge of the field, how long does the goat&#8217;s tether need to be so that the goat can graze on exactly half of &hellip; <a href=\"https:\/\/laurentlessard.com\/bookproofs\/tether-your-goat\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Tether your goat!&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":2494,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"om_disable_all_campaigns":false,"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"_uf_show_specific_survey":0,"_uf_disable_surveys":false,"footnotes":""},"categories":[7],"tags":[28,10,2],"class_list":["post-2490","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-riddler","tag-calculus","tag-geometry","tag-riddler"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/laurentlessard.com\/bookproofs\/wp-json\/wp\/v2\/posts\/2490","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/laurentlessard.com\/bookproofs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/laurentlessard.com\/bookproofs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/laurentlessard.com\/bookproofs\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/laurentlessard.com\/bookproofs\/wp-json\/wp\/v2\/comments?post=2490"}],"version-history":[{"count":5,"href":"https:\/\/laurentlessard.com\/bookproofs\/wp-json\/wp\/v2\/posts\/2490\/revisions"}],"predecessor-version":[{"id":2498,"href":"https:\/\/laurentlessard.com\/bookproofs\/wp-json\/wp\/v2\/posts\/2490\/revisions\/2498"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/laurentlessard.com\/bookproofs\/wp-json\/wp\/v2\/media\/2494"}],"wp:attachment":[{"href":"https:\/\/laurentlessard.com\/bookproofs\/wp-json\/wp\/v2\/media?parent=2490"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/laurentlessard.com\/bookproofs\/wp-json\/wp\/v2\/categories?post=2490"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/laurentlessard.com\/bookproofs\/wp-json\/wp\/v2\/tags?post=2490"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}