Difference between revisions of "1971 IMO Problems/Problem 2"
Durianaops (talk | contribs) (Created page with "==Problem== Consider a convex polyhedron <math>P_1</math> with nine vertices <math>A_1, A_2, \cdots, A_9;</math> let <math>P_i</math> be the polyhedron obtained from <math>P_1...") |
|||
Line 3: | Line 3: | ||
==Solution== | ==Solution== | ||
− | {{solution | + | WLOG let <math>A_1</math> be the origin <math>0</math>. |
+ | Take any point <math>A_i</math>, then <math>P_i=A_i+P_1</math>, lies in <math>2 P_1</math>, the polyhedron <math>P_1</math> stretched by the factor <math>2</math> on <math>P_1=0</math>. | ||
+ | More general: take any <math>p,q</math> in any convex shape <math>S</math>. Then <math>p+q \in 2S</math>. | ||
+ | Prove: since <math>S</math> is convex, <math>\frac{p+q}{2} \in S</math>, thus <math>p+q \in 2S</math>. | ||
+ | |||
+ | Now all these nine polyhedrons lie inside <math>2 P_1</math>. Let <math>V</math> be the volume of <math>P_1</math>. | ||
+ | Then some polyhedrons with total sum of volumes <math>9V</math> lie in a shape of volume <math>8V</math>, thus they must overlap, meaning that they have an interior point in common. | ||
+ | |||
+ | The above solution was posted by ZetaX. The original thread for this problem can be found here: [https://aops.com/community/p417224] | ||
==See Also== | ==See Also== |
Latest revision as of 12:55, 29 January 2021
Problem
Consider a convex polyhedron with nine vertices
let
be the polyhedron obtained from
by a translation that moves vertex
to
Prove that at least two of the polyhedra
have an interior point in common.
Solution
WLOG let be the origin
.
Take any point
, then
, lies in
, the polyhedron
stretched by the factor
on
.
More general: take any
in any convex shape
. Then
.
Prove: since
is convex,
, thus
.
Now all these nine polyhedrons lie inside . Let
be the volume of
.
Then some polyhedrons with total sum of volumes
lie in a shape of volume
, thus they must overlap, meaning that they have an interior point in common.
The above solution was posted by ZetaX. The original thread for this problem can be found here: [1]
See Also
1971 IMO (Problems) • Resources | ||
Preceded by Problem 1 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 3 |
All IMO Problems and Solutions |