Results 1 to 2 of 2

Thread: Proof: -(-n) = n

  1. #1
    thinBasic MVPs danbaron's Avatar
    Join Date
    Jan 2010
    Location
    California
    Posts
    1,378
    Rep Power
    152

    Proof: -(-n) = n

    I'm translating what I have for the Toom-Cook multiplication algorithm from PowerBasic to Fortran.

    I previously translated it from C to PowerBasic.

    It is boring and tedious.

    So, I downloaded, and have been fooling with MathMagic.

    http://www.mathmagic.com/

    Below, is a tiny bit of abstract algebra.

    I don't know much of it.

    I do know that when students first see it, usually they don't like it.

    I think partly it is because, in it you prove things that you previously thought of as obvious.

    But, you soon find out that knowing something is true, and proving it is true, are two different things.

    Here is (most of) a proof that, for any integer, n, -(-n) = n.

    (I just saved the MathMagic file as a PNG file.)

    Last edited by danbaron; 27-10-2011 at 10:03.
    "You can't cheat an honest man. Never give a sucker an even break, or smarten up a chump." - W.C.Fields

  2. #2
    Member REDEBOLT's Avatar
    Join Date
    Dec 2006
    Location
    Pickerington, Ohio, USA
    Age
    87
    Posts
    62
    Rep Power
    24
    Very Interesting. I like math too.



    Regards,
    Bob

Similar Threads

  1. Scientific Proof: There is no afterlife!
    By danbaron in forum Science
    Replies: 7
    Last Post: 08-04-2012, 01:06

Members who have read this thread: 0

There are no members to list at the moment.

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •