Latex/Teoremas

Queremos dizer com "teorema" qualquer tipo de enunciado cuja apresentação seja feita de forma destacada do restante do texto e com numeração sequencial própria. Essa abordagem é comumente utilizada para teoremas matemáticos, mas pode ser usada para qualquer coisa. LaTeX provê um comando que permitirá facilmente a definição de qualquer enunciado de teoremas.

Básico

Primeiramente, esteja certo que você tem o pacote amsthm habilitado:

\usepackage{amsthm}

O modo mais fácil é o seguinte:

\newtheorem{name}{Saída impressa}

coloque isso no preâmbulo. O primeiro argumento é o nome que você usará como se referenciar a ele, o segundo argumento é a saída LaTeX que será impressa onde usar esse teorema. Por exemplo:

\newtheorem{mydef}{Definicão}

definirá o ambiente mydef; se você usar dessa forma:

\begin{mydef}
Aqui é uma nova definição
\end{mydef}

Aparecerá dessa maneira:

Definição 3 Aqui é uma nova definição

com a quebra de linha separando isso do restante do texto.

Enumeração

Frequentemente as enumerações (counters) são determinadas por seção, por exemplo "Teorema 2.3" refere-se ao terceiro teorema na segunda seção do documento. Nesse caso, especifique o teorema da seguinte forma:

\newtheorem{name}{Saída impressa}[numberby]

onde numberby é o nome do nível da seção (seção/subseção/etc.) onde a enumeração será dada.

Por padrão, cada teorema usa sua própria enumeração. Entretanto é comum para tipos similares de teoremas (e.g. Teoremas, Lemas and Corolários) compartilharem a mesma enumeração. Nesse caso, defina o teorema subsequente como:

\newtheorem{name}[counter]{Saída impressa}

onde counter é o nome da enumeração a ser usada. Geralmente será o nome do teorema geral.

O comando \newtheorem pode ter no máximo um argumento opcional.

Você também pode criar um ambiente de teorema que não é enumerado usando o comando newtheorem* . Por exemplo,

\newtheorem*{mydef}{Definição}

define o ambiente mydef, que irá gerar definições sem enumerações. Isso requer o pacoteamsthm.

Provas

O ambiente proof pode ser usado para adicionar prova de um teorema. O uso básico é:

\begin{proof}
Aqui vai minha prova
\end{proof}

Isso apenas adiciona Proof em itálico no início do texto dado como argumento e um quadrado branco no final do argumento (símbolo Q.E.D., também conhecido como tombstone). Se você está escrevendo em outra linguagem diferente do Inglês, deve usar babel com o argumento correto e a palavra Proof impressa será traduzida de acordo com idioma; de qualquer forma, o nome do ambiente no arquivo-fonte se mantém como proof.

Se você gostaria de manualmente nomear a prova, inclua o nome entre colchetes:

\begin{proof}[Prova de um teorema importante]
Aqui vai a prova muito importante
\end{proof}

Se a última linha da prova é mostrada algum termo matemático então o símbolo Q.E.D. aparecerá na linha vazia subsequente. Para colocar o símbolo Q.E.D. no final da mesma linha, use o comando \qedhere:

\begin{proof}
Aqui minha prova:
\[
a^2 + b^2 = c^2 \qedhere
\]
\end{proof}

O método acima não funciona com o ambiente depreciado eqnarray*. Nesse caso use align*.

Para usar um símbolo Q.E.D. personalizado, redefina o comando \qedsymbol. Para esconder completamente o símbolo Q.E.D., redefina ele para ser branco:

\renewcommand{\qedsymbol}{}

Estilos

Isso adiciona a possibilidade de alterar a saída dos ambientes definidos por \newtheorem usando o comando \theoremstyle no cabeçalho:

\theoremstyle{stylename}

o argumento é o estilo que você deseja usar. Todos os teoremas subsequentemente definidos usarão esse estilo. Aqui está uma lista de possíveis estilos pré-definidos:

stylename	Description	Appearance
plain	Usado para teoremas, lemas, proposições, etc. (default)	Teorema 1. Texto do teorema.
definition	Usado para definições e exemplos	Definição 2. Texto com definição.
remark	Usado para observações e notas	Nota 3. Text com nota.

Estilos customizados

Para definir seu próprio estilo, use o comando \newtheoremstyle :

\newtheoremstyle{stylename}% nome do estilo utilizado
  {spaceabove}% medida do espaço acima do teorema. Ex.: 3pt
  {spacebelow}% medida do espaço abaixo do teorema. Ex.: 3pt
  {bodyfont}% nome da fonte a ser usada no corpo do teorema 
  {indent}% medida do espaço para identar
  {headfont}% nome da fonte do título
  {headpunctuation}% pontuação entre o título e o corpo do teorema
  {headspace}% espaço após o título; " " =  espaço normal entre palavras
  {headspec}% Manualmente especifica o título

(Quaisquer argumentos que são deixados em branco serão assumidos com seus valores padrão). Aqui está um exemplo headspec:

\thmname{#1}\thmnumber{ #2}:\thmnote{ #3}

que se parecerá algo como:
Definition 2: Topologia
para o seguinte:

\begin{definition}[Topology]...

(O argumento de nota, que nesse caso é Topologia, é sempre opcional, mas não aparecerá por padrão a não ser que você especifique isso como no head spec acima).

Conflitos

O ambiente do teorema conflita com outros ambientes, por exemplo wrapfigure. Uma maneira de contornar isso é redefinir o teorema, por exemplo da seguinte maneira:

% Fix latex
\def\smallskip{\vskip\smallskipamount}
\def\medskip{\vskip\medskipamount}
\def\bigskip{\vskip\bigskipamount}

% Teorema
\newcounter{thm}[section]
\renewcommand{\thethm}{\thesection.\arabic{thm}}
\def\claim#1{\par\medskip\noindent\refstepcounter{thm}\hbox{\bf \arabic{chapter}.\arabic{section}.\arabic{thm}. #1.}
\it\ %\ignora espaços
}
\def\endclaim{
\par\medskip}
\newenvironment{thm}{\claim}{\endclaim}

Nesse caso o teorema se parecerá como isso:

\begin{thm}{Claim}\label{lyt-prob} 
A apresentação do teorema.
Após as modificações.
\end{thm}

Links externos

• Documentação amsthm

Predefinição:LaTeX/Bottom