Library of Math
Online Math Organized by Subject Into Topics
Subscribe to the Library of Math Feed

Principle of Mathematical Induction

    This topic states the well-ordering principle, the principle of mathematical induction,  and the fact that they are equivalent mathematical statements. We give several examples of how to use the technique of mathematical induction; as well as, the strong form of mathematical induction.  

(1) (Well-Ordering Principle) The well-ordering principle is the following statement: every nonempty set principle of mathematical induction _gr_1.gif] of positive integers contains a least element.

(2) (Principle of Mathematical Induction) Let principle of mathematical induction _gr_2.gif] be a set of positive integers with the following properties: (i) The integer 1 belongs to principle of mathematical induction _gr_3.gif] and (ii) If principle of mathematical induction _gr_4.gif] is in principle of mathematical induction _gr_5.gif] then principle of mathematical induction _gr_6.gif]is in principle of mathematical induction _gr_7.gif] Then principle of mathematical induction _gr_8.gif] is the set of positive integers.

     The induction principle as just stated is cast as a rule for theorem-proving. Let principle of mathematical induction _gr_9.gif] be a proposition involving an integer variable principle of mathematical induction _gr_10.gif] and suppose we wish to prove the theorem "for every integer principle of mathematical induction _gr_11.gif]", where principle of mathematical induction _gr_12.gif] is a specific integer. This can be accomplish by proving the following two statements instead: " principle of mathematical induction _gr_13.gif]" and "for every integer principle of mathematical induction _gr_14.gif] principle of mathematical induction _gr_15.gif] implies principle of mathematical induction _gr_16.gif]". That this rule follows from (and in fact, is equivalent to) the principle of induction is seen simply by taking principle of mathematical induction _gr_17.gif] to be the set of integers principle of mathematical induction _gr_18.gif] for which principle of mathematical induction _gr_19.gif] The rule itself is frequently called the induction principle and was first used by B. Pascal. It must be empathized that the three statements in quotation marks are different  form one another.  The last of them is usually proved by assuming that principle of mathematical induction _gr_20.gif] is an integer for which principle of mathematical induction _gr_21.gif] and deducing principle of mathematical induction _gr_22.gif] but this is quite different from assuming that for all principle of mathematical induction _gr_23.gif] which is the theorem. The assumption " principle of mathematical induction _gr_24.gif]" is an integer for which principle of mathematical induction _gr_25.gif]" is called the induction hypothesis.

     The well-ordering principle and the principle of mathematical induction are equivalent statements. That is to say, if one of the statements is assumed to be true, then the other statement can be proven true.

(3) Proposition (Mathematical Induction - Well Ordering Equivalence) If a set of positive integers has the two properties (i) the integer 1 belongs to principle of mathematical induction _gr_26.gif] and (ii) whenever the integer principle of mathematical induction _gr_27.gif] is in principle of mathematical induction _gr_28.gif] the next integer principle of mathematical induction _gr_29.gif] must also be in principle of mathematical induction _gr_30.gif]  then principle of mathematical induction _gr_31.gif] is the set of positive integers; then every set of positive integers must a have a least element.

(4) Example (Principle of Mathematical Induction) Use mathematical induction to prove that

principle of mathematical induction _gr_32.gif]

for all positive integers principle of mathematical induction _gr_33.gif]

    Solution. For principle of mathematical induction _gr_34.gif] principle of mathematical induction _gr_35.gif] so the base case holds. Assume that the result is true for some positive integer principle of mathematical induction _gr_36.gif] we need to show that  

principle of mathematical induction _gr_37.gif]

holds. We have,

principle of mathematical induction _gr_38.gif]

principle of mathematical induction _gr_39.gif] (using the induction hypothesis)

principle of mathematical induction _gr_40.gif]

principle of mathematical induction _gr_41.gif]

Therefore, by mathematical induction, the statement principle of mathematical induction _gr_42.gif] is true for all positive integers principle of mathematical induction _gr_43.gif] principle of mathematical induction _gr_44.gif]

(5) Example (Principle of Mathematical Induction) Use mathematical induction to prove that principle of mathematical induction _gr_45.gif] for all positive integers principle of mathematical induction _gr_46.gif]

    Solution.  For principle of mathematical induction _gr_47.gif] principle of mathematical induction _gr_48.gif] so the base case holds.  Assume that the result is true for a positive integer principle of mathematical induction _gr_49.gif] we need to show that  

principle of mathematical induction _gr_50.gif]

holds. We have,

principle of mathematical induction _gr_51.gif]

principle of mathematical induction _gr_52.gif] (using the induction hypothesis)

principle of mathematical induction _gr_53.gif]
    
Therefore, by mathematical induction, the statement principle of mathematical induction _gr_54.gif] is true for all positive integers principle of mathematical induction _gr_55.gif] principle of mathematical induction _gr_56.gif]

(6) Example (Principle of Mathematical Induction) Use mathematical induction to prove that

