Consider the following examples for our discussion on Thursday. At
the start of class on Thursday, each of you must hand in your best
guess about the validity of each of these conjectures, as well as your
reason for each assertion. Be prepared to discuss proofs,
counterexamples, new conjectures and frustrations. Some of these
examples are taken from Sominskii's book on The Method of
Mathematical Induction.
. Then it is easy to verify that:
![]() |
![]() |
|||
![]() |
![]() |
Based upon these four examples, one might conjecture that for all
natural numbers
,
. Is the conjecture valid?
Can you justify your assertion (i.e., proof or
counterexample)?
Theorem: All horses have the same color.
Proof: We establish this well-known fact by mathematical
induction. Clearly, all horses in any set of 1 horse have the same
color. This completes the base step of the induction. Now assume
that all horses in any set of
horses have the same color.
Consider a set of
horses, labeled with the integers
. By the induction hypothesis, the horses
all have
the same color, as do the horses
. Since the two sets
have common members, namely
, all
horses must have
the same color.