blob: 5c79f00b1cb0cc7395c181b826f6337e0c0f82d7 (
plain)
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 'end-of-proof' 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>
The <code>\</code><code>tag*{<code>\</code><code>qedhere</code>}</code> construction may be used in any of
AMSLaTeX'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</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>
|
