Μετάβαση στο περιεχόμενο
Scissor LaTeX

Το 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, μια σημείωση και μια απόδειξη

LaTeXΆνοιγμα στον επεξεργαστή
\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

LaTeXΆνοιγμα στον επεξεργαστή
\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.