MathDB
Rotating Isosceles Triangle

Source: AIME I 2007 #12

March 15, 2007
rotationgeometryAMCAIME

Problem Statement

In isosceles triangle ABCABC, 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 y-axis, the area of the region common to the original and the rotated triangle is in the form p2+q3+r6+sp\sqrt{2}+q\sqrt{3}+r\sqrt{6}+s where pp, qq, rr, ss are integers. Find (pq+rs)/2(p-q+r-s)/2.