SlideShare a Scribd company logo
1 of 26
Download to read offline
Mathematical Induction
Mathematical Induction
e.g.v  Prove 2n  n 2 for n  4
Mathematical Induction
e.g.v  Prove 2n  n 2 for n  4
Step 1: Prove the result is true for n = 5
Mathematical Induction
e.g.v  Prove 2n  n 2 for n  4
Step 1: Prove the result is true for n = 5
        LHS  25
             32
Mathematical Induction
e.g.v  Prove 2n  n 2 for n  4
Step 1: Prove the result is true for n = 5
        LHS  25                       RHS  52
             32                            25
Mathematical Induction
e.g.v  Prove 2n  n 2 for n  4
Step 1: Prove the result is true for n = 5
        LHS  25                       RHS  52
             32                            25
                        LHS  RHS
Mathematical Induction
e.g.v  Prove 2n  n 2 for n  4
Step 1: Prove the result is true for n = 5
        LHS  25                       RHS  52
             32                            25
                      LHS  RHS
                 Hence the result is true for n = 5
Mathematical Induction
e.g.v  Prove 2n  n 2 for n  4
Step 1: Prove the result is true for n = 5
        LHS  25                       RHS  52
             32                            25
                      LHS  RHS
                 Hence the result is true for n = 5

Step 2: Assume the result is true for n = k, where k is a positive
        integer > 4
        i.e. 2k  k 2
Mathematical Induction
e.g.v  Prove 2n  n 2 for n  4
Step 1: Prove the result is true for n = 5
        LHS  25                            RHS  52
             32                                 25
                      LHS  RHS
                 Hence the result is true for n = 5

Step 2: Assume the result is true for n = k, where k is a positive
        integer > 4
        i.e. 2k  k 2
Step 3: Prove the result is true for n = k + 1
                         k 1
                                 k  1
                                        2
        i.e. Prove : 2
Proof:
Proof:
         2 k 1
Proof:
         2 k 1  2 2k
Proof:
         2 k 1  2 2k
                 2k 2
Proof:
         2 k 1  2 2k
                 2k 2
                 k2  k2
Proof:
         2 k 1  2 2k
                 2k 2
                 k2  k2
                 k2  k k
Proof:
         2 k 1  2 2k
                 2k 2
                 k2  k2
                 k2  k k
                 k 2  4k
Proof:
         2 k 1  2 2k
                 2k 2
                 k2  k2
                 k2  k k
                 k 2  4k     k  4
Proof:
         2 k 1  2 2k
                 2k 2
                 k2  k2
                 k2  k k
                 k 2  4k         k  4
                 k 2  2k  2k
Proof:
         2 k 1  2 2k
                 2k 2
                 k2  k2
                 k2  k k
                 k 2  4k         k  4
                 k 2  2k  2k
                  k 2  2k  8
Proof:
         2 k 1  2 2k
                 2k 2
                 k2  k2
                 k2  k k
                 k 2  4k         k  4
                 k 2  2k  2k
                  k 2  2k  8    k  4
Proof:
         2 k 1  2 2k
                 2k 2
                 k2  k2
                 k2  k k
                 k 2  4k         k  4
                 k 2  2k  2k
                  k 2  2k  8    k  4
                  k 2  2k  1
Proof:
         2 k 1  2 2k
                 2k 2
                 k2  k2
                 k2  k k
                 k 2  4k         k  4
                 k 2  2k  2k
                  k 2  2k  8    k  4
                  k 2  2k  1
                  k  1
                          2
Proof:
         2 k 1  2 2k
                 2k 2
                 k2  k2
                 k2  k k
                 k 2  4k           k  4
                 k 2  2k  2k
                  k 2  2k  8      k  4
                  k 2  2k  1
                  k  1
                          2


                  2  k  1
                     k 1       2
