28

I'm writing a mathematical paper. In it, I use a lemma. The lemma is not hard to prove and I have verified it myself. The proof is too tedious to include in the paper, so I want to just include a citation. I found a paper that includes the result. However, that paper does not actually include a proof. I cannot find any other place where this lemma appears.

I see three options:

  1. State the lemma without proof or citation.

  2. State the lemma without proof, but cite the paper (that states the lemma without proof or citation).

  3. Provide a proof of the lemma.

Which is most appropriate? Option 1 is easiest, but might annoy some readers who don't believe me. Option 2 seems like a cop out. Option 3 is safest, but I don't think it's necessary, as the proof is really just a long and boring calculation.

ADDED: To be clear, the lemma is basically an integral. The proof consists of splitting up the domain of integration to remove absolute values, evaluating each of the parts (easy enough for symbolic integration packages like mathematica), and then joining them back up. This is "obvious", but messy because the expressions are quite long. My writeup is two pages.

Maybe a better way to phrase my question: The result is trivial -- I think so, the authors of the other paper think so, and the journal they published in thinks so. Should I still provide a citation? Is it misleading to cite the other paper without clarifying that it doesn't provide a proof?

  • 1
    Given the minutiae, perhaps it would be prudent to have a footnote regarding the details of citation or lack thereof. – Frank FYC Sep 20 '17 at 3:51
  • 6
    "If only I had the theorems! Then I should find the proofs easily enough." -Riemann . If someone states a lemma/theorem/conjecture you use (even if you reinvented it), you need to cite the source regardless if there is a proof or not. If you easily found a proof, then you should probably be convinced (as long as the original paper acted like it was a fact) that the original writer also knew a proof. Saying that if you use something and the proof isn't widely available, you are probably doing a disservice to the reader to not include it(unless you can show the reader how to reproduce a proof). – PVAL Sep 20 '17 at 4:05
  • 3
    If not for providing evidence, you should at least provide a proof for making the life of your readers easier. However, you have multiple options if you don't want to include it in the main part of your paper. – koalo Sep 20 '17 at 6:36
  • 1
    If the proof is not in the paper, then maybe the author have discovered a truly remarkable proof of this theorem which this margin is too small to contain. – polfosol Sep 20 '17 at 10:03
  • 2
    Chemical papers often make use of Supporting Information for these very things: parts the main paper builds on but too irrelevant to be included in it. – Jan Sep 20 '17 at 13:18
44

Citing the other paper seems necessary in any case, as they have stated the lemma before you. This is for attribution. Citing the other paper for evidence seems not appropriate, as there is no proof given there.

If the lemma is not rather obvious (say the obvious proof strategy works in < 5min), then stating it without proof would be very bad form. Put in an appendix if you don't want a boring lengthy proof to spoil the otherwise elegant paper, but put it somewhere people can find it.

  • 6
    The obvious retort is "If they can state it without proof, then why can't I?" – user80085 Sep 19 '17 at 22:37
  • 30
    Well, if they had written down the proof as they should have, you wouldnt have this problem now, right? – Arno Sep 19 '17 at 22:54
  • 18
    Peer review means very little - and if there is no proof for that lemma in the paper, the reviewers cant have checked the proof (of course they could have derived a proof themselves, but how many more peole are supposed to do that?). – Arno Sep 19 '17 at 23:00
  • 8
    Agree with Arno. I don't see any disadvantage in including the proof. This is the only professional solution here: prove it and cite the lemma. I would also add a note "X stated the lemma without a proof, and thus we shall prove it here", which will sound slightly critical of the original authors, as it should be. It seems user80085 believes too much in the system, no offense, as if the fact that a paper passed peer-review means every aspect of the paper is justified. It's obviously not. – Dilworth Sep 19 '17 at 23:30
  • 11
    Given that two people have now used this lemma, I think a proof is worth presenting even if it is "trivial". You can send in your writeup (which you say you already have) as an appendix with this paper, and if the reviewers also feel it doesn't belong in this paper, post it as a short paper in arXiv/etc. so the third user of this lemma won't face your problem. – Jeffrey Bosboom Sep 20 '17 at 0:55
17

If the result is basically trivial (as you say it is), I think how you proceed should consider how standard this type of result would be in the field.

You could put something like:

The following result can be established by standard (but tedious) computation.

if it's the sort of thing you could expect an early graduate student in the field to do as a homework question, or

The following result, which is stated by (Author) in [(paper)], can be established by standard (but tedious) computation.

