Results 1 to 6 of 6

Math Help - Axiom proof by contradiction

  1. #1
    Junior Member
    Joined
    Jan 2009
    Posts
    68

    Axiom proof by contradiction

    Hi there, I am new to proofs and I need to choose one Euclidean axiom and demonstrate that it holds true on the Cartesian plane. The proof must be by contradiction. Any help or links to examples would be greatly appreciated.

    Thank you
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Bruno J.'s Avatar
    Joined
    Jun 2009
    From
    Canada
    Posts
    1,266
    Thanks
    1
    Awards
    1
    I'm not sure what you're asking for! The point of axioms is that you don't prove them.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    May 2010
    Posts
    98
    Hello.

    For instance you could take a look on a line l and a point p
    where p does not lay on the line. Then only one line can be drawn through p parallel to l

    Why is that? Cause any other lines through p not parallel with l will intersect with l.
    That shouldn't be too hard to see/proove..
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Apr 2005
    Posts
    16,004
    Thanks
    1660
    Quote Originally Posted by Bruno J. View Post
    I'm not sure what you're asking for! The point of axioms is that you don't prove them.
    You don't prove the axioms of Euclidean geometry in Euclidean geometry. You certainly can prove that the axioms of Euclidean geometry hold in the Cartesian plane, thus showing that the geometry of the Cartesian plane is Euclidean.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor Bruno J.'s Avatar
    Joined
    Jun 2009
    From
    Canada
    Posts
    1,266
    Thanks
    1
    Awards
    1
    Quote Originally Posted by HallsofIvy View Post
    You don't prove the axioms of Euclidean geometry in Euclidean geometry. You certainly can prove that the axioms of Euclidean geometry hold in the Cartesian plane, thus showing that the geometry of the Cartesian plane is Euclidean.
    Of course! Silly me.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    Apr 2005
    Posts
    16,004
    Thanks
    1660
    Quote Originally Posted by Zaph View Post
    Hello.

    For instance you could take a look on a line l and a point p
    where p does not lay on the line. Then only one line can be drawn through p parallel to l

    Why is that? Cause any other lines through p not parallel with l will intersect with l.
    That shouldn't be too hard to see/proove..
    Yes, it shouldn't be. But remember that you have to use "Cartesian plane" properties.

    I recommend that you write the given line as, say, ax+ by= 1 (every line in the Cartesian plane can be written that way- NOT every line can be written "y= ax+ b"), and take the point to be (x_0, y_0) such that ax_0+ by_0\ne 1. Now, suppose cx+ dy= 1 is a line through that point that does NOT intersect that line. What can you say about c and d? Well, first, what must be true of c and d so that cx_0+ by_0= 1. Now try solving for the intersection of ax+ by= 0 and that line. What would prevent you from finding a solution?

    If you wanted the easiest example, you might try showing that "given any two points, there exist exactly one line passing through both".
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Proof by contradiction.
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: August 21st 2011, 11:54 AM
  2. 1+1=2, Axiom or Proof
    Posted in the Number Theory Forum
    Replies: 10
    Last Post: August 2nd 2011, 09:34 PM
  3. Help with Proof by Contradiction
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 27th 2010, 10:33 PM
  4. [SOLVED] direct proof and proof by contradiction
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: February 27th 2010, 10:07 PM
  5. Proof by contradiction
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: March 1st 2009, 10:10 AM

Search Tags


/mathhelpforum @mathhelpforum