I Standard way of expressing 'no proof given'?

  • I
  • Thread starter Thread starter Jehannum
  • Start date Start date
  • Tags Tags
    Proof Standard
Jehannum
Messages
102
Reaction score
26
In a proof of a theorem or in mathematical writing generally, if there is a statement of a sub-theorem, does a proof always need to be given if 'obvious' or if obtained by inspection? Is there a way of saying "I got this by trying some numbers in a calculator and the pattern was clear"?

The motivations are brevity, clarity and keeping to the main point.
 
Mathematics news on Phys.org
Jehannum said:
In a proof of a theorem or in mathematical writing generally, if there is a statement of a sub-theorem, does a proof always need to be given if 'obvious' or if obtained by inspection? Is there a way of saying "I got this by trying some numbers in a calculator and the pattern was clear"?
That wouldn't be a proof. For example, you cannot prove the Colaltz Conjecture just be trying a few starting numbers:

https://en.wikipedia.org/wiki/Collatz_conjecture

Or, more famously, Fermat's last theorem.
 
  • Like
Likes mfb
You can find "it is obvious that..." but make sure it's really obvious. Looking at a few examples isn't enough.
 
mfb said:
You can find "it is obvious that..." but make sure it's really obvious. Looking at a few examples isn't enough.
There is the old joke about the mathematics professor who goes to the blackboard writes down a few equations, and says "it is obvious that...". Then he pauses, scribbles furiously for twenty minutes and finally continues "yes, it is indeed obvious".
 
  • Like
  • Informative
Likes Janosh89, Paul Colby, mfb and 1 other person
I had a calculus instructor years ago who had these pat phrases:
"The proof is obvious to the most casual observer."
"Even my own mother could do this integral."
 
Mark44 said:
I had a calculus instructor years ago who had these pat phrases:
"The proof is obvious to the most casual observer."
"Even my own mother could do this integral."
Hopefully, that sort of casual sexism is a thing of the past!
 
  • Like
Likes weirdoguy and berkeman
This was in the age before rampant PC... To be honest, my mother was not able to do those integrals.
 
  • Like
  • Haha
Likes MidgetDwarf, WWGD and PeroK
Mark44 said:
This was in the age before rampant PC... To be honest, my mother was not able to do those integrals.
Nor is mine. But, the last time I visited her she was translating Immensee by Theodor Storm from a German edition written in gothic script!
 
Last edited:
  • Like
  • Love
Likes jim mcnamara and pbuk
Jehannum said:
Is there a way of saying "I got this by trying some numbers in a calculator and the pattern was clear"?
Yes, if you have tried this 100 times you could say that "the table in Appendix A shows 100 (biased) sample inputs and the corresponding results; from these results the following relation was hypothesised" however this doesn't have anything to do with proof.
 
Last edited:
  • Like
Likes mfb
  • #10
We had a freakishly smart grad student grader once. The joke we told was that if you got lost in a proof just say ”trivially.” The grader would get to the comment, think a moment, say “yes, that is trivial” and give you credit.
 
Last edited:
  • Haha
Likes MidgetDwarf
  • #11
Jehannum said:
In a proof of a theorem or in mathematical writing generally, if there is a statement of a sub-theorem, does a proof always need to be given if 'obvious' or if obtained by inspection? Is there a way of saying "I got this by trying some numbers in a calculator and the pattern was clear"?

The motivations are brevity, clarity and keeping to the main point.

"By inspection, [...] is a solution" is always acceptable; the reader can easily check it, but it leaves open the possibility that there might be other solutions you didn't give.

"By induction we find that ..." is also acceptable, but don't bother giving the specific examples you looked at to deduce the general pattern. Again, the reader can easily check that the base case holds and verify the inductive step if it really is "obvious". Your reviewers will tell you if it isn't.
 
  • Like
Likes Jehannum
  • #12
jbriggs444 said:
There is the old joke about the mathematics professor who goes to the blackboard writes down a few equations, and says "it is obvious that...". Then he pauses, scribbles furiously for twenty minutes and finally continues "yes, it is indeed obvious".
I read that Euler used to write "it is obvious that ..." for stuff that took him months of labour.
 

Similar threads

2
Replies
78
Views
6K
Replies
1
Views
2K
Replies
1
Views
2K
Replies
55
Views
5K
Replies
8
Views
2K
Back
Top