قضیه‌ها و اثبات‌ها در LaTeX با amsthm

هر نوع را در مقدمهٔ سند با \newtheorem{theorem}{Theorem} اعلام کنید، سپس در بدنه بنویسید \begin{theorem} ... \end{theorem}. محیط proof از amsthm عبارت «Proof.» را چاپ می‌کند و با یک مربع کوچک تمام می‌شود.

اعلام و به کار بردن یک قضیه

\newtheorem{name}{Heading} در مقدمهٔ سند محیطی به نام name می‌سازد که سرعنوانش به شکل «Heading» همراه با یک شماره چاپ می‌شود. amsthm را هم بارگذاری کنید؛ این بسته محیط proof و اعلام‌های ستاره‌دار را فراهم می‌کند.

یک قضیهٔ اعلام‌شده همراه با اثباتش

LaTeXکپیباز کردن در ویرایشگر (در زبانه‌ای تازه باز می‌شود)

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

بدنهٔ قضیه ایتالیک چیده می‌شود. اثبات با یک مربع در حاشیهٔ راست تمام می‌شود.

نام‌ها، برچسب‌ها و ارجاع‌ها

یک آرگومان اختیاری پس از \begin{theorem} به قضیه نامی می‌دهد که درون پرانتز چاپ می‌شود. \label را درون محیط بگذارید تا با \ref به آن ارجاع دهید.

یک قضیهٔ نام‌دار، یک لم و یک ارجاع

LaTeXکپیباز کردن در ویرایشگر (در زبانه‌ای تازه باز می‌شود)

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

چند نوع گزاره

هر تعداد نوع که لازم دارید اعلام کنید: قضیه، لم، گزاره، نتیجه، تعریف، تذکر، مثال. در Scissor LaTeX هر نوع شمارندهٔ خودش را دارد.

تعریف، گزاره و تذکر

LaTeXکپیباز کردن در ویرایشگر (در زبانه‌ای تازه باز می‌شود)

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

قضیه‌های بی‌شماره

\newtheorem* (از amsthm) نوعی بدون شماره اعلام می‌کند.

یک گزارهٔ بی‌شماره با \newtheorem*

LaTeXکپیباز کردن در ویرایشگر (در زبانه‌ای تازه باز می‌شود)

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

شماره‌گذاری و سبک‌ها

در یک نصب TeX، \newtheorem دو آرگومان اختیاری برای شماره‌گذاری دارد و amsthm دستور \theoremstyle را دارد. Scissor LaTeX با آن‌ها چنین می‌کند:

[section] و شمارندهٔ مشترک: هر نوع جداگانه می‌شمارد

LaTeXکپیباز کردن در ویرایشگر (در زبانه‌ای تازه باز می‌شود)

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

در یک نصب TeX، این مثال Lemma 1.1، Theorem 1.2 و Lemma 1.3 را چاپ می‌کند. Scissor LaTeX، Lemma 1، Theorem 1 و Lemma 2 را چاپ می‌کند.

بدون \newtheorem

بسیاری از سندهایی که از جای دیگر کپی شده‌اند، theorem، lemma یا definition را بدون اعلام به کار می‌برند. Scissor LaTeX نام‌های رایج را در هر حال می‌شناسد، از جمله theorem، lemma، proposition، corollary، definition، remark، example، conjecture، claim، exercise، problem، solution و شکل‌های کوتاه مانند thm، lem و defn.

تفاوت‌ها با یک نصب TeX

اطلاعات بیشتر دربارهٔ این بسته در صفحهٔ amsthm. راهنمای کامل بسته در ctan.org/pkg/amsthm است.

amsthm، ارجاع‌های متقابل و cleveref را هم ببینید.

هر مثال این صفحه هنگام ساخت سایت با Scissor LaTeX حروف‌چینی می‌شود. آخرین به‌روزرسانی: 2026-11-07.