<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Mathematical induction - Page 16 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=mathematical_induction&amp;p=15">1.Previous</a><br />
<a accesskey="3" href="page.php?w=mathematical_induction&amp;p=17">3.Next</a>
</p>
<p>values of . This suggests we examine the statement specifically for natural values of , and induction is the readiest tool.</p>

<p><b><u>Proposition.</u></b> For any  and , .</p>

<p><b>Proof.</b> Fix an arbitrary real number , and let  be the statement . We induct on .</p>

<p>Base case: The calculation  verifies .</p>

<p>Induction step: We show the <a href="page.php?w=Logical_consequence">implication</a>  for any natural number . Assume the induction hypothesis: for a given value , the single case  is true. Using the <a href="page.php?w=List_of_trigonometric_identities">angle addition formula</a></p><p>
<a accesskey="1" href="page.php?w=mathematical_induction&amp;p=15">1.Previous</a><br />
<a accesskey="3" href="page.php?w=mathematical_induction&amp;p=17">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
