Teoremas y demostraciones en LaTeX con amsthm

Declara cada tipo en el preámbulo con \newtheorem{theorem}{Theorem} y luego escribe \begin{theorem} ... \end{theorem} en el cuerpo. El entorno proof de amsthm imprime «Proof.» y termina con un pequeño cuadrado.

Declarar y usar un teorema

\newtheorem{name}{Heading} en el preámbulo crea un entorno llamado name cuyo encabezado se imprime como «Heading» con un número. Carga también amsthm; proporciona el entorno proof y las declaraciones con asterisco.

Un teorema declarado con su demostración

LaTeXCopiarAbrir en el editor (se abre en una pestaña nueva)

\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}

El cuerpo de un teorema se escribe en cursiva. La demostración termina con un cuadrado en el margen derecho.

Nombres, etiquetas y referencias

Un argumento opcional después de \begin{theorem} da un nombre al teorema, que se imprime entre paréntesis. Pon \label dentro del entorno para referirte a él con \ref.

Un teorema con nombre, un lema y una referencia

LaTeXCopiarAbrir en el editor (se abre en una pestaña nueva)

\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}

Varios tipos de enunciados

Declara tantos tipos como necesites: teorema, lema, proposición, corolario, definición, observación, ejemplo. En Scissor LaTeX, cada tipo tiene su propio contador.

Definición, proposición y observación

LaTeXCopiarAbrir en el editor (se abre en una pestaña nueva)

\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 sin numerar

\newtheorem* (de amsthm) declara un tipo sin número.

Un enunciado sin numerar con \newtheorem*

LaTeXCopiarAbrir en el editor (se abre en una pestaña nueva)

\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}

Numeración y estilos

En una instalación de TeX, \newtheorem tiene dos argumentos opcionales para la numeración, y amsthm tiene \theoremstyle. Esto es lo que hace Scissor LaTeX con ellos:

[section] y un contador compartido: cada tipo cuenta por su cuenta

LaTeXCopiarAbrir en el editor (se abre en una pestaña nueva)

\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}

En una instalación de TeX, este ejemplo imprime Lemma 1.1, Theorem 1.2 y Lemma 1.3. Scissor LaTeX imprime Lemma 1, Theorem 1 y Lemma 2.

Sin \newtheorem

Muchos documentos copiados de otros sitios usan theorem, lemma o definition sin declararlos. Scissor LaTeX reconoce igualmente los nombres habituales, entre ellos theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution y formas abreviadas como thm, lem y defn.

Diferencias con una instalación de TeX

Más información sobre el paquete en la página de amsthm. El manual completo del paquete está en ctan.org/pkg/amsthm.

Consulta también amsthm, Referencias cruzadas y cleveref.

Scissor LaTeX compone cada ejemplo de esta página al generar el sitio. Última actualización: 2026-11-07.