|
|
(12 intermediate revisions by 3 users not shown) |
Line 1: |
Line 1: |
− | ==Problem 25==
| + | #redirect [[2011 AMC 12A Problems/Problem 22]] |
− | <!-- don't remove the following tag, for PoTW on the Wiki front page--><onlyinclude>Let <math>R</math> be a square region and <math>n\ge4</math> an integer. A point <math>X</math> in the interior of <math>R</math> is called <math>n\text{-}ray</math> partitional if there are <math>n</math> rays emanating from <math>X</math> that divide <math>R</math> into <math>n</math> triangles of equal area. How many points are 100-ray partitional but not 60-ray partitional?<!-- don't remove the following tag, for PoTW on the Wiki front page--></onlyinclude>
| |
− | | |
− | <math>\text{(A)}\,1500 \qquad\text{(B)}\,1560 \qquad\text{(C)}\,2320 \qquad\text{(D)}\,2480 \qquad\text{(E)}\,2500</math>
| |
− | | |
− | == Solution 1 ==
| |
− | First, notice that there must be four rays emanating from <math>X</math> that intersect the four corners of the square region. Depending on the location of <math>X</math>, the number of rays distributed among these four triangular sectors will vary. We start by finding the corner-most point that is <math>100</math>-ray partitional (let this point be the bottom-left-most point). We first draw the four rays that intersect the vertices. At this point, the triangular sectors with bases as the sides of the square that the point is closest to both do not have rays dividing their areas. Therefore, their heights are equivalent since their areas are equal. The remaining <math>96</math> rays are divided among the other two triangular sectors, each sector with <math>48</math> rays, thus dividing these two sectors into <math>49</math> triangles of equal areas. Let the distance from this corner point to the closest side be <math>a</math> and the side of the square be <math>s</math>. From this, we get the equation <math>\frac{a\times s}{2}=\frac{(s-a)\times s}{2}\times\frac1{49}</math>. Solve for <math>a</math> to get <math>a=\frac s{50}</math>. Therefore, point <math>X</math> is <math>\frac1{50}</math> of the side length away from the two sides it is closest to. By moving <math>X</math> <math>\frac s{50}</math> to the right, we also move one ray from the right sector to the left sector, which determines another <math>100</math>-ray partitional point. We can continue moving <math>X</math> right and up to derive the set of points that are <math>100</math>-ray partitional. In the end, we get a square grid of points each <math>\frac s{50}</math> apart from one another. Since this grid ranges from a distance of <math>\frac s{50}</math> from one side to <math>\frac{49s}{50}</math> from the same side, we have a <math>49\times49</math> grid, a total of <math>2401</math> <math>100</math>-ray partitional points. To find the overlap from the <math>60</math>-ray partitional, we must find the distance from the corner-most <math>60</math>-ray partitional point to the sides closest to it. Since the <math>100</math>-ray partitional points form a <math>49\times49</math> grid, each point <math>\frac s{50}</math> apart from each other, we can deduce that the <math>60</math>-ray partitional points form a <math>29\times29</math> grid, each point <math>\frac s{30}</math> apart from each other. To find the overlap points, we must find the common divisors of <math>30</math> and <math>50</math> which are <math>1, 2, 5,</math> and <math>10</math>. Therefore, the overlapping points will form grids with points <math>s</math>, <math>\frac s{2}</math>, <math>\frac s{5}</math>, and <math>\frac s{10}</math> away from each other respectively. Since the grid with points <math>\frac s{10}</math> away from each other includes the other points, we can disregard the other grids. The total overlapping set of points is a <math>9\times9</math> grid, which has <math>81</math> points. Subtract <math>81</math> from <math>2401</math> to get <math>2401-81=\boxed{\textbf{(C)}\ 2320}</math>.
| |
− | | |
− | == Solution 2 ==
| |
− | We may assume that the square <math>R</math> has coordinates <math>R_{1}(0,0), R_{2}(1,0), R_{3}(1,1), R_{4}(0,1)</math>. Suppose that <math>X = (x,y)</math> is <math>n</math>-ray partitional.
| |
− | <asy>
| |
− | defaultpen(fontsize(10));
| |
− | int i;
| |
− | pair R1=(0,0),R2=(1,0),R3=(1,1),R4=(0,1), X=(3/7,5/7);
| |
− | draw(R1--R2--R3--R4--cycle);
| |
− | for(i=0;i<10;++i){draw(X--(i*R1+(10-i)*R2)/10,linewidth(0.1));}
| |
− | for(i=0;i< 8;++i){draw(X--(i*R2+( 8-i)*R3)/ 8,linewidth(0.1));}
| |
− | for(i=0;i< 4;++i){draw(X--(i*R3+( 4-i)*R4)/ 4,linewidth(0.1));}
| |
− | for(i=0;i< 6;++i){draw(X--(i*R4+( 6-i)*R1)/ 6,linewidth(0.1));}
| |
− | draw(X--R1);draw(X--R2);draw(X--R3);draw(X--R4);
| |
− | label("$R_{1}$",R1,(-1,-1));
| |
− | label("$R_{2}$",R2,( 1,-1));
| |
− | label("$R_{3}$",R3,( 1, 1));
| |
− | label("$R_{4}$",R4,(-1, 1));
| |
− | label("Example: $X = (\frac{3}{7},\frac{5}{7})$ is $28$-ray partitional.",(R1+R2)/2,(0,-10));
| |
− | </asy>
| |
− | By definition, there exist <math>n</math> rays from <math>X</math> which divide <math>R</math> into <math>n</math> triangles of equal area, and <math>4</math> of these rays intersect the vertices of <math>R</math>. Let <math>a,b,c,d</math> be the number of triangles that share a side with <math>\overline{R_{1}R_{2}}, \overline{R_{2}R_{3}}, \overline{R_{3}R_{4}}, \overline{R_{4}R_{1}}</math>, respectively. Then <cmath>a+b+c+d = n \;.</cmath> Let the common area of the triangles be <math>A</math>. Each of the triangles that share a side with <math>\overline{R_{1}R_{2}}</math> have common height <math>y</math>; since they have the same area, they must have the same base <math>\frac{1}{a}</math>. Hence <math>A = \frac{1}{2}\cdot \frac{1}{a}\cdot y</math>. Similarly, <cmath>A = \frac{y}{2a} = \frac{1-x}{2b} = \frac{1-y}{2c} = \frac{x}{2d} \;.</cmath>Substituting gives <cmath>n = \frac{y}{2A}+\frac{1-x}{2A}+\frac{1-y}{2A}+\frac{x}{2A} = \frac{1}{A}</cmath>and <cmath>a = \frac{n}{2}y \;,\; b = \frac{n}{2}(1-x) \;,\; c = \frac{n}{2}(1-y) \;,\; d = \frac{n}{2}x \;.</cmath>Since <math>x = \frac{2d}{n}</math> and <math>y = \frac{2a}{n}</math> and <math>a,d,n</math> are integers, <math>x,y</math> are rational. Let <math>p_{i},q_{i}</math> be integers such that <math>0 < p_{i} < q_{i}</math> and <cmath>x = \frac{p_{1}}{q_{1}} \quad,\quad y = \frac{p_{2}}{q_{2}} \;.</cmath> Thus we have derived a necessary condition for <math>X</math> to be <math>n</math>-ray partitional: <cmath>q_{1} \text{ divides } \frac{n}{2}p_{1} \quad\text{ and }\quad q_{2} \text{ divides } \frac{n}{2}p_{2} \;.</cmath> Conversely, if <math>X = (x,y)</math> satisfies the above condition, then it is <math>n</math>-ray partitional since we can define <math>a,b,c,d</math> in terms of <math>n,x,y</math> as above.
| |
− | | |
− | To count the points that are <math>100</math>-ray partitional, it suffices to count the ordered pairs of rationals <math>(\frac{p_{1}}{q_{1}},\frac{p_{2}}{q_{2}})</math> in the interior of <math>R</math> such that <math>q_{1}</math> divides <math>\frac{100}{2}p_{1}</math> and <math>q_{2}</math> divides <math>\frac{100}{2}p_{2}</math>. This is just <math>\left\{(\frac{p_{1}}{50},\frac{p_{2}}{50}) \;:\; 0<p_{1},p_{2}<50 \right\}</math> which has <math>49^{2}</math> points.
| |
− | | |
− | We need to subtract the points that are <math>100</math>-ray partitional and <math>60</math>-ray partitional; those are the ordered pairs of rationals <math>(\frac{p_{1}}{q_{1}},\frac{p_{2}}{q_{2}})</math> in the interior of <math>R</math> such that <math>q_{1}</math> divides <math>GCD(\frac{100}{2}p_{1},\frac{60}{2}p_{1}) = 10p_{1}</math> and <math>q_{2}</math> divides <math>GCD(\frac{100}{2}p_{2},\frac{60}{2}p_{2}) = 10p_{2}</math>. This is just <math>\left\{(\frac{p_{1}}{10},\frac{p_{2}}{10}) \;:\; 0<p_{1},p_{2}<10 \right\}</math> which has <math>9^{2}</math> points.
| |
− | | |
− | Hence the answer is <math>49^{2} - 9^{2} = \boxed{2320}</math>.
| |
− | | |
− | ==Solution 3==
| |
− | As with solution <math>2</math>, place the square on the coordinate plane with coordinates <math>(0,0), (1,0),(1,1),(0,1)</math>. Let the point <math>(a,b)</math> be <math>n</math>-ray partitional. Note that we must have four rays going to each corner of the square to have all triangles, so we gave four "big" triangles of area <cmath>\frac{a}{2}, \frac{1-a}{2}, \frac{b}{2}, \frac{1-b}{2}.</cmath> We need to split each one into an integral number of triangles with area <math>\frac{1}{n}</math>, so we must have <cmath>\frac{na}{2}, \frac{n(1-a)}{2}, \frac{nb}{2}, \frac{(1-b)}{2}</cmath> be an integer. Letting <math>n</math> equal <math>60</math> and <math>100</math>, we now have that we need to find all points <math>(a,b)</math> such that <math>50a</math> and <math>50b</math> are integers, but <math>30a</math> and <math>30b</math> aren't.
| |
− | We will use complementary counting. I claim that that there are <cmath>(\sum_{d|n} \phi(n))-1</cmath> fractions less than one such that for every fraction <math>f</math>, <math>nf</math> is an integer, where <math>\phi(n)</math> is Euler's totient function. This is easy to see: we want to count the number of fractions with a denominator that divides <math>n</math> but is simplified, so a numerator that is relatively prime to the denominator. However, we must exclude one since our fraction is less than <math>1</math>. This is precisely what our sum counts. However, this sum is very well known and evaluates to <math>n-1</math>. Thus there are <math>(n-1)*(n-1)</math> that are <math>n</math>-ray partitional (I believe that this is for even <math>n</math> only but I haven't checked the odd case yet).
| |
− | Letting <math>n=100</math> gives us <math>49^2</math> points that are <math>100</math>-ray partitional. Since we are counting the complement, we want to find all points that are both <math>60</math>-ray partitional and <math>100</math>-ray partitional, or counting all pairs of fractions <math>(a,b)</math> such that <math>60a, 60b, 100a, 100b</math> are all integers. Since the GCD of the two numbers is <math>10</math>, it suffices to find the number of pairs of fractions such that <math>10a</math> and <math>10b</math> are integers, which is simply <math>9^2</math>. Thus, our answer is simply <math>49^2-9^2=\boxed{2320}</math>. -franchester
| |
− | | |
− | == Solution 4 ==
| |
− | | |
− | <center><asy>
| |
− | unitsize(36);
| |
− | draw((0,0)--(3,0)--(3,3)--(0,3)--cycle);
| |
− | draw((0,0)--(1.8,0.8));
| |
− | draw((3,0)--(1.8,0.8));
| |
− | draw((3,3)--(1.8,0.8));
| |
− | draw((0,3)--(1.8,0.8));
| |
− | label("$R_1$",(-0.25,3.5),S);
| |
− | label("$R_2$",(3.5,3.25),W);
| |
− | label("$R_3$",(3.5,-0.25),W);
| |
− | label("$R_4$",(0,-0.25),W);
| |
− | label("$X$",(2,1.25),W);
| |
− | label("$a$",(1.5,3.25),W);
| |
− | label("$b$",(3.5,1.5),W);
| |
− | label("$c$",(1.5,-0.25),W);
| |
− | label("$d$",(-0.25,1.5),W);
| |
− | </asy></center>
| |
− | | |
− | Let <math>R_1R_2</math>, <math>R_2R_3</math>, <math>R_3R_4</math>, <math>R_4R_1</math> be divided into <math>a</math>, <math>b</math>, <math>c</math>, <math>d</math> equal segments, respectively, to be the bases of the triangles.
| |
− | | |
− | For triangles with equal area, the ratio between their heights is equivalent to the reciprocal of the ratio between their bases, which in this case, refers to the ratio between the numbers of segments that the sides of <math>R</math> are divided into.
| |
− | | |
− | Let the altitudes from <math>X</math> to <math>R_1R_2</math>, <math>R_2R_3</math>, <math>R_3R_4</math>, <math>R_4R_1</math> be <math>A</math>,<math>B</math>,<math>C</math>,<math>D</math>, respectively. Since <math>A+C=B+D</math>, we have the equivalent equation <math>a+c=b+d</math>.
| |
− | | |
− | When <math>X</math> to be 100-rays partitional, we have <math>a+b+c+b=100</math>, or <cmath>a+c=b+d=\frac{100}{2}=50</cmath>
| |
− | | |
− | Since <math>a,b,c,d</math> are positive integers, there are <math>49</math> solutions for each of the two Diophantine equations. Thus there is a total of <math>49\cdot49=2401</math> points for <math>X</math> to be 100-rays partitional.
| |
− | | |
− | Now when <math>X</math> is 60-rays partitional, we have <math>a+b+c+d=60</math>, or <cmath>a+c=b+d=30=\frac{3}{5}\cdot50</cmath>.
| |
− | | |
− | ==See Also==
| |
− | | |
− | {{AMC10 box|year=2011|num-b=24|after=Last Question|ab=A}}
| |
− | {{MAA Notice}}
| |