"Suppose that there are 13 people in a room. Prove: "At least two of these people were born in the same month". Use the indirect method."
The question I have is: Which of the following (if any) are contradictions of "At least two of these people were born in the same month"
- Less than two of these people were born in the same month.
- Less than two of these people were born in different months.
- All people were born in different months.
Should I first parapharase the statement to be proved in "if-then" form?
Let $X_1, X_2, \dots, X_{12}$ be variables where $X_i$ represents the number of people in your group born in the $i^{th}$ month.
The phrase "at least two people are born in the same month" can be rephrased using the above variables as "$\exists i$ s.t. $X_i\geq 2$.
To negate the phrase, remember that $\exists$ get replaced by $\forall$ and vice versa, and $\geq$ gets replaced by $<$ (and more rules such as demorgans which doesn't apply here).
Thus, the negation of the phrase is $\forall i: X_i<2$, I.e. "All months has strictly fewer than two people born in it", or equivalently phrased as "All people are born in different months."
This example is a classic use of the pigeonhole principle. Suppose that the first twelve people are born in different months (else we would already be done). What can be said about the thirteenth person? (remember, there are only twelve months in the year)