Proof:
      2 k 1  2 2k
              2k 2
              k2  k2
              k2  k k
              k 2  4k            k  4
              k 2  2k  2k
               k 2  2k  8       k  4
               k 2  2k  1
               k  1
                       2


               2  k  1
                  k 1       2


  Hence the result is true for n = k + 1 if it is also true for n = k
Proof:
       2 k 1  2 2k
               2k 2
               k2  k2
               k2  k k
               k 2  4k            k  4
               k 2  2k  2k
                k 2  2k  8       k  4
                k 2  2k  1
                k  1
                        2


                2  k  1
                   k 1       2


   Hence the result is true for n = k + 1 if it is also true for n = k

Step 4: Since the result is true for n = 5, then the result is true for
        all positive integral values of n > 4 by induction .
Proof:
       2 k 1  2 2k
               2k 2
               k2  k2
               k2  k k
               k 2  4k            k  4             Exercise 6N;
               k 2  2k  2k                            6 abc, 8a, 15
                k 2  2k  8       k  4
                k 2  2k  1
                k  1
                        2


                2  k  1
                   k 1       2


   Hence the result is true for n = k + 1 if it is also true for n = k

Step 4: Since the result is true for n = 5, then the result is true for
        all positive integral values of n > 4 by induction .

More Related Content

Similar to 11X1 T14 10 mathematical induction 3 (2010)

11 x1 t14 10 mathematical induction 3 (2013)
11 x1 t14 10 mathematical induction 3 (2013)11 x1 t14 10 mathematical induction 3 (2013)
11 x1 t14 10 mathematical induction 3 (2013)
Nigel Simmons
 
11X1 T10 09 mathematical induction 2
11X1 T10 09 mathematical induction 211X1 T10 09 mathematical induction 2
11X1 T10 09 mathematical induction 2
Nigel Simmons
 
11 x1 t14 09 mathematical induction 2 (2013)
11 x1 t14 09 mathematical induction 2 (2013)11 x1 t14 09 mathematical induction 2 (2013)
11 x1 t14 09 mathematical induction 2 (2013)
Nigel Simmons
 
11X1 T14 09 mathematical induction 2 (2010)
11X1 T14 09 mathematical induction 2 (2010)11X1 T14 09 mathematical induction 2 (2010)
11X1 T14 09 mathematical induction 2 (2010)
Nigel Simmons
 
mathematical induction
mathematical inductionmathematical induction
mathematical induction
ankush_kumar
 
11 x1 t14 09 mathematical induction 2 (2012)
11 x1 t14 09 mathematical induction 2 (2012)11 x1 t14 09 mathematical induction 2 (2012)
11 x1 t14 09 mathematical induction 2 (2012)
Nigel Simmons
 
X2 t08 02 induction (2012)
X2 t08 02 induction (2012)X2 t08 02 induction (2012)
X2 t08 02 induction (2012)
Nigel Simmons
 
X2 T08 02 induction (2011)
X2 T08 02 induction (2011)X2 T08 02 induction (2011)
X2 T08 02 induction (2011)
Nigel Simmons
 
11 x1 t14 08 mathematical induction 1 (2013)
11 x1 t14 08 mathematical induction 1 (2013)11 x1 t14 08 mathematical induction 1 (2013)
11 x1 t14 08 mathematical induction 1 (2013)
Nigel Simmons
 
12 x1 t08 03 binomial theorem (2013)
12 x1 t08 03 binomial theorem (2013)12 x1 t08 03 binomial theorem (2013)
12 x1 t08 03 binomial theorem (2013)
Nigel Simmons
 
X2 t08 02 induction (2013)
X2 t08 02 induction (2013)X2 t08 02 induction (2013)
X2 t08 02 induction (2013)
Nigel Simmons
 
11 x1 t14 11 some different types (2013)
11 x1 t14 11 some different types (2013)11 x1 t14 11 some different types (2013)
11 x1 t14 11 some different types (2013)
Nigel Simmons
 
X2 t08 03 inequalities & graphs (2013)
X2 t08 03 inequalities & graphs (2013)X2 t08 03 inequalities & graphs (2013)
X2 t08 03 inequalities & graphs (2013)
Nigel Simmons
 

