Results 1 to 2 of 2

Math Help - Geometry - Rays, logical statement

  1. #1
    Newbie
    Joined
    Sep 2008
    Posts
    4

    Geometry - Rays, logical statement

    Show that, given a ray AB, there is a coordinate system f on the line AB such that: ray AB = {P|f(P) >= 0}.


    Here is what I have:

    By definition ray AB is the union of the segment AB and the set of all points C such that A-B-C. Now, let L be a line and let P and Q be points on L. Let f be any coordinate system for L. Then let a=f(P) and for each point T of L, let g(t)=f(t)-a. Then this means that f is a coordinate system for L, and f(p)>=0. Therefore ray AB = {P|f(p)>=0}.

    How is this? Is there any way that I can improve it?


    Thanks for the help.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,957
    Thanks
    1780
    Awards
    1
    Quote Originally Posted by mathprincess88 View Post
    Show that, given a ray AB, there is a coordinate system f on the line AB such that: ray AB = {P|f(P) >= 0}.
    How is this? Is there any way that I can improve it?
    Any answer depends on how strong your Ruler Postulate is and upon the sequence of betweenness theorems.
    And we do not know the answer to that.

    In general here is a outline of a proof.
    Suppose f is a coordinate system on line AB.
    So f(A) is the coordinate of point A.
    If f(B)-f(A)>0 then define g(x)=f(x)-f(A) otherwise define g(x)=f(A)-f(x).
    By use of the betweenness theorems the result should follow.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 0
    Last Post: December 1st 2010, 03:51 AM
  2. Logical statement translation?
    Posted in the Discrete Math Forum
    Replies: 13
    Last Post: October 30th 2010, 02:08 PM
  3. Independent statement of incidence geometry axioms
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: February 4th 2010, 10:54 AM
  4. Replies: 3
    Last Post: January 21st 2010, 08:45 AM
  5. convert statement to logical connectives
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: September 22nd 2008, 01:21 PM

Search Tags


/mathhelpforum @mathhelpforum