Teoremas e demonstrações no LaTeX com amsthm
Declare cada tipo no preâmbulo com \newtheorem{theorem}{Theorem} e depois escreva \begin{theorem} ... \end{theorem} no corpo. O ambiente proof do amsthm imprime "Proof." e termina com um pequeno quadrado.
Declarando e usando um teorema
\newtheorem{nome}{Cabeçalho} no preâmbulo cria um ambiente chamado nome cujo cabeçalho é impresso como "Cabeçalho" com um número. Carregue também o amsthm; ele fornece o ambiente proof e as declarações com asterisco.
Um teorema declarado com a sua demonstração
\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
The sum of two even numbers is even.
\end{theorem}
\begin{proof}
Let $a = 2k$ and $b = 2m$. Then $a + b = 2(k + m)$,
which is even.
\end{proof}
\end{document}
O corpo de um teorema é composto em itálico. A demonstração termina com um quadrado na margem direita.
Nomes, rótulos e referências
Um argumento opcional depois de \begin{theorem} dá um nome ao teorema, impresso entre parênteses. Coloque \label dentro do ambiente para fazer referência a ele com \ref.
Um teorema com nome, um lema e uma referência
\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{lemma}\label{lem:square}
If $n$ is odd, then $n^2$ is odd.
\end{lemma}
\begin{theorem}[Erika Mustermann, 2026]\label{thm:main}
There are infinitely many odd squares.
\end{theorem}
\begin{proof}
Use Lemma~\ref{lem:square} for every odd $n$.
\end{proof}
Theorem~\ref{thm:main} is easy to remember.
\end{document}
Vários tipos de enunciados
Declare quantos tipos precisar: teorema, lema, proposição, corolário, definição, observação, exemplo. No Scissor LaTeX, cada tipo tem o seu próprio contador.
Definição, proposição e observação
\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{definition}{Definition}
\newtheorem{proposition}{Proposition}
\newtheorem{remark}{Remark}
\begin{document}
\begin{definition}[Even number]
An integer $n$ is \emph{even} if $n = 2k$ for an integer $k$.
\end{definition}
\begin{proposition}
The number 44 is even.
\end{proposition}
\begin{remark}
Zero is even as well.
\end{remark}
\end{document}
Teoremas sem número
\newtheorem* (do amsthm) declara um tipo sem número.
Um enunciado sem número com \newtheorem*
\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem*{conjecture}{Conjecture}
\begin{document}
\begin{conjecture}
Every even number greater than 2 is the sum of two primes.
\end{conjecture}
\end{document}
Numeração e estilos
Em uma instalação do TeX, \newtheorem tem dois argumentos opcionais para a numeração, e o amsthm tem \theoremstyle. Veja o que o Scissor LaTeX faz com eles:
| Você escreve | Instalação do TeX | Scissor LaTeX |
|---|---|---|
\newtheorem{theorem}{Theorem} | Theorem 1, 2, 3 | Funciona |
\newtheorem{theorem}{Theorem}[section] | Theorem 1.1, 1.2, 2.1 | Theorem 1, 2, 3: a parte da seção é ignorada |
\newtheorem{lemma}[theorem]{Lemma} | Lemma divide o contador com theorem | Lemma tem o seu próprio contador |
\newtheorem*{remark}{Remark} | sem número | Funciona |
\theoremstyle{definition}, {remark} | corpo em letra reta | Ignorado: todo corpo fica em itálico |
\begin{proof} | "Proof." e um quadrado | Funciona |
\begin{proof}[Proof of Theorem 1] | o seu próprio cabeçalho | "Proof.": o seu cabeçalho é ignorado |
\qedhere | quadrado na última linha de uma fórmula destacada | Não suportado: essa fórmula fica em vermelho |
[section] e um contador compartilhado: cada tipo conta sozinho
\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\begin{document}
\section{Results}
\begin{lemma} A first lemma. \end{lemma}
\begin{theorem} A first theorem. \end{theorem}
\begin{lemma} A second lemma. \end{lemma}
\end{document}![Renderizado pelo Scissor LaTeX: [section] e um contador compartilhado: cada tipo conta sozinho](/app/docs/img/dbf1ee310df4.svg)
Em uma instalação do TeX, este exemplo imprime Lemma 1.1, Theorem 1.2 e Lemma 1.3. O Scissor LaTeX imprime Lemma 1, Theorem 1 e Lemma 2.
Sem \newtheorem
Muitos documentos copiados de outros lugares usam theorem, lemma ou definition sem declará-los. O Scissor LaTeX reconhece os nomes comuns mesmo assim, entre eles theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution e formas curtas como thm, lem e defn.
O que difere de uma instalação do TeX
Mais sobre o pacote na página do amsthm. O manual completo do pacote está em ctan.org/pkg/amsthm.
Veja também amsthm, Referências cruzadas e cleveref.
Perguntas e respostas
Como eu defino um ambiente de teorema no LaTeX?
Escreva \newtheorem{theorem}{Theorem} no preâmbulo, com \usepackage{amsthm}. Depois use \begin{theorem} ... \end{theorem}.
Como eu ponho o quadrado de QED no fim de uma demonstração?
Use o ambiente proof do amsthm. O quadrado é acrescentado automaticamente no fim.
Como eu numero lemas e teoremas juntos?
Em uma instalação do TeX, escreva \newtheorem{lemma}[theorem]{Lemma}. O Scissor LaTeX ainda não compartilha contadores, então aqui lemas e teoremas são numerados separadamente.
Cada exemplo desta página é composto pelo Scissor LaTeX quando o site é gerado. Última atualização: 2026-11-07.