Similar to 11X1 T14 10 mathematical induction 3 (2010) (15)

11 x1 t14 10 mathematical induction 3 (2013)
11 x1 t14 10 mathematical induction 3 (2013)11 x1 t14 10 mathematical induction 3 (2013)
11 x1 t14 10 mathematical induction 3 (2013)
 
11X1 T10 09 mathematical induction 2
11X1 T10 09 mathematical induction 211X1 T10 09 mathematical induction 2
11X1 T10 09 mathematical induction 2
 
11 x1 t14 09 mathematical induction 2 (2013)
11 x1 t14 09 mathematical induction 2 (2013)11 x1 t14 09 mathematical induction 2 (2013)
11 x1 t14 09 mathematical induction 2 (2013)
 
11X1 T14 09 mathematical induction 2 (2010)
11X1 T14 09 mathematical induction 2 (2010)11X1 T14 09 mathematical induction 2 (2010)
11X1 T14 09 mathematical induction 2 (2010)
 
mathematical induction
mathematical inductionmathematical induction
mathematical induction
 
11 x1 t14 09 mathematical induction 2 (2012)
11 x1 t14 09 mathematical induction 2 (2012)11 x1 t14 09 mathematical induction 2 (2012)
11 x1 t14 09 mathematical induction 2 (2012)
 
X2 t08 02 induction (2012)
X2 t08 02 induction (2012)X2 t08 02 induction (2012)
X2 t08 02 induction (2012)
 
X2 T08 02 induction (2011)
X2 T08 02 induction (2011)X2 T08 02 induction (2011)
X2 T08 02 induction (2011)
 
X2 harder induction
X2 harder inductionX2 harder induction
X2 harder induction
 
11 x1 t14 08 mathematical induction 1 (2013)
11 x1 t14 08 mathematical induction 1 (2013)11 x1 t14 08 mathematical induction 1 (2013)
11 x1 t14 08 mathematical induction 1 (2013)
 
12 x1 t08 03 binomial theorem (2013)
12 x1 t08 03 binomial theorem (2013)12 x1 t08 03 binomial theorem (2013)
12 x1 t08 03 binomial theorem (2013)
 
X2 t08 02 induction (2013)
X2 t08 02 induction (2013)X2 t08 02 induction (2013)
X2 t08 02 induction (2013)
 
11 x1 t14 11 some different types (2013)
11 x1 t14 11 some different types (2013)11 x1 t14 11 some different types (2013)
11 x1 t14 11 some different types (2013)
 
2.4 edited1
2.4 edited12.4 edited1
2.4 edited1
 
X2 t08 03 inequalities & graphs (2013)
X2 t08 03 inequalities & graphs (2013)X2 t08 03 inequalities & graphs (2013)
X2 t08 03 inequalities & graphs (2013)
 

More from Nigel Simmons

12 x1 t02 02 integrating exponentials (2014)
12 x1 t02 02 integrating exponentials (2014)12 x1 t02 02 integrating exponentials (2014)
12 x1 t02 02 integrating exponentials (2014)
Nigel Simmons
 
11 x1 t01 03 factorising (2014)
11 x1 t01 03 factorising (2014)11 x1 t01 03 factorising (2014)
11 x1 t01 03 factorising (2014)
Nigel Simmons
 
11 x1 t01 02 binomial products (2014)
11 x1 t01 02 binomial products (2014)11 x1 t01 02 binomial products (2014)
11 x1 t01 02 binomial products (2014)
Nigel Simmons
 
12 x1 t02 01 differentiating exponentials (2014)
12 x1 t02 01 differentiating exponentials (2014)12 x1 t02 01 differentiating exponentials (2014)
12 x1 t02 01 differentiating exponentials (2014)
Nigel Simmons
 
11 x1 t01 01 algebra & indices (2014)
11 x1 t01 01 algebra & indices (2014)11 x1 t01 01 algebra & indices (2014)
11 x1 t01 01 algebra & indices (2014)
Nigel Simmons
 
