Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Inactive » calc_reform

Topic: induction (sorta....)
Replies: 1   Last Post: Jan 14, 1996 4:00 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
BOLDUAN@catvax.catlin.edu

Posts: 5
Registered: 12/6/04
induction (sorta....)
Posted: Jan 14, 1996 12:01 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Seeing the Rproof by inductionS that all horses are
the same color reminded me of a bit I had not dug out
in about 25 years. I know not where it came from
originally but am hereby willing to share it (inflict upon?)
the readership ....

Theorem: All horses have an infinite number of legs.

This will be a proof by contradiction. Assume there exists
a horse with only a finite number of legs. There are two
cases to consider: either a horse has an even number of
legs or an odd number of legs. We will show that either
case leads to a contradiction:
CASE 1: A horse has an even number of legs. Since a
horse has fore-legs in front, if it is to have an even total
number of legs, it must have at least two legs in back.
Hence a horse must have at least fore + two =
six legs. But as everyone knows, six is an OD number
of legs for a horse to have and this contradicts our
assumption that he had an even number of legs. Thus
Case 1 cannot hold.

CASE 2: A horse has an odd number of legs. It is common
knowledge that a horse with an odd number of legs is a
horse of a different color. But it has been proved (see
earlier posts) that all horses are the same color and
again we have reached a contradiction. Thus Case 2
cannot hold.

Since neither Case 1 nor Case 2 is possible, we must
conclude that a horse cannot have a finite number of legs.
Hence all horses have an infinite number of legs. QED
(which as everyone no doubt knows, stands for Quite
Easy Dummy)


mike bolduan
The Catlin Gabel School
Portland OR
bolduan@catseq.catlin.edu




Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.