返回题库

AIME 1994 · 第 7 题

AIME 1994 — Problem 7

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

For certain ordered pairs (a,b)(a,b)\, of real numbers, the system of equations

ax+by=1ax+by=1\, x2+y2=50x^2+y^2=50\,

has at least one solution, and each solution is an ordered pair (x,y)(x,y)\, of integers. How many such ordered pairs (a,b)(a,b)\, are there?

解析

Solution

The equation x2+y2=50x^2+y^2=50 is that of a circle of radius 50\sqrt{50}, centered at the origin. By testing integers until the left side becomes too big, we see that the lattice points on this circle are (±1,±7)(\pm1,\pm7), (±5,±5)(\pm5,\pm5), and (±7,±1)(\pm7,\pm1) where the signs are all independent of each other, for a total of 322=123\cdot 2\cdot 2=12 lattice points. They are indicated by the blue dots below.

AIME diagram

Since (x,y)=(0,0)(x,y)=(0,0) yields a0+b0=01a\cdot 0+b\cdot 0=0 \neq 1, we know that ax+by=1ax+by=1 is the equation of a line that does not pass through the origin. So, we are looking for the number of lines which pass through at least one of the 1212 lattice points on the circle, but do not pass through the origin or through any non-lattice point on the circle. An example is the green line above. It is straightforward to show that a line passes through the origin precisely when there exist two opposite points (p,q)(p,q) and (p,q)(-p,-q) through which it passes. And example is the red line above.

There are (122)=66\binom{12}{2}=66 ways to pick two distinct lattice points, and subsequently 6666 distinct lines which pass through two distinct lattice points on the circle. Then we subtract the lines which pass through the origin by noting that the lattice points on the circle can be grouped into opposite pairs (p,q)(p,q) and (p,q)(-p,-q), for a total of 122=6\frac{12}{2}=6 lines. Finally, we add the 1212 unique tangent lines to the circle at each of the lattice points.

Therefore, our final count of distinct lines which pass through one or two of the lattice points on the circle, but do not pass through the origin, is

666+12=72.66-6+12=\boxed{72}.