otherwise.

  • 2
    The amount of discussion and contemplation on whether to prove "trivial lemmas" already shows why any professional mathematician should include the proof of these "trivialities", and redeem us from such discussions. Indeed, if it's so trivial, why not just prove it and finish with it? – Dilworth Sep 21 '17 at 22:51
  • 1
    @Dilworth I don't really agree. I don't think citing something trivial is actually a good thing. If it's trivial, the person who wrote it down doesn't really own it in the same way as a non-trivial result. Also, it's not obvious where you would look for a trivial result, as it could appear in papers on a range of topics. Moreover, often if the result is trivial there is not just one version of it. I think whether you include a proof of the exact variant needed for your paper will depend on how crucial the tiny details are to you. – Jessica B Sep 22 '17 at 5:39
  • @Dilworth On the other hand, a useful thing a mathematician could do in such circumstances is write a textbook that includes a proof. But of course the incentive to do so it lower. Alternatively, I like the idea of papers in electronic form where most of the detail is initially hidden and you can expand out more layers as you wish. Then the proof could be included for those that want to read it, without getting in the way for those who don't. – Jessica B Sep 22 '17 at 5:42
  • 1
    Don't say "by standard techniques" say which standard techniques you're using! – Noah Snyder Sep 22 '17 at 13:19
  • 1
    @JessicaB, I was not talking about citation indeed. I was talking about proving what you actually state is true. Papers are written not just to inform us of new results, but to validate and establish true statements. Working out tedious details to yield important results is a contribution by itself. – Dilworth Sep 23 '17 at 22:40
10

Just say you have discovered a truly marvelous proof for it that won't fit in the confines of your paper's length restrictions. ;)

No one will mind, right? They can always work out the proof that you had in mind....


I recommend including a proof in the appendix, if none has previously been published.


A proof without proof is just a statement. If you feel you shouldn't just state something without any proof at all, then don't state "there is a proof" without any proof of that statement.

The historical example I've alluded to is a good illustration of the problems that can arise from the unproven assertion, "I have a proof for this."

  • 1
    This is just a joke, followed by a repetition of a suggestion that had already been posted when this answer was written. – David Richerby Sep 21 '17 at 10:10
  • @DavidRicherby the joke has a point, though. If you think about the parallel I've drawn, you will gain your own insight into the perils of asserting the existence of a proof without...well, without proof. (Edit: I've made this more explicit in my answer.) – Wildcard Sep 21 '17 at 10:34
6

Cite the paper when you state the lemma. Then write:

\begin{proof} Split up the domain of integration to remove absolute values, then evaluate each of the parts. \end{proof}

It's a waste of everyone's time to have two pages of a calculus exercise. But it's also a waste of everyone's time to have to guess how the proof goes. The above is the best compromise that makes it clear how the proof goes in the least amount of time.

If the proof were one paragraph instead of two pages then I'd say include it all.

  • This was my thought also, although perhaps with slightly more explanation if some tricky manipulations are involved (but the OP's description suggests this is not the case), and perhaps also state the result of the evaluation for each of the parts. In addition, I think it would be useful cite the other reference at the beginning and say something to the effect that you (the OP) have confirmed the result stated in [XX] by using the following method, and then give the brief explanation. – Dave L Renfro Sep 22 '17 at 17:31
  • Yeah, I don't know the actual calculation. Perhaps another sentence or two would be in order like: "for the third part we use integration by parts with u=blah and dv=blah." But at any rate it seems clear that two pages is too much, but zero sentences is too little. – Noah Snyder Sep 22 '17 at 20:19
0

I suggest not including the proof in your paper.

If you need to, cite the other paper which states the lemma Then, since you have determined that the proof is "obvious", simply state that.

For example;

  • "Lemma 2 is stated without proof by Bloggs (2007). The proof is trivial and not included here" [The wording "and not included here" is optional, since you won't provide a proof];
  • (If you want to provide some pointer on how to start the proof) "Lemma 2 is stated without proof by Bloggs (2007). If one starts by splitting up the domain of integration to remove absolute values, the proof is trivial."

Any competent mathematician will understand your point, since it is fairly common practice in mathematical journals.

If they so desire, the reader will be able to derive the lemma on their own. In fact, some mathematicians will enjoy doing exactly that as an exercise - why deprive them of that enjoyment?

  • 1
    "Any competent mathematician will understand your point". And what about those who are incompetent mathematicians? Students for instance? – Dilworth Sep 21 '17 at 22:48
  • 1
    A mathematical paper is normally written for a target audience of mathematicians - or, at least, people with an interest and appreciation of mathematics. It is not necessary to assume a completely uninformed reader, nor is it necessary to spoon-feed the reader. – Peter Sep 22 '17 at 9:07
  • 2
    I was talking about mathematicians as well. Many mathematicians are "incompetent" in many aspects of mathematics, as they are only human. Writing papers assuming a priori that everyone obviously knows the basics of "Semi-periodic-C*-elimination-theory" is simply bad writing. – Dilworth Sep 23 '17 at 22:32
  • The OP described a pretty simple proof based on elementary calculus, not a proof relying on obscure theory that will only be understood by a small number of mathematicians. – Peter Sep 23 '17 at 22:40
  • 1
    to be fair, the OP added this explanation on the actual proof he refers to, only after the discussion here took place. – Dilworth Sep 23 '17 at 22:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.