Child pages
  • A "Proof of" environment
Skip to end of metadata
Go to start of metadata

When I have a long proof in a paper that I want to push to another section, I want a theorem-style environment that produces "Proof of ..." and drops a QED symbol at the end. One way to do this is to use amsthm to declare proof environments. Write

in the preamble, and use the thm environment for the theorem, and then proof1 for the proof, and be sure to put \qed at the end of the proof.

If you have a lot of proofs, this is tedious, and the QED symbol at the end is not perfect, particularly when you are ending the proof with a displayed equation and want to use \qedhere. Here is a bit of a hack which does everything we need. The entire example:

As usual, this is too complex for the wiki to parse, but it produces Fermat's last theorem, followed by a definition-style "Proof of Theorem 1", the proof, and then a QED symbol. And you can use \qedhere just as you would in the amsthm proof environment.

 

  • No labels