返回题库

AIME 2007 I · 第 12 题

AIME 2007 I — Problem 12

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

In isosceles triangle ABC\triangle 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 angle BAC=75BAC = 75^{\circ}. If triangle ABCABC 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 and the rotated triangle is in the form p2+q3+r6+sp\sqrt{2} + q\sqrt{3} + r\sqrt{6} + s, where p,q,r,sp,q,r,s are integers. Find pq+rs2\frac{p-q+r-s}2.

解析

Solution

AIME diagram

Solution 1

Let the new triangle be ABC\triangle AB'C' (AA, the origin, is a vertex of both triangles). Let BC\overline{B'C'} intersect with AC\overline{AC} at point DD, BC\overline{BC} intersect with BC\overline{B'C'} at EE, and BC\overline{BC} intersect with AB\overline{AB'} at FF. The region common to both triangles is the quadrilateral ADEFADEF. Notice that [ADEF]=[ADB][EFB][ADEF] = [\triangle ADB'] - [\triangle EFB'], where we let [][\ldots] denote area.

To find [ADB][\triangle ADB']:

Since BAC\angle B'AC' and BAC\angle BAC both have measures 7575^{\circ}, both of their complements are 1515^{\circ}, and DAB=902(15)=60\angle DAB' = 90 - 2(15) = 60^{\circ}. We know that DBA=75\angle DB'A = 75^{\circ}, so ADB=1806075=45\angle ADB' = 180 - 60 - 75 = 45^{\circ}.

Thus ADB\triangle ADB' is a 45607545 - 60 - 75 \triangle. It can be solved by drawing an altitude splitting the 7575^{\circ} angle into 3030^{\circ} and 4545^{\circ} angles, forming a 30609030-60-90 right triangle and a 45459045-45-90 isosceles right triangle. Since we know that AB=20AB' = 20, the base of the 30609030-60-90 triangle is 1010, the base of the 45459045-45-90 is 10310\sqrt{3}, and their common height is 10310\sqrt{3}. Thus, the total area of [ADB]=12(103)(103+10)=150+503[\triangle ADB'] = \frac{1}{2}(10\sqrt{3})(10\sqrt{3} + 10) = \boxed{150 + 50\sqrt{3}}.

To find [EFB][\triangle EFB']:

Since AFB\triangle AFB is also a 15759015-75-90 triangle,

AF=20sin75=20sin(30+45)=20(2+64)=52+56AF = 20\sin 75 = 20 \sin (30 + 45) = 20\left(\frac{\sqrt{2} + \sqrt{6}}4\right) = 5\sqrt{2} + 5\sqrt{6}

and

FB=ABAF=205256FB' = AB' - AF = 20 - 5\sqrt{2} - 5\sqrt{6}

Since [EFB]=12(FBEF)=12(FB)(FBtan75)[\triangle EFB'] = \frac{1}{2} (FB' \cdot EF) = \frac{1}{2} (FB') (FB' \tan 75^{\circ}). With some horrendous algebra, we can calculate

[EFB]=12tan(30+45)(205256)2=25(13+1113)(8222622+1+326+3+3)=25(2+3)(124246+23)[EFB]=5002+40033006+750.\begin{aligned} [\triangle EFB'] &= \frac{1}{2}\tan (30 + 45) \cdot (20 - 5\sqrt{2} - 5\sqrt{6})^2 \\ &= 25 \left(\frac{\frac{1}{\sqrt{3}} + 1}{1 - \frac{1}{\sqrt{3}}}\right) \left(8 - 2\sqrt{2} - 2\sqrt{6} - 2\sqrt{2} + 1 + \sqrt{3} - 2\sqrt{6} + \sqrt{3} + 3\right) \\ &= 25(2 + \sqrt{3})(12 - 4\sqrt{2} - 4\sqrt{6} + 2\sqrt{3}) \\ [\triangle EFB'] &= \boxed{- 500\sqrt{2} + 400\sqrt{3} - 300\sqrt{6} +750}. \end{aligned} To finish,

[ADEF]=[ADB][EFB]=(150+503)(5002+40033006+750)=50023503+3006600\begin{aligned} [ADEF] &= [\triangle ADB'] - [\triangle EFB']\\ &= \left(150 + 50\sqrt{3}\right) - \left(-500\sqrt{2} + 400\sqrt{3} - 300\sqrt{6} + 750\right)\\ &=500\sqrt{2} - 350\sqrt{3} + 300\sqrt{6} - 600\\ \end{aligned} Hence, pq+rs2=500+350+300+6002=17502=875\frac{p-q+r-s}{2} = \frac{500 + 350 + 300 + 600}2 = \frac{1750}2 = \boxed{\boxed{875}}.

Solution 2

Redefine the points in the same manner as the last time (ABC\triangle AB'C', intersect at DD, EE, and FF). This time, notice that [ADEF]=[ABC]([ADC]+[EFB])[ADEF] = [\triangle AB'C'] - ([\triangle ADC'] + [\triangle EFB']).

The area of [ABC]=[ABC][\triangle AB'C'] = [\triangle ABC]. The altitude of ABC\triangle ABC is clearly 10tan75=10tan(30+45)10 \tan 75 = 10 \tan (30 + 45). The tangent addition rule yields 10(2+3)10(2 + \sqrt{3}) (see above). Thus, [ABC]=1220(20+103)=200+1003[\triangle ABC] = \frac{1}{2} 20 \cdot (20 + 10\sqrt{3}) = 200 + 100\sqrt{3}.

The area of [ADC][\triangle ADC'] (with a side on the y-axis) can be found by splitting it into two triangles, 30609030-60-90 and 15759015-75-90 right triangles. AC=AC=10sin15AC' = AC = \frac{10}{\sin 15}. The sine subtraction rule shows that 10sin15=10624=4062=10(6+2)\frac{10}{\sin 15} = \frac{10}{\frac{\sqrt{6} - \sqrt{2}}4} = \frac{40}{\sqrt{6} - \sqrt{2}} = 10(\sqrt{6} + \sqrt{2}). ACAC', in terms of the height of ADC\triangle ADC', is equal to h(3+tan75)=h(3+2+3)h(\sqrt{3} + \tan 75) = h(\sqrt{3} + 2 + \sqrt{3}).

[ADC]=12ACh=12(106+102)(106+10223+2)=(800+4003)(2+3)2323=4003+4008=503+50\begin{aligned} [ADC'] &= \frac 12 AC' \cdot h \\ &= \frac 12 (10\sqrt{6} + 10\sqrt{2})\left(\frac{10\sqrt{6} + 10\sqrt{2}}{2\sqrt{3} + 2}\right) \\ &= \frac{(800 + 400\sqrt{3})}{(2 + \sqrt{3})}\cdot\frac{2 - \sqrt{3}}{2-\sqrt{3}} \\ &= \frac{400\sqrt{3} + 400}8 = 50\sqrt{3} + 50 \end{aligned} The area of [EFB][\triangle EFB'] was found in the previous solution to be 5002+40033006+750- 500\sqrt{2} + 400\sqrt{3} - 300\sqrt{6} +750.

Therefore, [ADEF][ADEF] =(200+1003)((50+503)+(5002+40033006+750))= (200 + 100\sqrt{3}) - \left((50 + 50\sqrt{3}) + (-500\sqrt{2} + 400\sqrt{3} - 300\sqrt{6} +750)\right) =50023503+3006600= 500\sqrt{2} - 350\sqrt{3} + 300\sqrt{6} - 600, and our answer is 875\boxed{875}.

Solution 3

AIME diagram

Call the points of the intersections of the triangles DD, EE, and FF as noted in the diagram (the points are different from those in the diagram for solution 1). AD\overline{AD} bisects EDE\angle EDE'.

Through HL congruency, we can find that AED\triangle AED is congruent to AED\triangle AE'D. This divides the region AEDFAEDF (which we are trying to solve for) into two congruent triangles and an isosceles right triangle.

AE=20cos15=20cos(4530)=206+24=56+52AE = 20 \cos 15 = 20 \cos (45 - 30) = 20 \cdot \frac{\sqrt{6} + \sqrt{2}}{4} = 5\sqrt{6} + 5\sqrt{2}

Since FE=AE=AEFE' = AE' = AE, we find that [AEF]=12(56+52)2=100+503[AE'F] = \frac 12 (5\sqrt{6} + 5\sqrt{2})^2 = 100 + 50\sqrt{3}.

Now, we need to find [AED]=[AED][AED] = [AE'D]. The acute angles of the triangles are 152\frac{15}{2} and 9015290 - \frac{15}{2}. By repeated application of the half-angle formula, we can find that tan152=23+62\tan \frac{15}{2} = \sqrt{2} - \sqrt{3} + \sqrt{6} - 2.

The area of [AED]=12(20cos15)2(tan152)[AED] = \frac 12 \left(20 \cos 15\right)^2 \left(\tan \frac{15}{2}\right). Thus, [AED]+[AED]=2(12((56+52)2(23+62)))[AED] + [AE'D] = 2\left(\frac 12((5\sqrt{6} + 5\sqrt{2})^2 \cdot (\sqrt{2} - \sqrt{3} + \sqrt{6} - 2))\right), which eventually simplifies to 50023503+3006600500\sqrt{2} - 350\sqrt{3} + 300\sqrt{6} - 600.

Adding them together, we find that the solution is [AEDF]=[AEF]+[AED]+[AED][AEDF] = [AE'F] + [AED] + [AE'D] =100+503+50023503+3006600== 100 + 50\sqrt{3} + 500\sqrt{2} - 350\sqrt{3} + 300\sqrt{6} - 600= =50023503+3006600= 500\sqrt{2} - 350\sqrt{3} + 300\sqrt{6} - 600, and the answer is 875\boxed{875}.

Solution 4

From the given information, calculate the coordinates of all the points (by finding the equations of the lines, equating). Then, use the shoelace method to calculate the area of the intersection.

  • AC\overline{AC}: y=(tan75)x=(2+3)xy = (\tan 75) x = (2 + \sqrt{3})x
  • AB\overline{AB'}: y=(tan15)x=(23)xy = (\tan 15) x = (2 - \sqrt{3})x
  • BC\overline{BC}: It passes thru (20,0)(20,0), and has a slope of tan75=(2+3)-\tan75 = -(2 + \sqrt{3}). The equation of its line is y=(2+3)(20x)y = (2+\sqrt{3})(20 - x).
  • BC\overline{B'C'}: AC=AC=10cos75=106+102AC' = AC = \frac{10}{\cos 75} = 10\sqrt{6} + 10\sqrt{2}, so it passes thru point (0,106+102)(0, 10\sqrt{6} + 10\sqrt{2}). It has a slope of tan60=3-\tan 60 = -\sqrt{3}. So the equation of its line is y=3x+10(6+2)y = -\sqrt{3}x + 10(\sqrt{6} + \sqrt{2}).

Now, we can equate the equations to find the intersections of all the points.

  • A(0,0)A (0,0)
  • DD is the intersection of BC, BC\overline{BC},\ \overline{B'C'}. (2+3)(20x)=3x+10(6+2)(2+\sqrt{3})(20-x) = -\sqrt{3}x + 10(\sqrt{6} + \sqrt{2}). Therefore, x=5(4+2362)x = 5(4 + 2\sqrt{3}-\sqrt{6}-\sqrt{2}), y=5(36+52436)y = 5(3\sqrt{6} + 5\sqrt{2}-4\sqrt{3}-6).

  • EE is the intersection of AB, BC\overline{AB'},\ \overline{BC}. (23)x=(2+3)(20x)(2 - \sqrt{3})x =(2+\sqrt{3})(20-x). Therefore, x=5(2+3)x = 5(2+\sqrt{3}), y=5y = 5.

  • FF is the intersection of AC, BC\overline{AC},\ \overline{B'C'}. (2+3)x=3x+10(6+2)(2+\sqrt{3})x = -\sqrt{3}x + 10(\sqrt{6} + \sqrt{2}). Therefore, x=52x = 5\sqrt{2}, y=102+56y = 10\sqrt{2}+ 5\sqrt{6}.

We take these points and tie them together by shoelace, and the answer should come out to be 875\boxed{875}.

Video Solution

2007 AIME I #12

MathProblemSolvingSkills.com