12 x1 t01 03 integrating derivative on function (2013)
12 x1 t01 03 integrating derivative on function (2013)12 x1 t01 03 integrating derivative on function (2013)
12 x1 t01 03 integrating derivative on function (2013)
Nigel Simmons
 
12 x1 t01 02 differentiating logs (2013)
12 x1 t01 02 differentiating logs (2013)12 x1 t01 02 differentiating logs (2013)
12 x1 t01 02 differentiating logs (2013)
Nigel Simmons
 
12 x1 t01 01 log laws (2013)
12 x1 t01 01 log laws (2013)12 x1 t01 01 log laws (2013)
12 x1 t01 01 log laws (2013)
Nigel Simmons
 
X2 t02 04 forming polynomials (2013)
X2 t02 04 forming polynomials (2013)X2 t02 04 forming polynomials (2013)
X2 t02 04 forming polynomials (2013)
Nigel Simmons
 
X2 t02 03 roots & coefficients (2013)
X2 t02 03 roots & coefficients (2013)X2 t02 03 roots & coefficients (2013)
X2 t02 03 roots & coefficients (2013)
Nigel Simmons
 
X2 t02 02 multiple roots (2013)
X2 t02 02 multiple roots (2013)X2 t02 02 multiple roots (2013)
X2 t02 02 multiple roots (2013)
Nigel Simmons
 
X2 t02 01 factorising complex expressions (2013)
X2 t02 01 factorising complex expressions (2013)X2 t02 01 factorising complex expressions (2013)
X2 t02 01 factorising complex expressions (2013)
Nigel Simmons
 
11 x1 t16 07 approximations (2013)
11 x1 t16 07 approximations (2013)11 x1 t16 07 approximations (2013)
11 x1 t16 07 approximations (2013)
Nigel Simmons
 
11 x1 t16 06 derivative times function (2013)
11 x1 t16 06 derivative times function (2013)11 x1 t16 06 derivative times function (2013)
11 x1 t16 06 derivative times function (2013)
Nigel Simmons
 
11 x1 t16 05 volumes (2013)
11 x1 t16 05 volumes (2013)11 x1 t16 05 volumes (2013)
11 x1 t16 05 volumes (2013)
Nigel Simmons
 
11 x1 t16 04 areas (2013)
11 x1 t16 04 areas (2013)11 x1 t16 04 areas (2013)
11 x1 t16 04 areas (2013)
Nigel Simmons
 
11 x1 t16 03 indefinite integral (2013)
11 x1 t16 03 indefinite integral (2013)11 x1 t16 03 indefinite integral (2013)
11 x1 t16 03 indefinite integral (2013)
Nigel Simmons
 
11 x1 t16 02 definite integral (2013)
11 x1 t16 02 definite integral (2013)11 x1 t16 02 definite integral (2013)
11 x1 t16 02 definite integral (2013)
Nigel Simmons
 

More from Nigel Simmons (20)

Goodbye slideshare UPDATE
Goodbye slideshare UPDATEGoodbye slideshare UPDATE
Goodbye slideshare UPDATE
 
Goodbye slideshare
Goodbye slideshareGoodbye slideshare
Goodbye slideshare
 
12 x1 t02 02 integrating exponentials (2014)
12 x1 t02 02 integrating exponentials (2014)12 x1 t02 02 integrating exponentials (2014)
12 x1 t02 02 integrating exponentials (2014)
 
11 x1 t01 03 factorising (2014)
11 x1 t01 03 factorising (2014)11 x1 t01 03 factorising (2014)
11 x1 t01 03 factorising (2014)
 
11 x1 t01 02 binomial products (2014)
11 x1 t01 02 binomial products (2014)11 x1 t01 02 binomial products (2014)
11 x1 t01 02 binomial products (2014)
 