principle of mathematical induction _gr_57.gif]

for all positive integers principle of mathematical induction _gr_58.gif]

    Solution. For principle of mathematical induction _gr_59.gif] principle of mathematical induction _gr_60.gif] so the base case holds. Assume that the result is true for a positive integer principle of mathematical induction _gr_61.gif] we need to show that   principle of mathematical induction _gr_62.gif] holds. We have,

principle of mathematical induction _gr_63.gif]

principle of mathematical induction _gr_64.gif] (using the induction hypothesis)

principle of mathematical induction _gr_65.gif]
    
Therefore, by mathematical induction, the statement principle of mathematical induction _gr_66.gif] is true for all positive integers principle of mathematical induction _gr_67.gif] principle of mathematical induction _gr_68.gif]

(7) Example (Principle of Mathematical Induction) Use mathematical induction to prove that principle of mathematical induction _gr_69.gif] for all positive integers principle of mathematical induction _gr_70.gif]

    Solution. Since principle of mathematical induction _gr_71.gif] the statement is true for principle of mathematical induction _gr_72.gif] Assume that the result is true for a positive integer principle of mathematical induction _gr_73.gif] greater than 3,  we need to show that   principle of mathematical induction _gr_74.gif] holds. Starting from principle of mathematical induction _gr_75.gif] we multiply by 2 to obtain principle of mathematical induction _gr_76.gif] But principle of mathematical induction _gr_77.gif] since principle of mathematical induction _gr_78.gif] Therefore, principle of mathematical induction _gr_79.gif] as desired. Therefore, by mathematical induction, the statement principle of mathematical induction _gr_80.gif] is true for all positive integers principle of mathematical induction _gr_81.gif] principle of mathematical induction _gr_82.gif]

(8) Example (Principle of Mathematical Induction) Let principle of mathematical induction _gr_83.gif] be any real number greater than principle of mathematical induction _gr_84.gif]. Use mathematical induction to prove that principle of mathematical induction _gr_85.gif] for all positive integers principle of mathematical induction _gr_86.gif]

    Solution. Since principle of mathematical induction _gr_87.gif] the statement is true for principle of mathematical induction _gr_88.gif] Assume that the result is true for a positive integer principle of mathematical induction _gr_89.gif] we need to show that   principle of mathematical induction _gr_90.gif] holds. Since principle of mathematical induction _gr_91.gif] we can multiply principle of mathematical induction _gr_92.gif] by principle of mathematical induction _gr_93.gif] to obtain

principle of mathematical induction _gr_94.gif]
    
Since principle of mathematical induction _gr_95.gif] we see that

principle of mathematical induction _gr_96.gif]

as desired. Therefore, by mathematical induction, principle of mathematical induction _gr_97.gif] for all positive integers principle of mathematical induction _gr_98.gif] principle of mathematical induction _gr_99.gif]

(9) Example (Principle of Mathematical Induction) Use mathematical induction to establish that for all principle of mathematical induction _gr_100.gif]

principle of mathematical induction _gr_101.gif]

    Solution. For principle of mathematical induction _gr_102.gif] principle of mathematical induction _gr_103.gif] is obvious so the statement is true for principle of mathematical induction _gr_104.gif]  Suppose that the equation is true for principle of mathematical induction _gr_105.gif] namely,
    
principle of mathematical induction _gr_106.gif]

Then for principle of mathematical induction _gr_107.gif] we have,

principle of mathematical induction _gr_108.gif]

principle of mathematical induction _gr_109.gif]

principle of mathematical induction _gr_110.gif]

Now using the induction hypothesis,

principle of mathematical induction _gr_111.gif]

principle of mathematical induction _gr_112.gif]

and so

principle of mathematical induction _gr_113.gif]

Therefore, by mathematical induction, principle of mathematical induction _gr_114.gif] for all principle of mathematical induction _gr_115.gif] principle of mathematical induction _gr_116.gif]

(10) Proposition (Strong Form of Mathematical Induction) A set of positive integers that contains the integer 1, and that has the property: for every positive integer principle of mathematical induction _gr_117.gif] if the set contains principle of mathematical induction _gr_118.gif] then it also contains the integer principle of mathematical induction _gr_119.gif] must be the set of all positive integers.

(11) Example (Principle of Mathematical Induction) Define a function recursively for all positive integers principle of mathematical induction _gr_120.gif] by principle of mathematical induction _gr_121.gif] principle of mathematical induction _gr_122.gif] and for principle of mathematical induction _gr_123.gif] principle of mathematical induction _gr_124.gif] Show that principle of mathematical induction _gr_125.gif] for all positive integers principle of mathematical induction _gr_126.gif] using the strong form of mathematical induction.

    Solution. The basis step consists of verifying the formula for principle of mathematical induction _gr_127.gif] and principle of mathematical induction _gr_128.gif] For principle of mathematical induction _gr_129.gif] we have principle of mathematical induction _gr_130.gif] and for principle of mathematical induction _gr_131.gif] we have principle of mathematical induction _gr_132.gif] Now assume that principle of mathematical induction _gr_133.gif] for all positive integers with principle of mathematical induction _gr_134.gif] where principle of mathematical induction _gr_135.gif] BY the induction hypothesis it follows that

