{"id":129,"date":"2015-10-02T14:35:29","date_gmt":"2015-10-02T14:35:29","guid":{"rendered":"http:\/\/adrianbell.me\/?p=129"},"modified":"2015-10-02T14:35:29","modified_gmt":"2015-10-02T14:35:29","slug":"proof-of-inequalities-by-mathematical-induction","status":"publish","type":"post","link":"https:\/\/adrianbell.me\/?p=129","title":{"rendered":"Proof of Inequalities by Mathematical Induction"},"content":{"rendered":"

Still reading though my book in Analysis, I've come across a section on proving inequalities. I'm glad to say that all of this made sense... until I reached a sub-section on proving an inequality by mathematical induction.<\/p>\n

As\u00a0 I've written previously, I find that proofs are notoriously unintuitive. In the past however, I have been particularly puzzled by the logical steps involved in proving an inequality by mathematical induction.<\/p>\n

To explain my difficulties, let's have a look at the example provided in the book:<\/p>\n

 <\/p>\n

Prove that \"2^n \geq n^2\", for \"n \geq 4\".<\/p>\n

If we're proving this by mathematical induction, we generally follow these steps:<\/p>\n

    \n
  1. Let \"P(n)\" be the statement \"2^n \geq n^2\".<\/li>\n
  2. Show that \"P(4)\" is true.<\/li>\n
  3. Assume\u00a0<\/em>that \"P(k)\" is also true for \"k \geq 4\".<\/li>\n
  4. Show that \"P(k) \Rightarrow P(k+1)\". Or rather, show that if \"P(k)\" is true, then \"P(k+1)\" is also true.<\/li>\n<\/ol>\n

    Step 4 is the key step here in the proof as it shows that if any number is true, and the next number is also true, then you can apply this rule forever, and your original statement must be true for all numbers!<\/p>\n

    Anyway, lets jump to step 2. Show that \"P(4)\" is true. Well if \"n=4\", then \"2^4 = 16\" and \"4^2 = 16\". So \"P(4)\" is true! Easy.<\/p>\n

    Let's look at step 3. Let's ASSUME that \"P(k)\" is true for some \"k \geq 4\".<\/p>\n

    Now, this is the part that caught me by surprise... At this step, the text in the book reads as follows:<\/p>\n

    \"So, we are assuming that \"2^k \geq k^2\". Multiplying this inequality by 2 we get:<\/p>\n

      <\/span>   <\/span>\"\[2^{k+1} \geq 2k^2\]\"<\/p>\n

    ,<\/p>\n

    so it is therefore sufficient to prove that \"2k^2 \geq (k+1)^2\".\"<\/p><\/blockquote>\n

    Wait, what? How is it that all of a sudden, all we need to prove is that \"2k^2 \geq (k+1)^2\"? This isn't explained explicitly in the text so I had to close the book and do a bit more thinking.<\/p>\n

    First thing I had to realise here is that the \"Step 4\" I've listed above requires a bit more detail... What you're actually trying to do is show that you can progress naturally from \"P(k)\" to \"P(k+1)\". ie: We should be able to show that we can progress naturally from:
    \n\"2^k \geq k^2\"
    \nto:
    \n\"2^{k+1} \geq (k+1)^2\".<\/p>\n

    Now, if we multiply\u00a0\"2^k \geq k^2\" by 2, as mentioned in the text, we do arrive at:
    \n\"2^{k+1} \geq 2k^2\"<\/p>\n

    This is good, as we've managed to get the \"2^{k+1}\" we were looking for on the left-hand side of the inequality. But the right-hand side looks nothing like\u00a0the right-hand side of\u00a0\"P(k+1)\"\u00a0ie:\u00a0\"(k+1)^2\".<\/p>\n

    Here's the key though... It doesn't matter they they're not the same. We only need to see how \"2k^2\" and \"(k+1)^2\" relate to each other. Look back at Step 3. Part of this assumption is that \"k \geq 4\". Just as a test, let's try \"k=4\":<\/p>\n

    \"2k^2 = 2 \times 4^2 = 32\"
    \nand
    \n\"(k+1)^2 = (4+1)^2 = 25\"<\/p>\n

    Well this is interesting. It's looking as if \"2k^2 \geq (k+1)^2\". This is exactly what was written in the text!<\/p>\n

    But to really ram it home, what we really have now is the following:<\/p>\n

    \"2^{k+1} \geq 2k^2 \geq (k+1)^2\"<\/p>\n

    So.... this show us that IF we can prove that last bit \"(2k^2 \geq (k+1)^2 )\" is true for all \"k \geq 4\", and not\u00a0just<\/em> \"k=4\" we have managed to prove that we can get from \"P(k)\" to \"P(k+1)\"!!! This is exactly why the text in the book said \"so it is therefore sufficient to prove that \"2k^2 \geq (k+1)^2\".\"<\/p>\n

    I'm sure in future I'll jump on this immediately and say \"oh yes, of course that's all we need to do now\", but working through the derivation\u00a0of why it was sufficient was extremely useful. Long-winded... but useful.<\/p>\n

    Ah, the learning process...<\/p>\n","protected":false},"excerpt":{"rendered":"

    Still reading though my book in Analysis, I've come across a section on proving inequalities. I'm glad to say that all of this made sense... until I reached a sub-section on proving an inequality by mathematical induction. As\u00a0 I've written previously, I find that proofs are notoriously unintuitive. In the past however, I have been … Continue reading Proof of Inequalities by Mathematical Induction<\/span> →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[18,2,14],"tags":[19,22],"class_list":["post-129","post","type-post","status-publish","format-standard","hentry","category-analysis","category-maths","category-proofs","tag-analysis","tag-proofs"],"_links":{"self":[{"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/posts\/129","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/adrianbell.me\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=129"}],"version-history":[{"count":18,"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/posts\/129\/revisions"}],"predecessor-version":[{"id":148,"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/posts\/129\/revisions\/148"}],"wp:attachment":[{"href":"https:\/\/adrianbell.me\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=129"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/adrianbell.me\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=129"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/adrianbell.me\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=129"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}