Mathematical induction ''all horses are the same color''

Click For Summary

Homework Help Overview

The discussion revolves around a proof by induction claiming that "all horses are the same color." The problem is situated in the context of mathematical induction, specifically examining the validity of the proof's steps as they transition from one horse to two, and then to three horses.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants are analyzing the inductive proof, particularly focusing on the base case and the transition from two horses to three horses. Questions are raised about where the proof may fail and what assumptions are made that are not explicitly proven.

Discussion Status

Some participants have noted the need to carefully examine the steps of the proof for specific values of h, particularly where the inductive step may not hold. Hints have been provided to guide the exploration of assumptions made in the proof without revealing direct answers.

Contextual Notes

There is an emphasis on the peculiar nature of the problem, as it has appeared in an exam context, which may influence how participants approach the discussion. The validity of the proof is questioned based on the inductive reasoning applied to small sets of horses.

gfd43tg
Gold Member
Messages
949
Reaction score
48

Homework Statement


Find the error in the following proof that \all horses are the same color" 4.

Claim: In any set of h horses, all horses are the same color.

Proof: By induction on ##h##:

Base Case: For ##h = 1##. In any set containing just one horse, all horses are clearly the same color.

Induction step: For ##k \ge 1## assume that the claim is true for ##h = k## and prove that it is true for
##h = k + 1##. Take any set ##H## of ##k + 1## horses. We will now show that all the horses in this set are
the same color:

##\bullet## Remove one horse from this set to obtain the set ##H_{A}## with just k horses. By the induction
hypothesis, all the horses in ##H_{A}## are the same color.
##\bullet## Now return the removed horse and remove a different one to obtain a new set ##H_{B}## with just
##k## horses. By the same argument, all the horses in ##H_{B}## are the same color.
##\bullet## Since ##H_{A}## and ##H_{B}## have some overlapping horses, it must be that all the horses in ##H## must
be the same color, and the proof is complete.1. Carefully follow the induction steps of the proof when going from two horses to three horses and
indicate if there is a step in the proof which is invalid (i.e. start by assuming that, in any set of
two horses, all horses are the same color):
Answer:2. Carefully follow the induction steps of the proof when going from one horse to two horses and
indicate if there is a step in the proof which is invalid (i.e. start from the obvious fact that, in
any set of one horse, all horses are the same color):
Answer:

Homework Equations


The Attempt at a Solution


This is such a weird question that ended up on an exam in a previous year. Well, I know for induction you start with the base case, assume its case ##k## is true, then show it is true for ##k+1##. But I have no clue what to make out of this one
 
Last edited:
Physics news on Phys.org
Think about the value of h for which the inductive step fails. Hint: it only fails for one value of h.
 
Maylis said:

The Attempt at a Solution


This is such a weird question that ended up on an exam in a previous year. Well, I know for induction you start with the base case, assume its case ##k## is true, then show it is true for ##k+1##. But I have no clue what to make out of this one

That's correct.

The conclusion that "all horses are the same color" is obviously wrong. The question is asking you to go carefully through the argument when k = 2 and k = 1, and find exactly where it goes wrong.

It's hard to give too many hints without just telling you the answer, but think about any assumptions that are made in the proof, but not actually proved.
 
In order to see the problem, you need to see why it might work.
If you knew that all sets of 10 horses had the same color, then you would also know that all sets of 11 horses were the same color because:
In the set of 11 horses, the first 10 are the same color, and the last 10 are the same color. But there's one more statement you need to make before you can say that all 11 are the same color. It's so obvious, that it's easy to just think it without saying it.
 

Similar threads

Replies
1
Views
2K
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K