Results 1 to 3 of 3

Math Help - Modern Geometry Proof

  1. #1
    Super Member
    Joined
    Feb 2008
    Posts
    535

    Modern Geometry Proof

    Show that every line has an in nite number of points.

    Hint: Start with A1 and A2 distinct points on the line. How do you get these two points?
    Next describe how, once you have produced points up to An, you can find a new point An+1.
    In order to guarantee that An+1 is not equal to any previous points, you will need to produce
    An+1 carefully. For example, can you find an An+1 so that it is not in A1 * An * An+1? Can
    you prove (by induction on n) that every Ai with i < n + 1 is in A1An+1, but not equal to
    An+1. Finally, can you use this result to show that Ai != Aj if i != j?

    Can someone show this? I havn't a clue on this one... Thanks.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member HappyJoe's Avatar
    Joined
    Sep 2010
    From
    Denmark
    Posts
    234
    Hm, when working with the line, am I allowed to add points to obtain another point? Or am I to consider the line as a purely geometrical object without any operations?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,801
    Thanks
    1691
    Awards
    1
    Quote Originally Posted by jzellt View Post
    Show that every line has an infinite number of points.
    How one does this proof depends on the set of definitions and axioms in play.
    We don’t know the exact statements of the one you use.
    That said, most follow some variant of Hilbert’s axioms.
    INCIDENCE AXIOM II: For every line l there exist at least two distinct points on l.

    BETWEENNESS AXIOM II: Given two distinct points A & B then there is a point C such that A*C*B. i.e. A, C & B are collinear and C is between A & B.

    With only those two axioms we can prove this theorem.
    If j is a line the there are two points on j, A & B.
    Define P_1=A~\&~P_2=B.
    The second axiom gives us P_3 such that P_1*P_3*P_2.

    If n\ge 4 we are assured of a point such that P_{n-2}*P_n* P_{n-1} .
    Last edited by Plato; May 15th 2011 at 12:54 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Modern Geometry: Taxicab Geometry Problems
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: March 30th 2009, 07:32 PM
  2. [SOLVED] Modern Geometry: Tangents to Circles
    Posted in the Geometry Forum
    Replies: 6
    Last Post: March 29th 2009, 03:53 AM
  3. Modern Geometry: Complete SsA proof.
    Posted in the Geometry Forum
    Replies: 1
    Last Post: March 20th 2009, 12:24 PM
  4. Modern Geometry: Proving Angles Congruent
    Posted in the Geometry Forum
    Replies: 2
    Last Post: February 22nd 2009, 05:27 PM
  5. Miquel point-modern geometry
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: September 21st 2008, 10:39 PM

Search Tags


/mathhelpforum @mathhelpforum