principle of mathematical induction _gr_136.gif]

principle of mathematical induction _gr_137.gif]

principle of mathematical induction _gr_138.gif]

principle of mathematical induction _gr_139.gif]

principle of mathematical induction _gr_140.gif]

principle of mathematical induction _gr_141.gif]

principle of mathematical induction _gr_142.gif]

principle of mathematical induction _gr_143.gif]
    
principle of mathematical induction _gr_144.gif]

Therefore, by the second principle of mathematical induction (strong form),   principle of mathematical induction _gr_145.gif] for all positive integers principle of mathematical induction _gr_146.gif] as desired. principle of mathematical induction _gr_147.gif]

Number Theory Books

A Beginner's Guide to Constructing the Universe: Mathematical Archetypes of N... Product Image
List Price: $18.95
Buy New: $10.45
You Save: $8.50 (45%)
New (37) Used (28) from $8.49The Universe May Be a Mystery,But It's No SecretMichael Schneider leads us on a spectacular, lavishly illustrated journey along the numbers one through ten to explore the mathematical principles made visible (more)
Bayesian Computation with R (Use R) Product Image
List Price: $49.95
Buy New: $33.51
You Save: $16.44 (33%)
New (32) Used (8) from $33.51There has been a dramatic growth in the development and application of Bayesian inferential methods. Some of this growth is due to the availability of powerful simulation-based algorithms to summarize (more)
e: The Story of a Number Product Image
List Price: $19.95
Buy New: $8.23
You Save: $11.72 (59%)
New (42) Used (32) Collectible (1) from $3.25The interest earned on a bank account, the arrangement of seeds in a sunflower, and the shape of the Gateway Arch in St. Louis are all intimately connected with the mysterious number e. In this informal (more)
Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathem... Product Image
List Price: $16.00
Buy New: $8.91
You Save: $7.09 (44%)
New (35) Used (15) from $7.49In 1859, Bernhard Riemann, a little-known thirty-two year old mathematician, made a hypothesis while presenting a paper to the Berlin Academy titled ?On the Number of Prime Numbers Less Than a Given Quantity.? (more)
Euler's Gem: The Polyhedron Formula and the Birth of Topology Product Image
List Price: $27.95
Buy New: $17.00
You Save: $10.95 (39%)
New (27) Used (3) from $14.99Leonhard Euler's polyhedron formula describes the structure of many objects--from soccer balls and gemstones to Buckminster Fuller's buildings and giant all-carbon molecules. Yet Euler's formula is so (more)
Dr. Euler's Fabulous Formula: Cures Many Mathematical Ills Product Image
List Price: $29.95
Buy New: $17.98
You Save: $11.97 (40%)
New (36) Used (10) from $17.98I used to think math was no fun'Cause I couldn't see how it was doneNow Euler's my heroFor I now see why zeroEquals e[pi] i+1--Paul Nahin, electrical engineer In the mid-eighteenth century, Swiss-born (more)
The Fabulous Fibonacci Numbers Product Image
List Price: $28.98
Buy New: $15.00
You Save: $13.98 (48%)
New (35) Used (11) Collectible (1) from $14.50The most ubiquitous, and perhaps the most intriguing, number pattern in mathematics is the Fibonacci sequence. In this simple pattern beginning with two ones, each succeeding number is the sum of the two (more)
Killer Poker By the Numbers: Mathematical Edge for Winning Play (Killer Poker) Product Image
List Price: $14.95
Buy New: $7.69
You Save: $7.26 (49%)
New (35) Used (13) from $7.69Killer Poker By the Numbers: Mathematical Edge for Winning Play (Killer Poker) (more)
Sacred Number: The Secret Quality of Quantities (Wooden Books) Product Image
List Price: $12.00
Buy New: $5.59
You Save: $6.41 (53%)
New (30) Used (13) from $5.59Numbers permeate every aspect of our lives; very little happens without a basic ability to manipulate the simple whole numbers we all take for granted. Beautifully illustrated with old engravings as well (more)
The Music of the Primes: Searching to Solve the Greatest Mystery in Mathematics Product Image
List Price: $13.95
Buy Used: $0.98
You Save: $12.97 (93%)
New (28) Used (29) from $0.98In 1859, German mathematician Bernhard Riemann presented a paper to the Berlin Academy that would forever change the history of mathematics. The subject was the mystery of prime numbers. At the heart of (more)

Cite this as:
Principle Of Mathematical Induction
Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/principle-of-mathematical-induction.html
about us contact us privacy policy terms of use mision statement lom help
The Library of Math - Online Math Organized by Subject Into Topics. © 2005 - 2008 www.LibraryOfMath.com All rights reserved. math rss