<?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/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
	>

<channel>
	<title>Leaves of Math</title>
	<atom:link href="http://mathnow.wordpress.com/feed/" rel="self" type="application/rss+xml" />
	<link>http://mathnow.wordpress.com</link>
	<description>Notes Mathematical and Otherwise</description>
	<lastBuildDate>Fri, 02 Dec 2011 17:42:48 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
<cloud domain='mathnow.wordpress.com' port='80' path='/?rsscloud=notify' registerProcedure='' protocol='http-post' />
<image>
		<url>http://1.gravatar.com/blavatar/d96061a8fd911c582dc934f4f6b50b4f?s=96&#038;d=http%3A%2F%2Fs2.wp.com%2Fi%2Fbuttonw-com.png</url>
		<title>Leaves of Math</title>
		<link>http://mathnow.wordpress.com</link>
	</image>
	<atom:link rel="search" type="application/opensearchdescription+xml" href="http://mathnow.wordpress.com/osd.xml" title="Leaves of Math" />
	<atom:link rel='hub' href='http://mathnow.wordpress.com/?pushpress=hub'/>
		<item>
		<title>Inverse Secant</title>
		<link>http://mathnow.wordpress.com/2009/12/04/inverse-secant/</link>
		<comments>http://mathnow.wordpress.com/2009/12/04/inverse-secant/#comments</comments>
		<pubDate>Fri, 04 Dec 2009 18:22:16 +0000</pubDate>
		<dc:creator>Dr. Nichtgegeben</dc:creator>
				<category><![CDATA[calculus]]></category>
		<category><![CDATA[inverse trig functions]]></category>
		<category><![CDATA[trigonometry]]></category>

		<guid isPermaLink="false">http://mathnow.wordpress.com/?p=689</guid>
		<description><![CDATA[The inverse sine and inverse tangent (and to a lesser extent the inverse cosine and inverse cotangent) are useful throughout your courses and in their applications. What about inverse secant or inverse cosecant? These functions are a bit problematic to define. Worse yet, once you&#8217;ve gone to the trouble of building them, they aren&#8217;t often [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=689&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>The inverse sine and inverse tangent (and to a lesser extent the inverse cosine and inverse cotangent) are useful throughout your courses and in their applications.  What about inverse secant or inverse cosecant?  These functions are a bit problematic to define.  Worse yet, once you&#8217;ve gone to the trouble of building them, they aren&#8217;t often useful.  Let&#8217;s consider the inverse secant.</p>
<p>Here&#8217;s the graph of cosine and secant on <img src='http://s0.wp.com/latex.php?latex=%5B-%5Cpi%2C+2%5Cpi%5D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='[-&#92;pi, 2&#92;pi]' title='[-&#92;pi, 2&#92;pi]' class='latex' />.</p>
<p><img src="http://mathnow.files.wordpress.com/2009/12/invsec.png?w=600"></p>
<p>Like all of the trig functions, secant is not one-to-one.  So we need to restrict the domain to get a one-to-one function and then invert.  Which pieces should we use though?  It seems reasonable, and in analogy with inverse cosine, to restrict our domain to <img src='http://s0.wp.com/latex.php?latex=%5B0%2C+%5Cfrac%7B%5Cpi%7D%7B2%7D%29+%5Ccup+%28%5Cfrac%7B%5Cpi%7D%7B2%7D%2C+%5Cpi%5D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='[0, &#92;frac{&#92;pi}{2}) &#92;cup (&#92;frac{&#92;pi}{2}, &#92;pi]' title='[0, &#92;frac{&#92;pi}{2}) &#92;cup (&#92;frac{&#92;pi}{2}, &#92;pi]' class='latex' />.  These are the green and yellow branches.  Let&#8217;s call this restricted secant <img src='http://s0.wp.com/latex.php?latex=%5Csec_1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec_1' title='&#92;sec_1' class='latex' />.  It turns out, unfortunately, that this natural choice isn&#8217;t perhaps the nicest choice for calculus purposes.  So we will also consider <img src='http://s0.wp.com/latex.php?latex=%5Csec_2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec_2' title='&#92;sec_2' class='latex' />, the restriction of secant to <img src='http://s0.wp.com/latex.php?latex=%5B0%2C+%5Cfrac%7B%5Cpi%7D%7B2%7D%29+%5Ccup+%5B%5Cpi%2C+%5Cfrac%7B3%5Cpi%7D%7B2%7D%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='[0, &#92;frac{&#92;pi}{2}) &#92;cup [&#92;pi, &#92;frac{3&#92;pi}{2})' title='[0, &#92;frac{&#92;pi}{2}) &#92;cup [&#92;pi, &#92;frac{3&#92;pi}{2})' class='latex' />.  So <img src='http://s0.wp.com/latex.php?latex=%5Csec_2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec_2' title='&#92;sec_2' class='latex' /> consists of the green and orange branches.  We will refer to these functions as <img src='http://s0.wp.com/latex.php?latex=%5Csec_%2A&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec_*' title='&#92;sec_*' class='latex' /> when it doesn&#8217;t matter which choices we&#8217;ve made.</p>
<p>In either case <img src='http://s0.wp.com/latex.php?latex=%5Csec_%2A&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec_*' title='&#92;sec_*' class='latex' /> is now one-to-one with range <img src='http://s0.wp.com/latex.php?latex=%28-%5Cinfty%2C+-1%5D+%5Ccup+%5B1%2C+%5Cinfty%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(-&#92;infty, -1] &#92;cup [1, &#92;infty)' title='(-&#92;infty, -1] &#92;cup [1, &#92;infty)' class='latex' />.  Thus we have <img src='http://s0.wp.com/latex.php?latex=%5Csec_%2A%5E%7B-1%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec_*^{-1}' title='&#92;sec_*^{-1}' class='latex' /> with domain <img src='http://s0.wp.com/latex.php?latex=%28-%5Cinfty%2C+-1%5D+%5Ccup+%5B1%2C+%5Cinfty%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(-&#92;infty, -1] &#92;cup [1, &#92;infty)' title='(-&#92;infty, -1] &#92;cup [1, &#92;infty)' class='latex' />.  What is the derivative of <img src='http://s0.wp.com/latex.php?latex=%5Csec_%2A%5E%7B-1%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec_*^{-1}' title='&#92;sec_*^{-1}' class='latex' />?  Well</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+y+%3D+%5Csec_%2A%5E%7B-1%7D+x+%5Cimplies+x+%3D+%5Csec_%2A+y++%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ y = &#92;sec_*^{-1} x &#92;implies x = &#92;sec_* y  }' title='&#92;displaystyle{ y = &#92;sec_*^{-1} x &#92;implies x = &#92;sec_* y  }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cimplies+1+%3D+%5Csec_%2A+y+%5Ctan+y+%5Ccdot+y%27++%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;implies 1 = &#92;sec_* y &#92;tan y &#92;cdot y&#039;  }' title='&#92;displaystyle{ &#92;implies 1 = &#92;sec_* y &#92;tan y &#92;cdot y&#039;  }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cimplies+y%27+%3D+%5Cfrac%7B1%7D%7B%5Csec_%2A+y+%5Ctan+y%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;implies y&#039; = &#92;frac{1}{&#92;sec_* y &#92;tan y} }' title='&#92;displaystyle{ &#92;implies y&#039; = &#92;frac{1}{&#92;sec_* y &#92;tan y} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cimplies+y%27+%3D+%5Cfrac%7B1%7D%7Bx+%5Ccdot+%5Cpm%5Csqrt%7Bx%5E2-1%7D%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;implies y&#039; = &#92;frac{1}{x &#92;cdot &#92;pm&#92;sqrt{x^2-1}} }' title='&#92;displaystyle{ &#92;implies y&#039; = &#92;frac{1}{x &#92;cdot &#92;pm&#92;sqrt{x^2-1}} }' class='latex' /></p>
<p>where we&#8217;ve used the identity <img src='http://s0.wp.com/latex.php?latex=1+%2B+%5Ctan%5E2+y+%3D+%5Csec%5E2+y&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='1 + &#92;tan^2 y = &#92;sec^2 y' title='1 + &#92;tan^2 y = &#92;sec^2 y' class='latex' />.</p>
<p>We now need to worry about our choice of domain.  In the case of <img src='http://s0.wp.com/latex.php?latex=%5Csec_2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec_2' title='&#92;sec_2' class='latex' /> our <img src='http://s0.wp.com/latex.php?latex=y&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='y' title='y' class='latex' /> belongs to <img src='http://s0.wp.com/latex.php?latex=%5B0%2C+%5Cfrac%7B%5Cpi%7D%7B2%7D%29+%5Ccup+%5B%5Cpi%2C+%5Cfrac%7B3%5Cpi%7D%7B2%7D%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='[0, &#92;frac{&#92;pi}{2}) &#92;cup [&#92;pi, &#92;frac{3&#92;pi}{2})' title='[0, &#92;frac{&#92;pi}{2}) &#92;cup [&#92;pi, &#92;frac{3&#92;pi}{2})' class='latex' /> and here <img src='http://s0.wp.com/latex.php?latex=%5Ctan+y+%3E+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;tan y &gt; 0' title='&#92;tan y &gt; 0' class='latex' />.  Thus</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7Bd%7D%7Bdx%7D+%5Csec_2+x+%3D+%5Cfrac%7B1%7D%7Bx%5Csqrt%7Bx%5E2-1%7D%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;frac{d}{dx} &#92;sec_2 x = &#92;frac{1}{x&#92;sqrt{x^2-1}} }' title='&#92;displaystyle{ &#92;frac{d}{dx} &#92;sec_2 x = &#92;frac{1}{x&#92;sqrt{x^2-1}} }' class='latex' /></p>
<p>But in the case of <img src='http://s0.wp.com/latex.php?latex=%5Csec_1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec_1' title='&#92;sec_1' class='latex' /> our <img src='http://s0.wp.com/latex.php?latex=y&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='y' title='y' class='latex' /> belongs to <img src='http://s0.wp.com/latex.php?latex=%5B0%2C+%5Cfrac%7B%5Cpi%7D%7B2%7D%29+%5Ccup+%28%5Cfrac%7B%5Cpi%7D%7B2%7D%2C+%5Cpi%5D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='[0, &#92;frac{&#92;pi}{2}) &#92;cup (&#92;frac{&#92;pi}{2}, &#92;pi]' title='[0, &#92;frac{&#92;pi}{2}) &#92;cup (&#92;frac{&#92;pi}{2}, &#92;pi]' class='latex' />.  Now <img src='http://s0.wp.com/latex.php?latex=%5Csec+y%2C+%5Ctan+y+%3E+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec y, &#92;tan y &gt; 0' title='&#92;sec y, &#92;tan y &gt; 0' class='latex' /> on <img src='http://s0.wp.com/latex.php?latex=%5B0%2C+%5Cfrac%7B%5Cpi%7D%7B2%7D%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='[0, &#92;frac{&#92;pi}{2})' title='[0, &#92;frac{&#92;pi}{2})' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Csec+y%2C+%5Ctan+y+%3C+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec y, &#92;tan y &lt; 0' title='&#92;sec y, &#92;tan y &lt; 0' class='latex' /> on <img src='http://s0.wp.com/latex.php?latex=%28%5Cfrac%7B%5Cpi%7D%7B2%7D%2C+%5Cpi%5D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(&#92;frac{&#92;pi}{2}, &#92;pi]' title='(&#92;frac{&#92;pi}{2}, &#92;pi]' class='latex' />.  Thus <img src='http://s0.wp.com/latex.php?latex=%5Csec+y+%5Ctan+y+%3D+%7Cx%7C+%5Csqrt%7Bx%5E2+-+1%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sec y &#92;tan y = |x| &#92;sqrt{x^2 - 1}' title='&#92;sec y &#92;tan y = |x| &#92;sqrt{x^2 - 1}' class='latex' /> for these <img src='http://s0.wp.com/latex.php?latex=y&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='y' title='y' class='latex' />.  Therefore</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7Bd%7D%7Bdx%7D+%5Csec_1+x+%3D+%5Cfrac%7B1%7D%7B%7Cx%7C%5Csqrt%7Bx%5E2-1%7D%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;frac{d}{dx} &#92;sec_1 x = &#92;frac{1}{|x|&#92;sqrt{x^2-1}} }' title='&#92;displaystyle{ &#92;frac{d}{dx} &#92;sec_1 x = &#92;frac{1}{|x|&#92;sqrt{x^2-1}} }' class='latex' /></p>
<p>These formulas agree on <img src='http://s0.wp.com/latex.php?latex=%5B0%2C+%5Cfrac%7B%5Cpi%7D%7B2%7D%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='[0, &#92;frac{&#92;pi}{2})' title='[0, &#92;frac{&#92;pi}{2})' class='latex' /> of course.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mathnow.wordpress.com/689/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mathnow.wordpress.com/689/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mathnow.wordpress.com/689/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mathnow.wordpress.com/689/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mathnow.wordpress.com/689/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mathnow.wordpress.com/689/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mathnow.wordpress.com/689/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mathnow.wordpress.com/689/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mathnow.wordpress.com/689/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mathnow.wordpress.com/689/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mathnow.wordpress.com/689/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mathnow.wordpress.com/689/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mathnow.wordpress.com/689/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mathnow.wordpress.com/689/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=689&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mathnow.wordpress.com/2009/12/04/inverse-secant/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/214ac1b19e22e1e3660fa2dad2a2f4b7?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dr. Nichtgegeben</media:title>
		</media:content>

		<media:content url="http://mathnow.files.wordpress.com/2009/12/invsec.png" medium="image" />
	</item>
		<item>
		<title>Machin&#8217;s Formula</title>
		<link>http://mathnow.wordpress.com/2009/11/23/machins-formula/</link>
		<comments>http://mathnow.wordpress.com/2009/11/23/machins-formula/#comments</comments>
		<pubDate>Tue, 24 Nov 2009 01:56:42 +0000</pubDate>
		<dc:creator>Dr. Nichtgegeben</dc:creator>
				<category><![CDATA[pi]]></category>
		<category><![CDATA[power series]]></category>
		<category><![CDATA[series]]></category>
		<category><![CDATA[alternating series]]></category>

		<guid isPermaLink="false">http://mathnow.wordpress.com/?p=720</guid>
		<description><![CDATA[Starting with the power series on we substitute for to get on and anti-differentiate to find on . Now since we see that . Thus we have good for all . As an example of how to calculate with this we remember and so . Thus we have . Now if, for whatever reason, we [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=720&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>Starting with the power series</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B1%7D%7B1-x%7D+%3D+1+%2B+x+%2B+x%5E2+%2B+x%5E3+%2B+%5Ccdots+%3D+%5Csum_%7Bn%3D0%7D%5E%7B%5Cinfty%7D+x%5En+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;frac{1}{1-x} = 1 + x + x^2 + x^3 + &#92;cdots = &#92;sum_{n=0}^{&#92;infty} x^n }' title='&#92;displaystyle{ &#92;frac{1}{1-x} = 1 + x + x^2 + x^3 + &#92;cdots = &#92;sum_{n=0}^{&#92;infty} x^n }' class='latex' /> on <img src='http://s0.wp.com/latex.php?latex=%28-1%2C+1%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(-1, 1)' title='(-1, 1)' class='latex' /></p>
<p>we substitute <img src='http://s0.wp.com/latex.php?latex=-x%5E2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='-x^2' title='-x^2' class='latex' /> for <img src='http://s0.wp.com/latex.php?latex=x&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x' title='x' class='latex' /> to get</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B1%7D%7B1%2Bx%5E2%7D+%3D+1+-+x%5E2+%2B+x%5E4+-+x%5E6+%2B+%5Ccdots+%3D+%5Csum_%7Bn%3D0%7D%5E%7B%5Cinfty%7D+%28-1%29%5En+x%5E%7B2n%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;frac{1}{1+x^2} = 1 - x^2 + x^4 - x^6 + &#92;cdots = &#92;sum_{n=0}^{&#92;infty} (-1)^n x^{2n} }' title='&#92;displaystyle{ &#92;frac{1}{1+x^2} = 1 - x^2 + x^4 - x^6 + &#92;cdots = &#92;sum_{n=0}^{&#92;infty} (-1)^n x^{2n} }' class='latex' /> on <img src='http://s0.wp.com/latex.php?latex=%28-1%2C+1%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(-1, 1)' title='(-1, 1)' class='latex' /></p>
<p>and anti-differentiate to find</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ctan%5E%7B-1%7D+x+%3D+C+%2B+x+-+%5Cfrac%7B1%7D%7B3%7Dx%5E3+%2B+%5Cfrac%7B1%7D%7B5%7Dx%5E5+-+%5Cfrac%7B1%7D%7B7%7Dx%5E7+%2B+%5Ccdots+%3D+%5Csum_%7Bn%3D0%7D%5E%7B%5Cinfty%7D+%5Cfrac%7B%28-1%29%5En%7D%7B2n%2B1%7D+x%5E%7B2n%2B1%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;tan^{-1} x = C + x - &#92;frac{1}{3}x^3 + &#92;frac{1}{5}x^5 - &#92;frac{1}{7}x^7 + &#92;cdots = &#92;sum_{n=0}^{&#92;infty} &#92;frac{(-1)^n}{2n+1} x^{2n+1} }' title='&#92;displaystyle{ &#92;tan^{-1} x = C + x - &#92;frac{1}{3}x^3 + &#92;frac{1}{5}x^5 - &#92;frac{1}{7}x^7 + &#92;cdots = &#92;sum_{n=0}^{&#92;infty} &#92;frac{(-1)^n}{2n+1} x^{2n+1} }' class='latex' /> on <img src='http://s0.wp.com/latex.php?latex=%28-1%2C+1%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(-1, 1)' title='(-1, 1)' class='latex' />.</p>
<p>Now since <img src='http://s0.wp.com/latex.php?latex=%5Ctan%5E%7B-1%7D+0+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;tan^{-1} 0 = 0' title='&#92;tan^{-1} 0 = 0' class='latex' /> we see that <img src='http://s0.wp.com/latex.php?latex=C+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='C = 0' title='C = 0' class='latex' />.  Thus we have</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ctan%5E%7B-1%7D+x+%3D+x+-+%5Cfrac%7B1%7D%7B3%7Dx%5E3+%2B+%5Cfrac%7B1%7D%7B5%7Dx%5E5+-+%5Cfrac%7B1%7D%7B7%7Dx%5E7+%2B+%5Ccdots+%3D+%5Csum_%7Bn%3D0%7D%5E%7B%5Cinfty%7D+%5Cfrac%7B%28-1%29%5En%7D%7B2n%2B1%7D+x%5E%7B2n%2B1%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;tan^{-1} x = x - &#92;frac{1}{3}x^3 + &#92;frac{1}{5}x^5 - &#92;frac{1}{7}x^7 + &#92;cdots = &#92;sum_{n=0}^{&#92;infty} &#92;frac{(-1)^n}{2n+1} x^{2n+1} }' title='&#92;displaystyle{ &#92;tan^{-1} x = x - &#92;frac{1}{3}x^3 + &#92;frac{1}{5}x^5 - &#92;frac{1}{7}x^7 + &#92;cdots = &#92;sum_{n=0}^{&#92;infty} &#92;frac{(-1)^n}{2n+1} x^{2n+1} }' class='latex' /> good for all <img src='http://s0.wp.com/latex.php?latex=x+%5Cin+%28-1%2C+1%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x &#92;in (-1, 1)' title='x &#92;in (-1, 1)' class='latex' />.</p>
<p>As an example of how to calculate with this we remember <img src='http://s0.wp.com/latex.php?latex=%5Ctan%28%5Cpi%2F6%29+%3D+1%2F%5Csqrt%7B3%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;tan(&#92;pi/6) = 1/&#92;sqrt{3}' title='&#92;tan(&#92;pi/6) = 1/&#92;sqrt{3}' class='latex' /> and so </p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B%5Cpi%7D%7B6%7D+%3D+%5Ctan%5E%7B-1%7D%5Cleft%28+%5Cfrac%7B1%7D%7B%5Csqrt%7B3%7D%7D+%5Cright%29+%3D+%5Cfrac%7B1%7D%7B%5Csqrt%7B3%7D%7D+-+%5Cfrac%7B1%7D%7B3%7D%5Cleft%28%5Cfrac%7B1%7D%7B%5Csqrt%7B3%7D%7D%5Cright%29%5E3+%2B+%5Cfrac%7B1%7D%7B5%7D%5Cleft%28%5Cfrac%7B1%7D%7B%5Csqrt%7B3%7D%7D%5Cright%29%5E5+-+%5Cfrac%7B1%7D%7B7%7D%5Cleft%28%5Cfrac%7B1%7D%7B%5Csqrt%7B3%7D%7D%5Cright%29%5E7+%2B+%5Ccdots+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;frac{&#92;pi}{6} = &#92;tan^{-1}&#92;left( &#92;frac{1}{&#92;sqrt{3}} &#92;right) = &#92;frac{1}{&#92;sqrt{3}} - &#92;frac{1}{3}&#92;left(&#92;frac{1}{&#92;sqrt{3}}&#92;right)^3 + &#92;frac{1}{5}&#92;left(&#92;frac{1}{&#92;sqrt{3}}&#92;right)^5 - &#92;frac{1}{7}&#92;left(&#92;frac{1}{&#92;sqrt{3}}&#92;right)^7 + &#92;cdots }' title='&#92;displaystyle{ &#92;frac{&#92;pi}{6} = &#92;tan^{-1}&#92;left( &#92;frac{1}{&#92;sqrt{3}} &#92;right) = &#92;frac{1}{&#92;sqrt{3}} - &#92;frac{1}{3}&#92;left(&#92;frac{1}{&#92;sqrt{3}}&#92;right)^3 + &#92;frac{1}{5}&#92;left(&#92;frac{1}{&#92;sqrt{3}}&#92;right)^5 - &#92;frac{1}{7}&#92;left(&#92;frac{1}{&#92;sqrt{3}}&#92;right)^7 + &#92;cdots }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Csum_%7Bn%3D0%7D%5E%7B%5Cinfty%7D%5Cfrac%7B%28-1%29%5En%7D%7B2n%2B1%7D+%5Cleft%28+%5Cfrac%7B1%7D%7B%5Csqrt%7B3%7D%7D+%5Cright%29%5E%7B2n%2B1%7D+%3D++%5Csum_%7Bn%3D0%7D%5E%7B%5Cinfty%7D%5Cfrac%7B%28-1%29%5En%7D%7B%282n%2B1%29+3%5En%7D+%5Cfrac%7B1%7D%7B%5Csqrt%7B3%7D%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;sum_{n=0}^{&#92;infty}&#92;frac{(-1)^n}{2n+1} &#92;left( &#92;frac{1}{&#92;sqrt{3}} &#92;right)^{2n+1} =  &#92;sum_{n=0}^{&#92;infty}&#92;frac{(-1)^n}{(2n+1) 3^n} &#92;frac{1}{&#92;sqrt{3}} }' title='&#92;displaystyle{ = &#92;sum_{n=0}^{&#92;infty}&#92;frac{(-1)^n}{2n+1} &#92;left( &#92;frac{1}{&#92;sqrt{3}} &#92;right)^{2n+1} =  &#92;sum_{n=0}^{&#92;infty}&#92;frac{(-1)^n}{(2n+1) 3^n} &#92;frac{1}{&#92;sqrt{3}} }' class='latex' />.  </p>
<p>Thus we have</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B%5Cpi%5Csqrt%7B3%7D%7D%7B6%7D+%3D++%5Csum_%7Bn%3D0%7D%5E%7B%5Cinfty%7D%5Cfrac%7B%28-1%29%5En%7D%7B%282n%2B1%29+3%5En%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;frac{&#92;pi&#92;sqrt{3}}{6} =  &#92;sum_{n=0}^{&#92;infty}&#92;frac{(-1)^n}{(2n+1) 3^n} }' title='&#92;displaystyle{ &#92;frac{&#92;pi&#92;sqrt{3}}{6} =  &#92;sum_{n=0}^{&#92;infty}&#92;frac{(-1)^n}{(2n+1) 3^n} }' class='latex' />. </p>
<p>Now if, for whatever reason, we wanted to calculate <img src='http://s0.wp.com/latex.php?latex=%5Cpi%5Csqrt%7B3%7D%2F6&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;pi&#92;sqrt{3}/6' title='&#92;pi&#92;sqrt{3}/6' class='latex' /> we could use the well-known estimate from the world of alternating series to find</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cleft%7C+%5Cfrac%7B%5Cpi%5Csqrt%7B3%7D%7D%7B6%7D+-+%5Csum_%7Bn+%3D+0%7D%5E%7BN%7D+%5Cfrac%7B%28-1%29%5En%7D%7B%282n%2B1%29+3%5En%7D+%5Cright%7C+%5Cleq+%5Cfrac%7B1%7D%7B%282N%2B3%293%5E%7BN%2B1%7D%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;left| &#92;frac{&#92;pi&#92;sqrt{3}}{6} - &#92;sum_{n = 0}^{N} &#92;frac{(-1)^n}{(2n+1) 3^n} &#92;right| &#92;leq &#92;frac{1}{(2N+3)3^{N+1}} }' title='&#92;displaystyle{ &#92;left| &#92;frac{&#92;pi&#92;sqrt{3}}{6} - &#92;sum_{n = 0}^{N} &#92;frac{(-1)^n}{(2n+1) 3^n} &#92;right| &#92;leq &#92;frac{1}{(2N+3)3^{N+1}} }' class='latex' /></p>
<p>where the sum of an alternating series of the form <img src='http://s0.wp.com/latex.php?latex=%5Csum+%28-1%29%5En+b_n&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sum (-1)^n b_n' title='&#92;sum (-1)^n b_n' class='latex' /> with <img src='http://s0.wp.com/latex.php?latex=b_n+%3E+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='b_n &gt; 0' title='b_n &gt; 0' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=b_n&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='b_n' title='b_n' class='latex' /> decreasing to <img src='http://s0.wp.com/latex.php?latex=0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='0' title='0' class='latex' /> differs from its <img src='http://s0.wp.com/latex.php?latex=N&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='N' title='N' class='latex' />-th partial sum by at most <img src='http://s0.wp.com/latex.php?latex=b_%7BN%2B1%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='b_{N+1}' title='b_{N+1}' class='latex' />.</p>
<p>Now <em>Machin&#8217;s Formula</em> states</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B%5Cfrac%7B%5Cpi%7D%7B4%7D+%3D+4%5Ctan%5E%7B-1%7D%5Cleft%28%5Cfrac%7B1%7D%7B5%7D%5Cright%29+-+%5Ctan%5E%7B-1%7D%5Cleft%28%5Cfrac%7B1%7D%7B239%7D%5Cright%29+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{&#92;frac{&#92;pi}{4} = 4&#92;tan^{-1}&#92;left(&#92;frac{1}{5}&#92;right) - &#92;tan^{-1}&#92;left(&#92;frac{1}{239}&#92;right) }' title='&#92;displaystyle{&#92;frac{&#92;pi}{4} = 4&#92;tan^{-1}&#92;left(&#92;frac{1}{5}&#92;right) - &#92;tan^{-1}&#92;left(&#92;frac{1}{239}&#92;right) }' class='latex' />.</p>
<p>Given our series expression for <img src='http://s0.wp.com/latex.php?latex=%5Ctan%5E%7B-1%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;tan^{-1}' title='&#92;tan^{-1}' class='latex' />, the niceness of the numbers <img src='http://s0.wp.com/latex.php?latex=%5Cfrac%7B1%7D%7B5%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;frac{1}{5}' title='&#92;frac{1}{5}' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Cfrac%7B1%7D%7B239%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;frac{1}{239}' title='&#92;frac{1}{239}' class='latex' />, and the easy estimate provided because our series is alternating in the right way, Machin&#8217;s Formula gives a very efficient way to calculate <img src='http://s0.wp.com/latex.php?latex=%5Cpi&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;pi' title='&#92;pi' class='latex' />.</p>
<p>How do we prove this formula?  The proof is actually an easy, though tedious application of the tangent addition formula:  </p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ctan%28x+%2B+y%29+%3D+%5Cfrac%7B%5Ctan+x+%2B+%5Ctan+y%7D%7B1+-+%5Ctan+x+%5Ctan+y%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;tan(x + y) = &#92;frac{&#92;tan x + &#92;tan y}{1 - &#92;tan x &#92;tan y} }' title='&#92;displaystyle{ &#92;tan(x + y) = &#92;frac{&#92;tan x + &#92;tan y}{1 - &#92;tan x &#92;tan y} }' class='latex' /></p>
<p>Here goes:</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ctan%282A%29+%3D+%5Cfrac%7B2%5Ctan+A%7D%7B1+-+%5Ctan%5E2+A%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;tan(2A) = &#92;frac{2&#92;tan A}{1 - &#92;tan^2 A} }' title='&#92;displaystyle{ &#92;tan(2A) = &#92;frac{2&#92;tan A}{1 - &#92;tan^2 A} }' class='latex' /> and so </p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ctan%284A%29+%3D+%5Cfrac%7B2%5Cfrac%7B2%5Ctan+A%7D%7B1+-+%5Ctan%5E2+A%7D%7D%7B1+-+%5Cleft%28%5Cfrac%7B2%5Ctan+A%7D%7B1+-+%5Ctan%5E2+A%7D%5Cright%29%5E2%7D+%3D+%5Cfrac%7B4%5Ctan+A%281-%5Ctan%5E2+A%29%7D%7B%281-%5Ctan%5E2+A%29+-+%282%5Ctan+A%29%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;tan(4A) = &#92;frac{2&#92;frac{2&#92;tan A}{1 - &#92;tan^2 A}}{1 - &#92;left(&#92;frac{2&#92;tan A}{1 - &#92;tan^2 A}&#92;right)^2} = &#92;frac{4&#92;tan A(1-&#92;tan^2 A)}{(1-&#92;tan^2 A) - (2&#92;tan A)^2} }' title='&#92;displaystyle{ &#92;tan(4A) = &#92;frac{2&#92;frac{2&#92;tan A}{1 - &#92;tan^2 A}}{1 - &#92;left(&#92;frac{2&#92;tan A}{1 - &#92;tan^2 A}&#92;right)^2} = &#92;frac{4&#92;tan A(1-&#92;tan^2 A)}{(1-&#92;tan^2 A) - (2&#92;tan A)^2} }' class='latex' /></p>
<p>Now if <img src='http://s0.wp.com/latex.php?latex=A+%3D+%5Ctan%5E%7B-1%7D%281%2F5%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='A = &#92;tan^{-1}(1/5)' title='A = &#92;tan^{-1}(1/5)' class='latex' /> we have <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ctan%284A%29+%3D+%5Cfrac%7B4%5Ccdot%5Cfrac%7B1%7D%7B5%7D%5Ccdot%5Cfrac%7B24%7D%7B25%7D%7D%7B%28%5Cfrac%7B24%7D%7B25%7D%29%5E2+-+%28%5Cfrac%7B2%7D%7B5%7D%29%5E2%7D+%3D+%5Cfrac%7B120%7D%7B119%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;tan(4A) = &#92;frac{4&#92;cdot&#92;frac{1}{5}&#92;cdot&#92;frac{24}{25}}{(&#92;frac{24}{25})^2 - (&#92;frac{2}{5})^2} = &#92;frac{120}{119} }' title='&#92;displaystyle{ &#92;tan(4A) = &#92;frac{4&#92;cdot&#92;frac{1}{5}&#92;cdot&#92;frac{24}{25}}{(&#92;frac{24}{25})^2 - (&#92;frac{2}{5})^2} = &#92;frac{120}{119} }' class='latex' />.</p>
<p>Ok, now consider</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ctan%284A-B%29+%3D+%5Cfrac%7B%5Ctan+4A+-+%5Ctan+B%7D%7B1+%2B+%5Ctan+4A%5Ctan+B%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;tan(4A-B) = &#92;frac{&#92;tan 4A - &#92;tan B}{1 + &#92;tan 4A&#92;tan B} }' title='&#92;displaystyle{ &#92;tan(4A-B) = &#92;frac{&#92;tan 4A - &#92;tan B}{1 + &#92;tan 4A&#92;tan B} }' class='latex' /></p>
<p>and if <img src='http://s0.wp.com/latex.php?latex=A+%3D+%5Ctan%5E%7B-1%7D%281%2F5%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='A = &#92;tan^{-1}(1/5)' title='A = &#92;tan^{-1}(1/5)' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=B+%3D+%5Ctan%5E%7B-1%7D%281%2F239%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='B = &#92;tan^{-1}(1/239)' title='B = &#92;tan^{-1}(1/239)' class='latex' /> we have</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ctan%284A-B%29+%3D+%5Cfrac%7B%5Cfrac%7B120%7D%7B119%7D+-+%5Cfrac%7B1%7D%7B239%7D%7D%7B1%2B%5Cfrac%7B120%7D%7B119%7D%5Cfrac%7B1%7D%7B239%7D%7D+%3D+1+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;tan(4A-B) = &#92;frac{&#92;frac{120}{119} - &#92;frac{1}{239}}{1+&#92;frac{120}{119}&#92;frac{1}{239}} = 1 }' title='&#92;displaystyle{ &#92;tan(4A-B) = &#92;frac{&#92;frac{120}{119} - &#92;frac{1}{239}}{1+&#92;frac{120}{119}&#92;frac{1}{239}} = 1 }' class='latex' /></p>
<p>and therefore</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B%5Cpi%7D%7B4%7D+%3D+%5Ctan%5E%7B-1%7D+1+%3D+4A+-+B+%3D+4%5Ctan%5E%7B-1%7D%5Cleft%28%5Cfrac%7B1%7D%7B5%7D%5Cright%29+-+%5Ctan%5E%7B-1%7D%5Cleft%28%5Cfrac%7B1%7D%7B239%7D%5Cright%29+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;frac{&#92;pi}{4} = &#92;tan^{-1} 1 = 4A - B = 4&#92;tan^{-1}&#92;left(&#92;frac{1}{5}&#92;right) - &#92;tan^{-1}&#92;left(&#92;frac{1}{239}&#92;right) }' title='&#92;displaystyle{ &#92;frac{&#92;pi}{4} = &#92;tan^{-1} 1 = 4A - B = 4&#92;tan^{-1}&#92;left(&#92;frac{1}{5}&#92;right) - &#92;tan^{-1}&#92;left(&#92;frac{1}{239}&#92;right) }' class='latex' /></p>
<p>as desired.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mathnow.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mathnow.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mathnow.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mathnow.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mathnow.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mathnow.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mathnow.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mathnow.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mathnow.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mathnow.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mathnow.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mathnow.wordpress.com/720/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mathnow.wordpress.com/720/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mathnow.wordpress.com/720/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=720&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mathnow.wordpress.com/2009/11/23/machins-formula/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/214ac1b19e22e1e3660fa2dad2a2f4b7?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dr. Nichtgegeben</media:title>
		</media:content>
	</item>
		<item>
		<title>Integral Example 8</title>
		<link>http://mathnow.wordpress.com/2009/11/19/integral-example-8/</link>
		<comments>http://mathnow.wordpress.com/2009/11/19/integral-example-8/#comments</comments>
		<pubDate>Fri, 20 Nov 2009 01:26:48 +0000</pubDate>
		<dc:creator>Dr. Nichtgegeben</dc:creator>
				<category><![CDATA[anti-differentiation]]></category>
		<category><![CDATA[calculus]]></category>
		<category><![CDATA[indefinite integrals]]></category>
		<category><![CDATA[integrals]]></category>
		<category><![CDATA[Weierstrass substitution]]></category>

		<guid isPermaLink="false">http://mathnow.wordpress.com/?p=685</guid>
		<description><![CDATA[Consider the integral . Here&#8217;s a too clever solution: Since we have Using the Weierstrass substitution here would be a less clever, more general way to solve this integral. Remember we set yielding , , and . Applying these here we find We complete the square: and go on. We make the substitution , and [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=685&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>Consider the integral <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cint%5C%21+%5Cfrac%7Bd%5Ctheta%7D%7B%5Ccos+%5Ctheta+%2B+%5Csin+%5Ctheta%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;int&#92;! &#92;frac{d&#92;theta}{&#92;cos &#92;theta + &#92;sin &#92;theta} }' title='&#92;displaystyle{ &#92;int&#92;! &#92;frac{d&#92;theta}{&#92;cos &#92;theta + &#92;sin &#92;theta} }' class='latex' />.</p>
<p>Here&#8217;s a too clever solution: Since <img src='http://s0.wp.com/latex.php?latex=%5Csqrt%7B2%7D%2F2+%3D+%5Ccos%28%5Cpi%2F4%29+%3D+%5Csin%28%5Cpi%2F4%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sqrt{2}/2 = &#92;cos(&#92;pi/4) = &#92;sin(&#92;pi/4)' title='&#92;sqrt{2}/2 = &#92;cos(&#92;pi/4) = &#92;sin(&#92;pi/4)' class='latex' /> we have</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cint%5C%21+%5Cfrac%7Bd%5Ctheta%7D%7B%5Ccos+%5Ctheta+%2B+%5Csin+%5Ctheta%7D+%3D+%5Cint%5C%21+%5Cfrac%7B%5Cfrac%7B%5Csqrt%7B2%7D%7D%7B2%7D%5C%2C+d%5Ctheta%7D%7B%5Ccos+%5Ctheta+%5Ccos%28%5Cpi%2F4%29+%2B+%5Csin+%5Ctheta+%5Csin%28%5Cpi%2F4%29%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;int&#92;! &#92;frac{d&#92;theta}{&#92;cos &#92;theta + &#92;sin &#92;theta} = &#92;int&#92;! &#92;frac{&#92;frac{&#92;sqrt{2}}{2}&#92;, d&#92;theta}{&#92;cos &#92;theta &#92;cos(&#92;pi/4) + &#92;sin &#92;theta &#92;sin(&#92;pi/4)} }' title='&#92;displaystyle{ &#92;int&#92;! &#92;frac{d&#92;theta}{&#92;cos &#92;theta + &#92;sin &#92;theta} = &#92;int&#92;! &#92;frac{&#92;frac{&#92;sqrt{2}}{2}&#92;, d&#92;theta}{&#92;cos &#92;theta &#92;cos(&#92;pi/4) + &#92;sin &#92;theta &#92;sin(&#92;pi/4)} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cint%5C%21+%5Cfrac%7B%5Cfrac%7B%5Csqrt%7B2%7D%7D%7B2%7D%5C%2C+d%5Ctheta%7D%7B%5Ccos%28%5Ctheta+-+%5Cpi%2F4%29%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{&#92;frac{&#92;sqrt{2}}{2}&#92;, d&#92;theta}{&#92;cos(&#92;theta - &#92;pi/4)} }' title='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{&#92;frac{&#92;sqrt{2}}{2}&#92;, d&#92;theta}{&#92;cos(&#92;theta - &#92;pi/4)} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cfrac%7B%5Csqrt%7B2%7D%7D%7B2%7D%5Cint%5C%21+%5Csec%28%5Ctheta+-+%5Cpi%2F4%29%5C%2Cd%5Ctheta+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;frac{&#92;sqrt{2}}{2}&#92;int&#92;! &#92;sec(&#92;theta - &#92;pi/4)&#92;,d&#92;theta }' title='&#92;displaystyle{ = &#92;frac{&#92;sqrt{2}}{2}&#92;int&#92;! &#92;sec(&#92;theta - &#92;pi/4)&#92;,d&#92;theta }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cfrac%7B%5Csqrt%7B2%7D%7D%7B2%7D%5Cln%7C+%5Csec%28%5Ctheta+-+%5Cpi%2F4%29+%2B+%5Ctan%28%5Ctheta+-+%5Cpi%2F4%29%7C+%2B+C%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;frac{&#92;sqrt{2}}{2}&#92;ln| &#92;sec(&#92;theta - &#92;pi/4) + &#92;tan(&#92;theta - &#92;pi/4)| + C}' title='&#92;displaystyle{ = &#92;frac{&#92;sqrt{2}}{2}&#92;ln| &#92;sec(&#92;theta - &#92;pi/4) + &#92;tan(&#92;theta - &#92;pi/4)| + C}' class='latex' /></p>
<p><HR width="100%"></p>
<p>Using the <A href="http://mathnow.wordpress.com/2009/11/13/the-weierstrass-substitution">Weierstrass substitution</A> here would be a less clever, more general way to solve this integral. Remember we set <img src='http://s0.wp.com/latex.php?latex=%5Ctheta+%3D+2%5Ctan%5E%7B-1%7D%28t%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;theta = 2&#92;tan^{-1}(t)' title='&#92;theta = 2&#92;tan^{-1}(t)' class='latex' /> yielding <img src='http://s0.wp.com/latex.php?latex=%5Ccos+%5Ctheta+%3D+%281-t%5E2%29%2F%281%2Bt%5E2%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;cos &#92;theta = (1-t^2)/(1+t^2)' title='&#92;cos &#92;theta = (1-t^2)/(1+t^2)' class='latex' />, <img src='http://s0.wp.com/latex.php?latex=%5Csin+%5Ctheta+%3D+2t%2F%281%2Bt%5E2%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sin &#92;theta = 2t/(1+t^2)' title='&#92;sin &#92;theta = 2t/(1+t^2)' class='latex' />, and <img src='http://s0.wp.com/latex.php?latex=d%5Ctheta+%3D+2%2F%281%2Bt%5E2%29%5C%2Cdt&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='d&#92;theta = 2/(1+t^2)&#92;,dt' title='d&#92;theta = 2/(1+t^2)&#92;,dt' class='latex' />. Applying these here we find</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cint%5C%21+%5Cfrac%7Bd%5Ctheta%7D%7B%5Ccos+%5Ctheta+%2B+%5Csin+%5Ctheta%7D+%3D+%5Cint%5C%21+%5Cfrac%7B%5Cfrac%7B2%7D%7B1%2Bt%5E2%7D%5C%2Cdt%7D%7B%5Cfrac%7B1-t%5E2%7D%7B1%2Bt%5E2%7D+%2B+%5Cfrac%7B2t%7D%7B1%2Bt%5E2%7D%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;int&#92;! &#92;frac{d&#92;theta}{&#92;cos &#92;theta + &#92;sin &#92;theta} = &#92;int&#92;! &#92;frac{&#92;frac{2}{1+t^2}&#92;,dt}{&#92;frac{1-t^2}{1+t^2} + &#92;frac{2t}{1+t^2}} }' title='&#92;displaystyle{ &#92;int&#92;! &#92;frac{d&#92;theta}{&#92;cos &#92;theta + &#92;sin &#92;theta} = &#92;int&#92;! &#92;frac{&#92;frac{2}{1+t^2}&#92;,dt}{&#92;frac{1-t^2}{1+t^2} + &#92;frac{2t}{1+t^2}} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cint%5C%21+%5Cfrac%7B2%5C%2Cdt%7D%7B1-t%5E2+%2B+2t%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{2&#92;,dt}{1-t^2 + 2t} }' title='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{2&#92;,dt}{1-t^2 + 2t} }' class='latex' /></p>
<p>We complete the square: <img src='http://s0.wp.com/latex.php?latex=1-t%5E2%2B2t+%3D+2+-+%281-t%29%5E2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='1-t^2+2t = 2 - (1-t)^2' title='1-t^2+2t = 2 - (1-t)^2' class='latex' /> and go on.</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cint%5C%21+%5Cfrac%7B2%5C%2Cdt%7D%7B2-%281-t%29%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{2&#92;,dt}{2-(1-t)^2} }' title='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{2&#92;,dt}{2-(1-t)^2} }' class='latex' /></p>
<p>We make the substitution <img src='http://s0.wp.com/latex.php?latex=u+%3D+1-t&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u = 1-t' title='u = 1-t' class='latex' />, <img src='http://s0.wp.com/latex.php?latex=du+%3D+-dt&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='du = -dt' title='du = -dt' class='latex' /> and find</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+-2%5Cint%5C%21+%5Cfrac%7Bdu%7D%7B2-u%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = -2&#92;int&#92;! &#92;frac{du}{2-u^2} }' title='&#92;displaystyle{ = -2&#92;int&#92;! &#92;frac{du}{2-u^2} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+-2%5Cfrac%7B1%7D%7B2%5Csqrt%7B2%7D%7D+%5Cln%5Cleft%7C+%5Cfrac%7B%5Csqrt%7B2%7D%2Bt%7D%7B%5Csqrt%7B2%7D-t%7D+%5Cright%7C+%2B+C%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = -2&#92;frac{1}{2&#92;sqrt{2}} &#92;ln&#92;left| &#92;frac{&#92;sqrt{2}+t}{&#92;sqrt{2}-t} &#92;right| + C}' title='&#92;displaystyle{ = -2&#92;frac{1}{2&#92;sqrt{2}} &#92;ln&#92;left| &#92;frac{&#92;sqrt{2}+t}{&#92;sqrt{2}-t} &#92;right| + C}' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+-%5Cfrac%7B1%7D%7B%5Csqrt%7B2%7D%7D+%5Cln%5Cleft%7C+%5Cfrac%7B%5Csqrt%7B2%7D%2B%5Ctan%28%5Ctheta%2F2%29%7D%7B%5Csqrt%7B2%7D-%5Ctan%28%5Ctheta%2F2%29%7D+%5Cright%7C+%2B+C%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = -&#92;frac{1}{&#92;sqrt{2}} &#92;ln&#92;left| &#92;frac{&#92;sqrt{2}+&#92;tan(&#92;theta/2)}{&#92;sqrt{2}-&#92;tan(&#92;theta/2)} &#92;right| + C}' title='&#92;displaystyle{ = -&#92;frac{1}{&#92;sqrt{2}} &#92;ln&#92;left| &#92;frac{&#92;sqrt{2}+&#92;tan(&#92;theta/2)}{&#92;sqrt{2}-&#92;tan(&#92;theta/2)} &#92;right| + C}' class='latex' /></p>
<p>I&#8217;ll leave it to you to reconcile the two answers.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mathnow.wordpress.com/685/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mathnow.wordpress.com/685/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mathnow.wordpress.com/685/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mathnow.wordpress.com/685/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mathnow.wordpress.com/685/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mathnow.wordpress.com/685/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mathnow.wordpress.com/685/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mathnow.wordpress.com/685/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mathnow.wordpress.com/685/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mathnow.wordpress.com/685/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mathnow.wordpress.com/685/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mathnow.wordpress.com/685/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mathnow.wordpress.com/685/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mathnow.wordpress.com/685/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=685&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mathnow.wordpress.com/2009/11/19/integral-example-8/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/214ac1b19e22e1e3660fa2dad2a2f4b7?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dr. Nichtgegeben</media:title>
		</media:content>
	</item>
		<item>
		<title>Integral Example 7</title>
		<link>http://mathnow.wordpress.com/2009/11/17/integral-example-7/</link>
		<comments>http://mathnow.wordpress.com/2009/11/17/integral-example-7/#comments</comments>
		<pubDate>Tue, 17 Nov 2009 16:58:44 +0000</pubDate>
		<dc:creator>Dr. Nichtgegeben</dc:creator>
				<category><![CDATA[anti-differentiation]]></category>
		<category><![CDATA[calculus]]></category>
		<category><![CDATA[indefinite integrals]]></category>
		<category><![CDATA[hyperbolic functions]]></category>

		<guid isPermaLink="false">http://mathnow.wordpress.com/?p=626</guid>
		<description><![CDATA[Consider the indefinite integral where is a positive real number. This can be evaluated in a number of ways. Here are two of them along with a nice consequence. First we&#8217;ll treat this as a straight-forward partial fraction decomposition question. We have where are real numbers to be determined. We have then . Letting we [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=626&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>Consider the indefinite integral <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cint%5C%21+%5Cfrac%7B1%7D%7Ba%5E2-x%5E2%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;int&#92;! &#92;frac{1}{a^2-x^2}&#92;,dx }' title='&#92;displaystyle{ &#92;int&#92;! &#92;frac{1}{a^2-x^2}&#92;,dx }' class='latex' /> where <img src='http://s0.wp.com/latex.php?latex=a&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='a' title='a' class='latex' /> is a positive real number.</p>
<p>This can be evaluated in a number of ways.  Here are two of them along with a nice consequence.</p>
<hr width="100%">
<p>First we&#8217;ll treat this as a straight-forward partial fraction decomposition question.  We have </p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B1%7D%7Ba%5E2-x%5E2%7D+%3D+%5Cfrac%7BA%7D%7Ba%2Bx%7D+%2B+%5Cfrac%7BB%7D%7Ba-x%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;frac{1}{a^2-x^2} = &#92;frac{A}{a+x} + &#92;frac{B}{a-x} }' title='&#92;displaystyle{ &#92;frac{1}{a^2-x^2} = &#92;frac{A}{a+x} + &#92;frac{B}{a-x} }' class='latex' /></p>
<p>where <img src='http://s0.wp.com/latex.php?latex=A%2C+B&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='A, B' title='A, B' class='latex' /> are real numbers to be determined.  We have then</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+1+%3D+A%28a-x%29+%2B+B%28a%2Bx%29+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ 1 = A(a-x) + B(a+x) }' title='&#92;displaystyle{ 1 = A(a-x) + B(a+x) }' class='latex' />.</p>
<p>Letting <img src='http://s0.wp.com/latex.php?latex=x+%3D+a&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x = a' title='x = a' class='latex' /> we find <img src='http://s0.wp.com/latex.php?latex=B+%3D+1%2F2a&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='B = 1/2a' title='B = 1/2a' class='latex' />; letting <img src='http://s0.wp.com/latex.php?latex=x+%3D+-a&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x = -a' title='x = -a' class='latex' /> we find <img src='http://s0.wp.com/latex.php?latex=A+%3D+1%2F2a&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='A = 1/2a' title='A = 1/2a' class='latex' />.  Thus</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cint%5C%21+%5Cfrac%7B1%7D%7Ba%5E2-x%5E2%7D%5C%2Cdx+%3D+%5Cint%5C%21+%5Cleft%28+%5Cfrac%7B1%2F2a%7D%7Ba%2Bx%7D+%2B+%5Cfrac%7B1%2F2a%7D%7Ba-x%7D+%5Cright%29%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;int&#92;! &#92;frac{1}{a^2-x^2}&#92;,dx = &#92;int&#92;! &#92;left( &#92;frac{1/2a}{a+x} + &#92;frac{1/2a}{a-x} &#92;right)&#92;,dx }' title='&#92;displaystyle{ &#92;int&#92;! &#92;frac{1}{a^2-x^2}&#92;,dx = &#92;int&#92;! &#92;left( &#92;frac{1/2a}{a+x} + &#92;frac{1/2a}{a-x} &#92;right)&#92;,dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cfrac%7B1%7D%7B2a%7D+%5Cint%5C%21+%5Cleft%28+%5Cfrac%7B1%7D%7Ba%2Bx%7D+%2B+%5Cfrac%7B1%7D%7Ba-x%7D+%5Cright%29%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;frac{1}{2a} &#92;int&#92;! &#92;left( &#92;frac{1}{a+x} + &#92;frac{1}{a-x} &#92;right)&#92;,dx }' title='&#92;displaystyle{ = &#92;frac{1}{2a} &#92;int&#92;! &#92;left( &#92;frac{1}{a+x} + &#92;frac{1}{a-x} &#92;right)&#92;,dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cfrac%7B1%7D%7B2a%7D%5Cleft%28%5Cln%7Ca%2Bx%7C+-+%5Cln%7Ca-x%7C%5Cright%29+%2B+C%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;frac{1}{2a}&#92;left(&#92;ln|a+x| - &#92;ln|a-x|&#92;right) + C}' title='&#92;displaystyle{ = &#92;frac{1}{2a}&#92;left(&#92;ln|a+x| - &#92;ln|a-x|&#92;right) + C}' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cfrac%7B1%7D%7B2a%7D+%5Cln%5Cleft%7C%5Cfrac%7Ba%2Bx%7D%7Ba-x%7D%5Cright%7C+%2B+C%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;frac{1}{2a} &#92;ln&#92;left|&#92;frac{a+x}{a-x}&#92;right| + C}' title='&#92;displaystyle{ = &#92;frac{1}{2a} &#92;ln&#92;left|&#92;frac{a+x}{a-x}&#92;right| + C}' class='latex' /></p>
<p>Done and done.</p>
<hr width="100%">
<p>Now we&#8217;ll treat this using hyperbolic substitutions.  Remember the fundamental hyperbolic identity: <img src='http://s0.wp.com/latex.php?latex=%5Ccosh%5E2+t+-+%5Csinh%5E2+t+%3D+1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;cosh^2 t - &#92;sinh^2 t = 1' title='&#92;cosh^2 t - &#92;sinh^2 t = 1' class='latex' />.  From this we can derive the identities <img src='http://s0.wp.com/latex.php?latex=1+-+%5Ctanh%5E2+t+%3D+%5Ctext%7Bsech%7D%5E2+t&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='1 - &#92;tanh^2 t = &#92;text{sech}^2 t' title='1 - &#92;tanh^2 t = &#92;text{sech}^2 t' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Ccoth%5E2+t+-+1+%3D+%5Ctext%7Bcsch%7D%5E2+t&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;coth^2 t - 1 = &#92;text{csch}^2 t' title='&#92;coth^2 t - 1 = &#92;text{csch}^2 t' class='latex' /> by dividing our fundamental identity by <img src='http://s0.wp.com/latex.php?latex=%5Ccosh%5E2+t&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;cosh^2 t' title='&#92;cosh^2 t' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Csinh%5E2+t&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sinh^2 t' title='&#92;sinh^2 t' class='latex' /> respectively.</p>
<p>Remember the graph of <img src='http://s0.wp.com/latex.php?latex=y+%3D+%5Ctanh+t&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='y = &#92;tanh t' title='y = &#92;tanh t' class='latex' />.  We see that the domain of <img src='http://s0.wp.com/latex.php?latex=%5Ctanh+t&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;tanh t' title='&#92;tanh t' class='latex' /> is all real numbers <img src='http://s0.wp.com/latex.php?latex=t&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='t' title='t' class='latex' /> and the range is <img src='http://s0.wp.com/latex.php?latex=%28-1%2C+1%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(-1, 1)' title='(-1, 1)' class='latex' />.  Further <img src='http://s0.wp.com/latex.php?latex=%5Ctanh&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;tanh' title='&#92;tanh' class='latex' /> is one-to-one and so we have a <img src='http://s0.wp.com/latex.php?latex=%5Ctanh%5E%7B-1%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;tanh^{-1}' title='&#92;tanh^{-1}' class='latex' /> with domain <img src='http://s0.wp.com/latex.php?latex=%28-1%2C+1%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(-1, 1)' title='(-1, 1)' class='latex' /> and range all real numbers.  Here&#8217;s a graph if your memory of hyperbolic tangent is a little fuzzy.</p>
<p><img src="http://mathnow.files.wordpress.com/2009/11/tanh.png?w=600"></p>
<p>So in the case where <img src='http://s0.wp.com/latex.php?latex=x+%5Cin+%28-a%2C+a%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x &#92;in (-a, a)' title='x &#92;in (-a, a)' class='latex' /> we can make the substitution <img src='http://s0.wp.com/latex.php?latex=x+%3D+a%5Ctanh+t&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x = a&#92;tanh t' title='x = a&#92;tanh t' class='latex' />.  Then <img src='http://s0.wp.com/latex.php?latex=a%5E2+-+x%5E2+%3D+a%5E2%281-%5Ctanh%5E2+t%29+%3D+a%5E2%5Ctext%7Bsech%7D%5E2+t&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='a^2 - x^2 = a^2(1-&#92;tanh^2 t) = a^2&#92;text{sech}^2 t' title='a^2 - x^2 = a^2(1-&#92;tanh^2 t) = a^2&#92;text{sech}^2 t' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=dx+%3D+a%5Ctext%7Bsech%7D%5E2+t%5C%2C+dt+&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='dx = a&#92;text{sech}^2 t&#92;, dt ' title='dx = a&#92;text{sech}^2 t&#92;, dt ' class='latex' />.</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cint%5C%21+%5Cfrac%7B1%7D%7Ba%5E2-x%5E2%7D%5C%2Cdx+%3D++%5Cint%5C%21+%5Cfrac%7B1%7D%7Ba%5E2%5Ctext%7Bsech%7D%5E2+t%7D%5C%2Ca%5Ctext%7Bsech%7D%5E2+t%5C%2Cdt+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;int&#92;! &#92;frac{1}{a^2-x^2}&#92;,dx =  &#92;int&#92;! &#92;frac{1}{a^2&#92;text{sech}^2 t}&#92;,a&#92;text{sech}^2 t&#92;,dt }' title='&#92;displaystyle{ &#92;int&#92;! &#92;frac{1}{a^2-x^2}&#92;,dx =  &#92;int&#92;! &#92;frac{1}{a^2&#92;text{sech}^2 t}&#92;,a&#92;text{sech}^2 t&#92;,dt }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cint%5C%21+%5Cfrac%7B1%7D%7Ba%7D%5C%2C+dt+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{1}{a}&#92;, dt }' title='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{1}{a}&#92;, dt }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cfrac%7B1%7D%7Ba%7D+t+%2B+C+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;frac{1}{a} t + C }' title='&#92;displaystyle{ = &#92;frac{1}{a} t + C }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cfrac%7B1%7D%7Ba%7D+%5Ctanh%5E%7B-1%7D%5Cleft%28%5Cfrac%7Bx%7D%7Ba%7D%5Cright%29+%2B+C+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;frac{1}{a} &#92;tanh^{-1}&#92;left(&#92;frac{x}{a}&#92;right) + C }' title='&#92;displaystyle{ = &#92;frac{1}{a} &#92;tanh^{-1}&#92;left(&#92;frac{x}{a}&#92;right) + C }' class='latex' /></p>
<p>Combining this with our first solution (and setting <img src='http://s0.wp.com/latex.php?latex=a+%3D+1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='a = 1' title='a = 1' class='latex' />) we see that </p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ctanh%5E%7B-1%7D+x+%3D+%5Cfrac%7B1%7D%7B2%7D%5Cln%5Cleft%7C%5Cfrac%7B1%2Bx%7D%7B1-x%7D%5Cright%7C+%2B+C+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;tanh^{-1} x = &#92;frac{1}{2}&#92;ln&#92;left|&#92;frac{1+x}{1-x}&#92;right| + C }' title='&#92;displaystyle{ &#92;tanh^{-1} x = &#92;frac{1}{2}&#92;ln&#92;left|&#92;frac{1+x}{1-x}&#92;right| + C }' class='latex' /></p>
<p>and since <img src='http://s0.wp.com/latex.php?latex=%5Ctanh%5E%7B-1%7D+0+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;tanh^{-1} 0 = 0' title='&#92;tanh^{-1} 0 = 0' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Cfrac%7B1%7D%7B2%7D%5Cln+1+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;frac{1}{2}&#92;ln 1 = 0' title='&#92;frac{1}{2}&#92;ln 1 = 0' class='latex' /> we see that <img src='http://s0.wp.com/latex.php?latex=C+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='C = 0' title='C = 0' class='latex' />.  This formula for <img src='http://s0.wp.com/latex.php?latex=%5Ctanh%5E%7B-1%7D+x&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;tanh^{-1} x' title='&#92;tanh^{-1} x' class='latex' /> can be derived in other ways of course.</p>
<p>When <img src='http://s0.wp.com/latex.php?latex=%7C+x+%7C+%3E+a&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='| x | &gt; a' title='| x | &gt; a' class='latex' /> we make a substitution <img src='http://s0.wp.com/latex.php?latex=x+%3D+a%5Ccoth+t&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x = a&#92;coth t' title='x = a&#92;coth t' class='latex' /> and the reasoning is similar.</p>
<p>Thus we have</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ctanh%5E%7B-1%7D+x+%3D+%5Cfrac%7B1%7D%7B2%7D+%5Cln%5Cleft%7C%5Cfrac%7B1%2Bx%7D%7B1-x%7D%5Cright%7C+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;tanh^{-1} x = &#92;frac{1}{2} &#92;ln&#92;left|&#92;frac{1+x}{1-x}&#92;right| }' title='&#92;displaystyle{ &#92;tanh^{-1} x = &#92;frac{1}{2} &#92;ln&#92;left|&#92;frac{1+x}{1-x}&#92;right| }' class='latex' /> on <img src='http://s0.wp.com/latex.php?latex=x+%5Cin+%28-a%2C+a%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x &#92;in (-a, a)' title='x &#92;in (-a, a)' class='latex' /></p>
<p>and</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ccoth%5E%7B-1%7D+x+%3D+%5Cfrac%7B1%7D%7B2%7D+%5Cln%5Cleft%7C%5Cfrac%7B1%2Bx%7D%7B1-x%7D%5Cright%7C+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;coth^{-1} x = &#92;frac{1}{2} &#92;ln&#92;left|&#92;frac{1+x}{1-x}&#92;right| }' title='&#92;displaystyle{ &#92;coth^{-1} x = &#92;frac{1}{2} &#92;ln&#92;left|&#92;frac{1+x}{1-x}&#92;right| }' class='latex' /> on <img src='http://s0.wp.com/latex.php?latex=x+%5Cin+%28-%5Cinfty%2C+-a%29+%5Ccup+%28a%2C+%5Cinfty%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x &#92;in (-&#92;infty, -a) &#92;cup (a, &#92;infty)' title='x &#92;in (-&#92;infty, -a) &#92;cup (a, &#92;infty)' class='latex' /></p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mathnow.wordpress.com/626/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mathnow.wordpress.com/626/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mathnow.wordpress.com/626/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mathnow.wordpress.com/626/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mathnow.wordpress.com/626/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mathnow.wordpress.com/626/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mathnow.wordpress.com/626/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mathnow.wordpress.com/626/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mathnow.wordpress.com/626/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mathnow.wordpress.com/626/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mathnow.wordpress.com/626/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mathnow.wordpress.com/626/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mathnow.wordpress.com/626/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mathnow.wordpress.com/626/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=626&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mathnow.wordpress.com/2009/11/17/integral-example-7/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/214ac1b19e22e1e3660fa2dad2a2f4b7?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dr. Nichtgegeben</media:title>
		</media:content>

		<media:content url="http://mathnow.files.wordpress.com/2009/11/tanh.png" medium="image" />
	</item>
		<item>
		<title>The Weierstrass Substitution</title>
		<link>http://mathnow.wordpress.com/2009/11/13/the-weierstrass-substitution/</link>
		<comments>http://mathnow.wordpress.com/2009/11/13/the-weierstrass-substitution/#comments</comments>
		<pubDate>Fri, 13 Nov 2009 17:55:13 +0000</pubDate>
		<dc:creator>Dr. Nichtgegeben</dc:creator>
				<category><![CDATA[anti-differentiation]]></category>
		<category><![CDATA[calculus]]></category>
		<category><![CDATA[indefinite integrals]]></category>
		<category><![CDATA[trigonometry]]></category>
		<category><![CDATA[anti-differentiation tricks]]></category>
		<category><![CDATA[trigonometric identities]]></category>
		<category><![CDATA[Weierstrass substitution]]></category>

		<guid isPermaLink="false">http://mathnow.wordpress.com/?p=573</guid>
		<description><![CDATA[Back in an earlier post we considered a rational parameterization of the unit circle. We saw there that for we have and . A moment&#8217;s reflection reveals that this substitution would transform any rational function of and into a rational function of . This is the Weierstrass Substitution. Its main application is to the anti-differentiation [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=573&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>Back in an earlier post we considered <a href="http://mathnow.wordpress.com/2009/11/06/a-rational-parameterization-of-the-unit-circle">a rational parameterization of the unit circle</a>.  We saw there that for <img src='http://s0.wp.com/latex.php?latex=%5Ctheta+%3D+2%5Ctan%5E%7B-1%7D%28x%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;theta = 2&#92;tan^{-1}(x)' title='&#92;theta = 2&#92;tan^{-1}(x)' class='latex' /> we have <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ccos+%5Ctheta+%3D+%5Cfrac%7B1-x%5E2%7D%7B1%2Bx%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;cos &#92;theta = &#92;frac{1-x^2}{1+x^2} }' title='&#92;displaystyle{ &#92;cos &#92;theta = &#92;frac{1-x^2}{1+x^2} }' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Csin+%5Ctheta+%3D+%5Cfrac%7B2x%7D%7B1%2Bx%5E2%7D%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;sin &#92;theta = &#92;frac{2x}{1+x^2}}' title='&#92;displaystyle{ &#92;sin &#92;theta = &#92;frac{2x}{1+x^2}}' class='latex' />.  A moment&#8217;s reflection reveals that this substitution would transform any rational function of <img src='http://s0.wp.com/latex.php?latex=%5Csin+%5Ctheta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sin &#92;theta' title='&#92;sin &#92;theta' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Ccos+%5Ctheta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;cos &#92;theta' title='&#92;cos &#92;theta' class='latex' /> into a rational function of <img src='http://s0.wp.com/latex.php?latex=x&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x' title='x' class='latex' />.  This is <em>the Weierstrass Substitution</em>.  Its main application is to the anti-differentiation of rational functions of <img src='http://s0.wp.com/latex.php?latex=%5Csin+%5Ctheta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sin &#92;theta' title='&#92;sin &#92;theta' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Ccos+%5Ctheta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;cos &#92;theta' title='&#92;cos &#92;theta' class='latex' />.  We would have</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cint%5C%21+R%28%5Csin+%5Ctheta%2C+%5Ccos+%5Ctheta%29%5C%2Cd%5Ctheta+%3D+%5Cint%5C%21+R%5Cleft%28%5Cfrac%7B2x%7D%7B1%2Bx%5E2%7D%2C+%5Cfrac%7B1-x%5E2%7D%7B1%2Bx%5E2%7D%5Cright%29%5C%2C%5Cfrac%7B2%7D%7B1%2Bx%5E2%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;int&#92;! R(&#92;sin &#92;theta, &#92;cos &#92;theta)&#92;,d&#92;theta = &#92;int&#92;! R&#92;left(&#92;frac{2x}{1+x^2}, &#92;frac{1-x^2}{1+x^2}&#92;right)&#92;,&#92;frac{2}{1+x^2}&#92;,dx }' title='&#92;displaystyle{ &#92;int&#92;! R(&#92;sin &#92;theta, &#92;cos &#92;theta)&#92;,d&#92;theta = &#92;int&#92;! R&#92;left(&#92;frac{2x}{1+x^2}, &#92;frac{1-x^2}{1+x^2}&#92;right)&#92;,&#92;frac{2}{1+x^2}&#92;,dx }' class='latex' /></p>
<p>where we calculated <img src='http://s0.wp.com/latex.php?latex=d%5Ctheta+%3D+%5Cfrac%7B2%7D%7B1%2Bx%5E2%7D%5C%2Cdx&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='d&#92;theta = &#92;frac{2}{1+x^2}&#92;,dx' title='d&#92;theta = &#92;frac{2}{1+x^2}&#92;,dx' class='latex' /> from <img src='http://s0.wp.com/latex.php?latex=%5Ctheta+%3D+2%5Ctan%5E%7B-1%7D+x&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;theta = 2&#92;tan^{-1} x' title='&#92;theta = 2&#92;tan^{-1} x' class='latex' />.</p>
<p>Here are a pair of examples.</p>
<hr width="100%" />
<p>Consider the integral <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cint%5C%21%5Cfrac%7Bd%5Ctheta%7D%7B1-%5Csin+%5Ctheta+%2B+%5Ccos+%5Ctheta%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;int&#92;!&#92;frac{d&#92;theta}{1-&#92;sin &#92;theta + &#92;cos &#92;theta} }' title='&#92;displaystyle{ &#92;int&#92;!&#92;frac{d&#92;theta}{1-&#92;sin &#92;theta + &#92;cos &#92;theta} }' class='latex' />.  We apply the Weierstrass substitution to find</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cint%5C%21%5Cfrac%7Bd%5Ctheta%7D%7B1-%5Csin+%5Ctheta+%2B+%5Ccos+%5Ctheta%7D+%3D+%5Cint%5C%21%5Cfrac%7B%5Cfrac%7B2%5C%2Cdx%7D%7B1%2Bx%5E2%7D%7D%7B1+-+%5Cfrac%7B2x%7D%7B1%2Bx%5E2%7D+%2B+%5Cfrac%7B1-x%5E2%7D%7B1%2Bx%5E2%7D%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;int&#92;!&#92;frac{d&#92;theta}{1-&#92;sin &#92;theta + &#92;cos &#92;theta} = &#92;int&#92;!&#92;frac{&#92;frac{2&#92;,dx}{1+x^2}}{1 - &#92;frac{2x}{1+x^2} + &#92;frac{1-x^2}{1+x^2}} }' title='&#92;displaystyle{ &#92;int&#92;!&#92;frac{d&#92;theta}{1-&#92;sin &#92;theta + &#92;cos &#92;theta} = &#92;int&#92;!&#92;frac{&#92;frac{2&#92;,dx}{1+x^2}}{1 - &#92;frac{2x}{1+x^2} + &#92;frac{1-x^2}{1+x^2}} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cint%5C%21+%5Cfrac%7B2%5C%2Cdx%7D%7B1%2Bx%5E2+-+2x+%2B+1-x%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{2&#92;,dx}{1+x^2 - 2x + 1-x^2} }' title='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{2&#92;,dx}{1+x^2 - 2x + 1-x^2} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cint%5C%21+%5Cfrac%7B2%5C%2Cdx%7D%7B2+-+2x%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{2&#92;,dx}{2 - 2x} }' title='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{2&#92;,dx}{2 - 2x} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cint%5C%21+%5Cfrac%7Bdx%7D%7B1+-+x%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{dx}{1 - x} }' title='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{dx}{1 - x} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+-%5Cln%7C1-x%7C+%2B+C+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = -&#92;ln|1-x| + C }' title='&#92;displaystyle{ = -&#92;ln|1-x| + C }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+-%5Cln%7C1-%5Ctan%28%5Ctheta%2F2%29%7C+%2B+C+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = -&#92;ln|1-&#92;tan(&#92;theta/2)| + C }' title='&#92;displaystyle{ = -&#92;ln|1-&#92;tan(&#92;theta/2)| + C }' class='latex' /></p>
<hr width="100%" />
<p>We considered the integral <img src='http://s0.wp.com/latex.php?latex=%5Cint%5C%21+%5Csec+%5Ctheta%5C%2Cd%5Ctheta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;int&#92;! &#92;sec &#92;theta&#92;,d&#92;theta' title='&#92;int&#92;! &#92;sec &#92;theta&#92;,d&#92;theta' class='latex' /> <a href="http://mathnow.wordpress.com/2009/10/16/integral-example-3">in an earlier post</a>.  Let&#8217;s do it again with the help of the Weierstrass substitution.</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cint%5C%21+%5Csec+%5Ctheta%5C%2Cd%5Ctheta+%3D+%5Cint%5C%21+%5Cfrac%7B1%2Bx%5E2%7D%7B1-x%5E2%7D+%5Ccdot+%5Cfrac%7B2%7D%7B1%2Bx%5E2%7D%5C%2Cdx++%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;int&#92;! &#92;sec &#92;theta&#92;,d&#92;theta = &#92;int&#92;! &#92;frac{1+x^2}{1-x^2} &#92;cdot &#92;frac{2}{1+x^2}&#92;,dx  }' title='&#92;displaystyle{ &#92;int&#92;! &#92;sec &#92;theta&#92;,d&#92;theta = &#92;int&#92;! &#92;frac{1+x^2}{1-x^2} &#92;cdot &#92;frac{2}{1+x^2}&#92;,dx  }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cint%5C%21+%5Cfrac%7B2%7D%7B1-x%5E2%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{2}{1-x^2}&#92;,dx }' title='&#92;displaystyle{ = &#92;int&#92;! &#92;frac{2}{1-x^2}&#92;,dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cint%5C%21+%5Cleft%28+%5Cfrac%7B1%7D%7B1%2Bx%7D+%2B+%5Cfrac%7B1%7D%7B1-x%7D%5Cright%29%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;int&#92;! &#92;left( &#92;frac{1}{1+x} + &#92;frac{1}{1-x}&#92;right)&#92;,dx }' title='&#92;displaystyle{ = &#92;int&#92;! &#92;left( &#92;frac{1}{1+x} + &#92;frac{1}{1-x}&#92;right)&#92;,dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cln%7C1%2Bx%7C+-+%5Cln%7C1-x%7C+%2B+C+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;ln|1+x| - &#92;ln|1-x| + C }' title='&#92;displaystyle{ = &#92;ln|1+x| - &#92;ln|1-x| + C }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cln%5Cleft%7C%5Cfrac%7B1%2Bx%7D%7B1-x%7D%5Cright%7C+%2B+C+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;ln&#92;left|&#92;frac{1+x}{1-x}&#92;right| + C }' title='&#92;displaystyle{ = &#92;ln&#92;left|&#92;frac{1+x}{1-x}&#92;right| + C }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cln%5Cleft%7C%5Cfrac%7B1%2B%5Ctan%28%5Ctheta%2F2%29%7D%7B1-%5Ctan%28%5Ctheta%2F2%29%7D%5Cright%7C+%2B+C+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;ln&#92;left|&#92;frac{1+&#92;tan(&#92;theta/2)}{1-&#92;tan(&#92;theta/2)}&#92;right| + C }' title='&#92;displaystyle{ = &#92;ln&#92;left|&#92;frac{1+&#92;tan(&#92;theta/2)}{1-&#92;tan(&#92;theta/2)}&#92;right| + C }' class='latex' /></p>
<p>This answer has a very different form from the ones given in our <a href="http://mathnow.wordpress.com/2009/10/16/integral-example-3">earlier post</a>.  We can reconcile this answer with the older ones through algebra and trigonometric identities.</p>
<p>We have</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7B1%2B%5Ctan%28%5Ctheta%2F2%29%7D%7B1-%5Ctan%28%5Ctheta%2F2%29%7D+%3D+%5Cfrac%7B1%2B%5Ctan%28%5Ctheta%2F2%29%7D%7B1-%5Ctan%28%5Ctheta%2F2%29%7D+%5Ccdot+%5Cfrac%7B%5Ccos%28%5Ctheta%2F2%29%7D%7B%5Ccos%28%5Ctheta%2F2%29%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;frac{1+&#92;tan(&#92;theta/2)}{1-&#92;tan(&#92;theta/2)} = &#92;frac{1+&#92;tan(&#92;theta/2)}{1-&#92;tan(&#92;theta/2)} &#92;cdot &#92;frac{&#92;cos(&#92;theta/2)}{&#92;cos(&#92;theta/2)} }' title='&#92;displaystyle{ &#92;frac{1+&#92;tan(&#92;theta/2)}{1-&#92;tan(&#92;theta/2)} = &#92;frac{1+&#92;tan(&#92;theta/2)}{1-&#92;tan(&#92;theta/2)} &#92;cdot &#92;frac{&#92;cos(&#92;theta/2)}{&#92;cos(&#92;theta/2)} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cfrac%7B%5Ccos%28%5Ctheta%2F2%29+%2B+%5Csin%28%5Ctheta%2F2%29%7D%7B%5Ccos%28%5Ctheta%2F2%29+-+%5Csin%28%5Ctheta%2F2%29%7D+%3D+%5Cfrac%7B%5Ccos%28%5Ctheta%2F2%29+%2B+%5Csin%28%5Ctheta%2F2%29%7D%7B%5Ccos%28%5Ctheta%2F2%29+-+%5Csin%28%5Ctheta%2F2%29%7D+%5Ccdot+%5Cfrac%7B%5Ccos%28%5Ctheta%2F2%29+%2B+%5Csin%28%5Ctheta%2F2%29%7D%7B%5Ccos%28%5Ctheta%2F2%29+%2B+%5Csin%28%5Ctheta%2F2%29%7D++%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;frac{&#92;cos(&#92;theta/2) + &#92;sin(&#92;theta/2)}{&#92;cos(&#92;theta/2) - &#92;sin(&#92;theta/2)} = &#92;frac{&#92;cos(&#92;theta/2) + &#92;sin(&#92;theta/2)}{&#92;cos(&#92;theta/2) - &#92;sin(&#92;theta/2)} &#92;cdot &#92;frac{&#92;cos(&#92;theta/2) + &#92;sin(&#92;theta/2)}{&#92;cos(&#92;theta/2) + &#92;sin(&#92;theta/2)}  }' title='&#92;displaystyle{ = &#92;frac{&#92;cos(&#92;theta/2) + &#92;sin(&#92;theta/2)}{&#92;cos(&#92;theta/2) - &#92;sin(&#92;theta/2)} = &#92;frac{&#92;cos(&#92;theta/2) + &#92;sin(&#92;theta/2)}{&#92;cos(&#92;theta/2) - &#92;sin(&#92;theta/2)} &#92;cdot &#92;frac{&#92;cos(&#92;theta/2) + &#92;sin(&#92;theta/2)}{&#92;cos(&#92;theta/2) + &#92;sin(&#92;theta/2)}  }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cfrac%7B%5Ccos%5E2%28%5Ctheta%2F2%29+%2B+%5Csin%5E2%28%5Ctheta%2F2%29+%2B+2%5Csin%28%5Ctheta%2F2%29%5Ccos%28%5Ctheta%2F2%29%7D%7B%5Ccos%5E2%28%5Ctheta%2F2%29+-+%5Csin%5E2%28%5Ctheta%2F2%29%7D%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;frac{&#92;cos^2(&#92;theta/2) + &#92;sin^2(&#92;theta/2) + 2&#92;sin(&#92;theta/2)&#92;cos(&#92;theta/2)}{&#92;cos^2(&#92;theta/2) - &#92;sin^2(&#92;theta/2)}}' title='&#92;displaystyle{ = &#92;frac{&#92;cos^2(&#92;theta/2) + &#92;sin^2(&#92;theta/2) + 2&#92;sin(&#92;theta/2)&#92;cos(&#92;theta/2)}{&#92;cos^2(&#92;theta/2) - &#92;sin^2(&#92;theta/2)}}' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cfrac%7B1+%2B+%5Csin+%5Ctheta%7D%7B%5Ccos+%5Ctheta%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;frac{1 + &#92;sin &#92;theta}{&#92;cos &#92;theta} }' title='&#92;displaystyle{ = &#92;frac{1 + &#92;sin &#92;theta}{&#92;cos &#92;theta} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Csec+%5Ctheta+%2B+%5Ctan+%5Ctheta+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;sec &#92;theta + &#92;tan &#92;theta }' title='&#92;displaystyle{ = &#92;sec &#92;theta + &#92;tan &#92;theta }' class='latex' /></p>
<p>as expected.  (In the penultimate equality we used the usual <img src='http://s0.wp.com/latex.php?latex=%5Ccos%5E2+A+%2B+%5Csin%5E2+A+%3D+1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;cos^2 A + &#92;sin^2 A = 1' title='&#92;cos^2 A + &#92;sin^2 A = 1' class='latex' />, <img src='http://s0.wp.com/latex.php?latex=%5Csin+2A+%3D+2%5Csin+A%5Ccos+A&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sin 2A = 2&#92;sin A&#92;cos A' title='&#92;sin 2A = 2&#92;sin A&#92;cos A' class='latex' />, and <img src='http://s0.wp.com/latex.php?latex=%5Ccos+2A+%3D+%5Ccos%5E2+A+-+%5Csin%5E2+A&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;cos 2A = &#92;cos^2 A - &#92;sin^2 A' title='&#92;cos 2A = &#92;cos^2 A - &#92;sin^2 A' class='latex' /> identities.)</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mathnow.wordpress.com/573/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mathnow.wordpress.com/573/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mathnow.wordpress.com/573/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mathnow.wordpress.com/573/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mathnow.wordpress.com/573/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mathnow.wordpress.com/573/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mathnow.wordpress.com/573/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mathnow.wordpress.com/573/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mathnow.wordpress.com/573/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mathnow.wordpress.com/573/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mathnow.wordpress.com/573/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mathnow.wordpress.com/573/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mathnow.wordpress.com/573/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mathnow.wordpress.com/573/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=573&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mathnow.wordpress.com/2009/11/13/the-weierstrass-substitution/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/214ac1b19e22e1e3660fa2dad2a2f4b7?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dr. Nichtgegeben</media:title>
		</media:content>
	</item>
		<item>
		<title>Gabriel&#8217;s Horn</title>
		<link>http://mathnow.wordpress.com/2009/11/08/gabriels-horn/</link>
		<comments>http://mathnow.wordpress.com/2009/11/08/gabriels-horn/#comments</comments>
		<pubDate>Mon, 09 Nov 2009 00:24:57 +0000</pubDate>
		<dc:creator>Dr. Nichtgegeben</dc:creator>
				<category><![CDATA[calculus]]></category>
		<category><![CDATA[geometry]]></category>
		<category><![CDATA[improper integrals]]></category>
		<category><![CDATA[integrals]]></category>
		<category><![CDATA[surface area]]></category>
		<category><![CDATA[surface of revolution]]></category>
		<category><![CDATA[volume]]></category>

		<guid isPermaLink="false">http://mathnow.wordpress.com/?p=538</guid>
		<description><![CDATA[The amusing, famous, and seemingly paradoxical Gabriel&#8217;s Horn is a mathematical object which has 1) finite volume and 2) infinite surface area. These properties are sometimes expressed by saying that Gabriel&#8217;s Horn is an object that you can fill up but never paint. Behold. We start with the curve on the interval . Here is [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=538&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>The amusing, famous, and seemingly paradoxical <em>Gabriel&#8217;s Horn</em> is a mathematical object which has 1) finite volume and 2) infinite surface area.  These properties are sometimes expressed by saying that Gabriel&#8217;s Horn is an object that you can fill up but never paint.  Behold.</p>
<p>We start with the curve <img src='http://s0.wp.com/latex.php?latex=y+%3D+1%2Fx&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='y = 1/x' title='y = 1/x' class='latex' /> on the interval <img src='http://s0.wp.com/latex.php?latex=%5B1%2C+%2B%5Cinfty%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='[1, +&#92;infty)' title='[1, +&#92;infty)' class='latex' />.  Here is a part of the graph:</p>
<p><img src="http://mathnow.files.wordpress.com/2009/11/gabcurve.png?w=600" /></p>
<p>At <img src='http://s0.wp.com/latex.php?latex=x+%3D+1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x = 1' title='x = 1' class='latex' /> it has a height of <img src='http://s0.wp.com/latex.php?latex=1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='1' title='1' class='latex' /> and as <img src='http://s0.wp.com/latex.php?latex=x+%5Crightarrow+%2B%5Cinfty&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x &#92;rightarrow +&#92;infty' title='x &#92;rightarrow +&#92;infty' class='latex' /> the height goes to zero.  We then take this curve and wrap it in three-dimensions about the <img src='http://s0.wp.com/latex.php?latex=x&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x' title='x' class='latex' />-axis.  This gives us a <em>surface of revolution</em>, part of which looks like:</p>
<p><img src="http://mathnow.files.wordpress.com/2009/11/gab3d.jpg?w=600" /></p>
<p>(The light green line represents the <img src='http://s0.wp.com/latex.php?latex=x&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x' title='x' class='latex' />-axis.)  The shape is something like a horn of infinite length.  At the wide end it is a circle of radius <img src='http://s0.wp.com/latex.php?latex=1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='1' title='1' class='latex' /> and if we cut the horn perpendicular to the <img src='http://s0.wp.com/latex.php?latex=x&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x' title='x' class='latex' />-axis the exposed end is a circle of radius <img src='http://s0.wp.com/latex.php?latex=1%2Fx&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='1/x' title='1/x' class='latex' />.</p>
<p>It has finite volume.  Why?  By the usual formula, the volume <img src='http://s0.wp.com/latex.php?latex=V&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='V' title='V' class='latex' /> is </p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+V+%3D+%5Cint_1%5E%7B%5Cinfty%7D%5C%21+A%28x%29%5C%2C+dx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ V = &#92;int_1^{&#92;infty}&#92;! A(x)&#92;, dx }' title='&#92;displaystyle{ V = &#92;int_1^{&#92;infty}&#92;! A(x)&#92;, dx }' class='latex' /></p>
<p>where <img src='http://s0.wp.com/latex.php?latex=A%28x%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='A(x)' title='A(x)' class='latex' /> is the cross-sectional area of the shape when we cut it with a plane perpendicular to the <img src='http://s0.wp.com/latex.php?latex=x&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x' title='x' class='latex' />-axis.  In this case we get circles of radius <img src='http://s0.wp.com/latex.php?latex=1%2Fx&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='1/x' title='1/x' class='latex' /> and so <img src='http://s0.wp.com/latex.php?latex=A%28x%29+%3D+%5Cpi%2Fx%5E2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='A(x) = &#92;pi/x^2' title='A(x) = &#92;pi/x^2' class='latex' />.  Thus</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+V+%3D+%5Cint_1%5E%7B%5Cinfty%7D%5C%21+%5Cfrac%7B%5Cpi%7D%7Bx%5E2%7D+%5C%2C+dx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ V = &#92;int_1^{&#92;infty}&#92;! &#92;frac{&#92;pi}{x^2} &#92;, dx }' title='&#92;displaystyle{ V = &#92;int_1^{&#92;infty}&#92;! &#92;frac{&#92;pi}{x^2} &#92;, dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Clim_%7BR+%5Crightarrow+%5Cinfty%7D+%5Cint_1%5ER%5C%21+%5Cfrac%7B%5Cpi%7D%7Bx%5E2%7D+%5C%2C+dx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;lim_{R &#92;rightarrow &#92;infty} &#92;int_1^R&#92;! &#92;frac{&#92;pi}{x^2} &#92;, dx }' title='&#92;displaystyle{ = &#92;lim_{R &#92;rightarrow &#92;infty} &#92;int_1^R&#92;! &#92;frac{&#92;pi}{x^2} &#92;, dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Clim_%7BR+%5Crightarrow+%5Cinfty%7D+%5Cleft.+%5Cfrac%7B-%5Cpi%7D%7Bx%7D%5Cright%7C_1%5ER+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;lim_{R &#92;rightarrow &#92;infty} &#92;left. &#92;frac{-&#92;pi}{x}&#92;right|_1^R }' title='&#92;displaystyle{ = &#92;lim_{R &#92;rightarrow &#92;infty} &#92;left. &#92;frac{-&#92;pi}{x}&#92;right|_1^R }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Clim_%7BR+%5Crightarrow+%5Cinfty%7D+%5Cfrac%7B-%5Cpi%7D%7BR%7D+%2B+%5Cpi+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;lim_{R &#92;rightarrow &#92;infty} &#92;frac{-&#92;pi}{R} + &#92;pi }' title='&#92;displaystyle{ = &#92;lim_{R &#92;rightarrow &#92;infty} &#92;frac{-&#92;pi}{R} + &#92;pi }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%3D+%5Cpi&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='= &#92;pi' title='= &#92;pi' class='latex' /></p>
<p>It has infinite surface area.  Why?  The formula for surface area of a surface of revolution is</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+SA+%3D+%5Cint_1%5E%7B%5Cinfty%7D%5C%21+2%5Cpi+y+%5Csqrt%7B1%2B%28y%27%29%5E2%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ SA = &#92;int_1^{&#92;infty}&#92;! 2&#92;pi y &#92;sqrt{1+(y&#039;)^2}&#92;,dx }' title='&#92;displaystyle{ SA = &#92;int_1^{&#92;infty}&#92;! 2&#92;pi y &#92;sqrt{1+(y&#039;)^2}&#92;,dx }' class='latex' /></p>
<p>where here <img src='http://s0.wp.com/latex.php?latex=y+%3D+1%2Fx&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='y = 1/x' title='y = 1/x' class='latex' /> so</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+SA+%3D+%5Cint_1%5E%7B%5Cinfty%7D%5C%21+2%5Cpi+%5Cfrac%7B1%7D%7Bx%7D+%5Csqrt%7B1%2B%5Cleft%28%5Cfrac%7B-1%7D%7Bx%5E2%7D%5Cright%29%5E2%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ SA = &#92;int_1^{&#92;infty}&#92;! 2&#92;pi &#92;frac{1}{x} &#92;sqrt{1+&#92;left(&#92;frac{-1}{x^2}&#92;right)^2}&#92;,dx }' title='&#92;displaystyle{ SA = &#92;int_1^{&#92;infty}&#92;! 2&#92;pi &#92;frac{1}{x} &#92;sqrt{1+&#92;left(&#92;frac{-1}{x^2}&#92;right)^2}&#92;,dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cint_1%5E%7B%5Cinfty%7D%5C%21+2%5Cpi+%5Cfrac%7B1%7D%7Bx%7D+%5Csqrt%7B%5Cfrac%7Bx%5E4+%2B+1%7D%7Bx%5E4%7D%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;int_1^{&#92;infty}&#92;! 2&#92;pi &#92;frac{1}{x} &#92;sqrt{&#92;frac{x^4 + 1}{x^4}}&#92;,dx }' title='&#92;displaystyle{ = &#92;int_1^{&#92;infty}&#92;! 2&#92;pi &#92;frac{1}{x} &#92;sqrt{&#92;frac{x^4 + 1}{x^4}}&#92;,dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cint_1%5E%7B%5Cinfty%7D%5C%21+2%5Cpi+%5Cfrac%7B1%7D%7Bx%7D+%5Cfrac%7B%5Csqrt%7Bx%5E4+%2B+1%7D%7D%7Bx%5E2%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;int_1^{&#92;infty}&#92;! 2&#92;pi &#92;frac{1}{x} &#92;frac{&#92;sqrt{x^4 + 1}}{x^2}&#92;,dx }' title='&#92;displaystyle{ = &#92;int_1^{&#92;infty}&#92;! 2&#92;pi &#92;frac{1}{x} &#92;frac{&#92;sqrt{x^4 + 1}}{x^2}&#92;,dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+2%5Cpi+%5Cint_1%5E%7B%5Cinfty%7D%5C%21+%5Cfrac%7B%5Csqrt%7Bx%5E4+%2B+1%7D%7D%7Bx%5E3%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = 2&#92;pi &#92;int_1^{&#92;infty}&#92;! &#92;frac{&#92;sqrt{x^4 + 1}}{x^3}&#92;,dx }' title='&#92;displaystyle{ = 2&#92;pi &#92;int_1^{&#92;infty}&#92;! &#92;frac{&#92;sqrt{x^4 + 1}}{x^3}&#92;,dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+2%5Cpi+%5Clim_%7BR+%5Crightarrow+%5Cinfty%7D+%5Cint_1%5ER%5C%21+%5Cfrac%7B%5Csqrt%7Bx%5E4+%2B+1%7D%7D%7Bx%5E3%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;int_1^R&#92;! &#92;frac{&#92;sqrt{x^4 + 1}}{x^3}&#92;,dx }' title='&#92;displaystyle{ = 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;int_1^R&#92;! &#92;frac{&#92;sqrt{x^4 + 1}}{x^3}&#92;,dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cgeq+2%5Cpi+%5Clim_%7BR+%5Crightarrow+%5Cinfty%7D+%5Cint_1%5ER%5C%21+%5Cfrac%7B%5Csqrt%7Bx%5E4%7D%7D%7Bx%5E3%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;geq 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;int_1^R&#92;! &#92;frac{&#92;sqrt{x^4}}{x^3}&#92;,dx }' title='&#92;displaystyle{ &#92;geq 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;int_1^R&#92;! &#92;frac{&#92;sqrt{x^4}}{x^3}&#92;,dx }' class='latex' /></p>
<p>(That <img src='http://s0.wp.com/latex.php?latex=%5Cgeq&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;geq' title='&#92;geq' class='latex' /> because <img src='http://s0.wp.com/latex.php?latex=x%5E4+%2B+1+%5Cgeq+x%5E4&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x^4 + 1 &#92;geq x^4' title='x^4 + 1 &#92;geq x^4' class='latex' /> of course.)</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+2%5Cpi+%5Clim_%7BR+%5Crightarrow+%5Cinfty%7D+%5Cint_1%5ER%5C%21+%5Cfrac%7Bx%5E2%7D%7Bx%5E3%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;int_1^R&#92;! &#92;frac{x^2}{x^3}&#92;,dx }' title='&#92;displaystyle{ = 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;int_1^R&#92;! &#92;frac{x^2}{x^3}&#92;,dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+2%5Cpi+%5Clim_%7BR+%5Crightarrow+%5Cinfty%7D+%5Cint_1%5ER%5C%21+%5Cfrac%7B1%7D%7Bx%7D%5C%2Cdx+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;int_1^R&#92;! &#92;frac{1}{x}&#92;,dx }' title='&#92;displaystyle{ = 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;int_1^R&#92;! &#92;frac{1}{x}&#92;,dx }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+2%5Cpi+%5Clim_%7BR+%5Crightarrow+%5Cinfty%7D+%5Cleft.+%5Cln+x+%5Cright%7C_1%5ER+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;left. &#92;ln x &#92;right|_1^R }' title='&#92;displaystyle{ = 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;left. &#92;ln x &#92;right|_1^R }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+2%5Cpi+%5Clim_%7BR+%5Crightarrow+%5Cinfty%7D+%5Cln+R+-+%5Cln+1+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;ln R - &#92;ln 1 }' title='&#92;displaystyle{ = 2&#92;pi &#92;lim_{R &#92;rightarrow &#92;infty} &#92;ln R - &#92;ln 1 }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%3D+%5Cinfty&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='= &#92;infty' title='= &#92;infty' class='latex' />.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mathnow.wordpress.com/538/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mathnow.wordpress.com/538/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mathnow.wordpress.com/538/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mathnow.wordpress.com/538/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mathnow.wordpress.com/538/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mathnow.wordpress.com/538/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mathnow.wordpress.com/538/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mathnow.wordpress.com/538/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mathnow.wordpress.com/538/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mathnow.wordpress.com/538/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mathnow.wordpress.com/538/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mathnow.wordpress.com/538/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mathnow.wordpress.com/538/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mathnow.wordpress.com/538/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=538&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mathnow.wordpress.com/2009/11/08/gabriels-horn/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/214ac1b19e22e1e3660fa2dad2a2f4b7?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dr. Nichtgegeben</media:title>
		</media:content>

		<media:content url="http://mathnow.files.wordpress.com/2009/11/gabcurve.png" medium="image" />

		<media:content url="http://mathnow.files.wordpress.com/2009/11/gab3d.jpg" medium="image" />
	</item>
		<item>
		<title>A Rational Parameterization of the Unit Circle</title>
		<link>http://mathnow.wordpress.com/2009/11/06/a-rational-parameterization-of-the-unit-circle/</link>
		<comments>http://mathnow.wordpress.com/2009/11/06/a-rational-parameterization-of-the-unit-circle/#comments</comments>
		<pubDate>Sat, 07 Nov 2009 01:48:48 +0000</pubDate>
		<dc:creator>Dr. Nichtgegeben</dc:creator>
				<category><![CDATA[algebra]]></category>
		<category><![CDATA[geometry]]></category>
		<category><![CDATA[trigonometry]]></category>
		<category><![CDATA[trigonometric identities]]></category>
		<category><![CDATA[unit circle]]></category>

		<guid isPermaLink="false">http://mathnow.wordpress.com/?p=502</guid>
		<description><![CDATA[We&#8217;re all familiar with the usual trigonometric parameterization of the unit circle: Each point on is given by for some real . Less well-known is the parameterization of the unit circle by rational functions. The line through the point with slope is given by . This line intersects the unit circle in one other point [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=502&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>We&#8217;re all familiar with the usual trigonometric parameterization of the unit circle:  Each point on <img src='http://s0.wp.com/latex.php?latex=x%5E2+%2B+y%5E2+%3D+1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x^2 + y^2 = 1' title='x^2 + y^2 = 1' class='latex' /> is given by <img src='http://s0.wp.com/latex.php?latex=%28%5Ccos+%5Ctheta%2C+%5Csin+%5Ctheta%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(&#92;cos &#92;theta, &#92;sin &#92;theta)' title='(&#92;cos &#92;theta, &#92;sin &#92;theta)' class='latex' /> for some real <img src='http://s0.wp.com/latex.php?latex=%5Ctheta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;theta' title='&#92;theta' class='latex' />.  Less well-known is the parameterization of the unit circle by rational functions.  </p>
<p>The line through the point <img src='http://s0.wp.com/latex.php?latex=%28-1%2C+0%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(-1, 0)' title='(-1, 0)' class='latex' /> with slope <img src='http://s0.wp.com/latex.php?latex=m&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='m' title='m' class='latex' /> is given by <img src='http://s0.wp.com/latex.php?latex=y+%3D+m%28x%2B1%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='y = m(x+1)' title='y = m(x+1)' class='latex' />.  This line intersects the unit circle in one other point and as we vary <img src='http://s0.wp.com/latex.php?latex=m&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='m' title='m' class='latex' /> we strike every point on the unit circle.  Here&#8217;s an illustration for a few values of <img src='http://s0.wp.com/latex.php?latex=m&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='m' title='m' class='latex' />:</p>
<p><img src="http://mathnow.files.wordpress.com/2009/11/sage0.png?w=600" /></p>
<p>What are the coordinates of this point?  Well, the point <img src='http://s0.wp.com/latex.php?latex=%28x%2Cy%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(x,y)' title='(x,y)' class='latex' /> satisfies both <img src='http://s0.wp.com/latex.php?latex=x%5E2+%2B+y%5E2+%3D+1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x^2 + y^2 = 1' title='x^2 + y^2 = 1' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=y+%3D+m%28x%2B1%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='y = m(x+1)' title='y = m(x+1)' class='latex' /> so we have</p>
<p><img src='http://s0.wp.com/latex.php?latex=x%5E2+%2B+%28m%28x%2B1%29%29%5E2+%3D+1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x^2 + (m(x+1))^2 = 1' title='x^2 + (m(x+1))^2 = 1' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cimplies+x%5E2+%2B+m%5E2%28x%5E2%2B2x%2B1%29+%3D+1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;implies x^2 + m^2(x^2+2x+1) = 1' title='&#92;implies x^2 + m^2(x^2+2x+1) = 1' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cimplies+%281%2Bm%5E2%29x%5E2+%2B+2m%5E2x+%2B+%28m%5E2-1%29+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;implies (1+m^2)x^2 + 2m^2x + (m^2-1) = 0' title='&#92;implies (1+m^2)x^2 + 2m^2x + (m^2-1) = 0' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cimplies+x+%3D+%5Cfrac%7B-2m%5E2+%5Cpm+%5Csqrt%7B4m%5E4+-+4%281%2Bm%5E2%29%28m%5E2-1%29%7D%7D%7B2%281%2Bm%5E2%29%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;implies x = &#92;frac{-2m^2 &#92;pm &#92;sqrt{4m^4 - 4(1+m^2)(m^2-1)}}{2(1+m^2)} }' title='&#92;displaystyle{ &#92;implies x = &#92;frac{-2m^2 &#92;pm &#92;sqrt{4m^4 - 4(1+m^2)(m^2-1)}}{2(1+m^2)} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cimplies+x+%3D+%5Cfrac%7B-2m%5E2+%5Cpm+%5Csqrt%7B4%7D%7D%7B2%281%2Bm%5E2%29%7D++%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;implies x = &#92;frac{-2m^2 &#92;pm &#92;sqrt{4}}{2(1+m^2)}  }' title='&#92;displaystyle{ &#92;implies x = &#92;frac{-2m^2 &#92;pm &#92;sqrt{4}}{2(1+m^2)}  }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cimplies+x+%3D+-1%2C%5C+%5C++%5Cfrac%7B1-m%5E2%7D%7B1%2Bm%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;implies x = -1,&#92; &#92;  &#92;frac{1-m^2}{1+m^2} }' title='&#92;displaystyle{ &#92;implies x = -1,&#92; &#92;  &#92;frac{1-m^2}{1+m^2} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=x+%3D+-1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x = -1' title='x = -1' class='latex' /> corresponds to the point <img src='http://s0.wp.com/latex.php?latex=%28-1%2C+0%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(-1, 0)' title='(-1, 0)' class='latex' />.  When <img src='http://s0.wp.com/latex.php?latex=x+%3D+%5Cfrac%7B1-m%5E2%7D%7B1%2Bm%5E2%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='x = &#92;frac{1-m^2}{1+m^2}' title='x = &#92;frac{1-m^2}{1+m^2}' class='latex' /> we have</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+y%5E2+%3D+1+-+x%5E2+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ y^2 = 1 - x^2 }' title='&#92;displaystyle{ y^2 = 1 - x^2 }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+y%5E2+%3D+1+-+%5Cleft%28+%5Cfrac%7B1-m%5E2%7D%7B1%2Bm%5E2%7D+%5Cright%29%5E2+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ y^2 = 1 - &#92;left( &#92;frac{1-m^2}{1+m^2} &#92;right)^2 }' title='&#92;displaystyle{ y^2 = 1 - &#92;left( &#92;frac{1-m^2}{1+m^2} &#92;right)^2 }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+y%5E2+%3D+%5Cfrac%7B%281%2Bm%5E2%29%5E2+-+%281-m%5E2%29%5E2%7D%7B%281%2Bm%5E2%29%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ y^2 = &#92;frac{(1+m^2)^2 - (1-m^2)^2}{(1+m^2)^2} }' title='&#92;displaystyle{ y^2 = &#92;frac{(1+m^2)^2 - (1-m^2)^2}{(1+m^2)^2} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+y%5E2+%3D+%5Cfrac%7B%281%2B2m%5E2+%2B+m%5E4%29+-+%281-2m%5E2+%2B+m%5E4%29%7D%7B%281%2Bm%5E2%29%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ y^2 = &#92;frac{(1+2m^2 + m^4) - (1-2m^2 + m^4)}{(1+m^2)^2} }' title='&#92;displaystyle{ y^2 = &#92;frac{(1+2m^2 + m^4) - (1-2m^2 + m^4)}{(1+m^2)^2} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+y%5E2+%3D+%5Cfrac%7B4m%5E2%7D%7B%281%2Bm%5E2%29%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ y^2 = &#92;frac{4m^2}{(1+m^2)^2} }' title='&#92;displaystyle{ y^2 = &#92;frac{4m^2}{(1+m^2)^2} }' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cimplies+y+%3D+%5Cpm%5Cfrac%7B2m%7D%7B1%2Bm%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;implies y = &#92;pm&#92;frac{2m}{1+m^2} }' title='&#92;displaystyle{ &#92;implies y = &#92;pm&#92;frac{2m}{1+m^2} }' class='latex' /></p>
<p>and we want the <img src='http://s0.wp.com/latex.php?latex=%5Cpm&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;pm' title='&#92;pm' class='latex' /> to be <img src='http://s0.wp.com/latex.php?latex=%2B&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='+' title='+' class='latex' /> so that positive slopes correspond to the upper half of the circle as we illustrated above.</p>
<p>Therefore every point on the unit circle (other than <img src='http://s0.wp.com/latex.php?latex=%28-1%2C+0%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(-1, 0)' title='(-1, 0)' class='latex' />) is of the form </p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cleft%28%5Cfrac%7B1-m%5E2%7D%7B1%2Bm%5E2%7D%2C%5C+%5Cfrac%7B2m%7D%7B1%2Bm%5E2%7D%5Cright%29+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;left(&#92;frac{1-m^2}{1+m^2},&#92; &#92;frac{2m}{1+m^2}&#92;right) }' title='&#92;displaystyle{ &#92;left(&#92;frac{1-m^2}{1+m^2},&#92; &#92;frac{2m}{1+m^2}&#92;right) }' class='latex' /> for some <img src='http://s0.wp.com/latex.php?latex=m&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='m' title='m' class='latex' />.  As <img src='http://s0.wp.com/latex.php?latex=m+%5Crightarrow+%5Cpm+%5Cinfty&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='m &#92;rightarrow &#92;pm &#92;infty' title='m &#92;rightarrow &#92;pm &#92;infty' class='latex' /> we have <img src='http://s0.wp.com/latex.php?latex=%5Cleft%28%5Cfrac%7B1-m%5E2%7D%7B1%2Bm%5E2%7D%2C%5C+%5Cfrac%7B2m%7D%7B1%2Bm%5E2%7D%5Cright%29+%5Crightarrow+%28-1%2C+0%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;left(&#92;frac{1-m^2}{1+m^2},&#92; &#92;frac{2m}{1+m^2}&#92;right) &#92;rightarrow (-1, 0)' title='&#92;left(&#92;frac{1-m^2}{1+m^2},&#92; &#92;frac{2m}{1+m^2}&#92;right) &#92;rightarrow (-1, 0)' class='latex' />.</p>
<hr width="100%" />
<p>We now have two parameterizations of the unit circle.  How are they connected?  For every <img src='http://s0.wp.com/latex.php?latex=m&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='m' title='m' class='latex' /> there is a <img src='http://s0.wp.com/latex.php?latex=%5Ctheta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;theta' title='&#92;theta' class='latex' /> such that</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ccos+%5Ctheta+%3D+%5Cfrac%7B1-m%5E2%7D%7B1%2Bm%5E2%7D+%5Ctext%7B+and+%7D+%5Csin+%5Ctheta+%3D+%5Cfrac%7B2m%7D%7B1%2Bm%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;cos &#92;theta = &#92;frac{1-m^2}{1+m^2} &#92;text{ and } &#92;sin &#92;theta = &#92;frac{2m}{1+m^2} }' title='&#92;displaystyle{ &#92;cos &#92;theta = &#92;frac{1-m^2}{1+m^2} &#92;text{ and } &#92;sin &#92;theta = &#92;frac{2m}{1+m^2} }' class='latex' /></p>
<p>which gives</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Ctan+%5Ctheta+%3D+%5Cfrac%7B2m%7D%7B1-m%5E2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;tan &#92;theta = &#92;frac{2m}{1-m^2} }' title='&#92;displaystyle{ &#92;tan &#92;theta = &#92;frac{2m}{1-m^2} }' class='latex' />.  </p>
<p>This calls to mind the tangent addition formula <img src='http://s0.wp.com/latex.php?latex=%5Ctan%28A%2BB%29+%3D+%5Cfrac%7B%5Ctan+A+%2B+%5Ctan+B%7D%7B1-%5Ctan+A%5Ctan+B%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;tan(A+B) = &#92;frac{&#92;tan A + &#92;tan B}{1-&#92;tan A&#92;tan B}' title='&#92;tan(A+B) = &#92;frac{&#92;tan A + &#92;tan B}{1-&#92;tan A&#92;tan B}' class='latex' />.  This suggests <img src='http://s0.wp.com/latex.php?latex=m+%3D+%5Ctan%28%5Ctheta%2F2%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='m = &#92;tan(&#92;theta/2)' title='m = &#92;tan(&#92;theta/2)' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Ctheta+%3D+2%5Ctan%5E%7B-1%7D%28m%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;theta = 2&#92;tan^{-1}(m)' title='&#92;theta = 2&#92;tan^{-1}(m)' class='latex' />.  The usual calculations show that this is correct:  If we start with <img src='http://s0.wp.com/latex.php?latex=m+%3D+%5Ctan%5E%7B-1%7D%28%5Ctheta%2F2%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='m = &#92;tan^{-1}(&#92;theta/2)' title='m = &#92;tan^{-1}(&#92;theta/2)' class='latex' /> we get the desired <img src='http://s0.wp.com/latex.php?latex=%5Ccos+%5Ctheta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;cos &#92;theta' title='&#92;cos &#92;theta' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Csin+%5Ctheta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sin &#92;theta' title='&#92;sin &#92;theta' class='latex' />.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mathnow.wordpress.com/502/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mathnow.wordpress.com/502/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mathnow.wordpress.com/502/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mathnow.wordpress.com/502/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mathnow.wordpress.com/502/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mathnow.wordpress.com/502/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mathnow.wordpress.com/502/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mathnow.wordpress.com/502/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mathnow.wordpress.com/502/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mathnow.wordpress.com/502/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mathnow.wordpress.com/502/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mathnow.wordpress.com/502/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mathnow.wordpress.com/502/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mathnow.wordpress.com/502/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=502&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mathnow.wordpress.com/2009/11/06/a-rational-parameterization-of-the-unit-circle/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/214ac1b19e22e1e3660fa2dad2a2f4b7?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dr. Nichtgegeben</media:title>
		</media:content>

		<media:content url="http://mathnow.files.wordpress.com/2009/11/sage0.png" medium="image" />
	</item>
		<item>
		<title>Real Cubic Equations</title>
		<link>http://mathnow.wordpress.com/2009/11/03/real-cubic-equations/</link>
		<comments>http://mathnow.wordpress.com/2009/11/03/real-cubic-equations/#comments</comments>
		<pubDate>Wed, 04 Nov 2009 00:14:28 +0000</pubDate>
		<dc:creator>Dr. Nichtgegeben</dc:creator>
				<category><![CDATA[algebra]]></category>
		<category><![CDATA[cubic formula]]></category>
		<category><![CDATA[polynomials]]></category>
		<category><![CDATA[cube roots]]></category>

		<guid isPermaLink="false">http://mathnow.wordpress.com/?p=456</guid>
		<description><![CDATA[In our last post we considered complex cubic equations. We found the following. The complex cubic equation has roots , , and where and are chosen to preserve , , and . Suppose now that the coefficients of our cubic are real. The behavior of the roots is largely determined by the sign of the [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=456&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>In our last post we considered complex cubic equations.  We found the following.</p>
<p>The complex cubic equation <img src='http://s0.wp.com/latex.php?latex=X%5E3+%2B+pX+%2B+q+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='X^3 + pX + q = 0' title='X^3 + pX + q = 0' class='latex' /> has roots <img src='http://s0.wp.com/latex.php?latex=u+%2B+v&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u + v' title='u + v' class='latex' />, <img src='http://s0.wp.com/latex.php?latex=u%5Czeta+%2B+v%5Czeta%5E2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u&#92;zeta + v&#92;zeta^2' title='u&#92;zeta + v&#92;zeta^2' class='latex' />, and <img src='http://s0.wp.com/latex.php?latex=u%5Czeta%5E2+%2B+v%5Czeta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u&#92;zeta^2 + v&#92;zeta' title='u&#92;zeta^2 + v&#92;zeta' class='latex' /> where </p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+u+%3D+%5Csqrt%5B3%5D%7B%5Cfrac%7B-q%7D%7B2%7D+%2B+%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D+%2B+%5Cfrac%7Bp%5E3%7D%7B27%7D%7D+%7D%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ u = &#92;sqrt[3]{&#92;frac{-q}{2} + &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }}' title='&#92;displaystyle{ u = &#92;sqrt[3]{&#92;frac{-q}{2} + &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }}' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+v+%3D+%5Csqrt%5B3%5D%7B%5Cfrac%7B-q%7D%7B2%7D+-+%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D+%2B+%5Cfrac%7Bp%5E3%7D%7B27%7D%7D+%7D%7D+&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ v = &#92;sqrt[3]{&#92;frac{-q}{2} - &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }} ' title='&#92;displaystyle{ v = &#92;sqrt[3]{&#92;frac{-q}{2} - &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }} ' class='latex' /> </p>
<p>are chosen to preserve <img src='http://s0.wp.com/latex.php?latex=uv+%3D+-%5Cfrac%7Bp%7D%7B3%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='uv = -&#92;frac{p}{3}' title='uv = -&#92;frac{p}{3}' class='latex' />,</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Czeta+%3D+%5Ctext%7Bcis%7D%282%5Cpi%2F3%29+%3D+%5Ccos%282%5Cpi%2F3%29+%2B+i%5Csin%282%5Cpi%2F3%29+%3D+%5Cfrac%7B-1%2Bi%5Csqrt%7B3%7D%7D%7B2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;zeta = &#92;text{cis}(2&#92;pi/3) = &#92;cos(2&#92;pi/3) + i&#92;sin(2&#92;pi/3) = &#92;frac{-1+i&#92;sqrt{3}}{2} }' title='&#92;displaystyle{ &#92;zeta = &#92;text{cis}(2&#92;pi/3) = &#92;cos(2&#92;pi/3) + i&#92;sin(2&#92;pi/3) = &#92;frac{-1+i&#92;sqrt{3}}{2} }' class='latex' />, and <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Czeta%5E2+%3D+%5Coverline%7B%5Czeta%7D+%3D+%5Cfrac%7B-1+-+i%5Csqrt%7B3%7D%7D%7B2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;zeta^2 = &#92;overline{&#92;zeta} = &#92;frac{-1 - i&#92;sqrt{3}}{2} }' title='&#92;displaystyle{ &#92;zeta^2 = &#92;overline{&#92;zeta} = &#92;frac{-1 - i&#92;sqrt{3}}{2} }' class='latex' />.</p>
<p>Suppose now that the coefficients of our cubic are real.  The behavior of the roots is largely determined by the sign of the expression <img src='http://s0.wp.com/latex.php?latex=%5Cdelta+%3D+%5Cfrac%7Bq%5E2%7D%7B4%7D+%2B+%5Cfrac%7Bp%5E3%7D%7B27%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;delta = &#92;frac{q^2}{4} + &#92;frac{p^3}{27}' title='&#92;delta = &#92;frac{q^2}{4} + &#92;frac{p^3}{27}' class='latex' />.  (The <em>discriminant</em> of a cubic <img src='http://s0.wp.com/latex.php?latex=X%5E3+%2B+pX+%2B+q&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='X^3 + pX + q' title='X^3 + pX + q' class='latex' /> is <img src='http://s0.wp.com/latex.php?latex=D+%3D+-4p%5E3+-+27q%5E2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='D = -4p^3 - 27q^2' title='D = -4p^3 - 27q^2' class='latex' />.  Our <img src='http://s0.wp.com/latex.php?latex=%5Cdelta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;delta' title='&#92;delta' class='latex' /> is <img src='http://s0.wp.com/latex.php?latex=D%2F%28-4%5Ccdot27%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='D/(-4&#92;cdot27)' title='D/(-4&#92;cdot27)' class='latex' />.  We&#8217;ll discuss discriminants some other time.)  There are two cases to consider.</p>
<p>First, suppose <img src='http://s0.wp.com/latex.php?latex=%5Cdelta+%3D+%5Cfrac%7Bq%5E2%7D%7B4%7D+%2B+%5Cfrac%7Bp%5E3%7D%7B27%7D+%3E+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;delta = &#92;frac{q^2}{4} + &#92;frac{p^3}{27} &gt; 0' title='&#92;delta = &#92;frac{q^2}{4} + &#92;frac{p^3}{27} &gt; 0' class='latex' />.  Then <img src='http://s0.wp.com/latex.php?latex=u%2C+v&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u, v' title='u, v' class='latex' /> are real.  It follows that there is one real root and two complex conjugate roots.  Why?  The roots of our cubic are <img src='http://s0.wp.com/latex.php?latex=u%2Bv&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u+v' title='u+v' class='latex' /> (real) and <img src='http://s0.wp.com/latex.php?latex=u%5Czeta+%2B+v%5Czeta%5E2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u&#92;zeta + v&#92;zeta^2' title='u&#92;zeta + v&#92;zeta^2' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Coverline%7Bu%5Czeta+%2B+v%5Czeta%5E2%7D+%3D+u%5Czeta%5E2+%2B+v%5Czeta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;overline{u&#92;zeta + v&#92;zeta^2} = u&#92;zeta^2 + v&#92;zeta' title='&#92;overline{u&#92;zeta + v&#92;zeta^2} = u&#92;zeta^2 + v&#92;zeta' class='latex' /> (a complex conjugate pair).</p>
<p>Second, suppose <img src='http://s0.wp.com/latex.php?latex=%5Cdelta+%3D+%5Cfrac%7Bq%5E2%7D%7B4%7D+%2B+%5Cfrac%7Bp%5E3%7D%7B27%7D+%5Cleq+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;delta = &#92;frac{q^2}{4} + &#92;frac{p^3}{27} &#92;leq 0' title='&#92;delta = &#92;frac{q^2}{4} + &#92;frac{p^3}{27} &#92;leq 0' class='latex' />.  Here there are three real roots.  Why?  We have</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+-%5Cfrac%7Bq%7D%7B2%7D+%5Cpm+%5Csqrt%7B%5Cdelta%7D+%3D+-%5Cfrac%7Bq%7D%7B2%7D+%5Cpm+i%5Csqrt%7B%7C%5Cdelta%7C%7D+%3D+r+%5Ctext%7Bcis%7D%28%5Cpm%5Ctheta%29++%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ -&#92;frac{q}{2} &#92;pm &#92;sqrt{&#92;delta} = -&#92;frac{q}{2} &#92;pm i&#92;sqrt{|&#92;delta|} = r &#92;text{cis}(&#92;pm&#92;theta)  }' title='&#92;displaystyle{ -&#92;frac{q}{2} &#92;pm &#92;sqrt{&#92;delta} = -&#92;frac{q}{2} &#92;pm i&#92;sqrt{|&#92;delta|} = r &#92;text{cis}(&#92;pm&#92;theta)  }' class='latex' /></p>
<p>where </p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+r+%3D+%5Cleft%7C%5Cfrac%7B-q%7D%7B2%7D+%5Cpm+i%5Csqrt%7B-%5Cleft%28%5Cfrac%7Bq%5E2%7D%7B4%7D+%2B+%5Cfrac%7Bp%5E3%7D%7B27%7D%5Cright%29%7D%5Cright%7C+%3D+%5Csqrt%7B+%5Cfrac%7Bq%5E2%7D%7B4%7D+-+%5Cfrac%7Bq%5E2%7D%7B4%7D+-+%5Cfrac%7Bp%5E3%7D%7B27%7D+%7D+%3D+%5Csqrt%7B+-%5Cfrac%7Bp%5E3%7D%7B27%7D+%7D+%3D+%5Cleft%28+-%5Cfrac%7Bp%7D%7B3%7D+%5Cright%29%5E%7B3%2F2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ r = &#92;left|&#92;frac{-q}{2} &#92;pm i&#92;sqrt{-&#92;left(&#92;frac{q^2}{4} + &#92;frac{p^3}{27}&#92;right)}&#92;right| = &#92;sqrt{ &#92;frac{q^2}{4} - &#92;frac{q^2}{4} - &#92;frac{p^3}{27} } = &#92;sqrt{ -&#92;frac{p^3}{27} } = &#92;left( -&#92;frac{p}{3} &#92;right)^{3/2} }' title='&#92;displaystyle{ r = &#92;left|&#92;frac{-q}{2} &#92;pm i&#92;sqrt{-&#92;left(&#92;frac{q^2}{4} + &#92;frac{p^3}{27}&#92;right)}&#92;right| = &#92;sqrt{ &#92;frac{q^2}{4} - &#92;frac{q^2}{4} - &#92;frac{p^3}{27} } = &#92;sqrt{ -&#92;frac{p^3}{27} } = &#92;left( -&#92;frac{p}{3} &#92;right)^{3/2} }' class='latex' /></p>
<p>and <img src='http://s0.wp.com/latex.php?latex=%5Ctheta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;theta' title='&#92;theta' class='latex' /> can be calculated if we really need it.  Now set <img src='http://s0.wp.com/latex.php?latex=u+%3D+r%5E%7B1%2F3%7D%5Ctext%7Bcis%7D%28%5Ctheta%2F3%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u = r^{1/3}&#92;text{cis}(&#92;theta/3)' title='u = r^{1/3}&#92;text{cis}(&#92;theta/3)' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=v+%3D+r%5E%7B1%2F3%7D%5Ctext%7Bcis%7D%28-%5Ctheta%2F3%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='v = r^{1/3}&#92;text{cis}(-&#92;theta/3)' title='v = r^{1/3}&#92;text{cis}(-&#92;theta/3)' class='latex' /> and note we have <img src='http://s0.wp.com/latex.php?latex=uv+%3D+r%5E%7B2%2F3%7D+%3D+-p%2F3&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='uv = r^{2/3} = -p/3' title='uv = r^{2/3} = -p/3' class='latex' /> as required.  Thus our roots are</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7Bu+%2B+v%7D+%3D+r%5E%7B1%2F3%7D%5Ctext%7Bcis%7D%28%5Ctheta%2F3%29+%2B+r%5E%7B1%2F3%7D%5Ctext%7Bcis%7D%28-%5Ctheta%2F3%29+%3D+2r%5E%7B1%2F3%7D%5Ccos%5Cleft%28%5Cfrac%7B%5Ctheta%7D%7B3%7D%5Cright%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{u + v} = r^{1/3}&#92;text{cis}(&#92;theta/3) + r^{1/3}&#92;text{cis}(-&#92;theta/3) = 2r^{1/3}&#92;cos&#92;left(&#92;frac{&#92;theta}{3}&#92;right)' title='&#92;displaystyle{u + v} = r^{1/3}&#92;text{cis}(&#92;theta/3) + r^{1/3}&#92;text{cis}(-&#92;theta/3) = 2r^{1/3}&#92;cos&#92;left(&#92;frac{&#92;theta}{3}&#92;right)' class='latex' />,</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7Bu%5Czeta+%2B+v%5Czeta%5E2%7D+%3D+r%5E%7B1%2F3%7D%5Ctext%7Bcis%7D%28%5Ctheta%2F3%2B2%5Cpi%2F3%29+%2B+r%5E%7B1%2F3%7D%5Ctext%7Bcis%7D%28-%5Ctheta%2F3-2%5Cpi%2F3%29+%3D+2r%5E%7B1%2F3%7D%5Ccos%5Cleft%28%5Cfrac%7B%5Ctheta%7D%7B3%7D+%2B+%5Cfrac%7B2%5Cpi%7D%7B3%7D%5Cright%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{u&#92;zeta + v&#92;zeta^2} = r^{1/3}&#92;text{cis}(&#92;theta/3+2&#92;pi/3) + r^{1/3}&#92;text{cis}(-&#92;theta/3-2&#92;pi/3) = 2r^{1/3}&#92;cos&#92;left(&#92;frac{&#92;theta}{3} + &#92;frac{2&#92;pi}{3}&#92;right)' title='&#92;displaystyle{u&#92;zeta + v&#92;zeta^2} = r^{1/3}&#92;text{cis}(&#92;theta/3+2&#92;pi/3) + r^{1/3}&#92;text{cis}(-&#92;theta/3-2&#92;pi/3) = 2r^{1/3}&#92;cos&#92;left(&#92;frac{&#92;theta}{3} + &#92;frac{2&#92;pi}{3}&#92;right)' class='latex' />, and</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7Bu%5Czeta%5E2+%2B+v%5Czeta%7D+%3D+r%5E%7B1%2F3%7D%5Ctext%7Bcis%7D%28%5Ctheta%2F3%2B4%5Cpi%2F3%29+%2B+r%5E%7B1%2F3%7D%5Ctext%7Bcis%7D%28-%5Ctheta%2F3-4%5Cpi%2F3%29+%3D+2r%5E%7B1%2F3%7D%5Ccos%5Cleft%28%5Cfrac%7B%5Ctheta%7D%7B3%7D+%2B+%5Cfrac%7B4%5Cpi%7D%7B3%7D%5Cright%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{u&#92;zeta^2 + v&#92;zeta} = r^{1/3}&#92;text{cis}(&#92;theta/3+4&#92;pi/3) + r^{1/3}&#92;text{cis}(-&#92;theta/3-4&#92;pi/3) = 2r^{1/3}&#92;cos&#92;left(&#92;frac{&#92;theta}{3} + &#92;frac{4&#92;pi}{3}&#92;right)' title='&#92;displaystyle{u&#92;zeta^2 + v&#92;zeta} = r^{1/3}&#92;text{cis}(&#92;theta/3+4&#92;pi/3) + r^{1/3}&#92;text{cis}(-&#92;theta/3-4&#92;pi/3) = 2r^{1/3}&#92;cos&#92;left(&#92;frac{&#92;theta}{3} + &#92;frac{4&#92;pi}{3}&#92;right)' class='latex' />.</p>
<p>Note that when <img src='http://s0.wp.com/latex.php?latex=%5Cdelta+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;delta = 0' title='&#92;delta = 0' class='latex' /> we have <img src='http://s0.wp.com/latex.php?latex=%5Ctheta+%3D+0+%5Ctext%7B+or+%7D+%5Cpi&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;theta = 0 &#92;text{ or } &#92;pi' title='&#92;theta = 0 &#92;text{ or } &#92;pi' class='latex' /> and in this case (at least) two of our roots above will coincide.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mathnow.wordpress.com/456/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mathnow.wordpress.com/456/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mathnow.wordpress.com/456/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mathnow.wordpress.com/456/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mathnow.wordpress.com/456/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mathnow.wordpress.com/456/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mathnow.wordpress.com/456/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mathnow.wordpress.com/456/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mathnow.wordpress.com/456/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mathnow.wordpress.com/456/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mathnow.wordpress.com/456/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mathnow.wordpress.com/456/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mathnow.wordpress.com/456/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mathnow.wordpress.com/456/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=456&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mathnow.wordpress.com/2009/11/03/real-cubic-equations/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/214ac1b19e22e1e3660fa2dad2a2f4b7?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dr. Nichtgegeben</media:title>
		</media:content>
	</item>
		<item>
		<title>The Cubic Formula</title>
		<link>http://mathnow.wordpress.com/2009/11/02/the-cubic-formula/</link>
		<comments>http://mathnow.wordpress.com/2009/11/02/the-cubic-formula/#comments</comments>
		<pubDate>Mon, 02 Nov 2009 18:29:58 +0000</pubDate>
		<dc:creator>Dr. Nichtgegeben</dc:creator>
				<category><![CDATA[algebra]]></category>
		<category><![CDATA[cubic formula]]></category>
		<category><![CDATA[polynomials]]></category>
		<category><![CDATA[quadratic formula]]></category>
		<category><![CDATA[complex numbers]]></category>
		<category><![CDATA[cube roots]]></category>
		<category><![CDATA[n-th roots]]></category>
		<category><![CDATA[roots of unity]]></category>

		<guid isPermaLink="false">http://mathnow.wordpress.com/?p=399</guid>
		<description><![CDATA[In this post we&#8217;ll derive a formula for the roots of where the coefficients are any complex numbers and . Before doing this we need to recall a couple of facts from our earlier work. First, we saw in an earlier post that every complex number has -th roots and that if is any one [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=399&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>In this post we&#8217;ll derive a formula for the roots of </p>
<p><img src='http://s0.wp.com/latex.php?latex=aX%5E3+%2B+bX%5E2+%2B+cX+%2B+d+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='aX^3 + bX^2 + cX + d = 0' title='aX^3 + bX^2 + cX + d = 0' class='latex' /></p>
<p>where the coefficients are any complex numbers and <img src='http://s0.wp.com/latex.php?latex=a+%5Cneq+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='a &#92;neq 0' title='a &#92;neq 0' class='latex' />.  Before doing this we need to recall a couple of facts from our earlier work.</p>
<p>First, we saw in an earlier post that every complex number <img src='http://s0.wp.com/latex.php?latex=z&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='z' title='z' class='latex' /> has <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='n' title='n' class='latex' /> <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='n' title='n' class='latex' />-th roots and that if <img src='http://s0.wp.com/latex.php?latex=w&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='w' title='w' class='latex' /> is any one <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='n' title='n' class='latex' />-th root of <img src='http://s0.wp.com/latex.php?latex=z&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='z' title='z' class='latex' /> the complete set is</p>
<p><img src='http://s0.wp.com/latex.php?latex=w%2C+%5Czeta+w%2C+%5Czeta%5E2+w%2C+%5Cldots%2C+%5Czeta%5E%7Bn-1%7D+w&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='w, &#92;zeta w, &#92;zeta^2 w, &#92;ldots, &#92;zeta^{n-1} w' title='w, &#92;zeta w, &#92;zeta^2 w, &#92;ldots, &#92;zeta^{n-1} w' class='latex' /></p>
<p>where <img src='http://s0.wp.com/latex.php?latex=%5Czeta+%3D+%5Ctext%7Bcis%7D%282%5Cpi%2Fn%29+%3D+%5Ccos%282%5Cpi%2Fn%29+%2B+i%5Csin%282%5Cpi%2Fn%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;zeta = &#92;text{cis}(2&#92;pi/n) = &#92;cos(2&#92;pi/n) + i&#92;sin(2&#92;pi/n)' title='&#92;zeta = &#92;text{cis}(2&#92;pi/n) = &#92;cos(2&#92;pi/n) + i&#92;sin(2&#92;pi/n)' class='latex' />.  There isn&#8217;t a natural way to choose one of these from among the others.  (When <img src='http://s0.wp.com/latex.php?latex=z&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='z' title='z' class='latex' /> is a positive real number we can always choose the unique positive real <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='n' title='n' class='latex' />-th root.)  For this reason the symbol <img src='http://s0.wp.com/latex.php?latex=%5Csqrt%5Bn%5D%7Bz%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sqrt[n]{z}' title='&#92;sqrt[n]{z}' class='latex' /> is ambiguous.  Despite this, when convenient, we&#8217;ll use the symbol <img src='http://s0.wp.com/latex.php?latex=%5Csqrt%5Bn%5D%7Bz%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;sqrt[n]{z}' title='&#92;sqrt[n]{z}' class='latex' /> to mean some <img src='http://s0.wp.com/latex.php?latex=n&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='n' title='n' class='latex' />-th root of <img src='http://s0.wp.com/latex.php?latex=z&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='z' title='z' class='latex' />.</p>
<p>Second, to solve a quadratic equation <img src='http://s0.wp.com/latex.php?latex=aX%5E2+%2B+bX+%2B+c+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='aX^2 + bX + c = 0' title='aX^2 + bX + c = 0' class='latex' /> we only need to extract a <img src='http://s0.wp.com/latex.php?latex=w+%3D+%5Csqrt%7Bb%5E2-4ac%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='w = &#92;sqrt{b^2-4ac}' title='w = &#92;sqrt{b^2-4ac}' class='latex' /> and then the roots are <img src='http://s0.wp.com/latex.php?latex=%28-b+%5Cpm+w%29%2F2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(-b &#92;pm w)/2' title='(-b &#92;pm w)/2' class='latex' />.  Since every complex number has a square root it follows that every complex quadratic equation has complex roots.  We&#8217;ll use this observation a couple of times in what follows.</p>
<p>Now to the cubic equation.  Let <img src='http://s0.wp.com/latex.php?latex=f%28X%29+%3D+aX%5E3+%2B+bX%5E2+%2B+cX+%2B+d&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='f(X) = aX^3 + bX^2 + cX + d' title='f(X) = aX^3 + bX^2 + cX + d' class='latex' /> where the coefficients are complex and <img src='http://s0.wp.com/latex.php?latex=a+%5Cneq+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='a &#92;neq 0' title='a &#92;neq 0' class='latex' />.  Since we&#8217;re interested in the roots of <img src='http://s0.wp.com/latex.php?latex=f%28X%29+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='f(X) = 0' title='f(X) = 0' class='latex' /> we may suppose <img src='http://s0.wp.com/latex.php?latex=a+%3D+1&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='a = 1' title='a = 1' class='latex' />.  Then by substituting we find</p>
<p><img src='http://s0.wp.com/latex.php?latex=f%28X-%5Cfrac%7Bb%7D%7B3%7D%29+%3D+%28X-%5Cfrac%7Bb%7D%7B3%7D%29%5E3+%2B+b%28X-%5Cfrac%7Bb%7D%7B3%7D%29%5E2+%2B+c%28X-%5Cfrac%7Bb%7D%7B3%7D%29+%2B+d&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='f(X-&#92;frac{b}{3}) = (X-&#92;frac{b}{3})^3 + b(X-&#92;frac{b}{3})^2 + c(X-&#92;frac{b}{3}) + d' title='f(X-&#92;frac{b}{3}) = (X-&#92;frac{b}{3})^3 + b(X-&#92;frac{b}{3})^2 + c(X-&#92;frac{b}{3}) + d' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%3D+X%5E3+-+3X%5E2%5Cfrac%7Bb%7D%7B3%7D+%2B+3X%5Cfrac%7Bb%5E2%7D%7B9%7D+-%5Cfrac%7Bb%5E3%7D%7B27%7D+%2B+b%28X%5E2+-%5Cfrac%7B2b%7D%7B3%7DX+%2B+%5Cfrac%7Bb%5E2%7D%7B9%7D%29+%2B+c%28X-%5Cfrac%7Bb%7D%7B3%7D%29+%2B+d&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='= X^3 - 3X^2&#92;frac{b}{3} + 3X&#92;frac{b^2}{9} -&#92;frac{b^3}{27} + b(X^2 -&#92;frac{2b}{3}X + &#92;frac{b^2}{9}) + c(X-&#92;frac{b}{3}) + d' title='= X^3 - 3X^2&#92;frac{b}{3} + 3X&#92;frac{b^2}{9} -&#92;frac{b^3}{27} + b(X^2 -&#92;frac{2b}{3}X + &#92;frac{b^2}{9}) + c(X-&#92;frac{b}{3}) + d' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%3D+X%5E3+-+3X%5E2%5Cfrac%7Bb%7D%7B3%7D+%2B+bX%5E2+%2B+%5Ctext%7Blower+degree+terms%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='= X^3 - 3X^2&#92;frac{b}{3} + bX^2 + &#92;text{lower degree terms}' title='= X^3 - 3X^2&#92;frac{b}{3} + bX^2 + &#92;text{lower degree terms}' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%3D+X%5E3+%2B+pX+%2B+q&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='= X^3 + pX + q' title='= X^3 + pX + q' class='latex' /></p>
<p>for some complex numbers <img src='http://s0.wp.com/latex.php?latex=p%2C+q&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='p, q' title='p, q' class='latex' />.</p>
<p>Thus is suffices to find the roots of <img src='http://s0.wp.com/latex.php?latex=f%28X%29+%3D+X%5E3+%2BpX%2Bq&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='f(X) = X^3 +pX+q' title='f(X) = X^3 +pX+q' class='latex' />.  This is called a <em>depressed</em> cubic, by the way.</p>
<p>Now <img src='http://s0.wp.com/latex.php?latex=f%28u%2Bv%29+%3D+%28u%2Bv%29%5E3+%2B+p%28u%2Bv%29+%2B+q&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='f(u+v) = (u+v)^3 + p(u+v) + q' title='f(u+v) = (u+v)^3 + p(u+v) + q' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%3D+u%5E3+%2B+3u%5E2v+%2B+3uv%5E2+%2B+v%5E3+%2B+p%28u%2Bv%29+%2B+q&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='= u^3 + 3u^2v + 3uv^2 + v^3 + p(u+v) + q' title='= u^3 + 3u^2v + 3uv^2 + v^3 + p(u+v) + q' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%3D+u%5E3+%2B+v%5E3+%2B3uv%28u%2Bv%29+%2B+p%28u%2Bv%29+%2B+q&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='= u^3 + v^3 +3uv(u+v) + p(u+v) + q' title='= u^3 + v^3 +3uv(u+v) + p(u+v) + q' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%3D+u%5E3+%2B+v%5E3+%2B+%283uv%2Bp%29%28u%2Bv%29+%2B+q&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='= u^3 + v^3 + (3uv+p)(u+v) + q' title='= u^3 + v^3 + (3uv+p)(u+v) + q' class='latex' /></p>
<p>so if we can find complex numbers <img src='http://s0.wp.com/latex.php?latex=u%2C+v&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u, v' title='u, v' class='latex' /> such that <img src='http://s0.wp.com/latex.php?latex=u%5E3+%2B+v%5E3+%3D+-q&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u^3 + v^3 = -q' title='u^3 + v^3 = -q' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=uv+%3D+-%5Cfrac%7Bp%7D%7B3%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='uv = -&#92;frac{p}{3}' title='uv = -&#92;frac{p}{3}' class='latex' /> then <img src='http://s0.wp.com/latex.php?latex=u%2Bv&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u+v' title='u+v' class='latex' /> will be a root of <img src='http://s0.wp.com/latex.php?latex=f%28X%29+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='f(X) = 0' title='f(X) = 0' class='latex' />.</p>
<p>Notice that <img src='http://s0.wp.com/latex.php?latex=uv+%3D+-%5Cfrac%7Bp%7D%7B3%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='uv = -&#92;frac{p}{3}' title='uv = -&#92;frac{p}{3}' class='latex' /> implies <img src='http://s0.wp.com/latex.php?latex=u%5E3v%5E3+%3D+-%5Cfrac%7Bp%5E3%7D%7B27%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u^3v^3 = -&#92;frac{p^3}{27}' title='u^3v^3 = -&#92;frac{p^3}{27}' class='latex' />.  Then we see that <img src='http://s0.wp.com/latex.php?latex=u%5E3%2C+v%5E3&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u^3, v^3' title='u^3, v^3' class='latex' /> are roots of the complex quadratic equation </p>
<p><img src='http://s0.wp.com/latex.php?latex=%28Y+-+u%5E3%29%28Y+-+v%5E3%29+%3D+Y%5E2+-+%28u%5E3%2Bv%5E3%29Y+%2B+u%5E3v%5E3+%3D+Y%5E2+%2B+qY+-%5Cfrac%7Bp%5E3%7D%7B27%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(Y - u^3)(Y - v^3) = Y^2 - (u^3+v^3)Y + u^3v^3 = Y^2 + qY -&#92;frac{p^3}{27}' title='(Y - u^3)(Y - v^3) = Y^2 - (u^3+v^3)Y + u^3v^3 = Y^2 + qY -&#92;frac{p^3}{27}' class='latex' /> </p>
<p>Therefore, by the quadratic formula, we have</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7Bu%5E3%2C+v%5E3+%3D+%5Cfrac%7B-q+%5Cpm+%5Csqrt%7Bq%5E2+%2B+4%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D%7B2%7D%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{u^3, v^3 = &#92;frac{-q &#92;pm &#92;sqrt{q^2 + 4&#92;frac{p^3}{27}}}{2}}' title='&#92;displaystyle{u^3, v^3 = &#92;frac{-q &#92;pm &#92;sqrt{q^2 + 4&#92;frac{p^3}{27}}}{2}}' class='latex' /></p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%3D+%5Cfrac%7B-q%7D%7B2%7D+%5Cpm+%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D+%2B+%5Cfrac%7Bp%5E3%7D%7B27%7D%7D%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ = &#92;frac{-q}{2} &#92;pm &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}}}' title='&#92;displaystyle{ = &#92;frac{-q}{2} &#92;pm &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}}}' class='latex' /></p>
<p>Now we extract cube roots of these quantities to find</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+u+%3D+%5Csqrt%5B3%5D%7B%5Cfrac%7B-q%7D%7B2%7D+%2B+%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D+%2B+%5Cfrac%7Bp%5E3%7D%7B27%7D%7D+%7D%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ u = &#92;sqrt[3]{&#92;frac{-q}{2} + &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }}' title='&#92;displaystyle{ u = &#92;sqrt[3]{&#92;frac{-q}{2} + &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }}' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+v+%3D+%5Csqrt%5B3%5D%7B%5Cfrac%7B-q%7D%7B2%7D+-+%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D+%2B+%5Cfrac%7Bp%5E3%7D%7B27%7D%7D+%7D%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ v = &#92;sqrt[3]{&#92;frac{-q}{2} - &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }}' title='&#92;displaystyle{ v = &#92;sqrt[3]{&#92;frac{-q}{2} - &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }}' class='latex' /> </p>
<p>where we are careful to choose our cube roots to preserve <img src='http://s0.wp.com/latex.php?latex=uv+%3D+-%5Cfrac%7Bp%7D%7B3%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='uv = -&#92;frac{p}{3}' title='uv = -&#92;frac{p}{3}' class='latex' />.</p>
<p>Thus <img src='http://s0.wp.com/latex.php?latex=u%2Bv&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u+v' title='u+v' class='latex' /> is one root of our cubic.  What are the othe two roots?  There are three cube roots of <img src='http://s0.wp.com/latex.php?latex=u%5E3&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u^3' title='u^3' class='latex' /> (namely the already chosen <img src='http://s0.wp.com/latex.php?latex=u&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u' title='u' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=u%5Czeta%2C+u%5Czeta%5E2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u&#92;zeta, u&#92;zeta^2' title='u&#92;zeta, u&#92;zeta^2' class='latex' />) and three cube roots of <img src='http://s0.wp.com/latex.php?latex=v%5E3&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='v^3' title='v^3' class='latex' /> (again these are <img src='http://s0.wp.com/latex.php?latex=v%2C+v%5Czeta%2C+v%5Czeta%5E2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='v, v&#92;zeta, v&#92;zeta^2' title='v, v&#92;zeta, v&#92;zeta^2' class='latex' />).  In order the preserve the condition <img src='http://s0.wp.com/latex.php?latex=uv+%3D+-%5Cfrac%7Bp%7D%7B3%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='uv = -&#92;frac{p}{3}' title='uv = -&#92;frac{p}{3}' class='latex' /> we must choose them in the pairs <img src='http://s0.wp.com/latex.php?latex=%28u%5Czeta%2C+v%5Czeta%5E2%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(u&#92;zeta, v&#92;zeta^2)' title='(u&#92;zeta, v&#92;zeta^2)' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%28u%5Czeta%5E2%2C+v%5Czeta%29&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='(u&#92;zeta^2, v&#92;zeta)' title='(u&#92;zeta^2, v&#92;zeta)' class='latex' />.</p>
<hr width="100%" />
<p>To summarize:  The complex cubic equation <img src='http://s0.wp.com/latex.php?latex=X%5E3+%2B+pX+%2B+q+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='X^3 + pX + q = 0' title='X^3 + pX + q = 0' class='latex' /> has roots <img src='http://s0.wp.com/latex.php?latex=u+%2B+v&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u + v' title='u + v' class='latex' />, <img src='http://s0.wp.com/latex.php?latex=u%5Czeta+%2B+v%5Czeta%5E2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u&#92;zeta + v&#92;zeta^2' title='u&#92;zeta + v&#92;zeta^2' class='latex' />, and <img src='http://s0.wp.com/latex.php?latex=u%5Czeta%5E2+%2B+v%5Czeta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u&#92;zeta^2 + v&#92;zeta' title='u&#92;zeta^2 + v&#92;zeta' class='latex' /> where </p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+u+%3D+%5Csqrt%5B3%5D%7B%5Cfrac%7B-q%7D%7B2%7D+%2B+%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D+%2B+%5Cfrac%7Bp%5E3%7D%7B27%7D%7D+%7D%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ u = &#92;sqrt[3]{&#92;frac{-q}{2} + &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }}' title='&#92;displaystyle{ u = &#92;sqrt[3]{&#92;frac{-q}{2} + &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }}' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+v+%3D+%5Csqrt%5B3%5D%7B%5Cfrac%7B-q%7D%7B2%7D+-+%5Csqrt%7B%5Cfrac%7Bq%5E2%7D%7B4%7D+%2B+%5Cfrac%7Bp%5E3%7D%7B27%7D%7D+%7D%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ v = &#92;sqrt[3]{&#92;frac{-q}{2} - &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }}' title='&#92;displaystyle{ v = &#92;sqrt[3]{&#92;frac{-q}{2} - &#92;sqrt{&#92;frac{q^2}{4} + &#92;frac{p^3}{27}} }}' class='latex' /> </p>
<p>are chosen to preserve <img src='http://s0.wp.com/latex.php?latex=uv+%3D+-%5Cfrac%7Bp%7D%7B3%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='uv = -&#92;frac{p}{3}' title='uv = -&#92;frac{p}{3}' class='latex' /> and </p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Czeta+%3D+%5Ctext%7Bcis%7D%282%5Cpi%2F3%29+%3D+%5Ccos%282%5Cpi%2F3%29+%2B+i%5Csin%282%5Cpi%2F3%29+%3D+%5Cfrac%7B-1%2Bi%5Csqrt%7B3%7D%7D%7B2%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;zeta = &#92;text{cis}(2&#92;pi/3) = &#92;cos(2&#92;pi/3) + i&#92;sin(2&#92;pi/3) = &#92;frac{-1+i&#92;sqrt{3}}{2} }' title='&#92;displaystyle{ &#92;zeta = &#92;text{cis}(2&#92;pi/3) = &#92;cos(2&#92;pi/3) + i&#92;sin(2&#92;pi/3) = &#92;frac{-1+i&#92;sqrt{3}}{2} }' class='latex' />.</p>
<hr width="100%" />
<p><em>Example:</em>  Find the roots of <img src='http://s0.wp.com/latex.php?latex=f%28X%29+%3D+X%5E3+%2B+3X%5E2+%2B+2&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='f(X) = X^3 + 3X^2 + 2' title='f(X) = X^3 + 3X^2 + 2' class='latex' />.  To depress the equation we instead consider  <img src='http://s0.wp.com/latex.php?latex=f%28X-1%29+%3D+X%5E3+-+3X+%2B+4&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='f(X-1) = X^3 - 3X + 4' title='f(X-1) = X^3 - 3X + 4' class='latex' />.  Here <img src='http://s0.wp.com/latex.php?latex=p+%3D+-3&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='p = -3' title='p = -3' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=q+%3D+4&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='q = 4' title='q = 4' class='latex' /> so</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B+%5Cfrac%7Bp%5E3%7D%7B27%7D+%2B+%5Cfrac%7Bq%5E2%7D%7B4%7D+%3D+%5Cfrac%7B-27%7D%7B27%7D+%2B+%5Cfrac%7B16%7D%7B4%7D+%3D+-1+%2B+4+%3D+3+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='&#92;displaystyle{ &#92;frac{p^3}{27} + &#92;frac{q^2}{4} = &#92;frac{-27}{27} + &#92;frac{16}{4} = -1 + 4 = 3 }' title='&#92;displaystyle{ &#92;frac{p^3}{27} + &#92;frac{q^2}{4} = &#92;frac{-27}{27} + &#92;frac{16}{4} = -1 + 4 = 3 }' class='latex' /></p>
<p>and thus</p>
<p><img src='http://s0.wp.com/latex.php?latex=u%5E3+%3D+-2+%2B+%5Csqrt%7B3%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u^3 = -2 + &#92;sqrt{3}' title='u^3 = -2 + &#92;sqrt{3}' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=v%5E3+%3D+-2+-+%5Csqrt%7B3%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='v^3 = -2 - &#92;sqrt{3}' title='v^3 = -2 - &#92;sqrt{3}' class='latex' />.  Now these numbers are real and so have unique, unambiguous real cube roots</p>
<p><img src='http://s0.wp.com/latex.php?latex=u+%3D+%5Cdisplaystyle%7B+%5Csqrt%5B3%5D%7B-2+%2B+%5Csqrt%7B3%7D%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u = &#92;displaystyle{ &#92;sqrt[3]{-2 + &#92;sqrt{3}} }' title='u = &#92;displaystyle{ &#92;sqrt[3]{-2 + &#92;sqrt{3}} }' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=v+%3D+%5Cdisplaystyle%7B+%5Csqrt%5B3%5D%7B-2+-+%5Csqrt%7B3%7D%7D+%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='v = &#92;displaystyle{ &#92;sqrt[3]{-2 - &#92;sqrt{3}} }' title='v = &#92;displaystyle{ &#92;sqrt[3]{-2 - &#92;sqrt{3}} }' class='latex' /></p>
<p>and these satisfy <img src='http://s0.wp.com/latex.php?latex=uv+%3D+-%5Cfrac%7Bp%7D%7B3%7D&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='uv = -&#92;frac{p}{3}' title='uv = -&#92;frac{p}{3}' class='latex' />.  Thus the roots of <img src='http://s0.wp.com/latex.php?latex=f%28X-1%29+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='f(X-1) = 0' title='f(X-1) = 0' class='latex' /> are <img src='http://s0.wp.com/latex.php?latex=u+%2B+v%2C+u%5Czeta+%2B+v%5Czeta%5E2%2C+u%5Czeta%5E2+%2B+v%5Czeta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='u + v, u&#92;zeta + v&#92;zeta^2, u&#92;zeta^2 + v&#92;zeta' title='u + v, u&#92;zeta + v&#92;zeta^2, u&#92;zeta^2 + v&#92;zeta' class='latex' />.  Therefore the roots of <img src='http://s0.wp.com/latex.php?latex=f%28X%29+%3D+0&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='f(X) = 0' title='f(X) = 0' class='latex' /> are <img src='http://s0.wp.com/latex.php?latex=1+%2B+u+%2B+v%2C+1+%2B+u%5Czeta+%2B+v%5Czeta%5E2%2C+1%2B+u%5Czeta%5E2+%2B+v%5Czeta&amp;bg=ffffff&amp;fg=333333&amp;s=0' alt='1 + u + v, 1 + u&#92;zeta + v&#92;zeta^2, 1+ u&#92;zeta^2 + v&#92;zeta' title='1 + u + v, 1 + u&#92;zeta + v&#92;zeta^2, 1+ u&#92;zeta^2 + v&#92;zeta' class='latex' />.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mathnow.wordpress.com/399/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mathnow.wordpress.com/399/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mathnow.wordpress.com/399/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mathnow.wordpress.com/399/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mathnow.wordpress.com/399/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mathnow.wordpress.com/399/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mathnow.wordpress.com/399/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mathnow.wordpress.com/399/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mathnow.wordpress.com/399/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mathnow.wordpress.com/399/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mathnow.wordpress.com/399/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mathnow.wordpress.com/399/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mathnow.wordpress.com/399/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mathnow.wordpress.com/399/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=399&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mathnow.wordpress.com/2009/11/02/the-cubic-formula/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/214ac1b19e22e1e3660fa2dad2a2f4b7?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dr. Nichtgegeben</media:title>
		</media:content>
	</item>
		<item>
		<title>Thoughts on Teaching</title>
		<link>http://mathnow.wordpress.com/2009/10/30/thoughts-on-teaching/</link>
		<comments>http://mathnow.wordpress.com/2009/10/30/thoughts-on-teaching/#comments</comments>
		<pubDate>Fri, 30 Oct 2009 15:41:30 +0000</pubDate>
		<dc:creator>Dr. Nichtgegeben</dc:creator>
				<category><![CDATA[education]]></category>
		<category><![CDATA[pedagogy]]></category>
		<category><![CDATA[teaching]]></category>

		<guid isPermaLink="false">http://mathnow.wordpress.com/?p=382</guid>
		<description><![CDATA[Last night I was at a meeting between elementary school and college-level teachers. An elementary school teacher was explaining all of the different methods she uses and the many little steps required to explain some basic concept to her students. A college-level teacher was asked to comment on this and he said: &#8220;Your goal is [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=382&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>Last night I was at a meeting between elementary school and college-level teachers.  An elementary school teacher was explaining all of the different methods she uses and the many little steps required to explain some basic concept to her students.  A college-level teacher was asked to comment on this and he said:</p>
<p>&#8220;Your goal is to reach every single student and make sure they acheive the material to the best of their individual abilities.  My goal is to fail the weakest students in the first month.&#8221;</p>
<p>There was a great round of laughter and the conversation moved on.</p>
<p>His comment, though perhaps a joke, does point to a real difference between the goal and focus of teaching at various levels.  Regardless of the level of instruction, we have the material to be presented and the group of learners to receive it.  Now assuming the teacher is competent and the learners are willing, what are the differences between teaching in elementary school and teaching in college?</p>
<p>In the lower grades the teacher&#8217;s primary loyalty is to the student.  Yes, there is important and fundamental material to be taught but it is the individual student receiving this material which is the focus.  The good teacher will try various techniques and styles to communicate.  She may even vary these from student to student.  She has an entire school year and many opportunities within it to get each student to master the material to the best of their ability, readiness, and willingness.  (Moreover, the same material will be presented in a slightly more sophisticated fashion the next year.)</p>
<p>At the college level things are very different.  There is limited time to cover large amounts of material.  The material must be mastered on this exposure so that the student can go on to the next section of this course and to the courses which follow.  A good teacher here keeps the students in mind but his primary loyalty is to the material itself.  The teacher of Calculus I, say, must teach the material at a certain pace and level for the class to cover what is required and for the course to be at the appropriate level.  The teacher can try to give additional help to individual students &#8212; office hours! &#8212; but there can be little flexibility for individual needs.</p>
<p>The material taught in elementary school is crucial for the basic education of everyone.  So here any failure robs the student of something essential for his later life.  We give the students a half-dozen years or so to learn to read, to calculate, and to understand a little of the workings of the world.  College is different; College is entirely optional.  A student who fails Calculus may take it again. And if the student is ultimately unable to pass, the consequences are minimal.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mathnow.wordpress.com/382/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mathnow.wordpress.com/382/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mathnow.wordpress.com/382/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mathnow.wordpress.com/382/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mathnow.wordpress.com/382/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mathnow.wordpress.com/382/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mathnow.wordpress.com/382/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mathnow.wordpress.com/382/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mathnow.wordpress.com/382/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mathnow.wordpress.com/382/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mathnow.wordpress.com/382/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mathnow.wordpress.com/382/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mathnow.wordpress.com/382/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mathnow.wordpress.com/382/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mathnow.wordpress.com&amp;blog=9695197&amp;post=382&amp;subd=mathnow&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mathnow.wordpress.com/2009/10/30/thoughts-on-teaching/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/214ac1b19e22e1e3660fa2dad2a2f4b7?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dr. Nichtgegeben</media:title>
		</media:content>
	</item>
	</channel>
</rss>
