Master/texmf-dist/doc/generic/FAQ-en/html/FAQ-proof.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

<head>
<title>UK TeX FAQ -- question label proof</title>
</head><body>
<h3>Proof environment</h3>
<p/>It has long been thought impossible to make a <code>proof</code>
environment which automatically includes an &lsquo;end-of-proof&rsquo; symbol.
Some proofs end in displayed maths; others do not.  If the input file
contains

<code>...<code>\</code><code>]</code> </code><code>\</code><code>end{proof}</code> then LaTeX finishes off
the displayed maths and gets ready for a new line before it reads any
instructions connected with ending the proof, so the code is very
tricky.  You <em>can</em> insert the symbol by hand, but the
<i>ntheorem</i> package now solves the problem for LaTeX users:
it does indeed provide an automatic way of signalling the end of a
proof.
<p/>The AMSLaTeX package <i>amsthm</i> also provides a
<code>proof</code> environment that does the job; though you need to
insert a <code>\</code><code>qedhere</code> command if the proof ends with a displayed
equation:
<blockquote>
<pre>
\begin{proof}
  text...
  \begin{equation*}
    maths... \tag*{\qedhere}
  \end{equation*}
\end{proof}
</pre>
</blockquote><p>
The <code>\</code><code>tag*{<code>\</code><code>qedhere</code>}</code> construction may be used in any of
AMSLaTeX&rsquo;s numbering environments.
<dl>
<dt><tt><i>amsthm.sty</i></tt><dd>Distributed as part of the AMSLaTeX bundle
  <a href="ftp://cam.ctan.org/tex-archive/macros/latex/required/amslatex.zip">macros/latex/required/amslatex</a> (<a href="ftp://cam.ctan.org/tex-archive/macros/latex/required/amslatex.tar.gz">gzipped tar</a>, <a href="http://www.tex.ac.uk/tex-archive/macros/latex/required/amslatex/">browse</a>)
<dt><tt><i>ntheorem.sty</i></tt><dd><a href="ftp://cam.ctan.org/tex-archive/macros/latex/contrib/ntheorem.zip">macros/latex/contrib/ntheorem</a> (<a href="ftp://cam.ctan.org/tex-archive/macros/latex/contrib/ntheorem.tar.gz">gzipped tar</a>, <a href="http://www.tex.ac.uk/tex-archive/macros/latex/contrib/ntheorem/">browse</a>)
</dl>
<p/><p>This question on the Web: <a href="http://www.tex.ac.uk/cgi-bin/texfaq2html?label=proof">http://www.tex.ac.uk/cgi-bin/texfaq2html?label=proof</a>
</body>