Let be a straight line lying on the -plane. For given points on the -plane, there are straight lines parallel to the line ( itself may be considered as one of those parallel lines) and going through at least one of these points. How many straight lines are there which go through at least one of these points and are perpendicular to ?
, 2015
Solution
212
Let us call a point a lattice point if both and are integers. Call a lattice point a good point if it lies in the portion of the -plane given by , .
If a straight line lying on the -plane is parallel either to the -axis or to the -axis, then there are only (or ) straight lines parallel to and going through a good point. Therefore, the slope of the line satisfying the condition of the problem must be a real number not equal to . Next, suppose the slope of the line is an irrational number. Then, any straight line parallel to can go through at most one good point, since a line connecting any pair of lattice points must either be parallel to the -axis or have a rational slope. Therefore, there are straight lines parallel to , going through one good point, which contradicts the assumption of the problem. Thus, we can assume that the line satisfying the assumption of the problem has the slope of the form , where , are integers not equal to and are relatively prime.
If there are lattice points on the line with slope , then they are located on the line with gaps , since and are relatively prime. So, if either or , then all the lines parallel to going through different good points are distinct. Since there are good points, this contradicts the assumption. Therefore, we must have both and . Let us first consider the case where . In this case no pair of lattice points from the set can lie on the same straight line parallel to line , since on such lines lattice points are located with gaps . On the other hand for any lattice point from the set the straight line through this point and parallel to line must go through a lattice point satisfying either or . (See the diagram below.) Consequently, we see that there are exactly straight lines parallel to going through a good point. When or or both are negative, we can argue in the same way to conclude that the number of lines satisfying the requirement of the problem is .
( is a positive integer)
By assumption, we have , from which we obtain
. There is only one way, i.e., , to express the
number as the product of a positive integer less than equal to and a positive
integer less than or equal to . If we set and , then we
get and , which will contradict the assumption that and are
relatively prime. So, we must have and , which yield
and .
The slope of a line perpendicular to line is . Note that both of the conditions and are satisfied. Then we can check that exactly same arguments applied for lines parallel to as above can be applied to the lines perpendicular to . Thus we can conclude that the number we seek for the problem is