Teorem dan bukti dalam LaTeX dengan amsthm
Isytiharkan setiap jenis dalam mukadimah dengan \newtheorem{theorem}{Theorem}, kemudian tulis \begin{theorem} ... \end{theorem} dalam isi dokumen. Persekitaran proof daripada amsthm mencetak "Proof." dan berakhir dengan segi empat kecil.
Mengisytiharkan dan menggunakan teorem
\newtheorem{nama}{Tajuk} dalam mukadimah mencipta persekitaran bernama nama yang tajuknya dicetak sebagai "Tajuk" bersama nombor. Muatkan amsthm juga; ia menyediakan persekitaran proof dan pengisytiharan berbintang.
Teorem yang diisytiharkan bersama buktinya
\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}
Isi teorem diatur condong. Bukti berakhir dengan segi empat di margin kanan.
Nama, label dan rujukan
Argumen pilihan selepas \begin{theorem} memberikan nama kepada teorem, yang dicetak dalam kurungan. Letakkan \label di dalam persekitaran untuk merujuknya dengan \ref.
Teorem bernama, lema dan rujukan
\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}
Beberapa jenis pernyataan
Isytiharkan seberapa banyak jenis yang anda perlukan: teorem, lema, usul, korolari, takrifan, catatan, contoh. Setiap jenis mempunyai pembilangnya sendiri dalam Scissor LaTeX.
Takrifan, usul dan catatan
\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}
Teorem tanpa nombor
\newtheorem* (daripada amsthm) mengisytiharkan jenis tanpa nombor.
Pernyataan tanpa nombor dengan \newtheorem*
\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}
Penomboran dan gaya
Dalam pemasangan TeX, \newtheorem mempunyai dua argumen pilihan untuk penomboran, dan amsthm mempunyai \theoremstyle. Inilah yang dilakukan Scissor LaTeX dengannya:
| Anda tulis | Pemasangan TeX | Scissor LaTeX |
|---|---|---|
\newtheorem{theorem}{Theorem} | Theorem 1, 2, 3 | Berfungsi |
\newtheorem{theorem}{Theorem}[section] | Theorem 1.1, 1.2, 2.1 | Theorem 1, 2, 3: bahagian nombor seksyen diabaikan |
\newtheorem{lemma}[theorem]{Lemma} | Lema berkongsi pembilang teorem | Lema mempunyai pembilangnya sendiri |
\newtheorem*{remark}{Remark} | tiada nombor | Berfungsi |
\theoremstyle{definition}, {remark} | isi tegak | Diabaikan: setiap isi condong |
\begin{proof} | "Proof." dan segi empat | Berfungsi |
\begin{proof}[Proof of Theorem 1] | tajuk anda sendiri | "Proof.": tajuk anda diabaikan |
\qedhere | segi empat pada baris terakhir paparan | Tidak disokong: formula itu menjadi merah |
[section] dan pembilang dikongsi: setiap jenis membilang sendiri
\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}![Disusun atur oleh Scissor LaTeX: [section] dan pembilang dikongsi: setiap jenis membilang sendiri](/app/docs/img/dbf1ee310df4.svg)
Dalam pemasangan TeX, contoh ini mencetak Lemma 1.1, Theorem 1.2 dan Lemma 1.3. Scissor LaTeX mencetak Lemma 1, Theorem 1 dan Lemma 2.
Tanpa \newtheorem
Banyak dokumen yang disalin dari tempat lain menggunakan theorem, lemma atau definition tanpa mengisytiharkannya. Scissor LaTeX tetap mengenali nama yang lazim, termasuk theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution dan bentuk pendek seperti thm, lem dan defn.
Apa yang berbeza daripada pemasangan TeX
Maklumat lanjut tentang pakej ini di halaman amsthm. Manual penuh pakej ini terdapat di ctan.org/pkg/amsthm.
Lihat juga amsthm, Rujukan silang dan cleveref.
Soalan dan jawapan
Bagaimanakah saya mentakrifkan persekitaran teorem dalam LaTeX?
Tulis \newtheorem{theorem}{Theorem} dalam mukadimah, bersama \usepackage{amsthm}. Kemudian gunakan \begin{theorem} ... \end{theorem}.
Bagaimanakah saya mendapatkan segi empat QED di hujung bukti?
Gunakan persekitaran proof daripada amsthm. Segi empat itu ditambah di hujungnya secara automatik.
Bagaimanakah saya menomborkan lema dan teorem bersama-sama?
Dalam pemasangan TeX, tulis \newtheorem{lemma}[theorem]{Lemma}. Scissor LaTeX belum berkongsi pembilang, jadi lema dan teorem dinomborkan secara berasingan di sini.
Setiap contoh di halaman ini disusun atur oleh Scissor LaTeX semasa laman dibina. Kali terakhir dikemas kini 2026-11-07.