12 x1 t02 01 differentiating exponentials (2014)
12 x1 t02 01 differentiating exponentials (2014)12 x1 t02 01 differentiating exponentials (2014)
12 x1 t02 01 differentiating exponentials (2014)
 
11 x1 t01 01 algebra & indices (2014)
11 x1 t01 01 algebra & indices (2014)11 x1 t01 01 algebra & indices (2014)
11 x1 t01 01 algebra & indices (2014)
 
12 x1 t01 03 integrating derivative on function (2013)
12 x1 t01 03 integrating derivative on function (2013)12 x1 t01 03 integrating derivative on function (2013)
12 x1 t01 03 integrating derivative on function (2013)
 
12 x1 t01 02 differentiating logs (2013)
12 x1 t01 02 differentiating logs (2013)12 x1 t01 02 differentiating logs (2013)
12 x1 t01 02 differentiating logs (2013)
 
12 x1 t01 01 log laws (2013)
12 x1 t01 01 log laws (2013)12 x1 t01 01 log laws (2013)
12 x1 t01 01 log laws (2013)
 
X2 t02 04 forming polynomials (2013)
X2 t02 04 forming polynomials (2013)X2 t02 04 forming polynomials (2013)
X2 t02 04 forming polynomials (2013)
 
X2 t02 03 roots & coefficients (2013)
X2 t02 03 roots & coefficients (2013)X2 t02 03 roots & coefficients (2013)
X2 t02 03 roots & coefficients (2013)
 
X2 t02 02 multiple roots (2013)
X2 t02 02 multiple roots (2013)X2 t02 02 multiple roots (2013)
X2 t02 02 multiple roots (2013)
 
X2 t02 01 factorising complex expressions (2013)
X2 t02 01 factorising complex expressions (2013)X2 t02 01 factorising complex expressions (2013)
X2 t02 01 factorising complex expressions (2013)
 
11 x1 t16 07 approximations (2013)
11 x1 t16 07 approximations (2013)11 x1 t16 07 approximations (2013)
11 x1 t16 07 approximations (2013)
 
11 x1 t16 06 derivative times function (2013)
11 x1 t16 06 derivative times function (2013)11 x1 t16 06 derivative times function (2013)
11 x1 t16 06 derivative times function (2013)
 
11 x1 t16 05 volumes (2013)
11 x1 t16 05 volumes (2013)11 x1 t16 05 volumes (2013)
11 x1 t16 05 volumes (2013)
 
11 x1 t16 04 areas (2013)
11 x1 t16 04 areas (2013)11 x1 t16 04 areas (2013)
11 x1 t16 04 areas (2013)
 
11 x1 t16 03 indefinite integral (2013)
11 x1 t16 03 indefinite integral (2013)11 x1 t16 03 indefinite integral (2013)
11 x1 t16 03 indefinite integral (2013)
 
11 x1 t16 02 definite integral (2013)
11 x1 t16 02 definite integral (2013)11 x1 t16 02 definite integral (2013)
11 x1 t16 02 definite integral (2013)
 

Recently uploaded

SURVEY I created for uni project research
SURVEY I created for uni project researchSURVEY I created for uni project research
SURVEY I created for uni project research
CaitlinCummins3
 
SPLICE Working Group: Reusable Code Examples
SPLICE Working Group:Reusable Code ExamplesSPLICE Working Group:Reusable Code Examples
SPLICE Working Group: Reusable Code Examples
Peter Brusilovsky
 

Recently uploaded (20)

How to Manage Closest Location in Odoo 17 Inventory
How to Manage Closest Location in Odoo 17 InventoryHow to Manage Closest Location in Odoo 17 Inventory
How to Manage Closest Location in Odoo 17 Inventory
 
Mattingly "AI & Prompt Design: Named Entity Recognition"
Mattingly "AI & Prompt Design: Named Entity Recognition"Mattingly "AI & Prompt Design: Named Entity Recognition"
Mattingly "AI & Prompt Design: Named Entity Recognition"
 
