- #1
courtrigrad
- 1,236
- 2
Theorem Given any collection of $ n$ blonde girls. If at least one of the girls has blue eyes, then all $ n$ of them have blue eyes.
Proof. The statement is obviously true for n = 1. The step from k to k+1 can be illustrated by going from n = 3 to n = 4. Assume, therefore, that the statement is true for n = 3 and let G_1,G_2,G_3,G_4 be four blonde girls, at least one of which, say G_1, has blue eyes. Taking G_1,G_2, and G_3 together and using the fact that the statement is true when n = 3, we find that G_2 and G_3 also have blue eyes. Repeating the process with G_1,G_2 and G_4, we find that G_4 has blue eyes. Thus all four have blue eyes. A similar argument allows us to make the step from k to k+1 in general.
Corollary. All blonde girls have blue eyes.
Proof. Since there exists at least one blonde girl with blue eyes, we can apply the foregoing result to the collection consisting of all blonde girls.
Does it have to do with how we arrived at [tex] k+1 [/tex]?
Thanks