المبرهنات والبراهين في 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.