Por muito tempo, pensava-se ser impossível fazer um ambiente de proof
que incluísse automaticamente um símbolo de ‘fim de demonstração’. Algumas demonstrações terminam em apresentação de matemática; outras não. Se o arquivo de entrada contiver
...\] \end{proof} , então o LaTeX finaliza a apresentação de matemática e se prepara para uma nova linha antes de ler qualquer instrução relacionada ao término da demonstração; então, o código é muito complicado. Você pode inserir o símbolo manualmente, mas a solução ‘automática’ (aparentemente) original veio com o
QED de Paul Taylor.
Atualmente, o pacote ntheorem resolve o problema para os usuários do LaTeX: ele fornece uma maneira automática de sinalizar o final de uma demonstração.
O pacote AMSLaTeX amsthm também fornece um ambiente de
proof que faz o trabalho, embora você precise inserir um comando \qedhere se a demonstração terminar com uma equação exibida:
\begin{proof}
text...
\begin{equation*}
maths... \tag*{\qedhere}
\end{equation*}
\end{proof}
A construção \tag*{\qedhere} pode ser usada em qualquer um dos ambientes de números da
AMSLaTeX.
This answer last edited: 2011-03-09
This question on the Web: http://latex.net.br/faq/FAQ-proof.html
Do you have any question? Ask on: latex.net.br - we love qood questions!