Difference between revisions of "1966 IMO Problems/Problem 3"
Mathboy100 (talk | contribs) (→Solution) |
Mathboy100 (talk | contribs) |
||
Line 12: | Line 12: | ||
<cmath>\textrm{Volume}(MNOP) = [MNO] \cdot x_1 \cdot \frac{1}{3} + [MNP] \cdot x_2 \cdot \frac{1}{3} + [MOP] \cdot x_3 \cdot \frac{1}{3} + [NOP] \cdot x_4 \cdot \frac{1}{3}</cmath> | <cmath>\textrm{Volume}(MNOP) = [MNO] \cdot x_1 \cdot \frac{1}{3} + [MNP] \cdot x_2 \cdot \frac{1}{3} + [MOP] \cdot x_3 \cdot \frac{1}{3} + [NOP] \cdot x_4 \cdot \frac{1}{3}</cmath> | ||
+ | <cmath> = [MNO] \cdot \frac{(x_1 + x_2 + x_3 + x_4)}{3}</cmath> | ||
<cmath>\therefore\frac{3\cdot\textrm{Volume}(MNOP)}{[MNO]} = x_1 + x_2 + x_3 + x_4.</cmath> | <cmath>\therefore\frac{3\cdot\textrm{Volume}(MNOP)}{[MNO]} = x_1 + x_2 + x_3 + x_4.</cmath> | ||
Revision as of 19:27, 9 December 2022
Prove that the sum of the distances of the vertices of a regular tetrahedron from the center of its circumscribed sphere is less than the sum of the distances of these vertices from any other point in space.
Solution
We will need the following lemma to solve this problem:
Suppose there is a point in a regular tetrahedron such that the distances from this point to the faces , , , and are, respectively, , , , and . Then, the value is constant.
We will compute the volume of in terms of the areas of the faces and the distances from the point to the faces:
This value is constant, so the proof of the lemma is complete.
Let our tetrahedron be , and the center of its circumscribed sphere be . Construct a new regular tetrahedron, , such that the centers of the faces of this tetrahedron are at , , , and .
It is trivial that if we have a point that has the least sum of the distances to , , , and , then it is inside .
Suppose that we have a point inside of . Let this point be . Then,
with equality only occurring when , , , and are perpendicular to the faces of , meaning that . This completes the proof.
~mathboy100
See Also
1966 IMO (Problems) • Resources | ||
Preceded by Problem 2 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 4 |
All IMO Problems and Solutions |