1988 IMO Problems/Problem 2: Difference between revisions
No edit summary |
|||
| Line 42: | Line 42: | ||
Consider a regular polygon consisting of <math>n+1</math> vertices where each line joining two vertices <math>A_i, A_j</math> represents the element which <math>\in A_i, A_j</math>. Clearly there are a total of <math>n*(n-1)/2</math> such lines representing the total number of elements of the union where each vertex is connected to <math>n-1</math> vertices, meaning each element of <math>A_i</math> is part of <math>n-1</math> other subsets. | Consider a regular polygon consisting of <math>n+1</math> vertices where each line joining two vertices <math>A_i, A_j</math> represents the element which <math>\in A_i, A_j</math>. Clearly there are a total of <math>n*(n-1)/2</math> such lines representing the total number of elements of the union where each vertex is connected to <math>n-1</math> vertices, meaning each element of <math>A_i</math> is part of <math>n-1</math> other subsets. | ||
Starting with <math>i = 1</math>, let us start coloring all lines joining vertices <math>A_i</math>, <math> | Starting with <math>i = 1</math>, let us start coloring all lines joining vertices <math>A_i</math>, <math>A_{i+1}</math> with color Red, all lines joining <math>A_i</math>, <math>A_{i+2}</math> with color White, <math>A_i</math>, <math>A_{i+3}</math> with color Red, <math>A_i</math>, <math>A_{i+4}</math> with color White and so on ... <math>A_i</math>, <math>A_{i+n/2}</math> with color White. | ||
Clearly each line from vertex <math>A_i</math> alternates Red, White for first <math>n/2</math> lines and then alternates White, Red for remaining <math>n/2</math> lines implying that we could have exactly <math>n/2</math> red lines emanating from each vertex <math>A_i</math>. But these <math>n/2</math> lines represent <math>n/2</math> elements of each subset <math>A_i</math> which could each be assigned a value of <math>0</math>. This completes the proof. | Clearly each line from vertex <math>A_i</math> alternates Red, White for first <math>n/2</math> lines and then alternates White, Red for remaining <math>n/2</math> lines implying that we could have exactly <math>n/2</math> red lines emanating from each vertex <math>A_i</math>. But these <math>n/2</math> lines represent <math>n/2</math> elements of each subset <math>A_i</math> which could each be assigned a value of <math>0</math>. This completes the proof. | ||
Revision as of 00:28, 15 March 2020
Problem
Let
be a positive integer and let
be subsets of a set
.
Suppose that
(a) Each
has exactly
elements,
(b) Each
contains exactly one element, and
(c) Every element of
belongs to at least two of the
.
For which values of
can one assign to every element of
one of the numbers
and
in such a way that
has
assigned to exactly
of its elements?
Solution
Answer: All
such that
We first make the following
claims:
Claim
: Each element of union belongs to exactly
subsets.
Proof:
Consider a subset
. Assume that some element
also
. There are
elements remaining in
and there are
subsets to choose from. By pigeon hole principle, at least
of the remaining elements in
must
or
. This contradicts the assumption that any
subsets have only
element in common.
Claim
:
Proof:
Now, since each element in
exactly
other subset, total number of elements present in the union =
.
If each subset must have
elements assigned a value of
, the total number of elements assigned value of
=
.
Thus
must divide
.
Now we make our final claim:
Claim
:
is a sufficient condition to assign every element of the union one of the numbers 0 and 1 in such a manner that each of the sets has exactly
zeros.
Proof:
Consider a regular polygon consisting of
vertices where each line joining two vertices
represents the element which
. Clearly there are a total of
such lines representing the total number of elements of the union where each vertex is connected to
vertices, meaning each element of
is part of
other subsets.
Starting with
, let us start coloring all lines joining vertices
,
with color Red, all lines joining
,
with color White,
,
with color Red,
,
with color White and so on ...
,
with color White.
Clearly each line from vertex
alternates Red, White for first
lines and then alternates White, Red for remaining
lines implying that we could have exactly
red lines emanating from each vertex
. But these
lines represent
elements of each subset
which could each be assigned a value of
. This completes the proof.
- Kris17
Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.
See Also
| 1988 IMO (Problems) • Resources | ||
| Preceded by Problem 1 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 3 |
| All IMO Problems and Solutions | ||