2016 AIME II Problems/Problem 14
Equilateral has side length . Points and lie outside the plane of and are on opposite sides of the plane. Furthermore, , and , and the planes of and form a dihedral angle (the angle between the two planes). There is a point whose distance from each of and is . Find .
The inradius of is and the circumradius is . Now, consider the line perpendicular to plane through the circumcenter of . Note that must lie on that line to be equidistant from each of the triangle's vertices. Also, note that since are collinear, and , we must have is the midpoint of . Now, Let be the circumcenter of , and be the foot of the altitude from to . We must have . Setting and , assuming WLOG , we must have . Therefore, we must have . Also, we must have by the Pythagorean theorem, so we have , so substituting into the other equation we have , or . Since we want , the desired answer is .
Short Simple Solution
Draw a good diagram. Draw as an altitude of the triangle. Scale everything down by a factor of , so that . Finally, call the center of the triangle U. Draw a cross-section of the triangle via line , which of course includes . From there, we can call . There are two crucial equations we can thus generate. WLOG set , then we call . First equation: using the Pythagorean Theorem on , . Next, using the tangent addition formula on angles we see that after simplifying in the numerator, so . Multiply back the scalar and you get . Not that hard, was it?
To make numbers more feasible, we'll scale everything down by a factor of so that . We should also note that and must lie on the line that is perpendicular to the plane of and also passes through the circumcenter of (due to and being equidistant from , , ), let be the altitude from to . We can draw a vertical cross-section of the figure then: We let so , also note that . Because is the centroid of , we know that ratio of to is . Since we've scaled the figure down, the length of is , from this it's easy to know that and . The following two equations arise: Using trig identities for the tangent, we find that Okay, now we can plug this into to get: Notice that only appears in the above system of equations in the form of , we can set for convenience since we really only care about . Now we have Looking at , it's tempting to square it to get rid of the square-root so now we have: See the sneaky in the above equation? That we means we can substitute it for : Use the quadratic formula, we find that - the two solutions were expected because can be or . We can plug this into : I'll use because both values should give the same answer for . Wait! Before you get excited, remember that we scaled the entire figure by ?? That means that the answer is . -fatant
We use the diagram from solution 3. From basic angle chasing, so triangle QCP is a right triangle. This means that triangles and are similar. If we let and , then we know and We also know that
We use the diagram from solution 3.
Let and . Then, by Stewart's on , we find
The altitude from to is so
Furthermore, the altitude from to is , so, by LoC and the dihedral condition,
Squaring the equation for and substituting yields
Substituting into the other equation,
Squaring both of these gives
Substituting and solving for gives , as desired.
|2016 AIME II (Problems • Answer Key • Resources)|
|1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15|
|All AIME Problems and Solutions|