2007 AIME I Problems/Problem 12

Problem

In isosceles triangle $\triangle ABC$ , $A$ is located at the origin and $B$ is located at (20,0). Point $C$ is in the first quadrant with $\displaystyle AC = BC$ and angle $BAC = 75^{\circ}$ . If triangle $ABC$ is rotated counterclockwise about point $A$ until the image of $C$ lies on the positive $y$ -axis, the area of the region common to the original and the rotated triangle is in the form $p\sqrt{2} + q\sqrt{3} + r\sqrt{6} + s$ , where $\displaysytle p,q,r,s$ (Error compiling LaTeX. Unknown error_msg) are integers. Find $\frac{p-q+r-s}2$ .

Solution

An image is supposed to go here. You can help us out by creating one and editing it in. Thanks.

Call the vertices of the new triangle $AB'C'$ ( $A$ , the origin, is a vertex of both triangles). $B'C'$ and $AB$ intersect at a single point, $D$ . $BC$ intersect at two points; the one with the higher y-coordinate will be $E$ , and the other $F$ . The intersection of the two triangles is a quadrilateral $ADEF$ . Notice that we can find this area by subtracting $[\triangle ADB'] - [\triangle EFB']$ .

Since $\displaystyle \angle B'AC'$ and $\displaystyle \angle BAC$ both have measures $75^{\circ}$ , both of their complements are $15^{\circ}$ , and $\angle DAC' = 90 - 2(15) = 60^{\circ}$ . We know that $C'B'A = 75^{\circ}$ , and since the angles of a triangle add up to $180^{\circ}$ , we find that $ADB' = 180 - 60 - 75 = 45^{\circ}$ .

So $ADB'$ is a $45 - 60 - 75 \triangle$ . It can be solved by drawing an altitude splitting the $75^{\circ}$ angle into $30^{\circ}$ and $45^{\circ}$ angles – this forms a $\displaystyle 30-60-90$ right triangle and a $\displaystyle 45-45-90$ isosceles right triangle. Since we know that $DB' = 20$ , the base of the $\displaystyle 30-60-90$ triangle is $10$ , the height is $10\sqrt{3}$ , and the base of the $\displaystyle 45-45-90$ is $10\sqrt{3}$ . Thus, the total area of $[\triangle ADB'] = \frac{1}{2}(10\sqrt{3})(10\sqrt{3} + 10) = 150 + 50\sqrt{3}$ .

Now, we need to find $[\triangle EFB']$ , which is a $\displaystyle 15-75-90$ right triangle. We can find its base by subtracting $AF$ from $20$ . $\triangle AFB$ is also a $\displaystyle 15-75-90$ triangle, so we find that $AF = 20\sin 75 = 20 \sin (30 + 45) = 20\frac{\sqrt{2} + \sqrt{6}}4 = 5\sqrt{2} + 5\sqrt{6}$ . $FB' = 20 - AF = 20 - 5\sqrt{2} - 5\sqrt{6}$ .

To solve $[\triangle EFB']$ , note that $[\triangle EFB'] = \frac{1}{2} FB' \cdot EF = \frac{1}{2} FB' \cdot (\tan 75 FB')$ . Through algebra, we can calculate $(FB')^2 \cdot \tan 75$ :

$\frac{1}{2}\tan 75 \cdot (20 - 5\sqrt{2} - 5\sqrt{6})^2

== See also == {{AIME box|year=2007|n=I|num-b=11|num-a=13}}$ (Error compiling LaTeX. Unknown error_msg)

Page

Toolbox

Search

2007 AIME I Problems/Problem 12

Problem

Solution