İçeriğe geç

Scissor LaTeX'te amsthm

amsthm paketi Scissor LaTeX'te kısmen çalışır: \newtheorem, yıldızlı \newtheorem*, [Mustermann] gibi isteğe bağlı notlar ve proof ortamı çalışır; \theoremstyle, ortak ya da bölüm başına sayaçlar, ispat başlıkları ve \qedhere ise uygulanmaz.

Paket ne yapar

amsthm, \newtheorem ile teorem benzeri ortamlar tanımlamanızı sağlar ve küçük bir kareyle biten bir proof ortamı sunar. Teorem stilleri (plain, definition, remark) başlığın ve gövdenin görünümünü değiştirir.

Burada neler çalışır

KomutScissor LaTeX'teNotlar
\newtheorem{name}{Title}ÇalışırHer ad kendi sayacını alır: 1, 2, 3.
\newtheorem{name}[other]{Title}KısmenOrtak sayaç yok sayılır; ortam kendi başına sayar.
\newtheorem{name}{Title}[section]KısmenNumaralar bölüm başına sıfırlanmaz ve 2.1 biçiminde olmaz.
\newtheorem*{name}{Title}ÇalışırNumarasız.
\begin{theorem}[note]ÇalışırNot, numaradan sonra parantez içinde görünür.
\theoremstyle{...}AtlanırHer ortamın başlığı kalın, gövdesi italiktir.
proofKısmenBaşlık her zaman "Proof." olur; [Proof of Lemma 2] gibi isteğe bağlı bir başlık yok sayılır. Bir kareyle biter.
\qedhereDesteklenmezOnu içeren formül kırmızı gösterilir.
\qed, \qedsymbolDesteklenmezSorunlar sekmesinde bir notla atlanır; ispat karesi yalnızca proof ortamından gelir.

Örnekler

Ortamları önbölümde tanımlayın, sonra metinde kullanın:

\newtheorem, bir not ve bir ispat

\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 tarafından dizildi: \newtheorem, bir not ve bir ispat

\newtheorem* ile numarasız bir ortam. \theoremstyle{definition} satırı kabul edilir, ancak gövde italik kalır:

\newtheorem* ve \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 tarafından dizildi: \newtheorem* ve \theoremstyle

\qedhere, bir ispatın sonundaki kareyi ayrık bir formülün içine taşır. Burada tanınmadığı için formül kırmızıya döner:

\qedhere formülü kırmızı gösterir

LaTeXÖnsöz: \usepackage{amsthm}Düzenleyicide aç (yeni sekmede açılır)
\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \qedhere \]
\end{proof}

Kırmızıyla gösterilir: formül okunamıyor, bu yüzden yerine kaynak kodu gösteriliyor.

\qedhere komutunu çıkarın. Kare bu durumda formülden sonra kendi satırında durur; bu da doğrudur:

\qedhere olmadan aynı ispat

LaTeXÖnsöz: \usepackage{amsthm}Düzenleyicide aç (yeni sekmede açılır)
\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \]
\end{proof}

Uyumluluk

  • Bir TeX kurulumundan buraya: belgeler dizilir. Ortamlar bir sayacı paylaştığında numaralar farklı olabilir ve her teorem stili plain gibi görünür. Bir formülün kırmızıya döndüğü yerlerde \qedhere komutunu kaldırın.
  • Buradan bir TeX kurulumuna: her ortam \newtheorem ile tanımlandığı sürece belgeler orada değişiklik yapmadan derlenir.

Tam kılavuz CTAN'dadır: ctan.org/pkg/amsthm. Rehberli bir giriş için Teoremler ve ispatlar sayfasına bakın.

Ayrıca bkz. Teoremler ve ispatlar ve cleveref.

Sorular ve yanıtlar

Lemlerim ve teoremlerim neden tek bir sayacı paylaşmıyor?

Scissor LaTeX her ortama kendi sayacını verir ve [theorem] bağımsız değişkenini yok sayar. Belgeniz yine de derlenir; yalnızca numaralar bir TeX kurulumundakinden farklıdır.

İspat başlığını değiştirebilir miyim?

Henüz değil. proof ortamının isteğe bağlı bağımsız değişkeni yok sayılır ve başlık her zaman "Proof." olur. Bunun yerine başlığı ispatın ilk sözcükleri olarak yazabilirsiniz.

Bu sayfadaki her örnek, site oluşturulurken Scissor LaTeX tarafından dizilir. Son güncelleme: 2026-11-07.