2007 AIME I Problem 12

Below is the professionally curated solution for Problem 12 of the 2007 AIME I, from LIVE by Po-Shen Loh. You can also try the full timed exam, view all 2007 AIME I solutions, or check the answer key.

All of the real AMC 8, AMC 10, AMC 12, and AIME problems in our complete solution collection are used with official legal permission of the Mathematical Association of America (MAA).

Concepts:transformationlaw of sinessimilarityarea decomposition

Difficulty rating: 3270

12.

In isosceles triangle ABC,ABC, AA is located at the origin and BB is located at (20,0).(20, 0). Point CC is in the first quadrant with AC=BCAC = BC and BAC=75.\angle BAC = 75^\circ. If ABC\triangle ABC is rotated counterclockwise about point AA until the image of CC lies on the positive yy-axis, the area of the region common to the original triangle and the rotated triangle is in the form p2+q3+r6+s,p\sqrt{2} + q\sqrt{3} + r\sqrt{6} + s, where p,p, q,q, r,r, ss are integers. Find pq+rs2.\frac{p - q + r - s}{2}.

Solution:

Since ACAC makes a 7575^\circ angle with the positive xx-axis, the rotation is by 15.15^\circ. Let BB' and CC' be the images of BB and C.C. Because BAB=15\angle B'AB = 15^\circ and ABC=75,\angle ABC = 75^\circ, segment ABAB' is perpendicular to BC;BC; let DD be their intersection, and let E=BCBCE = BC \cap B'C' and F=ACBC.F = AC \cap B'C'. The common region is the quadrilateral ADEF,ADEF, whose area is [ABF][EBD].[AB'F] - [EB'D].

In triangle ABF,AB'F, FAB=7515=60\angle FAB' = 75^\circ - 15^\circ = 60^\circ and ABF=75,\angle AB'F = 75^\circ, so AFB=45,\angle AFB' = 45^\circ, and the law of sines gives BF=20sin60/sin45=106.B'F = 20\sin 60^\circ/\sin 45^\circ = 10\sqrt{6}. With sin75=6+24,\sin 75^\circ = \frac{\sqrt{6} + \sqrt{2}}{4}, [ABF]=1220106sin75=50(3+3).[AB'F] = \tfrac{1}{2} \cdot 20 \cdot 10\sqrt{6}\,\sin 75^\circ = 50(3 + \sqrt{3}).

In right triangle ABD,ABD, AD=20cos15AD = 20\cos 15^\circ and BD=20sin15,BD = 20\sin 15^\circ, so [ABD]=200sin15cos15=100sin30=50,[ABD] = 200\sin 15^\circ\cos 15^\circ = 100\sin 30^\circ = 50, and BD=20(1cos15).B'D = 20(1 - \cos 15^\circ). Triangles EBDEB'D and ABDABD are similar (right angles at D,D, and EBD=ABD=75\angle EB'D = \angle ABD = 75^\circ), so, using cos15=6+24,\cos 15^\circ = \frac{\sqrt{6} + \sqrt{2}}{4}, [EBD]=50(1cos15sin15)2=50(15+8366102).[EB'D] = 50\left(\frac{1 - \cos 15^\circ}{\sin 15^\circ}\right)^2 = 50\left(15 + 8\sqrt{3} - 6\sqrt{6} - 10\sqrt{2}\right). Therefore [ADEF]=50(3+3)50(15+8366102)=50023503+3006600,[ADEF] = 50(3 + \sqrt{3}) - 50(15 + 8\sqrt{3} - 6\sqrt{6} - 10\sqrt{2}) = 500\sqrt{2} - 350\sqrt{3} + 300\sqrt{6} - 600, so (p,q,r,s)=(500,350,300,600)(p, q, r, s) = (500, -350, 300, -600) and pq+rs2=17502=875.\frac{p - q + r - s}{2} = \frac{1750}{2} = 875.

← Problem 11Full ExamProblem 13

Problem 12 in Other Years