amsthm ile LaTeX'te teoremler ve ispatlar

Her türü önsözde \newtheorem{theorem}{Theorem} ile tanımlayın, ardından gövdede \begin{theorem} ... \end{theorem} yazın. amsthm paketindeki proof ortamı "Proof." yazdırır ve küçük bir kareyle biter.

Bir teoremi tanımlamak ve kullanmak

Önsözdeki \newtheorem{name}{Heading}, name adında ve başlığı numarayla birlikte "Heading" olarak yazdırılan bir ortam oluşturur. amsthm paketini de yükleyin; proof ortamını ve yıldızlı tanımları o sağlar.

İspatıyla birlikte tanımlanmış bir teorem

LaTeXKopyalaDüzenleyicide aç (yeni sekmede açılır)

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

Bir teoremin gövdesi italik dizilir. İspat, sağ kenarda bir kareyle biter.

Adlar, etiketler ve göndermeler

\begin{theorem} sonrasındaki isteğe bağlı bir argüman teoreme parantez içinde yazdırılan bir ad verir. \ref ile ona gönderme yapmak için ortamın içine \label koyun.

Adlandırılmış bir teorem, bir lemma ve bir gönderme

LaTeXKopyalaDüzenleyicide aç (yeni sekmede açılır)

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

Farklı türde önermeler

İhtiyacınız olduğu kadar tür tanımlayın: teorem, lemma, önerme, sonuç, tanım, açıklama, örnek. Scissor LaTeX'te her türün kendi sayacı vardır.

Tanım, önerme ve açıklama

LaTeXKopyalaDüzenleyicide aç (yeni sekmede açılır)

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

Numarasız teoremler

\newtheorem* (amsthm paketinden) numarasız bir tür tanımlar.

\newtheorem* ile numarasız bir önerme

LaTeXKopyalaDüzenleyicide aç (yeni sekmede açılır)

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

Numaralandırma ve stiller

Bir TeX kurulumunda \newtheorem komutunun numaralandırma için iki isteğe bağlı argümanı vardır, amsthm ise \theoremstyle sunar. Scissor LaTeX'in bunlarla ne yaptığı şöyledir:

[section] ve paylaşılan sayaç: her tür kendi başına sayar

LaTeXKopyalaDüzenleyicide aç (yeni sekmede açılır)

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

Bir TeX kurulumunda bu örnek Lemma 1.1, Theorem 1.2 ve Lemma 1.3 yazdırır. Scissor LaTeX ise Lemma 1, Theorem 1 ve Lemma 2 yazdırır.

\newtheorem olmadan

Başka yerlerden kopyalanan pek çok belge theorem, lemma veya definition ortamlarını tanımlamadan kullanır. Scissor LaTeX yaygın adları yine de tanır: theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution ve thm, lem, defn gibi kısa biçimler.

Bir TeX kurulumundan farkları

Paket hakkında daha fazlası amsthm sayfasında. Paketin tam kılavuzu ctan.org/pkg/amsthm adresindedir.

Ayrıca bkz. amsthm, Çapraz göndermeler ve cleveref.

Bu sayfadaki her örnek, site oluşturulurken Scissor LaTeX tarafından dizilir. Son güncelleme: 2026-11-07.