Teoremi e dimostrazioni in LaTeX con amsthm
Dichiara ogni tipo nel preambolo con \newtheorem{theorem}{Theorem}, poi scrivi \begin{theorem} ... \end{theorem} nel corpo. L’ambiente proof di amsthm stampa "Proof." e termina con un quadratino.
Dichiarare e usare un teorema
\newtheorem{name}{Heading} nel preambolo crea un ambiente chiamato name la cui intestazione viene stampata come "Heading" seguita da un numero. Carica anche amsthm: fornisce l’ambiente proof e le dichiarazioni con asterisco.
Un teorema dichiarato con la sua dimostrazione
\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}
Il corpo di un teorema è composto in corsivo. La dimostrazione termina con un quadratino al margine destro.
Nomi, etichette e riferimenti
Un argomento facoltativo dopo \begin{theorem} dà un nome al teorema, stampato tra parentesi. Metti \label dentro l’ambiente per richiamarlo con \ref.
Un teorema con nome, un lemma e un riferimento
\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}
Più tipi di enunciati
Dichiara tutti i tipi che ti servono: teorema, lemma, proposizione, corollario, definizione, osservazione, esempio. In Scissor LaTeX ogni tipo ha il proprio contatore.
Definizione, proposizione e osservazione
\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}
Teoremi non numerati
\newtheorem* (di amsthm) dichiara un tipo senza numero.
Un enunciato non numerato con \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}
Numerazione e stili
In un’installazione TeX, \newtheorem ha due argomenti facoltativi per la numerazione e amsthm ha \theoremstyle. Ecco cosa ne fa Scissor LaTeX:
| Scrivi | Installazione TeX | Scissor LaTeX |
|---|---|---|
\newtheorem{theorem}{Theorem} | Theorem 1, 2, 3 | Funziona |
\newtheorem{theorem}{Theorem}[section] | Theorem 1.1, 1.2, 2.1 | Theorem 1, 2, 3: la parte della sezione viene ignorata |
\newtheorem{lemma}[theorem]{Lemma} | Lemma condivide il contatore di theorem | Lemma ha il proprio contatore |
\newtheorem*{remark}{Remark} | nessun numero | Funziona |
\theoremstyle{definition}, {remark} | corpo in tondo | Ignorato: ogni corpo è in corsivo |
\begin{proof} | "Proof." e un quadratino | Funziona |
\begin{proof}[Proof of Theorem 1] | un’intestazione a scelta | "Proof.": la tua intestazione viene ignorata |
\qedhere | quadratino sull’ultima riga di una formula in evidenza | Non supportato: quella formula è rossa |
[section] e un contatore condiviso: ogni tipo conta per conto proprio
\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}![Composto da Scissor LaTeX: [section] e un contatore condiviso: ogni tipo conta per conto proprio](/app/docs/img/dbf1ee310df4.svg)
In un’installazione TeX questo esempio stampa Lemma 1.1, Theorem 1.2 e Lemma 1.3. Scissor LaTeX stampa Lemma 1, Theorem 1 e Lemma 2.
Senza \newtheorem
Molti documenti copiati da altre fonti usano theorem, lemma o definition senza dichiararli. Scissor LaTeX riconosce comunque i nomi più comuni, tra cui theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution e forme brevi come thm, lem e defn.
Cosa cambia rispetto a un’installazione TeX
Altro sul pacchetto nella pagina di amsthm. Il manuale completo del pacchetto si trova su ctan.org/pkg/amsthm.
Vedi anche amsthm, Riferimenti incrociati e cleveref.
Domande e risposte
Come si definisce un ambiente teorema in LaTeX?
Scrivi \newtheorem{theorem}{Theorem} nel preambolo, insieme a \usepackage{amsthm}. Poi usa \begin{theorem} ... \end{theorem}.
Come si ottiene il quadratino QED alla fine di una dimostrazione?
Usa l’ambiente proof di amsthm. Il quadratino viene aggiunto automaticamente alla fine.
Come si numerano lemmi e teoremi insieme?
In un’installazione TeX, scrivi \newtheorem{lemma}[theorem]{Lemma}. Scissor LaTeX non condivide ancora i contatori, quindi qui lemmi e teoremi vengono numerati separatamente.
Ogni esempio di questa pagina viene composto da Scissor LaTeX quando il sito viene generato. Ultimo aggiornamento: 2026-11-07.