Projective geometry question: 4 points no 3 on a line

Click For Summary

Homework Help Overview

The discussion revolves around a problem in projective geometry involving four points A, B, C, and D, where no three points are collinear. The participants explore the implications of certain axioms of projective geometry, specifically regarding the relationships between lines and points.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the implications of assuming a common point E between lines AB and BC, questioning whether E can be distinct from B. They explore contradictions that arise from this assumption and examine the axioms governing the relationships between points and lines.

Discussion Status

There is an ongoing exploration of the relationships between the points and lines, with some participants providing insights into the implications of the axioms. Questions remain about the validity of certain arguments and the interpretations of the axioms, particularly regarding the uniqueness of points and lines.

Contextual Notes

Participants note confusion regarding the axioms of projective geometry, particularly Axiom 2, which states that any two lines must contain a unique point. This confusion is central to the discussion as they attempt to reconcile their reasoning with the axioms.

anniecvc
Messages
28
Reaction score
0

Homework Statement


a) Suppose that A,B,C,D are four "points" in a projective plane, no three of which are on a "line." Consider the "lines" AB, BC, CD, DA. Show that if AB and BC have a common point E, then E = B.
b) From a) deduce that the three lines AB, BC, CD have no common point , and the same is true of any three of the lines AB, BC, CD, DA.

Homework Equations


Axioms of a projective geometry:
1) Any two "points" are contained in a unique "line"
2) Any two "lines" contain a unique "point"
3) There are four different "points," no three of which are in a "line"

The Attempt at a Solution


I proceeded by contradiction. Assume E is not equal to B.
AB and BC have common point E by assumption so ABE are on a line and BCE are on a line. (I was tempted to say aha! contradiction - 3 points on a line right here, but it's not illegal, only illegal for the 4 points A,B,C,D to have 3 on line.)
The E must connect to D by a line via Axoim 1.
Either ED is along line DCE or DAE.
If along DCE => B,C,D are along the same line
if along DAE => D,A,B are along the same line.
This contradictions that no 3 of the 4 points A,B,C,D are on a line.
Therefore E must be equal to D.

Don't think my argument is sensical.
And, for part b, I'm confused since doesn't Axiom 2 state that any 2 lines must contain a point?
 
Physics news on Phys.org
anniecvc said:

Homework Statement


a) Suppose that A,B,C,D are four "points" in a projective plane, no three of which are on a "line." Consider the "lines" AB, BC, CD, DA. Show that if AB and BC have a common point E, then E = B.
b) From a) deduce that the three lines AB, BC, CD have no common point , and the same is true of any three of the lines AB, BC, CD, DA.

Homework Equations


Axioms of a projective geometry:
1) Any two "points" are contained in a unique "line"
2) Any two "lines" contain a unique "point"
3) There are four different "points," no three of which are in a "line"

The Attempt at a Solution


I proceeded by contradiction. Assume E is not equal to B.
AB and BC have common point E by assumption so ABE are on a line and BCE are on a line. (I was tempted to say aha! contradiction - 3 points on a line right here, but it's not illegal, only illegal for the 4 points A,B,C,D to have 3 on line.)
The E must connect to D by a line via Axoim 1.
Either ED is along line DCE or DAE.
If along DCE => B,C,D are along the same line
if along DAE => D,A,B are along the same line.
This contradictions that no 3 of the 4 points A,B,C,D are on a line.
Therefore E must be equal to D.

Don't think my argument is sensical.
And, for part b, I'm confused since doesn't Axiom 2 state that any 2 lines must contain a point?

You should follow your first aha! ABE are on a line, and BCE are on a line. Both lines contain B and E. If B and E are different, then they must be the same line by axiom 1), yes? Wouldn't that mean that A,B and C are on the same line? It does say, no three of which are on a "line."
 
Last edited:
For part b):- show from part a) that the only common point between any 2 of the 4 lines is the common endpoint. Therefore AB and CD have no common point. In fact if you choose any 3 of the four lines you will find that there is one line which does not share any of it's endpoints with one another. you can check this by hand, there are only 4 possibilities.
FOOD FOR THOUGHT:- If this were not so it would violate the fact that not 3 points should be in a straight line in this system. Can you see why?
Cheers.
 
Dick said:
You should follow your first aha! ABE are on a line, and BCE are on a line. Both lines contain B and E. If B and E are different, then they must be the same line by axiom 1), yes? Wouldn't that mean that A,B and C are on the same line? It does say, no three of which are on a "line."

Ah, got it. Thank you so much!
 

Similar threads

Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
12
Views
4K
Replies
3
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
Replies
1
Views
1K
Replies
11
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
6
Views
2K