How To Create Editable Tree View in Odoo 17
How To Create Editable Tree View in Odoo 17How To Create Editable Tree View in Odoo 17
How To Create Editable Tree View in Odoo 17
 
ANTI PARKISON DRUGS.pptx
ANTI         PARKISON          DRUGS.pptxANTI         PARKISON          DRUGS.pptx
ANTI PARKISON DRUGS.pptx
 
Dementia (Alzheimer & vasular dementia).
Dementia (Alzheimer & vasular dementia).Dementia (Alzheimer & vasular dementia).
Dementia (Alzheimer & vasular dementia).
 
philosophy and it's principles based on the life
philosophy and it's principles based on the lifephilosophy and it's principles based on the life
philosophy and it's principles based on the life
 
Đề tieng anh thpt 2024 danh cho cac ban hoc sinh
Đề tieng anh thpt 2024 danh cho cac ban hoc sinhĐề tieng anh thpt 2024 danh cho cac ban hoc sinh
Đề tieng anh thpt 2024 danh cho cac ban hoc sinh
 
Andreas Schleicher presents at the launch of What does child empowerment mean...
Andreas Schleicher presents at the launch of What does child empowerment mean...Andreas Schleicher presents at the launch of What does child empowerment mean...
Andreas Schleicher presents at the launch of What does child empowerment mean...
 
“O BEIJO” EM ARTE .
“O BEIJO” EM ARTE                       .“O BEIJO” EM ARTE                       .
“O BEIJO” EM ARTE .
 
SURVEY I created for uni project research
SURVEY I created for uni project researchSURVEY I created for uni project research
SURVEY I created for uni project research
 
SPLICE Working Group: Reusable Code Examples
SPLICE Working Group:Reusable Code ExamplesSPLICE Working Group:Reusable Code Examples
SPLICE Working Group: Reusable Code Examples
 
Envelope of Discrepancy in Orthodontics: Enhancing Precision in Treatment
 Envelope of Discrepancy in Orthodontics: Enhancing Precision in Treatment Envelope of Discrepancy in Orthodontics: Enhancing Precision in Treatment
Envelope of Discrepancy in Orthodontics: Enhancing Precision in Treatment
 
IPL Online Quiz by Pragya; Question Set.
IPL Online Quiz by Pragya; Question Set.IPL Online Quiz by Pragya; Question Set.
IPL Online Quiz by Pragya; Question Set.
 
When Quality Assurance Meets Innovation in Higher Education - Report launch w...
When Quality Assurance Meets Innovation in Higher Education - Report launch w...When Quality Assurance Meets Innovation in Higher Education - Report launch w...
When Quality Assurance Meets Innovation in Higher Education - Report launch w...
 
diagnosting testing bsc 2nd sem.pptx....
diagnosting testing bsc 2nd sem.pptx....diagnosting testing bsc 2nd sem.pptx....
diagnosting testing bsc 2nd sem.pptx....
 
Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...
Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...
Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...
 
Mattingly "AI and Prompt Design: LLMs with NER"
Mattingly "AI and Prompt Design: LLMs with NER"Mattingly "AI and Prompt Design: LLMs with NER"
Mattingly "AI and Prompt Design: LLMs with NER"
 
How to Analyse Profit of a Sales Order in Odoo 17
How to Analyse Profit of a Sales Order in Odoo 17How to Analyse Profit of a Sales Order in Odoo 17
How to Analyse Profit of a Sales Order in Odoo 17
 
MOOD STABLIZERS DRUGS.pptx
MOOD     STABLIZERS           DRUGS.pptxMOOD     STABLIZERS           DRUGS.pptx
MOOD STABLIZERS DRUGS.pptx
 
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT TOÁN 2024 - TỪ CÁC TRƯỜNG, TRƯỜNG...
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT TOÁN 2024 - TỪ CÁC TRƯỜNG, TRƯỜNG...TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT TOÁN 2024 - TỪ CÁC TRƯỜNG, TRƯỜNG...
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT TOÁN 2024 - TỪ CÁC TRƯỜNG, TRƯỜNG...
 

