Navigation Panel: (IMAGE)(IMAGE)(IMAGE)(IMAGE) (SWITCH TO TEXT-ONLY VERSION) (IMAGE)(IMAGE) (These buttons explained below)

UNIVERSITY OF TORONTO
MATHEMATICS NETWORK

Question Corner and Discussion Area


Counting Points and Lines Using Axioms

Asked by Bob Williams on January 9, 1998:
Suppose I am given that How do I prove that, if one line contains exactly n points, then
  1. Every line contains exactly n points?
  2. Every point lies on exactly n lines?
  3. The space contains  (IMAGE) points and  (IMAGE) lines?
The following hints should help you answer this question.

First, try proving that, for any two lines L and M, there is at least one point R not on either of them. Do this using the fact that L and M each have at least three points, so you can find a point P on L which isn't the intersection point, and a point Q on M which isn't the intersection point. The line PQ will have a third point R on it (because every line has at least three points). R is not on L (if it were, L and PQ would both be lines containing R and P. Since there is a unique line joining any two points, L would have to equal PQ, contradicting the fact that Q is not on L). Similarly, R is not on M.

Now you can prove that any two lines L and M have the same number of points. They have their intersection point X in common. For each remaining point P on L, the line RP intersects M in a point f(P). Show that f establishes a 1-1 correspondence between the points on L (other than X) and the points on M (other than X).

To prove part (2), for any point P, show that there must be at least one line L not containing P. Every line through P intersects L in a point. Show that this process sets up a 1-1 correspondence between lines through P and points on L, proving that P is on exactly n lines.

Now pick a point P. Every other point must lie on a line through P. There are n such lines, with n-1 points on each, so there are n(n-1) points not including P. Thus there are n(n-1)+1 points in total. A similar argument gives you the number of lines.

[ Submit Your Own Question ] [ Create a Discussion Topic ]

This part of the site maintained by (No Current Maintainers)
Last updated: April 19, 1999
Original Web Site Creator / Mathematical Content Developer: Philip Spencer
Current Network Coordinator and Contact Person: Joel Chan - mathnet@math.toronto.edu


Navigation Panel: (IMAGE)(IMAGE)(IMAGE)(IMAGE) (SWITCH TO TEXT-ONLY VERSION) (IMAGE)(IMAGE)

(IMAGE) Go backward to Using Geometric Postulates for Theorems in 3 Dimensions
(IMAGE) Go up to Question Corner Index
(IMAGE) Go forward to Deductive and Inductive Reasoning
 (SWITCH TO TEXT-ONLY VERSION) Switch to text-only version (no graphics)
(IMAGE) Access printed version in PostScript format (requires PostScript printer)
(IMAGE) Go to University of Toronto Mathematics Network Home Page