<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Fibonacci &#8211; Mathemafrica</title>
	<atom:link href="http://www.mathemafrica.org/?feed=rss2&#038;tag=fibonacci" rel="self" type="application/rss+xml" />
	<link>http://www.mathemafrica.org</link>
	<description>All about maths in Africa</description>
	<lastBuildDate>Mon, 20 Apr 2020 06:44:50 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>https://wordpress.org/?v=4.4.2</generator>
	<item>
		<title>Finding Fibonacci, by Keith Devlin &#8211; a review</title>
		<link>http://www.mathemafrica.org/?p=13424</link>
		<comments>http://www.mathemafrica.org/?p=13424#comments</comments>
		<pubDate>Fri, 28 Apr 2017 08:40:45 +0000</pubDate>
		<dc:creator><![CDATA[Jonathan Shock]]></dc:creator>
				<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[book]]></category>
		<category><![CDATA[Devlin]]></category>
		<category><![CDATA[Fibonacci]]></category>
		<category><![CDATA[Review]]></category>

		<guid isPermaLink="false">http://www.mathemafrica.org/?p=13424</guid>
		<description><![CDATA[<p><a href="http://press.princeton.edu/titles/10950.html">This book </a>was sent to me by the publisher as a review copy.</p>
<p><img class="alignnone" src="http://i0.wp.com/press.princeton.edu/images/j10950.gif?resize=160%2C247" alt="" data-recalc-dims="1" /></p>
<p>I have a terrible admission to make. I came to this book with a paltry knowledge of Fibonacci (Leonardo of Pisa). The knowledge that I thought that I had was quickly shown in fact to be incorrect, so I was largely starting with a blank slate (Fibonacci did not discover the Fibonacci sequence, nor would he be terribly happy to know that in the popular psyche, this is what he is famous for).</p>
<p>In fact, this book is not really about Fibonacci (<a href="https://www.amazon.com/Man-Numbers-Fibonaccis-Arithmetic-Revolution/dp/0802779085">Devlin has another book about him</a>). This is a book about the writing of a book, and about Devlin&#8217;s process of uncovering the history and importance of what Fibonacci had accomplished. It is a book about the research of the history of mathematics, and as such, it is a lovely tale: one of fortuitous moments of discovery, and of frustrations of searching for manuscripts.&#8230;</p>]]></description>
				<content:encoded><![CDATA[<p><a href="http://press.princeton.edu/titles/10950.html">This book </a>was sent to me by the publisher as a review copy.</p>
<p><img class="alignnone" src="http://i0.wp.com/press.princeton.edu/images/j10950.gif?resize=160%2C247" alt="" data-recalc-dims="1" /></p>
<p>I have a terrible admission to make. I came to this book with a paltry knowledge of Fibonacci (Leonardo of Pisa). The knowledge that I thought that I had was quickly shown in fact to be incorrect, so I was largely starting with a blank slate (Fibonacci did not discover the Fibonacci sequence, nor would he be terribly happy to know that in the popular psyche, this is what he is famous for).</p>
<p>In fact, this book is not really about Fibonacci (<a href="https://www.amazon.com/Man-Numbers-Fibonaccis-Arithmetic-Revolution/dp/0802779085">Devlin has another book about him</a>). This is a book about the writing of a book, and about Devlin&#8217;s process of uncovering the history and importance of what Fibonacci had accomplished. It is a book about the research of the history of mathematics, and as such, it is a lovely tale: one of fortuitous moments of discovery, and of frustrations of searching for manuscripts.&hellip;</p>]]></content:encoded>
			<wfw:commentRss>http://www.mathemafrica.org/?feed=rss2&#038;p=13424</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Fibonacci and the Golden Ratio</title>
		<link>http://www.mathemafrica.org/?p=11718</link>
		<comments>http://www.mathemafrica.org/?p=11718#comments</comments>
		<pubDate>Tue, 20 Oct 2015 13:28:12 +0000</pubDate>
		<dc:creator><![CDATA[Jonathan Shock]]></dc:creator>
				<category><![CDATA[English]]></category>
		<category><![CDATA[Level: intermediate]]></category>
		<category><![CDATA[Fibonacci]]></category>
		<category><![CDATA[golden ratio]]></category>
		<category><![CDATA[golden spiral]]></category>

		<guid isPermaLink="false">http://www.mathemafrica.org/?p=11718</guid>
		<description><![CDATA[<p>The Fibonacci numbers <img src="//s0.wp.com/latex.php?latex=1%2C+%5C+1%2C+%5C+2%2C%5C+3%2C+%5C+5%2C%5C+8%2C+13%2C%5C+21%2C%5C+34%2C+%5C+55%2C%5C+89%2C%5C+144%2C+%5C+%5Ccdots&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="1, &#92; 1, &#92; 2,&#92; 3, &#92; 5,&#92; 8, 13,&#92; 21,&#92; 34, &#92; 55,&#92; 89,&#92; 144, &#92; &#92;cdots" title="1, &#92; 1, &#92; 2,&#92; 3, &#92; 5,&#92; 8, 13,&#92; 21,&#92; 34, &#92; 55,&#92; 89,&#92; 144, &#92; &#92;cdots" class="latex" /> are defined by the recurrence relation</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=F_1+%3D+F_2+%3D+1%2C+%5C+F_%7Bn%2B2%7D+%3D+F_%7Bn%2B1%7D+%2B+F_n+%5C+%5Ctextrm%7B+for+%7D+n+%5Cge+1.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_1 = F_2 = 1, &#92; F_{n+2} = F_{n+1} + F_n &#92; &#92;textrm{ for } n &#92;ge 1." title="F_1 = F_2 = 1, &#92; F_{n+2} = F_{n+1} + F_n &#92; &#92;textrm{ for } n &#92;ge 1." class="latex" /></p>
<p>&#160;</p>
<p>Consider now the ratios <img src="//s0.wp.com/latex.php?latex=%5Cdfrac%7BF_%7Bn%2B1%7D%7D%7BF_n%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;dfrac{F_{n+1}}{F_n}" title="&#92;dfrac{F_{n+1}}{F_n}" class="latex" />:</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cdfrac+11%2C+%5C+%5Cdfrac+21%2C+%5C+%5Cdfrac+32%2C+%5C+%5Cdfrac+53%2C+%5C+%5Cdfrac+85%2C+%5C+%5Cdfrac+%7B13%7D8%2C+%5Cdfrac+%7B21%7D%7B13%7D%2C+%5C+%5Cdfrac+%7B21%7D%7B13%7D%2C+%5C+%5Cdfrac+%7B34%7D%7B21%7D%2C+%5Cdfrac+%7B55%7D%7B34%7D%2C+%5Cdfrac+%7B89%7D%7B55%7D%2C+%5C+%5Cdfrac+%7B144%7D%7B89%7D%2C+%5C+%5Ccdots+%5C+.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;dfrac 11, &#92; &#92;dfrac 21, &#92; &#92;dfrac 32, &#92; &#92;dfrac 53, &#92; &#92;dfrac 85, &#92; &#92;dfrac {13}8, &#92;dfrac {21}{13}, &#92; &#92;dfrac {21}{13}, &#92; &#92;dfrac {34}{21}, &#92;dfrac {55}{34}, &#92;dfrac {89}{55}, &#92; &#92;dfrac {144}{89}, &#92; &#92;cdots &#92; ." title="&#92;dfrac 11, &#92; &#92;dfrac 21, &#92; &#92;dfrac 32, &#92; &#92;dfrac 53, &#92; &#92;dfrac 85, &#92; &#92;dfrac {13}8, &#92;dfrac {21}{13}, &#92; &#92;dfrac {21}{13}, &#92; &#92;dfrac {34}{21}, &#92;dfrac {55}{34}, &#92;dfrac {89}{55}, &#92; &#92;dfrac {144}{89}, &#92; &#92;cdots &#92; ." class="latex" /></p>
<p>&#160;</p>
<p>The sequence of fractions appears to rise and fall alternately. This observation can be confirmed by reference to the equation</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=F_%7Bn%2B1%7D%5E2+-+F_nF_%7Bn%2B2%7D+%3D+%28-1%29%5En&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{n+1}^2 - F_nF_{n+2} = (-1)^n" title="F_{n+1}^2 - F_nF_{n+2} = (-1)^n" class="latex" /></p>
<p>&#160;</p>
<p>which, when divided by <img src="//s0.wp.com/latex.php?latex=F_%7Bn%2B1%7DF_n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{n+1}F_n" title="F_{n+1}F_n" class="latex" /> gives</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cdfrac%7BF_%7Bn%2B1%7D%7D%7BF_n%7D+-+%5Cdfrac+%7BF_%7Bn%2B2%7D%7D%7BF_%7Bn%2B1%7D%7D+%3D+%5Cdfrac+%7B%28-1%29%5En%7D%7BF_%7Bn%2B1%7DF_n+%7D+%5C+%2C+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;dfrac{F_{n+1}}{F_n} - &#92;dfrac {F_{n+2}}{F_{n+1}} = &#92;dfrac {(-1)^n}{F_{n+1}F_n } &#92; , " title="&#92;dfrac{F_{n+1}}{F_n} - &#92;dfrac {F_{n+2}}{F_{n+1}} = &#92;dfrac {(-1)^n}{F_{n+1}F_n } &#92; , " class="latex" /></p>
<p>&#160;</p>
<p>showing that the difference between successive terms in the sequence of ratios is alternately positive and negative.</p>
<p>Calculating the first few terms suggest that successive ratios converge to 1.618 &#8230; . This may be established by using Binet&#8217;s formula (see the previous post):</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=F_n+%3D+%5Cdfrac+1%7B%5Csqrt+5%7D%5CBig%28%5CBig%28%5Cdfrac%7B1%2B%5Csqrt+5%7D2+%5CBig%29%5En+-+%5CBig%28%5Cdfrac%7B1-%5Csqrt+5%7D2+%5CBig%29%5En%5CBig%29+%5C+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_n = &#92;dfrac 1{&#92;sqrt 5}&#92;Big(&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^n - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^n&#92;Big) &#92; " title="F_n = &#92;dfrac 1{&#92;sqrt 5}&#92;Big(&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^n - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^n&#92;Big) &#92; " class="latex" /></p>
<p>&#160;</p>
<p>from which we have</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cdfrac+%7BF_%7Bn%2B1%7D%7D%7BF_n%7D+%3D+%5Cdfrac+%7B%5CBig%28%5Cdfrac%7B1%2B%5Csqrt+5%7D2+%5CBig%29%5E%7Bn%2B1%7D+-+%5CBig%28%5Cdfrac%7B1-%5Csqrt+5%7D2+%5CBig%29%5E%7Bn%2B1%7D%7D+%7B%5CBig%28%5Cdfrac%7B1%2B%5Csqrt+5%7D2+%5CBig%29%5En+-+%5CBig%28%5Cdfrac%7B1-%5Csqrt+5%7D2+%5CBig%29%5En%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;dfrac {F_{n+1}}{F_n} = &#92;dfrac {&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^{n+1} - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^{n+1}} {&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^n - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^n}" title="&#92;dfrac {F_{n+1}}{F_n} = &#92;dfrac {&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^{n+1} - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^{n+1}} {&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^n - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^n}" class="latex" /></p>
<p>&#160;</p>
<p>Now look at the second terms in the numerator and denominator.</p>
<p>Since</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=-1%3C+%5Cdfrac%7B1-%5Csqrt+5%7D2+%3C+1&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="-1&#60; &#92;dfrac{1-&#92;sqrt 5}2 &#60; 1" title="-1&#60; &#92;dfrac{1-&#92;sqrt 5}2 &#60; 1" class="latex" />,</p>
<p>&#160;</p>
<p>these terms tend to zero as <img src="//s0.wp.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="n" title="n" class="latex" /> tends to infinity, so are insignificant in comparison with the first terms. It follows that</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cfrac+%7BF_%7Bn%2B1%7D%7D%7BF_n%7D+%5Crightarrow+%5Cfrac%7B1%2B%5Csqrt+5%7D2+%5C+%5C+-+%5C+%5C+%5Ctextrm%7Bthe+Golden+Ratio%7D.+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;frac {F_{n+1}}{F_n} &#92;rightarrow &#92;frac{1+&#92;sqrt 5}2 &#92; &#92; - &#92; &#92; &#92;textrm{the Golden Ratio}. " title="&#92;frac {F_{n+1}}{F_n} &#92;rightarrow &#92;frac{1+&#92;sqrt 5}2 &#92; &#92; - &#92; &#92; &#92;textrm{the Golden Ratio}. " class="latex" /></p>
<p><a href="http://i1.wp.com/www.mathemafrica.org/wp-content/uploads/2015/10/Untitled.png"><img class="aligncenter size-full wp-image-11719" src="http://i1.wp.com/www.mathemafrica.org/wp-content/uploads/2015/10/Untitled.png?resize=694%2C737" alt="Untitled" srcset="http://i1.wp.com/www.mathemafrica.org/wp-content/uploads/2015/10/Untitled.png?resize=282%2C300 282w, http://i1.wp.com/www.mathemafrica.org/wp-content/uploads/2015/10/Untitled.png?fit=694%2C737 694w" sizes="(max-width: 694px) 100vw, 694px" data-recalc-dims="1" /></a>Check out the link between the golden spiral and the Fibonacci sequence <a href="https://en.wikipedia.org/wiki/Golden_spiral">here</a>.</p>
<p>&#8212;&#8212;&#8212;&#8212;</p>
<p>Originally by John Webb</p>
<table class="rw-rating-table rw-ltr rw-left"><tr><td><nobr>How clear is this post?</nobr></td></tr></table>&#8230;]]></description>
				<content:encoded><![CDATA[<p>The Fibonacci numbers <img src="//s0.wp.com/latex.php?latex=1%2C+%5C+1%2C+%5C+2%2C%5C+3%2C+%5C+5%2C%5C+8%2C+13%2C%5C+21%2C%5C+34%2C+%5C+55%2C%5C+89%2C%5C+144%2C+%5C+%5Ccdots&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="1, &#92; 1, &#92; 2,&#92; 3, &#92; 5,&#92; 8, 13,&#92; 21,&#92; 34, &#92; 55,&#92; 89,&#92; 144, &#92; &#92;cdots" title="1, &#92; 1, &#92; 2,&#92; 3, &#92; 5,&#92; 8, 13,&#92; 21,&#92; 34, &#92; 55,&#92; 89,&#92; 144, &#92; &#92;cdots" class="latex" /> are defined by the recurrence relation</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=F_1+%3D+F_2+%3D+1%2C+%5C+F_%7Bn%2B2%7D+%3D+F_%7Bn%2B1%7D+%2B+F_n+%5C+%5Ctextrm%7B+for+%7D+n+%5Cge+1.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_1 = F_2 = 1, &#92; F_{n+2} = F_{n+1} + F_n &#92; &#92;textrm{ for } n &#92;ge 1." title="F_1 = F_2 = 1, &#92; F_{n+2} = F_{n+1} + F_n &#92; &#92;textrm{ for } n &#92;ge 1." class="latex" /></p>
<p>&nbsp;</p>
<p>Consider now the ratios <img src="//s0.wp.com/latex.php?latex=%5Cdfrac%7BF_%7Bn%2B1%7D%7D%7BF_n%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;dfrac{F_{n+1}}{F_n}" title="&#92;dfrac{F_{n+1}}{F_n}" class="latex" />:</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cdfrac+11%2C+%5C+%5Cdfrac+21%2C+%5C+%5Cdfrac+32%2C+%5C+%5Cdfrac+53%2C+%5C+%5Cdfrac+85%2C+%5C+%5Cdfrac+%7B13%7D8%2C+%5Cdfrac+%7B21%7D%7B13%7D%2C+%5C+%5Cdfrac+%7B21%7D%7B13%7D%2C+%5C+%5Cdfrac+%7B34%7D%7B21%7D%2C+%5Cdfrac+%7B55%7D%7B34%7D%2C+%5Cdfrac+%7B89%7D%7B55%7D%2C+%5C+%5Cdfrac+%7B144%7D%7B89%7D%2C+%5C+%5Ccdots+%5C+.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;dfrac 11, &#92; &#92;dfrac 21, &#92; &#92;dfrac 32, &#92; &#92;dfrac 53, &#92; &#92;dfrac 85, &#92; &#92;dfrac {13}8, &#92;dfrac {21}{13}, &#92; &#92;dfrac {21}{13}, &#92; &#92;dfrac {34}{21}, &#92;dfrac {55}{34}, &#92;dfrac {89}{55}, &#92; &#92;dfrac {144}{89}, &#92; &#92;cdots &#92; ." title="&#92;dfrac 11, &#92; &#92;dfrac 21, &#92; &#92;dfrac 32, &#92; &#92;dfrac 53, &#92; &#92;dfrac 85, &#92; &#92;dfrac {13}8, &#92;dfrac {21}{13}, &#92; &#92;dfrac {21}{13}, &#92; &#92;dfrac {34}{21}, &#92;dfrac {55}{34}, &#92;dfrac {89}{55}, &#92; &#92;dfrac {144}{89}, &#92; &#92;cdots &#92; ." class="latex" /></p>
<p>&nbsp;</p>
<p>The sequence of fractions appears to rise and fall alternately. This observation can be confirmed by reference to the equation</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=F_%7Bn%2B1%7D%5E2+-+F_nF_%7Bn%2B2%7D+%3D+%28-1%29%5En&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{n+1}^2 - F_nF_{n+2} = (-1)^n" title="F_{n+1}^2 - F_nF_{n+2} = (-1)^n" class="latex" /></p>
<p>&nbsp;</p>
<p>which, when divided by <img src="//s0.wp.com/latex.php?latex=F_%7Bn%2B1%7DF_n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{n+1}F_n" title="F_{n+1}F_n" class="latex" /> gives</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cdfrac%7BF_%7Bn%2B1%7D%7D%7BF_n%7D+-+%5Cdfrac+%7BF_%7Bn%2B2%7D%7D%7BF_%7Bn%2B1%7D%7D+%3D+%5Cdfrac+%7B%28-1%29%5En%7D%7BF_%7Bn%2B1%7DF_n+%7D+%5C+%2C+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;dfrac{F_{n+1}}{F_n} - &#92;dfrac {F_{n+2}}{F_{n+1}} = &#92;dfrac {(-1)^n}{F_{n+1}F_n } &#92; , " title="&#92;dfrac{F_{n+1}}{F_n} - &#92;dfrac {F_{n+2}}{F_{n+1}} = &#92;dfrac {(-1)^n}{F_{n+1}F_n } &#92; , " class="latex" /></p>
<p>&nbsp;</p>
<p>showing that the difference between successive terms in the sequence of ratios is alternately positive and negative.</p>
<p>Calculating the first few terms suggest that successive ratios converge to 1.618 &#8230; . This may be established by using Binet&#8217;s formula (see the previous post):</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=F_n+%3D+%5Cdfrac+1%7B%5Csqrt+5%7D%5CBig%28%5CBig%28%5Cdfrac%7B1%2B%5Csqrt+5%7D2+%5CBig%29%5En+-+%5CBig%28%5Cdfrac%7B1-%5Csqrt+5%7D2+%5CBig%29%5En%5CBig%29+%5C+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_n = &#92;dfrac 1{&#92;sqrt 5}&#92;Big(&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^n - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^n&#92;Big) &#92; " title="F_n = &#92;dfrac 1{&#92;sqrt 5}&#92;Big(&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^n - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^n&#92;Big) &#92; " class="latex" /></p>
<p>&nbsp;</p>
<p>from which we have</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cdfrac+%7BF_%7Bn%2B1%7D%7D%7BF_n%7D+%3D+%5Cdfrac+%7B%5CBig%28%5Cdfrac%7B1%2B%5Csqrt+5%7D2+%5CBig%29%5E%7Bn%2B1%7D+-+%5CBig%28%5Cdfrac%7B1-%5Csqrt+5%7D2+%5CBig%29%5E%7Bn%2B1%7D%7D+%7B%5CBig%28%5Cdfrac%7B1%2B%5Csqrt+5%7D2+%5CBig%29%5En+-+%5CBig%28%5Cdfrac%7B1-%5Csqrt+5%7D2+%5CBig%29%5En%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;dfrac {F_{n+1}}{F_n} = &#92;dfrac {&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^{n+1} - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^{n+1}} {&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^n - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^n}" title="&#92;dfrac {F_{n+1}}{F_n} = &#92;dfrac {&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^{n+1} - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^{n+1}} {&#92;Big(&#92;dfrac{1+&#92;sqrt 5}2 &#92;Big)^n - &#92;Big(&#92;dfrac{1-&#92;sqrt 5}2 &#92;Big)^n}" class="latex" /></p>
<p>&nbsp;</p>
<p>Now look at the second terms in the numerator and denominator.</p>
<p>Since</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=-1%3C+%5Cdfrac%7B1-%5Csqrt+5%7D2+%3C+1&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="-1&lt; &#92;dfrac{1-&#92;sqrt 5}2 &lt; 1" title="-1&lt; &#92;dfrac{1-&#92;sqrt 5}2 &lt; 1" class="latex" />,</p>
<p>&nbsp;</p>
<p>these terms tend to zero as <img src="//s0.wp.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="n" title="n" class="latex" /> tends to infinity, so are insignificant in comparison with the first terms. It follows that</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=%5Cfrac+%7BF_%7Bn%2B1%7D%7D%7BF_n%7D+%5Crightarrow+%5Cfrac%7B1%2B%5Csqrt+5%7D2+%5C+%5C+-+%5C+%5C+%5Ctextrm%7Bthe+Golden+Ratio%7D.+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="&#92;frac {F_{n+1}}{F_n} &#92;rightarrow &#92;frac{1+&#92;sqrt 5}2 &#92; &#92; - &#92; &#92; &#92;textrm{the Golden Ratio}. " title="&#92;frac {F_{n+1}}{F_n} &#92;rightarrow &#92;frac{1+&#92;sqrt 5}2 &#92; &#92; - &#92; &#92; &#92;textrm{the Golden Ratio}. " class="latex" /></p>
<p><a href="http://i1.wp.com/www.mathemafrica.org/wp-content/uploads/2015/10/Untitled.png"><img class="aligncenter size-full wp-image-11719" src="http://i1.wp.com/www.mathemafrica.org/wp-content/uploads/2015/10/Untitled.png?resize=694%2C737" alt="Untitled" srcset="http://i1.wp.com/www.mathemafrica.org/wp-content/uploads/2015/10/Untitled.png?resize=282%2C300 282w, http://i1.wp.com/www.mathemafrica.org/wp-content/uploads/2015/10/Untitled.png?fit=694%2C737 694w" sizes="(max-width: 694px) 100vw, 694px" data-recalc-dims="1" /></a>Check out the link between the golden spiral and the Fibonacci sequence <a href="https://en.wikipedia.org/wiki/Golden_spiral">here</a>.</p>
<p>&#8212;&#8212;&#8212;&#8212;</p>
<p>Originally by John Webb</p>
<table class="rw-rating-table rw-ltr rw-left"><tr><td><nobr>How clear is this post?</nobr></td></tr></table>&hellip;]]></content:encoded>
			<wfw:commentRss>http://www.mathemafrica.org/?feed=rss2&#038;p=11718</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Fibonacci and Binet</title>
		<link>http://www.mathemafrica.org/?p=11712</link>
		<comments>http://www.mathemafrica.org/?p=11712#comments</comments>
		<pubDate>Mon, 19 Oct 2015 17:31:32 +0000</pubDate>
		<dc:creator><![CDATA[Jonathan Shock]]></dc:creator>
				<category><![CDATA[English]]></category>
		<category><![CDATA[Level: intermediate]]></category>
		<category><![CDATA[Uncategorized]]></category>
		<category><![CDATA[Binet]]></category>
		<category><![CDATA[Fibonacci]]></category>

		<guid isPermaLink="false">http://www.mathemafrica.org/?p=11712</guid>
		<description><![CDATA[<p>The Fibonacci numbers <img src="//s0.wp.com/latex.php?latex=1%2C+%5C+1%2C+%5C+2%2C%5C+3%2C+%5C+5%2C%5C+8%2C+13%2C%5C+21%2C%5C+34%2C+%5C+55%2C%5C+89%2C%5C+144%2C+%5C+%5Ccdots&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="1, &#92; 1, &#92; 2,&#92; 3, &#92; 5,&#92; 8, 13,&#92; 21,&#92; 34, &#92; 55,&#92; 89,&#92; 144, &#92; &#92;cdots" title="1, &#92; 1, &#92; 2,&#92; 3, &#92; 5,&#92; 8, 13,&#92; 21,&#92; 34, &#92; 55,&#92; 89,&#92; 144, &#92; &#92;cdots" class="latex" /></p>
<p>are defined by a recurrence relation</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=F_1+%3D+F_2+%3D+1%2C+%5C+F_%7Bn%2B2%7D+%3D+F_%7Bn%2B1%7D+%2B+F_n+%5C+%5Ctextrm%7B+for+%7D+n+%5Cge+1.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_1 = F_2 = 1, &#92; F_{n+2} = F_{n+1} + F_n &#92; &#92;textrm{ for } n &#92;ge 1." title="F_1 = F_2 = 1, &#92; F_{n+2} = F_{n+1} + F_n &#92; &#92;textrm{ for } n &#92;ge 1." class="latex" /></p>
<p>&#160;</p>
<p>This definition allows one to find any Fibonacci number, but for large values of <img src="//s0.wp.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="n" title="n" class="latex" /> it would be time-consuming to compute <img src="//s0.wp.com/latex.php?latex=F_n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_n" title="F_n" class="latex" /> this way. Worse, any error of calculating a term would be repeated and magnified in every subsequent term. So a natural question to ask is whether there is a simple formula, in terms of <img src="//s0.wp.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="n" title="n" class="latex" />, which enables one to calculate <img src="//s0.wp.com/latex.php?latex=F_n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_n" title="F_n" class="latex" /> without having to find all the earlier Fibonacci numbers.</p>
<p>In 1843 the French mathematician Jacques Philippe Marie Binet announced that he had found a Fibonacci Formula. Although it was later revealed that other mathematicians, including Leonhard Euler and Abraham de Moivre, had worked out the same formula a hundred years earlier, the formula is today still labelled <em>Binet&#8217;s Formula</em>.</p>
<p>Deriving the Binet&#8217;s formula starts with a simple little quadratic equation <img src="//s0.wp.com/latex.php?latex=x%5E2+%3D+x+%2B+1.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^2 = x + 1." title="x^2 = x + 1." class="latex" /></p>
<p>&#160;</p>
<p>Multiplying the equation by successive powers of <img src="//s0.wp.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x" title="x" class="latex" />, and simplifying at each step, gives</p>
<p>&#160;</p>
<p><img src="//s0.wp.com/latex.php?latex=x%5E3+%3D+x%28x%5E2%29+%3D+x%28x%2B1%29+%3D+x%5E2+%2B+x+%3D+%28x%2B1%29+%2B+x+%3D+2x+%2B+1&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^3 = x(x^2) = x(x+1) = x^2 + x = (x+1) + x = 2x + 1" title="x^3 = x(x^2) = x(x+1) = x^2 + x = (x+1) + x = 2x + 1" class="latex" /></p>
<p><img src="//s0.wp.com/latex.php?latex=x%5E4+%3D+x%28x%5E3%29+%3D+x%282x%2B1%29+%3D+2x%5E2+%2B+x+%3D+2%28x%2B1%29+%2B+x+%3D+3x%2B2+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^4 = x(x^3) = x(2x+1) = 2x^2 + x = 2(x+1) + x = 3x+2 " title="x^4 = x(x^3) = x(2x+1) = 2x^2 + x = 2(x+1) + x = 3x+2 " class="latex" /></p>
<p><img src="//s0.wp.com/latex.php?latex=x%5E5+%3D+x%28x%5E4%29+%3D+x%283x%2B2%29+%3D+3x%5E2+%2B+2x+%3D+3%28x%2B1%29+%2B+2x+%3D+5x+%2B+3&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^5 = x(x^4) = x(3x+2) = 3x^2 + 2x = 3(x+1) + 2x = 5x + 3" title="x^5 = x(x^4) = x(3x+2) = 3x^2 + 2x = 3(x+1) + 2x = 5x + 3" class="latex" /></p>
<p><img src="//s0.wp.com/latex.php?latex=x%5E6+%3D+x%28x%5E5%29+%3D+x%285x%2B3%29+%3D+5x%5E2+%2B+3x+%3D+5%28x%2B1%29+%2B+3x+%3D+8x+%2B+5&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^6 = x(x^5) = x(5x+3) = 5x^2 + 3x = 5(x+1) + 3x = 8x + 5" title="x^6 = x(x^5) = x(5x+3) = 5x^2 + 3x = 5(x+1) + 3x = 8x + 5" class="latex" /></p>
<p>&#160;</p>
<p>and so on.&#8230;</p>]]></description>
				<content:encoded><![CDATA[<p>The Fibonacci numbers <img src="//s0.wp.com/latex.php?latex=1%2C+%5C+1%2C+%5C+2%2C%5C+3%2C+%5C+5%2C%5C+8%2C+13%2C%5C+21%2C%5C+34%2C+%5C+55%2C%5C+89%2C%5C+144%2C+%5C+%5Ccdots&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="1, &#92; 1, &#92; 2,&#92; 3, &#92; 5,&#92; 8, 13,&#92; 21,&#92; 34, &#92; 55,&#92; 89,&#92; 144, &#92; &#92;cdots" title="1, &#92; 1, &#92; 2,&#92; 3, &#92; 5,&#92; 8, 13,&#92; 21,&#92; 34, &#92; 55,&#92; 89,&#92; 144, &#92; &#92;cdots" class="latex" /></p>
<p>are defined by a recurrence relation</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=F_1+%3D+F_2+%3D+1%2C+%5C+F_%7Bn%2B2%7D+%3D+F_%7Bn%2B1%7D+%2B+F_n+%5C+%5Ctextrm%7B+for+%7D+n+%5Cge+1.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_1 = F_2 = 1, &#92; F_{n+2} = F_{n+1} + F_n &#92; &#92;textrm{ for } n &#92;ge 1." title="F_1 = F_2 = 1, &#92; F_{n+2} = F_{n+1} + F_n &#92; &#92;textrm{ for } n &#92;ge 1." class="latex" /></p>
<p>&nbsp;</p>
<p>This definition allows one to find any Fibonacci number, but for large values of <img src="//s0.wp.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="n" title="n" class="latex" /> it would be time-consuming to compute <img src="//s0.wp.com/latex.php?latex=F_n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_n" title="F_n" class="latex" /> this way. Worse, any error of calculating a term would be repeated and magnified in every subsequent term. So a natural question to ask is whether there is a simple formula, in terms of <img src="//s0.wp.com/latex.php?latex=n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="n" title="n" class="latex" />, which enables one to calculate <img src="//s0.wp.com/latex.php?latex=F_n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_n" title="F_n" class="latex" /> without having to find all the earlier Fibonacci numbers.</p>
<p>In 1843 the French mathematician Jacques Philippe Marie Binet announced that he had found a Fibonacci Formula. Although it was later revealed that other mathematicians, including Leonhard Euler and Abraham de Moivre, had worked out the same formula a hundred years earlier, the formula is today still labelled <em>Binet&#8217;s Formula</em>.</p>
<p>Deriving the Binet&#8217;s formula starts with a simple little quadratic equation <img src="//s0.wp.com/latex.php?latex=x%5E2+%3D+x+%2B+1.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^2 = x + 1." title="x^2 = x + 1." class="latex" /></p>
<p>&nbsp;</p>
<p>Multiplying the equation by successive powers of <img src="//s0.wp.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x" title="x" class="latex" />, and simplifying at each step, gives</p>
<p>&nbsp;</p>
<p><img src="//s0.wp.com/latex.php?latex=x%5E3+%3D+x%28x%5E2%29+%3D+x%28x%2B1%29+%3D+x%5E2+%2B+x+%3D+%28x%2B1%29+%2B+x+%3D+2x+%2B+1&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^3 = x(x^2) = x(x+1) = x^2 + x = (x+1) + x = 2x + 1" title="x^3 = x(x^2) = x(x+1) = x^2 + x = (x+1) + x = 2x + 1" class="latex" /></p>
<p><img src="//s0.wp.com/latex.php?latex=x%5E4+%3D+x%28x%5E3%29+%3D+x%282x%2B1%29+%3D+2x%5E2+%2B+x+%3D+2%28x%2B1%29+%2B+x+%3D+3x%2B2+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^4 = x(x^3) = x(2x+1) = 2x^2 + x = 2(x+1) + x = 3x+2 " title="x^4 = x(x^3) = x(2x+1) = 2x^2 + x = 2(x+1) + x = 3x+2 " class="latex" /></p>
<p><img src="//s0.wp.com/latex.php?latex=x%5E5+%3D+x%28x%5E4%29+%3D+x%283x%2B2%29+%3D+3x%5E2+%2B+2x+%3D+3%28x%2B1%29+%2B+2x+%3D+5x+%2B+3&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^5 = x(x^4) = x(3x+2) = 3x^2 + 2x = 3(x+1) + 2x = 5x + 3" title="x^5 = x(x^4) = x(3x+2) = 3x^2 + 2x = 3(x+1) + 2x = 5x + 3" class="latex" /></p>
<p><img src="//s0.wp.com/latex.php?latex=x%5E6+%3D+x%28x%5E5%29+%3D+x%285x%2B3%29+%3D+5x%5E2+%2B+3x+%3D+5%28x%2B1%29+%2B+3x+%3D+8x+%2B+5&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="x^6 = x(x^5) = x(5x+3) = 5x^2 + 3x = 5(x+1) + 3x = 8x + 5" title="x^6 = x(x^5) = x(5x+3) = 5x^2 + 3x = 5(x+1) + 3x = 8x + 5" class="latex" /></p>
<p>&nbsp;</p>
<p>and so on.&hellip;</p>]]></content:encoded>
			<wfw:commentRss>http://www.mathemafrica.org/?feed=rss2&#038;p=11712</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>Fibonacci and induction</title>
		<link>http://www.mathemafrica.org/?p=11706</link>
		<comments>http://www.mathemafrica.org/?p=11706#comments</comments>
		<pubDate>Sun, 18 Oct 2015 07:37:45 +0000</pubDate>
		<dc:creator><![CDATA[Jonathan Shock]]></dc:creator>
				<category><![CDATA[English]]></category>
		<category><![CDATA[Level: intermediate]]></category>
		<category><![CDATA[Fibonacci]]></category>
		<category><![CDATA[induction]]></category>

		<guid isPermaLink="false">http://www.mathemafrica.org/?p=11706</guid>
		<description><![CDATA[<p>The Fibonacci numbers <img src="//s0.wp.com/latex.php?latex=F_n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_n" title="F_n" class="latex" /> are defined by: <img src="//s0.wp.com/latex.php?latex=F_1+%3D+F_2+%3D+1&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_1 = F_2 = 1" title="F_1 = F_2 = 1" class="latex" />, <img src="//s0.wp.com/latex.php?latex=F_%7Bn%2B2%7D+%3D+F_%7Bn%2B1%7D+%2B+F_n+%5Ctextrm%7B+for+%7D+n%5Cge+1.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{n+2} = F_{n+1} + F_n &#92;textrm{ for } n&#92;ge 1." title="F_{n+2} = F_{n+1} + F_n &#92;textrm{ for } n&#92;ge 1." class="latex" /></p>
<p>&#160;</p>
<p>The numbers are 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, &#8230;</p>
<p>&#160;</p>
<p>The Fibonacci numbers have many interesting properties, and the proofs of these properties provide excellent examples of <em>Proof by Mathematical Induction.</em> Here are two examples. The first is quite easy, while the second is more challenging.</p>
<p>&#160;</p>
<p><strong>Theorem</strong></p>
<p>&#160;</p>
<p>Every fifth Fibonacci number is divisible by 5.</p>
<p>&#160;</p>
<p><strong>Proof</strong></p>
<p>&#160;</p>
<p>We note first that <img src="//s0.wp.com/latex.php?latex=F_5+%3D+5&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_5 = 5" title="F_5 = 5" class="latex" /> is certainly divisible by 5, as are <img src="//s0.wp.com/latex.php?latex=F_%7B10%7D+%3D+55&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{10} = 55" title="F_{10} = 55" class="latex" /> and <img src="//s0.wp.com/latex.php?latex=F_%7B15%7D+%3D+610.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{15} = 610." title="F_{15} = 610." class="latex" /> How can we be sure that the pattern continues?</p>
<p>&#160;</p>
<p>We shall show that: IF the statement &#8220;<img src="//s0.wp.com/latex.php?latex=F_n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_n" title="F_n" class="latex" /> is divisible by 5&#8243; is true for some natural number <img src="//s0.wp.com/latex.php?latex=m&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="m" title="m" class="latex" />, THEN the statement is also true for the natural number <img src="//s0.wp.com/latex.php?latex=m%2B5&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="m+5" title="m+5" class="latex" />.</p>
<p>&#160;</p>
<p>Now</p>
<p>&#160;</p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=F_%7Bm%2B5%7D+%3D+F_%7Bm%2B4%7D+%2B+F_%7Bm%2B3%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{m+5} = F_{m+4} + F_{m+3}" title="F_{m+5} = F_{m+4} + F_{m+3}" class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+%28F_%7Bm%2B3%7D+%2B+F_%7Bm%2B2%7D%29+%2B+F_%7Bm%2B3%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= (F_{m+3} + F_{m+2}) + F_{m+3}" title="= (F_{m+3} + F_{m+2}) + F_{m+3}" class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+2F_%7Bm%2B3%7D+%2B+F_%7Bm%2B2%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= 2F_{m+3} + F_{m+2}" title="= 2F_{m+3} + F_{m+2}" class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+2%28F_%7Bm%2B2%7D+%2B+F_%7Bm%2B1%7D%29+%2B+%28F_%7Bm%2B1%7D+%2B+F_m%29+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= 2(F_{m+2} + F_{m+1}) + (F_{m+1} + F_m) " title="= 2(F_{m+2} + F_{m+1}) + (F_{m+1} + F_m) " class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+2F_%7Bm%2B2%7D+%2B+3F_%7Bm%2B1%7D+%2B+F_m+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= 2F_{m+2} + 3F_{m+1} + F_m " title="= 2F_{m+2} + 3F_{m+1} + F_m " class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+2%28F_%7Bm%2B1%7D+%2B+F_m%29+%2B3F_%7Bm%2B1%7D+%2B+F_m+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= 2(F_{m+1} + F_m) +3F_{m+1} + F_m " title="= 2(F_{m+1} + F_m) +3F_{m+1} + F_m " class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+5F_%7Bm%2B1%7D+%2B+3F_m&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= 5F_{m+1} + 3F_m" title="= 5F_{m+1} + 3F_m" class="latex" />.</p>
<p>&#160;</p>
<p>Since we know that <img src="//s0.wp.com/latex.php?latex=F_m&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_m" title="F_m" class="latex" /> is divisible by 5, it is now clear that <img src="//s0.wp.com/latex.php?latex=F_%7Bm%2B5%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{m+5}" title="F_{m+5}" class="latex" /> is also divisible by 5.&#8230;</p>]]></description>
				<content:encoded><![CDATA[<p>The Fibonacci numbers <img src="//s0.wp.com/latex.php?latex=F_n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_n" title="F_n" class="latex" /> are defined by: <img src="//s0.wp.com/latex.php?latex=F_1+%3D+F_2+%3D+1&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_1 = F_2 = 1" title="F_1 = F_2 = 1" class="latex" />, <img src="//s0.wp.com/latex.php?latex=F_%7Bn%2B2%7D+%3D+F_%7Bn%2B1%7D+%2B+F_n+%5Ctextrm%7B+for+%7D+n%5Cge+1.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{n+2} = F_{n+1} + F_n &#92;textrm{ for } n&#92;ge 1." title="F_{n+2} = F_{n+1} + F_n &#92;textrm{ for } n&#92;ge 1." class="latex" /></p>
<p>&nbsp;</p>
<p>The numbers are 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, &#8230;</p>
<p>&nbsp;</p>
<p>The Fibonacci numbers have many interesting properties, and the proofs of these properties provide excellent examples of <em>Proof by Mathematical Induction.</em> Here are two examples. The first is quite easy, while the second is more challenging.</p>
<p>&nbsp;</p>
<p><strong>Theorem</strong></p>
<p>&nbsp;</p>
<p>Every fifth Fibonacci number is divisible by 5.</p>
<p>&nbsp;</p>
<p><strong>Proof</strong></p>
<p>&nbsp;</p>
<p>We note first that <img src="//s0.wp.com/latex.php?latex=F_5+%3D+5&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_5 = 5" title="F_5 = 5" class="latex" /> is certainly divisible by 5, as are <img src="//s0.wp.com/latex.php?latex=F_%7B10%7D+%3D+55&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{10} = 55" title="F_{10} = 55" class="latex" /> and <img src="//s0.wp.com/latex.php?latex=F_%7B15%7D+%3D+610.&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{15} = 610." title="F_{15} = 610." class="latex" /> How can we be sure that the pattern continues?</p>
<p>&nbsp;</p>
<p>We shall show that: IF the statement &#8220;<img src="//s0.wp.com/latex.php?latex=F_n&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_n" title="F_n" class="latex" /> is divisible by 5&#8243; is true for some natural number <img src="//s0.wp.com/latex.php?latex=m&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="m" title="m" class="latex" />, THEN the statement is also true for the natural number <img src="//s0.wp.com/latex.php?latex=m%2B5&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="m+5" title="m+5" class="latex" />.</p>
<p>&nbsp;</p>
<p>Now</p>
<p>&nbsp;</p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=F_%7Bm%2B5%7D+%3D+F_%7Bm%2B4%7D+%2B+F_%7Bm%2B3%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{m+5} = F_{m+4} + F_{m+3}" title="F_{m+5} = F_{m+4} + F_{m+3}" class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+%28F_%7Bm%2B3%7D+%2B+F_%7Bm%2B2%7D%29+%2B+F_%7Bm%2B3%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= (F_{m+3} + F_{m+2}) + F_{m+3}" title="= (F_{m+3} + F_{m+2}) + F_{m+3}" class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+2F_%7Bm%2B3%7D+%2B+F_%7Bm%2B2%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= 2F_{m+3} + F_{m+2}" title="= 2F_{m+3} + F_{m+2}" class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+2%28F_%7Bm%2B2%7D+%2B+F_%7Bm%2B1%7D%29+%2B+%28F_%7Bm%2B1%7D+%2B+F_m%29+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= 2(F_{m+2} + F_{m+1}) + (F_{m+1} + F_m) " title="= 2(F_{m+2} + F_{m+1}) + (F_{m+1} + F_m) " class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+2F_%7Bm%2B2%7D+%2B+3F_%7Bm%2B1%7D+%2B+F_m+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= 2F_{m+2} + 3F_{m+1} + F_m " title="= 2F_{m+2} + 3F_{m+1} + F_m " class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+2%28F_%7Bm%2B1%7D+%2B+F_m%29+%2B3F_%7Bm%2B1%7D+%2B+F_m+&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= 2(F_{m+1} + F_m) +3F_{m+1} + F_m " title="= 2(F_{m+1} + F_m) +3F_{m+1} + F_m " class="latex" /></p>
<p style="text-align: left;"><img src="//s0.wp.com/latex.php?latex=%3D+5F_%7Bm%2B1%7D+%2B+3F_m&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="= 5F_{m+1} + 3F_m" title="= 5F_{m+1} + 3F_m" class="latex" />.</p>
<p>&nbsp;</p>
<p>Since we know that <img src="//s0.wp.com/latex.php?latex=F_m&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_m" title="F_m" class="latex" /> is divisible by 5, it is now clear that <img src="//s0.wp.com/latex.php?latex=F_%7Bm%2B5%7D&#038;bg=ffffff&#038;fg=000&#038;s=0" alt="F_{m+5}" title="F_{m+5}" class="latex" /> is also divisible by 5.&hellip;</p>]]></content:encoded>
			<wfw:commentRss>http://www.mathemafrica.org/?feed=rss2&#038;p=11706</wfw:commentRss>
		<slash:comments>3</slash:comments>
		</item>
	</channel>
</rss>
