Twierdzenia i dowody w LaTeX z amsthm

Zadeklaruj każdy rodzaj w preambule za pomocą \newtheorem{theorem}{Theorem}, a potem w treści napisz \begin{theorem} ... \end{theorem}. Środowisko proof z pakietu amsthm wypisuje „Proof.” i kończy się małym kwadratem.

Deklarowanie i używanie twierdzenia

\newtheorem{name}{Heading} w preambule tworzy środowisko o nazwie name, którego nagłówek jest wypisywany jako „Heading” z numerem. Wczytaj też amsthm; dostarcza on środowisko proof i deklaracje z gwiazdką.

Zadeklarowane twierdzenie z dowodem

LaTeXKopiujOtwórz w edytorze (otwiera się w nowej karcie)

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

Treść twierdzenia jest składana kursywą. Dowód kończy się kwadratem przy prawym marginesie.

Nazwy, etykiety i odwołania

Opcjonalny argument po \begin{theorem} nadaje twierdzeniu nazwę, wypisywaną w nawiasach. Umieść \label wewnątrz środowiska, aby odwołać się do niego za pomocą \ref.

Nazwane twierdzenie, lemat i odwołanie

LaTeXKopiujOtwórz w edytorze (otwiera się w nowej karcie)

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

Różne rodzaje twierdzeń

Zadeklaruj tyle rodzajów, ile potrzebujesz: twierdzenie, lemat, stwierdzenie, wniosek, definicja, uwaga, przykład. W Scissor LaTeX każdy rodzaj ma własny licznik.

Definicja, stwierdzenie i uwaga

LaTeXKopiujOtwórz w edytorze (otwiera się w nowej karcie)

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

Twierdzenia bez numerów

\newtheorem* (z pakietu amsthm) deklaruje rodzaj bez numeru.

Twierdzenie bez numeru z \newtheorem*

LaTeXKopiujOtwórz w edytorze (otwiera się w nowej karcie)

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

Numeracja i style

W instalacji TeX \newtheorem ma dwa opcjonalne argumenty dotyczące numeracji, a amsthm ma \theoremstyle. Oto co Scissor LaTeX z nimi robi:

[section] i wspólny licznik: każdy rodzaj liczy osobno

LaTeXKopiujOtwórz w edytorze (otwiera się w nowej karcie)

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

W instalacji TeX ten przykład wypisuje Lemma 1.1, Theorem 1.2 i Lemma 1.3. Scissor LaTeX wypisuje Lemma 1, Theorem 1 i Lemma 2.

Bez \newtheorem

Wiele dokumentów skopiowanych z innych miejsc używa theorem, lemma czy definition bez ich deklarowania. Scissor LaTeX i tak rozpoznaje popularne nazwy, w tym theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution oraz skróty, takie jak thm, lem i defn.

Czym różni się od instalacji TeX

Więcej o pakiecie na stronie amsthm. Pełna dokumentacja pakietu jest dostępna na ctan.org/pkg/amsthm.

Zobacz też amsthm, Odsyłacze i cleveref.

Każdy przykład na tej stronie jest składany przez Scissor LaTeX podczas budowania witryny. Ostatnia aktualizacja: 2026-11-07.