+ Reply to Thread
Page 1 of 2
1 2 LastLast
Results 1 to 10 of 14

Thread: How to write a lazy proof (in mathematics)

  1. #1
    only Loeb spaces!
    Moderator
    reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor's Avatar
    Join Date
    Dec 2004
    Posts
    2,077
    Rep Power
    20

    How to write a lazy proof (in mathematics)

    You too can write a lazy proof! Just use at least one of the following phrases in a key point of your proof.
    For an ultra-lazy proof use one of the phrases with an asterisk.

    1) It is easy to see that...
    2) Obviously...
    3) Immediate. *
    4) ...and the result follows.
    5) As a result, we find that...
    6) One easily verifies that...
    7) The proof is left to the reader. *
    8) The proof is left as an exercise.*
    9) ....and the X theorem completes the proof.
    10) Clearly...
    11) It can be shown that...
    12) Trivially...
    13) The proof is standard.
    14) ...the rest of the proof follows the same line.
    15) ...by a trivial argument...

    Any additions are welcome!
    (but you have to have actually seen the phrase used in a book or a lecturer's notes)
    Last edited by reactor; 11-02-2008 at 11:25 PM.
    "It's easy to have faith in yourself and have discipline when you're a winner, when you're number one. What you've got to have is faith and discipline when you're not yet a winner." Vince Lombardi

    How to write a lazy proof

    Teaching yourself how to prove

  2. #2
    TestMagic Guru-in-Training TruDog is a member of the TestMagic inner circle. TruDog is a member of the TestMagic inner circle. TruDog is a member of the TestMagic inner circle.
    Join Date
    Aug 2006
    Location
    Midwest US
    Posts
    680
    Rep Power
    9
    What about quite easily done?
    University of Wisconsin-Madison--Leaving with a master's degree

  3. #3
    An Urch Guru Pundit Swami Sage asianeconomist is a TestMagic guru. Show your respect! asianeconomist is a TestMagic guru. Show your respect! asianeconomist's Avatar
    Join Date
    Jul 2007
    Location
    Cambridge, UK
    Posts
    1,267
    Rep Power
    10
    Quote Originally Posted by TruDog View Post
    What about quite easily done?
    Is that the jocular version of "quod erat demonstrandum".
    The Pens have been lifted and the Pages have dried. - recorded by At Tirmidhee.

  4. #4
    only Loeb spaces!
    Moderator
    reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor's Avatar
    Join Date
    Dec 2004
    Posts
    2,077
    Rep Power
    20
    Quote Originally Posted by TruDog View Post
    What about quite easily done?
    Sounds good and I think that some of my lecturers use it often but I have not seen it written (yet).
    "It's easy to have faith in yourself and have discipline when you're a winner, when you're number one. What you've got to have is faith and discipline when you're not yet a winner." Vince Lombardi

    How to write a lazy proof

    Teaching yourself how to prove

  5. #5
    only Loeb spaces!
    Moderator
    reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor is served tea by TestMagic Inner Circle initiates. reactor's Avatar
    Join Date
    Dec 2004
    Posts
    2,077
    Rep Power
    20
    Quote Originally Posted by asianeconomist View Post
    Is that the jocular version of "quod erat demonstrandum".
    nope. quod erat demonstrandum stands for "which was to be shown" and concludes a proof without making it less clear.
    "It's easy to have faith in yourself and have discipline when you're a winner, when you're number one. What you've got to have is faith and discipline when you're not yet a winner." Vince Lombardi

    How to write a lazy proof

    Teaching yourself how to prove

  6. #6
    TestMagic Outlier buckykatt is a TestMagic guru. Show your respect! buckykatt is a TestMagic guru. Show your respect! buckykatt's Avatar
    Join Date
    May 2007
    Location
    US
    Posts
    1,186
    Rep Power
    9
    We can also "assume without loss of generality" or "to exclude trivial cases assume"... That's only a little lazy, though, I guess.
    Attending: UConn

  7. #7
    TestMagic Outlier buckykatt is a TestMagic guru. Show your respect! buckykatt is a TestMagic guru. Show your respect! buckykatt's Avatar
    Join Date
    May 2007
    Location
    US
    Posts
    1,186
    Rep Power
    9
    I thought of another half-lazy one: "For specificity assume..." (e.g., if proving something about a monotonic function, assume that it is increasing)
    Attending: UConn

  8. #8
    Eager! wolf87 's dreams are becoming reality. wolf87's Avatar
    Join Date
    May 2006
    Location
    Boston, MA
    Posts
    57
    Rep Power
    5
    4 & 5 are my favorites, along with "WLOG, take ... . All other cases are trivial/analogous."
    You also have to love the technique, especially common in Rudin, of citing 10+ numbered theorems in a sentence or two, writing one or two expressions, and stating that the desired consequence follows easily.

  9. #9
    Within my grasp! Oikos-nomos radiates success.
    Join Date
    Sep 2007
    Posts
    115
    Rep Power
    3
    A good one that i hate is "...and with some simple algebraic manipulations we have..." , it usually means that you have to write half proof by yourself...

  10. #10
    At Wisconsin-Madison EconCandidate radiates success.
    Join Date
    Sep 2006
    Posts
    166
    Rep Power
    4
    10) Clearly ....(whatever they wanted to prove)
    11) It can be shown that ....(yes, but not by me)
    Currently at Wisconsin-Madison

+ Reply to Thread
Page 1 of 2
1 2 LastLast

Thread Information

Users Browsing this Thread

There are currently 1 users browsing this thread. (0 members and 1 guests)

     

Similar Threads

  1. Lazy and no motivation
    By vasoolraja in forum GRE
    Replies: 8
    Last Post: 09-26-2008, 09:07 AM
  2. Replies: 6
    Last Post: 07-27-2008, 09:50 AM
  3. CR - literate and lazy
    By vinscorpion in forum GMAT Critical Reasoning
    Replies: 8
    Last Post: 07-17-2008, 04:20 PM
  4. Replies: 4
    Last Post: 04-30-2008, 06:34 PM
  5. Replies: 1
    Last Post: 07-01-2005, 11:11 PM

Bookmarks

What you can do

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

SEO by vBSEO 3.5.0 RC2