Difference between revisions of "2009 AIME I Problems/Problem 11"
|  (→Solution 1 (Matrix's, Determinants)) | |||
| Line 15: | Line 15: | ||
| <cmath>(x_1)(y_2)-(x_2)(y_1)=(x_1)(2009-41(x_2))-(x_2)(2009-41(x_1))=2009(x_1)-41(x_1)(x_2)-2009(x_2)+41(x_1)(x_2)=2009((x_1)-(x_2))</cmath> | <cmath>(x_1)(y_2)-(x_2)(y_1)=(x_1)(2009-41(x_2))-(x_2)(2009-41(x_1))=2009(x_1)-41(x_1)(x_2)-2009(x_2)+41(x_1)(x_2)=2009((x_1)-(x_2))</cmath> | ||
| − | Since <math>2009</math> is not even, <math> | + | Since <math>2009</math> is not even, <math>x_1-x_2</math> must be even, thus the two <math>x</math>'s must be of the same parity. Also note that the maximum value for <math>x</math> is <math>49</math> and the minimum is <math>0</math>. There are <math>25</math> even and <math>25</math> odd numbers available for use as coordinates and thus there are <math>(_{25}C_2)+(_{25}C_2)=\boxed{600}</math> such triangles. | 
| − | |||
| == Solution 2 == | == Solution 2 == | ||
Latest revision as of 12:29, 13 August 2025
Contents
Problem
Consider the set of all triangles  where
 where  is the origin and
 is the origin and  and
 and  are distinct points in the plane with nonnegative integer coordinates
 are distinct points in the plane with nonnegative integer coordinates  such that
 such that  . Find the number of such distinct triangles whose area is a positive integer.
. Find the number of such distinct triangles whose area is a positive integer.
Solution 1 (Matrix's, Determinants)
Let the two points  and
 and  be defined with coordinates;
 be defined with coordinates;  and
 and  
We can calculate the area of the parallelogram with the determinant of the matrix of the coordinates of the two points(shoelace theorem).
 
Since the triangle has half the area of the parallelogram, we just need the determinant to be even.
The determinant is
![\[(x_1)(y_2)-(x_2)(y_1)=(x_1)(2009-41(x_2))-(x_2)(2009-41(x_1))=2009(x_1)-41(x_1)(x_2)-2009(x_2)+41(x_1)(x_2)=2009((x_1)-(x_2))\]](http://latex.artofproblemsolving.com/e/3/3/e33298a2be6184ff8bbad54ccf1f10df5e7997df.png) 
Since  is not even,
 is not even,  must be even, thus the two
 must be even, thus the two  's must be of the same parity. Also note that the maximum value for
's must be of the same parity. Also note that the maximum value for  is
 is  and the minimum is
 and the minimum is  . There are
. There are  even and
 even and  odd numbers available for use as coordinates and thus there are
 odd numbers available for use as coordinates and thus there are  such triangles.
 such triangles.
Solution 2
As in Solution 1, let the two points  and
 and  be defined with coordinates;
 be defined with coordinates;  and
 and  . Let the line
. Let the line  intersect the x-axis at
 intersect the x-axis at  and the y-axis at
 and the y-axis at  .
.  has coordinates
 has coordinates  , and
, and  has coordinates
 has coordinates  . As such, there are exactly
. As such, there are exactly  lattice points on this line that can be used for
 lattice points on this line that can be used for  and
 and  .
.
WLOG, let the x-coordinate of  be less than the x-coordinate of
 be less than the x-coordinate of  . Note that
. Note that ![$[OPQ]=[OYX]-[OYP]-[OXQ]$](http://latex.artofproblemsolving.com/3/3/3/333798a244f39df5dabd9c41b3bd81ce1dd248e4.png) . We know that
. We know that  and
 and  ; as such,
; as such, ![$[OYX]=\frac{1}{2} \cdot OY \cdot OX = \frac{1}{2} \cdot 2009 \cdot 49$](http://latex.artofproblemsolving.com/3/1/6/31621ef70aaabaa6108dcb1b5fb6ad02dc0c317f.png) . In addition,
. In addition, ![$[OYP]=\frac{1}{2} \cdot 2009 \cdot x_1$](http://latex.artofproblemsolving.com/3/0/7/307661e67afb73ba7aad3d40983e227d4bd0042b.png) and
 and ![$[OXQ]=\frac{1}{2} \cdot 49 \cdot y_2$](http://latex.artofproblemsolving.com/3/2/1/321e18b5a1999ab5748912ba5dc94bcaa1fab75c.png) .
. 
Since  is odd, the total area of
 is odd, the total area of  is not an integer; rather, it is of the form
 is not an integer; rather, it is of the form  where
 where  is an integer. To ensure
 is an integer. To ensure ![$[OPQ]$](http://latex.artofproblemsolving.com/a/2/b/a2b442b3e38817306dd82af0d3bab54d8c357392.png) has an integral value, exactly one of
 has an integral value, exactly one of ![$[OPY]$](http://latex.artofproblemsolving.com/3/3/5/335e42c2f5f6555ab4d628370fab1b084bc1a5a0.png) and
 and ![$[OQX]$](http://latex.artofproblemsolving.com/0/3/a/03aef3c18191db164735d3f8ac3b3d4312b83931.png) must have an integral value as well (the other must be of the form
 must have an integral value as well (the other must be of the form  where
 where  is an integer).
 is an integer).
Returning to  , we notice that integer pairs of
, we notice that integer pairs of  and
 and  that satisfy the equation always have different parities. To satisfy exactly one of
 that satisfy the equation always have different parities. To satisfy exactly one of ![$[OPY]$](http://latex.artofproblemsolving.com/3/3/5/335e42c2f5f6555ab4d628370fab1b084bc1a5a0.png) and
 and ![$[OQX]$](http://latex.artofproblemsolving.com/0/3/a/03aef3c18191db164735d3f8ac3b3d4312b83931.png) having an integral area, we must have
 having an integral area, we must have  and
 and  having different parities. This is because having an even number for
 having different parities. This is because having an even number for  or
 or  makes the area of the triangle an integer. We can therefore deduce that
 makes the area of the triangle an integer. We can therefore deduce that  and
 and  have the same parity.
 have the same parity. 
Out of the  usable lattice points for
 usable lattice points for  and
 and  ,
,  have even x-coordinates and
 have even x-coordinates and  have odd x-coordinates. Since we must pick two points with even x-coordinates or two points with odd x-coordinates, our desired answer is
 have odd x-coordinates. Since we must pick two points with even x-coordinates or two points with odd x-coordinates, our desired answer is  .
.
Solution 3 (Analytic geometry)
As in the solution above, let the two points  and
 and  be defined with coordinates;
 be defined with coordinates;  and
 and  .
.
If the coordinates of  and
 and  have nonnegative integer coordinates,
 have nonnegative integer coordinates,  and
 and  must be lattice points either
 must be lattice points either
- on the nonnegative x-axis
- on the nonnegative y-axis
- in the first quadrant
We can calculate the y-intercept of the line  to be
 to be  and the x-intercept to be
 and the x-intercept to be  .
.
Using the point-to-line distance formula, we can calculate the height of  from vertex
 from vertex  (the origin) to be:
 (the origin) to be:
 
Let  be the base of the triangle that is part of the line
 be the base of the triangle that is part of the line  .
.
The area is calculated as: 
 
Let the numerical area of the triangle be  .
. 
So,  
We know that  is an integer. So,
 is an integer. So,  , where
, where  is also an integer.
 is also an integer.
We defined the points  and
 and  as
 as  and
 and  .
.
Changing the y-coordinates to be in terms of x, we get:
 and
 and  .
.
The distance between them equals  .
. 
Using the distance formula, we get
 
  
WLOG, we can assume that  .
.
Taking the last two equalities from the  string of equalities and putting in our assumption that
 string of equalities and putting in our assumption that  , we get
, we get
 .
.
Dividing both sides by  , we get
, we get
 
As we mentioned,  is an integer, so
 is an integer, so  is an even integer. Also,
 is an even integer. Also,  and
 and  are both positive integers. So,
 are both positive integers. So,  and
 and  are between 0 and 49, inclusive. Remember,
 are between 0 and 49, inclusive. Remember,  as well.
 as well.
- There are 48 ordered pairs  such that their positive difference is 2. such that their positive difference is 2.
- There are 46 ordered pairs  such that their positive difference is 4. such that their positive difference is 4.
...
- Finally, there are 2 ordered pairs  such that their positive difference is 48. such that their positive difference is 48.
Summing them up, we get that there are  triangles.
 triangles.
Solution 4
We present a non-analytic solution; consider the lattice points on the line  . The line has intercepts
. The line has intercepts  and
 and  , so the lattice points for
, so the lattice points for  divide the line into
 divide the line into  equal segments. Call the area of the large triangle
 equal segments. Call the area of the large triangle  . Any triangle formed with the origin having a base of one of these segments has area
. Any triangle formed with the origin having a base of one of these segments has area  (call this value
 (call this value  ) because the height is the same as that of large triangle, and the bases are in the ratio
) because the height is the same as that of large triangle, and the bases are in the ratio  . A segment comprised of
. A segment comprised of  small segments (all adjacent to each other) will have area
 small segments (all adjacent to each other) will have area  . Rewriting in terms of the original area,
. Rewriting in terms of the original area,  ,
,  , and
, and  . It is clear that in order to have a nonnegative integer for
. It is clear that in order to have a nonnegative integer for  as desired,
 as desired,  must be even. This is equivalent to finding the number of ways to choose two distinct
 must be even. This is equivalent to finding the number of ways to choose two distinct  -values
-values  and
 and  (
 ( ) such that their positive difference (
) such that their positive difference ( ) is even. Follow one of the previous methods above to choose these pairs and arrive at the answer of 600.
) is even. Follow one of the previous methods above to choose these pairs and arrive at the answer of 600.
See also
| 2009 AIME I (Problems • Answer Key • Resources) | ||
| Preceded by Problem 10 | Followed by Problem 12 | |
| 1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
| All AIME Problems and Solutions | ||
These problems are copyrighted © by the Mathematical Association of America, as part of the American Mathematics Competitions.  
 such that their positive difference is 2.
 such that their positive difference is 2.