Teorema dan bukti di LaTeX dengan amsthm
Deklarasikan setiap jenis di preambul dengan \newtheorem{theorem}{Theorem}, lalu tulis \begin{theorem} ... \end{theorem} di isi dokumen. Lingkungan proof dari amsthm mencetak "Proof." dan diakhiri dengan persegi kecil.
Mendeklarasikan dan memakai teorema
\newtheorem{name}{Heading} di preambul membuat lingkungan bernama name yang judulnya dicetak sebagai "Heading" disertai nomor. Muat juga amsthm; paket ini menyediakan lingkungan proof dan deklarasi berbintang.
Teorema yang dideklarasikan beserta 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 teorema disusun dengan huruf miring. Bukti diakhiri dengan persegi di margin kanan.
Nama, label, dan rujukan
Argumen opsional setelah \begin{theorem} memberi teorema sebuah nama, yang dicetak di dalam kurung. Letakkan \label di dalam lingkungan untuk merujuknya dengan \ref.
Teorema bernama, sebuah lema, dan sebuah 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
Deklarasikan sebanyak mungkin jenis yang Anda perlukan: teorema, lema, proposisi, akibat, definisi, catatan, contoh. Di Scissor LaTeX, setiap jenis memiliki pencacahnya sendiri.
Definisi, proposisi, 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}
Teorema tanpa nomor
\newtheorem* (dari amsthm) mendeklarasikan jenis tanpa nomor.
Pernyataan tanpa nomor 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}
Penomoran dan gaya
Di instalasi TeX, \newtheorem memiliki dua argumen opsional untuk penomoran, dan amsthm memiliki \theoremstyle. Inilah yang dilakukan Scissor LaTeX dengan keduanya:
| Anda menulis | Instalasi 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: bagian nomor section diabaikan |
\newtheorem{lemma}[theorem]{Lemma} | Lemma berbagi pencacah dengan theorem | Lemma memiliki pencacahnya sendiri |
\newtheorem*{remark}{Remark} | tanpa nomor | Berfungsi |
\theoremstyle{definition}, {remark} | isi tegak | Diabaikan: setiap isi miring |
\begin{proof} | "Proof." dan sebuah persegi | Berfungsi |
\begin{proof}[Proof of Theorem 1] | judul buatan Anda sendiri | "Proof.": judul Anda diabaikan |
\qedhere | persegi di baris terakhir tampilan | Tidak didukung: rumus itu merah |
[section] dan pencacah bersama: setiap jenis menghitung 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}![Ditata oleh Scissor LaTeX: [section] dan pencacah bersama: setiap jenis menghitung sendiri](/app/docs/img/dbf1ee310df4.svg)
Di instalasi 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 memakai theorem, lemma, atau definition tanpa mendeklarasikannya. Scissor LaTeX tetap mengenali nama-nama umum, antara lain theorem, lemma, proposition, corollary, definition, remark, example, conjecture, claim, exercise, problem, solution, serta bentuk singkat seperti thm, lem, dan defn.
Perbedaan dengan instalasi TeX
Selengkapnya tentang paket ini di halaman amsthm. Manual lengkap paketnya ada di ctan.org/pkg/amsthm.
Lihat juga amsthm, Rujukan silang, dan cleveref.
Tanya jawab
Bagaimana cara mendefinisikan lingkungan teorema di LaTeX?
Tulis \newtheorem{theorem}{Theorem} di preambul, bersama \usepackage{amsthm}. Lalu pakai \begin{theorem} ... \end{theorem}.
Bagaimana cara mendapatkan persegi QED di akhir bukti?
Pakai lingkungan proof dari amsthm. Perseginya ditambahkan secara otomatis di akhir.
Bagaimana cara menomori lema dan teorema bersama-sama?
Di instalasi TeX, tulis \newtheorem{lemma}[theorem]{Lemma}. Scissor LaTeX belum mendukung pencacah bersama, jadi di sini lema dan teorema dinomori terpisah.
Setiap contoh di halaman ini ditata oleh Scissor LaTeX saat situs dibuat. Terakhir diperbarui 2026-11-07.