Go Back   TestMagic Forums > Freestyle forum > Lounge
Register Forum Rules FAQ Members List Calendar Search Today's Posts Mark Forums Read

Reply
 
LinkBack Thread Tools Search this Thread Display Modes
Old 2008 March 8th, 10:38 AM   #1 (permalink)
only Loeb spaces!

Moderator
 
reactor's Avatar
 
Join Date: Dec 2004
Posts: 2,078
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.
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)
_ _ _ _ SIG _ _ _ _
"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

Last edited by reactor : 2008 November 3rd at 12:25 AM.
reactor is offline  
Digg this Post!Add Post to del.icio.usBookmark Post in TechnoratiFurl this Post!Google Bookmark this Post!Reddit!
Reply With Quote
Old 2008 March 8th, 02:24 PM   #2 (permalink)
TestMagic Guru-in-Training
 
Join Date: Aug 2006
Location: Midwest US
Posts: 691
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.
What about quite easily done?
_ _ _ _ SIG _ _ _ _
University of Wisconsin-Madison--Leaving with a master's degree
TruDog is offline  
Digg this Post!Add Post to del.icio.usBookmark Post in TechnoratiFurl this Post!Google Bookmark this Post!Reddit!
Reply With Quote
Old 2008 March 8th, 03:13 PM   #3 (permalink)
TestMagic Guru
 
asianeconomist's Avatar
 
Join Date: Jul 2007
Location: Cambridge, UK
Posts: 1,316
asianeconomist is a TestMagic guru. Show your respect!asianeconomist is a TestMagic guru. Show your respect!
Quote:
Originally Posted by TruDog View Post
What about quite easily done?
Is that the jocular version of "quod erat demonstrandum".
_ _ _ _ SIG _ _ _ _
The Pens have been lifted and the Pages have dried. - recorded by At Tirmidhee.
asianeconomist is offline  
Digg this Post!Add Post to del.icio.usBookmark Post in TechnoratiFurl this Post!Google Bookmark this Post!Reddit!
Reply With Quote
Old 2008 March 8th, 03:18 PM   #4 (permalink)
only Loeb spaces!

Moderator
 
reactor's Avatar
 
Join Date: Dec 2004
Posts: 2,078
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.
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).
_ _ _ _ SIG _ _ _ _
"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
reactor is offline  
Digg this Post!Add Post to del.icio.usBookmark Post in TechnoratiFurl this Post!Google Bookmark this Post!Reddit!
Reply With Quote
Old 2008 March 8th, 03:20 PM   #5 (permalink)
only Loeb spaces!

Moderator
 
reactor's Avatar
 
Join Date: Dec 2004
Posts: 2,078
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.
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.
_ _ _ _ SIG _ _ _ _
"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
reactor is offline  
Digg this Post!Add Post to del.icio.usBookmark Post in TechnoratiFurl this Post!Google Bookmark this Post!Reddit!
Reply With Quote
Old 2008 March 10th, 05:40 PM   #6 (permalink)
TestMagic Outlier
 
buckykatt's Avatar
 
Join Date: May 2007
Location: US
Posts: 1,169
buckykatt is a TestMagic guru. Show your respect!buckykatt is a TestMagic guru. Show your respect!
We can also "assume without loss of generality" or "to exclude trivial cases assume"... That's only a little lazy, though, I guess.
_ _ _ _ SIG _ _ _ _
Accepted: UConn ($$)
WTF?: UWash, GMU
No News=Bad News: Cornell, UIUC
Rejected: Caltech, Rochester, JHU, WUSTL, Iowa State, SUNY Stony Brook, UMich, Brown
buckykatt is offline  
Digg this Post!Add Post to del.icio.usBookmark Post in TechnoratiFurl this Post!Google Bookmark this Post!Reddit!
Reply With Quote
Old 2008 March 17th, 06:15 PM   #7 (permalink)
TestMagic Outlier
 
buckykatt's Avatar
 
Join Date: May 2007
Location: US
Posts: 1,169
buckykatt is a TestMagic guru. Show your respect!buckykatt is a TestMagic guru. Show your respect!
I thought of another half-lazy one: "For specificity assume..." (e.g., if proving something about a monotonic function, assume that it is increasing)
_ _ _ _ SIG _ _ _ _
Accepted: UConn ($$)
WTF?: UWash, GMU
No News=Bad News: Cornell, UIUC
Rejected: Caltech, Rochester, JHU, WUSTL, Iowa State, SUNY Stony Brook, UMich, Brown
buckykatt is offline  
Digg this Post!Add Post to del.icio.usBookmark Post in TechnoratiFurl this Post!Google Bookmark this Post!Reddit!
Reply With Quote
Old 2008 March 19th, 06:51 AM   #8 (permalink)
Eager!
 
wolf87's Avatar
 
Join Date: May 2006
Location: Boston, MA
Posts: 57
wolf87 's dreams are becoming reality.
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.
wolf87 is offline  
Digg this Post!Add Post to del.icio.usBookmark Post in TechnoratiFurl this Post!Google Bookmark this Post!Reddit!
Reply With Quote
Old 2008 March 19th, 09:50 PM   #9 (permalink)
Within my grasp!
 
Oikos-nomos's Avatar
 
Join Date: Sep 2007
Posts: 173
Oikos-nomos radiates success.
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...
Oikos-nomos is offline  
Digg this Post!Add Post to del.icio.usBookmark Post in TechnoratiFurl this Post!Google Bookmark this Post!Reddit!
Reply With Quote
Old 2008 April 20th, 10:46 AM   #10 (permalink)
At Wisconsin-Madison
 
Join Date: Sep 2006
Posts: 166
EconCandidate radiates success.
10) Clearly ....(whatever they wanted to prove)
11) It can be shown that ....(yes, but not by me)
_ _ _ _ SIG _ _ _ _
Currently at Wisconsin-Madison
EconCandidate is offline  
Digg this Post!Add Post to del.icio.usBookmark Post in TechnoratiFurl this Post!Google Bookmark this Post!Reddit!
Reply With Quote
Reply


Thread Tools Search this Thread
Search this Thread:

Advanced Search
Display Modes

What you can do
You cannot post new threads
You cannot post replies
You cannot post attachments
You cannot edit your posts

vB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are On


All times are GMT. The time now is 01:32 PM.

Contact TestMagic   TestMagic Forums      Archive   Privacy Statement

TestMagic Locations   Legal   Privacy


SEO by vBSEO 3.2.0
Copyright © 2009 TestMagic
Ad Management by RedTyger

Scroll Up