In the town of Podunk, the following three conditions apply.
1) No two inhabitants have the same number of hairs on their head.
2) There is no inhabitant with exactly 4,302 hairs on their head.
3) There are more inhabitants than there are hairs on the head of any inhabitant.
Consider the following two statements:
A) The maximum possible number of inhabitants of Podunk is 4,302.
B) Precisely one inhabitant of Podunk is completely bald (has 0 hairs on their head.)
What are the truth-values of statements A and B?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
By condition 1, we know that (since hairs come in integer values) every inhabitant has a distinct integer value of hairs on their head.
By condition 3, we know that the set of values for N inhabitants has to be {0, 1, 2,... (N-1)}. Since 0 is part of the set, this proves statement B.
By condition 2, we know that 4,302 cannot be part of the set. So since all integers up to to N-1 have to be part of the set, the maximum value of N-1 is 4,301, so the maximum value of N is 4,302. This proves statement A.
So A and B are both true.