DeMoivre’s Theorem: A Mathematical Gift That Keeps on Giving

<p>DeMoivre&rsquo;s Theorem (written above) is a simple theorem relating complex numbers to trigonometry. It was proposed and proved for all positive integers&nbsp;<em>n&nbsp;</em>by Abraham DeMoivre (1667&ndash;1754), a French mathematician who was a religious exile in England from a young age and a friend of such greats as Isaac Newton and Edmond Halley.</p> <p>In 1749, near the end of DeMoivre&rsquo;s life, Leonhard Euler would prove the result for all real&nbsp;<em>n</em>&nbsp;as a fairly trivial consequence of Euler&rsquo;s formula. If you have read any math articles on Medium, you will no doubt have read about Euler&rsquo;s formula, because math writers on Medium are absolutely obsessed with it.</p> <p>But today I want to give DeMoivre&rsquo;s Theorem some love, because you can do some pretty amazing things with it. In this article I&rsquo;m going to show you how you can use it to derive higher order trigonometric identities by using the binomial expansion and matching real or complex parts. I&rsquo;m also going to show you how this gives a path to finding the precise real roots of certain higher order polynomials. This in turn offers routes to finding closed surd forms of certain trigonometric ratio values.</p> <h2>Deriving higher order trigonometric identities</h2> <p>Let&rsquo;s see how we can express cos(4&theta;) in terms of cos&theta; using DeMoivre&rsquo;s Theorem. We will start with the theorem statement:</p> <p>Now let&rsquo;s expand the left hand side using the Binomial Theorem. But before we do that, we can note that cos(4&theta;) is the real part of the right hand side, and that should correspond with all even powered terms in our binomial expansion, since even powers of&nbsp;<em>i</em>&nbsp;are real. From this observation, we can derive that</p> <p><a href="https://keith-mcnulty.medium.com/a-mathematical-gift-that-keeps-on-giving-7fc29e5c164b">Website</a></p>