{"id":209,"date":"2012-07-28T00:38:17","date_gmt":"2012-07-28T00:38:17","guid":{"rendered":"http:\/\/alexboisvert.com\/musings\/?p=209"},"modified":"2012-07-28T16:40:43","modified_gmt":"2012-07-28T16:40:43","slug":"a-little-math-result","status":"publish","type":"post","link":"https:\/\/alexboisvert.com\/musings\/2012\/07\/28\/a-little-math-result\/","title":{"rendered":"A little math result"},"content":{"rendered":"<p>[latexpage]<br \/>\nI stumbled across a result yesterday that I thought was really cool.  I went to check the googles to find out if it was a very well-known result, but I couldn&#8217;t find it proved anywhere, so I thought I&#8217;d show it here.<\/p>\n<p>If you are afraid of math, this is your cue to exit.  See you at my next post!<\/p>\n<p><!--more--><\/p>\n<p>You all know the Fibonacci sequence, right?  The one where each member is the sum of the two that came before it?  It starts out like this:<br \/>\n\\[F_0=0,F_1=1,F_2=1,F_3=2,F_4=3\\ldots\\]<br \/>\nWell, with that definition in mind, here&#8217;s the result.<br \/>\n\\[\\sum_{k=0}^{\\infty}\\frac{F_k}{2^k}=2\\]<br \/>\nFirst of all &#8230; pretty cool, right?  Who knew that series would even converge?*  But I like the proof even better.<\/p>\n<p>*UPDATE: <a href=\"https:\/\/twitter.com\/joonpahk\/status\/229062002545393665\">Joon points out that<\/a> since the ratio of successive Fibonacci terms tends to <a href=\"http:\/\/en.wikipedia.org\/wiki\/Golden_ratio\">the golden ratio<\/a> \\(\\phi\\) in the limit, then this series must converge by the ratio test (as \\(\\phi\/2 < 1\\))\n\n<strong>Proof:<\/strong> Consider an experiment in which you flip a coin until you get consecutive heads, at which point you stop.  Let X be the random variable denoting the number of flips it takes to get those consecutive heads.  Let&#8217;s try to find its probability mass function.<\/p>\n<p>Let&#8217;s start with Pr(X=2).  This is pretty clearly 1\/4 &#8212; out of the four possibilities, only one contains consecutive heads.<\/p>\n<p>How about Pr(X=3)?  Well, we know that the last two will have to be the last two from the X=2 case (i.e. HH).  What letters can go in front?  Well, only T &#8212; if it were H, then we would have gotten to consecutive heads sooner.  So there&#8217;s only one possibility here &#8212; THH.  Hence our probability is 1\/8.<\/p>\n<p>Pr(X=4)?  Again, the last three letters have to be THH.  What can go in front?  Since our first letter is a T, either letter can go in front.  So we can have either HTHH or TTHH.  Hence the probability is 2\/16, or 1\/8 (again).<\/p>\n<p>Okay, okay, last one before we try to find a pattern.  Pr(X=5)!  The last four flips have to be HTHH or TTHH.  What can go in front of the H?  Only T.  What can go in front of the T?  Well, T or H.  So there are 3 possibilities here and our probability is 3\/32.<\/p>\n<p>All right, you ready?  Pr(X=k).  Well, we know the denominator will be \\(2^k\\).  So let&#8217;s just figure out the numerator &#8212; i.e. the total number of possibilities we have.  <em>As before, we know how many options there are for the k-1 case (let&#8217;s call it M).  For each of those options, we can put a tail in front of it, so we have at least M possibilities<\/em>.  But we can also put a head in front of any options that start with a tail.  How many of those are there?  Well, by the logic just described above (in italics), that would be the total number of options for the k-2 case!  Let&#8217;s call that number N.  Therefore we have M+N possibilities, i.e. the number of options for the k-1 case plus the number of options for the k-2 case!  Sound familiar?<\/p>\n<p>We&#8217;ve looked at the k=2 and k=3 case and we know that both of those have exactly one possibility.  So by induction, the number of possibilities for the k=N case is \\(F_{N-1}\\), and so<br \/>\n\\[Pr(X=k)=\\frac{F_{k-1}}{2^k}\\]<br \/>\nWell, now we&#8217;re done; probabilities must add to one, so we must have<br \/>\n\\[2=2*1=2*\\sum_{k=2}^{\\infty}\\frac{F_{k-1}}{2^k} = \\sum_{k=2}^{\\infty}\\frac{F_{k-1}}{2^{k-1}}=\\sum_{k=0}^{\\infty}\\frac{F_{k}}{2^{k}}\\]<br \/>\nNot bad, right?<\/p>\n<p>BONUS HOMEWORK PROBLEM!  Show that<br \/>\n\\[\\sum_{k=N}^{\\infty}\\frac{F_{k}}{2^{k}}=\\frac{F_{N+2}}{2^{N-1}}\\]<br \/>\nfor any N >= 1.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>[latexpage] I stumbled across a result yesterday that I thought was really cool. I went to check the googles to find out if it was a very well-known result, but I couldn&#8217;t find it proved anywhere, so I thought I&#8217;d &hellip; <a href=\"https:\/\/alexboisvert.com\/musings\/2012\/07\/28\/a-little-math-result\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9],"tags":[],"class_list":["post-209","post","type-post","status-publish","format-standard","hentry","category-math"],"_links":{"self":[{"href":"https:\/\/alexboisvert.com\/musings\/wp-json\/wp\/v2\/posts\/209","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/alexboisvert.com\/musings\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/alexboisvert.com\/musings\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/alexboisvert.com\/musings\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/alexboisvert.com\/musings\/wp-json\/wp\/v2\/comments?post=209"}],"version-history":[{"count":17,"href":"https:\/\/alexboisvert.com\/musings\/wp-json\/wp\/v2\/posts\/209\/revisions"}],"predecessor-version":[{"id":227,"href":"https:\/\/alexboisvert.com\/musings\/wp-json\/wp\/v2\/posts\/209\/revisions\/227"}],"wp:attachment":[{"href":"https:\/\/alexboisvert.com\/musings\/wp-json\/wp\/v2\/media?parent=209"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/alexboisvert.com\/musings\/wp-json\/wp\/v2\/categories?post=209"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/alexboisvert.com\/musings\/wp-json\/wp\/v2\/tags?post=209"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}