Difference between revisions of "2017 AIME II Problems/Problem 15"
(→Solution 2) |
(→Solution 2) |
||
Line 17: | Line 17: | ||
<math>\boxed{\textrm{Claim 1: } O \textrm{ is the gravity center } \ \tfrac {1}{4}(\vec A + \vec B + \vec C + \vec D)}</math> | <math>\boxed{\textrm{Claim 1: } O \textrm{ is the gravity center } \ \tfrac {1}{4}(\vec A + \vec B + \vec C + \vec D)}</math> | ||
− | <math>\textrm{Proof:}</math> Let <math>M</math> and <math>N</math> denote the midpoints of <math>AB</math> and <math>CD</math>. From <math>\triangle ABD \cong \triangle BAC</math> and <math>\triangle CDA \cong \triangle DCB</math>, we have <math>MC=MD</math>, <math>NA=NB</math> an hence <math>MN</math> is a perpendicular bisector of both segments <math>AB</math> and <math>CD</math>. Then if <math>X</math> is any point inside tetrahedron <math>ABCD</math>, its orthogonal projection onto line <math>MN</math> will have smaller <math>f</math>-value; hence we conclude that <math>O</math> must lie on <math>MN</math>. Similarly, <math>O</math> must lie on the line joining the midpoints of <math>AC</math> and <math>BD</math>. <math>\ | + | <math>\textrm{Proof:}</math> Let <math>M</math> and <math>N</math> denote the midpoints of <math>AB</math> and <math>CD</math>. From <math>\triangle ABD \cong \triangle BAC</math> and <math>\triangle CDA \cong \triangle DCB</math>, we have <math>MC=MD</math>, <math>NA=NB</math> an hence <math>MN</math> is a perpendicular bisector of both segments <math>AB</math> and <math>CD</math>. Then if <math>X</math> is any point inside tetrahedron <math>ABCD</math>, its orthogonal projection onto line <math>MN</math> will have smaller <math>f</math>-value; hence we conclude that <math>O</math> must lie on <math>MN</math>. Similarly, <math>O</math> must lie on the line joining the midpoints of <math>AC</math> and <math>BD</math>. <math>\square</math> |
<math>\boxed{\textrm{Claim 2: The gravity center } O \textrm{ coincides with the circumcenter.} \phantom{\vec A}}</math> | <math>\boxed{\textrm{Claim 2: The gravity center } O \textrm{ coincides with the circumcenter.} \phantom{\vec A}}</math> | ||
− | <math>\textrm{Proof:}</math> Let <math>G_D</math> be the centroid of triangle <math>ABC</math>; then <math>DO = \tfrac 34 DG_D</math> (by vectors). If we define <math>G_A</math>, <math>G_B</math>, <math>G_C</math> similarly, we get <math>AO = \tfrac 34 AG_A</math> and so on. But from symmetry we have <math>AG_A = BG_B = CG_C = DG_D</math>, hence <math>AO = BO = CO = DO</math>. <math>\ | + | <math>\textrm{Proof:}</math> Let <math>G_D</math> be the centroid of triangle <math>ABC</math>; then <math>DO = \tfrac 34 DG_D</math> (by vectors). If we define <math>G_A</math>, <math>G_B</math>, <math>G_C</math> similarly, we get <math>AO = \tfrac 34 AG_A</math> and so on. But from symmetry we have <math>AG_A = BG_B = CG_C = DG_D</math>, hence <math>AO = BO = CO = DO</math>. <math>\square</math> |
Now we use the fact that an isosceles tetrahedron has circumradius <math>R = \sqrt{\tfrac18(a^2+b^2+c^2)}</math>. | Now we use the fact that an isosceles tetrahedron has circumradius <math>R = \sqrt{\tfrac18(a^2+b^2+c^2)}</math>. |
Revision as of 09:51, 4 February 2022
Problem
Tetrahedron has , , and . For any point in space, suppose . The least possible value of can be expressed as , where and are positive integers, and is not divisible by the square of any prime. Find .
Official Solution (MAA)
Let and be midpoints of and . The given conditions imply that and , and therefore and . It follows that and both lie on the common perpendicular bisector of and , and thus line is that common perpendicular bisector. Points and are symmetric to and with respect to line . If is a point in space and is the point symmetric to with respect to line , then and , so .
Let be the intersection of and . Then , from which it follows that . It remains to minimize as moves along .
Allow to rotate about to point in the plane on the side of opposite . Because is a right angle, . It then follows that , and equality occurs when is the intersection of and . Thus . Because is the median of , the Length of Median Formula shows that and . By the Pythagorean Theorem .
Because and are right angles, It follows that . The requested sum is .
Solution 2
Set , , . Let be the point which minimizes .
Let and denote the midpoints of and . From and , we have , an hence is a perpendicular bisector of both segments and . Then if is any point inside tetrahedron , its orthogonal projection onto line will have smaller -value; hence we conclude that must lie on . Similarly, must lie on the line joining the midpoints of and .
Let be the centroid of triangle ; then (by vectors). If we define , , similarly, we get and so on. But from symmetry we have , hence .
Now we use the fact that an isosceles tetrahedron has circumradius .
Here so . Therefore, the answer is .
Solution 3
Isosceles tetrahedron is inscribed in a rectangular box, whose facial diagonals are the edges of the tetrahedron. Minimum occurs at the center of gravity, and , where is the length of the spatial diagonal of the rectangular box.
Let the three dimensions of the box be .
Add three equations, . Hence .
See Also
2017 AIME II (Problems • Answer Key • Resources) | ||
Preceded by Problem 14 |
Followed by Last Question | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.