דילוג לתוכן

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}
סודר על ידי Scissor LaTeX: \newtheorem, הערה והוכחה

סביבה בלי מספור עם \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}
סודר על ידי Scissor LaTeX: \newtheorem* ו-\theoremstyle

\qedhere מעבירה את הריבוע לתוך נוסחה בתצוגה בסוף הוכחה. היא לא מוכרת כאן, ולכן הנוסחה הופכת לאדומה:

\qedhere מציגה נוסחה אדומה

LaTeXמבוא: \usepackage{amsthm}פתיחה בעורך (נפתח בכרטיסייה חדשה)
\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \qedhere \]
\end{proof}

באדום: אי אפשר לקרוא את הנוסחה, ולכן מוצג קוד המקור שלה במקומה.

השמיטו את \qedhere. הריבוע יופיע אז בשורה משלו אחרי הנוסחה, וגם זה נכון:

אותה הוכחה בלי \qedhere

LaTeXמבוא: \usepackage{amsthm}פתיחה בעורך (נפתח בכרטיסייה חדשה)
\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.