amsthm ב-Scissor LaTeX
החבילה amsthm עובדת חלקית ב-Scissor LaTeX: \newtheorem, הצורה עם הכוכבית \newtheorem*, הערות אופציונליות כמו [Mustermann] והסביבה proof עובדות, אבל \theoremstyle, מונים משותפים או לפי סעיף, כותרות להוכחות ו-\qedhere לא מוחלים.
מה החבילה עושה
amsthm מאפשרת להגדיר סביבות דמויות משפט עם \newtheorem, ונותנת סביבת proof שמסתיימת בריבוע קטן. סגנונות משפטים (plain, definition, remark) משנים את המראה של הכותרת ושל הגוף.
מה עובד כאן
| פקודה | ב-Scissor LaTeX | הערות |
|---|---|---|
\newtheorem{name}{Title} | עובד | כל שם מקבל מונה משלו: 1, 2, 3. |
\newtheorem{name}[other]{Title} | חלקית | המונה המשותף לא נלקח בחשבון; הסביבה סופרת בעצמה. |
\newtheorem{name}{Title}[section] | חלקית | המספרים לא מתאפסים בכל סעיף ולא נראים כמו 2.1. |
\newtheorem*{name}{Title} | עובד | בלי מספר. |
\begin{theorem}[note] | עובד | ההערה מופיעה בסוגריים אחרי המספר. |
\theoremstyle{...} | מושמט | לכל סביבה יש כותרת מודגשת וגוף נטוי. |
proof | חלקית | הכותרת היא תמיד "Proof."; כותרת אופציונלית כמו [Proof of Lemma 2] לא נלקחת בחשבון. מסתיימת בריבוע. |
\qedhere | לא נתמך | הנוסחה שמכילה אותה מוצגת באדום. |
\qed, \qedsymbol | לא נתמך | מדולגות עם הערה בלשונית הבעיות; ריבוע ההוכחה מגיע רק מהסביבה proof. |
דוגמאות
מגדירים את הסביבות בפראמבל, ואז משתמשים בהן בטקסט:
\newtheorem, הערה והוכחה
\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{lemma}
Every even number greater than 2 is the sum of two odd numbers.
\end{lemma}
\begin{theorem}[Mustermann]
The number 44 is the sum of two primes.
\end{theorem}
\begin{proof}
Take $44 = 3 + 41$, and both 3 and 41 are prime.
\end{proof}
\end{document}סביבה בלי מספור עם \newtheorem*. השורה \theoremstyle{definition} מתקבלת, אבל הגוף נשאר נטוי:
\newtheorem* ו-\theoremstyle
\documentclass{article}
\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem{definition}{Definition}
\newtheorem*{remark}{Remark}
\begin{document}
\begin{definition}
A number is \emph{even} if it is divisible by 2.
\end{definition}
\begin{remark}
By this definition, 0 and 44 are even.
\end{remark}
\end{document}\qedhere מעבירה את הריבוע לתוך נוסחה בתצוגה בסוף הוכחה. היא לא מוכרת כאן, ולכן הנוסחה הופכת לאדומה:
\qedhere מציגה נוסחה אדומה
\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \qedhere \]
\end{proof}באדום: אי אפשר לקרוא את הנוסחה, ולכן מוצג קוד המקור שלה במקומה.
השמיטו את \qedhere. הריבוע יופיע אז בשורה משלו אחרי הנוסחה, וגם זה נכון:
אותה הוכחה בלי \qedhere
\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \]
\end{proof}תאימות
- מהתקנת TeX לכאן: המסמכים מסודרים. המספרים יכולים להיות שונים כשסביבות חולקות מונה, וכל סגנון משפט נראה כמו
plain. הסירו את\qedhereבמקומות שבהם נוסחה הופכת לאדומה. - מכאן להתקנת TeX: המסמכים מתהדרים שם בלי שינוי, כל עוד כל סביבה מוגדרת עם
\newtheorem.
המדריך המלא נמצא ב-CTAN: ctan.org/pkg/amsthm. למבוא מודרך, ראו משפטים והוכחות.
ראו גם משפטים והוכחות ו-cleveref.
שאלות ותשובות
למה הלמות והמשפטים שלי לא חולקים מונה אחד?
Scissor LaTeX נותן לכל סביבה מונה משלה ומתעלם מהארגומנט [theorem]. המסמך עדיין מתהדר; רק המספרים שונים מאלה שבהתקנת TeX.
אפשר לשנות את כותרת ההוכחה?
עדיין לא. הארגומנט האופציונלי של proof לא נלקח בחשבון, והכותרת היא תמיד "Proof.". אפשר במקום זאת לכתוב את הכותרת כמילים הראשונות של ההוכחה.
כל דוגמה בדף הזה מסודרת על ידי Scissor LaTeX בזמן בניית האתר. עודכן לאחרונה: 2026-11-07.