2011 AIME II Problems/Problem 13
Point lies on the diagonal of square with . Let and be the circumcenters of triangles and respectively. Given that and , then , where and are positive integers. Find .
Quickest Method of Solving
This is a combination of Solutions 1 and 2.
First, draw . Then, observe that implies that . So, is a triangle. Similarly, observe that is too. So, a rotation of to adds degrees. Then, moving to subtracts degrees. Hence, . Let the intersection of and be . Then is a triangle, hence (We know that is ), or Finally,
Denote the midpoint of be and the midpoint of be . Because they are the circumcenters, both Os lie on the perpendicular bisectors of and and these bisectors go through and .
It is given that . Because and are radii of the same circle, the have the same length. This is also true of and . Because , . Thus, and are isosceles right triangles. Using the given information above and symmetry, . Because ABP and ADP share one side, have one side with the same length, and one equal angle, they are congruent by SAS. This is also true for triangle CPB and CPD. Because angles APB and APD are equal and they sum to 120 degrees, they are each 60 degrees. Likewise, both angles CPB and CPD have measures of 120 degrees.
Because the interior angles of a triangle add to 180 degrees, angle ABP has measure 75 degrees and angle PDC has measure 15 degrees. Subtracting, it is found that both angles and have measures of 30 degrees. Thus, both triangles and are 30-60-90 right triangles. Because F and E are the midpoints of AB and CD respectively, both FB and DE have lengths of 6. Thus, . Because of 45-45-90 right triangles, .
Now, letting and using Law of Cosines on , we have
Using the quadratic formula, we arrive at
Taking the positive root, and the answer is thus
This takes a slightly different route than Solution 1.
Solution 1 proves that and that . Construct diagonal and using the two statements above it quickly becomes clear that by isosceles triangle base angles. Let the midpoint of diagonal be , and since the diagonals are perpendicular, both triangle and triangle are 30-60-90 right triangles. Since , and . 30-60-90 triangles' sides are in the ratio , so . . Hence, .
Use vectors. In an plane, let be , be , be , be , and be P, where . It remains to find .
The line is the perpendicular bisector of and , so and lies on the line. Now compute the perpendicular bisector of . The center has coordinate , and the segment is part of the -axis, so the perpendicular bisector has equation . Since is the circumcenter of triangle , it lies on the perpendicular bisector of both and , so Similarly, The relation can now be written using dot product as Computation of both sides yields Solve for gives , so . The answer is 72+24
Translate so that the image of coincides . Let the image of be .
by symmetry, and because translation preserves angles. Thus . Therefore, quadrilateral is cyclic. Thus the image of coincides with .
is parallel to so , so and , thus .
Let be the foot of the perpendicular from to . Then is a 45-45-90 triangle and is a 30-60-90 triangle. Thus
This gives us , and the answer is
Reflect across to . By symmetry is the circumcenter of
= , so
similarly = , so
Therefore , so that
Therefore, since is the circumcenter of , =
Using sine rule in , , and the answer is
Solution 6 (Coordinates)
Why not use coordinates? After all, 45 degrees is rather friendly in terms of ordered-pair representation! We can set , , , . Let this for some .
We also know that the circumcenter is the intersection of all perpendicular bisectors of sides, but two will suffice also due to this property. Therefore, we see that is the intersection of and, knowing the midpoint of to be and thus the equation to be , we get . Likewise for it's . Now what do we see? (just look at the coordinates)! So both of those distances are . Solving for we get it to be , since . Multiply by because we are looking for to get the answer of .
Solution 7 (Pure Angle Chasing)
Let . Then . Realize that because is a circumcenter, . Then . Now, because lies on diagonal , . To finish, we look at . Drop a perpendicular from to at . Then is a and is a . Therefore, , so . ~msc
Solution 8 (similar to solution 4)
Both and lie on the perpendicular bisector of .
Claim: and .
Proof. Translate and units down, and let their images be and , respectively. Note that . Additionally, so is cyclic. This means and coincide, so . This also means the circumradii of both triangles are equal, so . .
Let the perpendicular from intersect at and at . Since is 30-60-90, . Since , , so .
Solution 9 Visual
by the Law of Sines.
They have translational symmetry. The translation vector is
By the Law of Sines email@example.com, vvsss
|2011 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|
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.