11X1 T14 10 mathematical induction 3 (2010)

  • 2. Mathematical Induction e.g.v  Prove 2n  n 2 for n  4
  • 3. Mathematical Induction e.g.v  Prove 2n  n 2 for n  4 Step 1: Prove the result is true for n = 5
  • 4. Mathematical Induction e.g.v  Prove 2n  n 2 for n  4 Step 1: Prove the result is true for n = 5 LHS  25  32
  • 5. Mathematical Induction e.g.v  Prove 2n  n 2 for n  4 Step 1: Prove the result is true for n = 5 LHS  25 RHS  52  32  25
  • 6. Mathematical Induction e.g.v  Prove 2n  n 2 for n  4 Step 1: Prove the result is true for n = 5 LHS  25 RHS  52  32  25  LHS  RHS
  • 7. Mathematical Induction e.g.v  Prove 2n  n 2 for n  4 Step 1: Prove the result is true for n = 5 LHS  25 RHS  52  32  25  LHS  RHS Hence the result is true for n = 5
  • 8. Mathematical Induction e.g.v  Prove 2n  n 2 for n  4 Step 1: Prove the result is true for n = 5 LHS  25 RHS  52  32  25  LHS  RHS Hence the result is true for n = 5 Step 2: Assume the result is true for n = k, where k is a positive integer > 4 i.e. 2k  k 2
  • 9. Mathematical Induction e.g.v  Prove 2n  n 2 for n  4 Step 1: Prove the result is true for n = 5 LHS  25 RHS  52  32  25  LHS  RHS Hence the result is true for n = 5 Step 2: Assume the result is true for n = k, where k is a positive integer > 4 i.e. 2k  k 2 Step 3: Prove the result is true for n = k + 1 k 1  k  1 2 i.e. Prove : 2
  • 11. Proof: 2 k 1
  • 12. Proof: 2 k 1  2 2k
  • 13. Proof: 2 k 1  2 2k  2k 2
  • 14. Proof: 2 k 1  2 2k  2k 2  k2  k2
  • 15. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k
  • 16. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k  k 2  4k
  • 17. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k  k 2  4k  k  4
  • 18. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k  k 2  4k  k  4  k 2  2k  2k
  • 19. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k  k 2  4k  k  4  k 2  2k  2k  k 2  2k  8
  • 20. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k  k 2  4k  k  4  k 2  2k  2k  k 2  2k  8  k  4
  • 21. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k  k 2  4k  k  4  k 2  2k  2k  k 2  2k  8  k  4  k 2  2k  1
  • 22. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k  k 2  4k  k  4  k 2  2k  2k  k 2  2k  8  k  4  k 2  2k  1  k  1 2
  • 23. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k  k 2  4k  k  4  k 2  2k  2k  k 2  2k  8  k  4  k 2  2k  1  k  1 2  2  k  1 k 1 2
  • 24. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k  k 2  4k  k  4  k 2  2k  2k  k 2  2k  8  k  4  k 2  2k  1  k  1 2  2  k  1 k 1 2 Hence the result is true for n = k + 1 if it is also true for n = k
  • 25. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k  k 2  4k  k  4  k 2  2k  2k  k 2  2k  8  k  4  k 2  2k  1  k  1 2  2  k  1 k 1 2 Hence the result is true for n = k + 1 if it is also true for n = k Step 4: Since the result is true for n = 5, then the result is true for all positive integral values of n > 4 by induction .
  • 26. Proof: 2 k 1  2 2k  2k 2  k2  k2  k2  k k  k 2  4k  k  4 Exercise 6N;  k 2  2k  2k 6 abc, 8a, 15  k 2  2k  8  k  4  k 2  2k  1  k  1 2  2  k  1 k 1 2 Hence the result is true for n = k + 1 if it is also true for n = k Step 4: Since the result is true for n = 5, then the result is true for all positive integral values of n > 4 by induction .