amsthm trong Scissor LaTeX

Gói amsthm hoạt động một phần trong Scissor LaTeX: \newtheorem, dạng có dấu sao \newtheorem*, ghi chú tùy chọn như [Mustermann] và môi trường proof hoạt động, còn \theoremstyle, bộ đếm chung hoặc theo từng mục, tiêu đề chứng minh và \qedhere không được áp dụng.

Gói này làm gì

amsthm cho phép bạn khai báo các môi trường kiểu định lý bằng \newtheorem và cung cấp môi trường proof kết thúc bằng một ô vuông nhỏ. Các kiểu định lý (plain, definition, remark) thay đổi cách trình bày phần tiêu đề và phần thân.

Những gì hoạt động ở đây

Ví dụ

Khai báo các môi trường trong phần mở đầu, rồi dùng chúng trong văn bản:

\newtheorem, một ghi chú và một chứng minh

LaTeXSao chépMở trong trình soạn (mở trong thẻ mới)

\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}

Một môi trường không đánh số với \newtheorem*. Dòng \theoremstyle{definition} được chấp nhận, nhưng phần thân vẫn in nghiêng:

\newtheorem* và \theoremstyle

LaTeXSao chépMở trong trình soạn (mở trong thẻ mới)

\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}

\qedhere chuyển ô vuông vào một công thức hiển thị ở cuối chứng minh. Lệnh này không được nhận biết ở đây, nên công thức chuyển sang màu đỏ:

\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \qedhere \]
\end{proof}

Hãy bỏ \qedhere đi. Khi đó ô vuông nằm trên một dòng riêng sau công thức, cách này cũng đúng:

\begin{proof}
It remains to compute
\[ 44 = 4 \cdot 11. \]
\end{proof}

Khả năng tương thích

• Từ một bản cài đặt TeX sang đây: tài liệu được dàn trang. Số có thể khác khi các môi trường dùng chung bộ đếm, và mọi kiểu định lý đều trông như plain. Hãy xóa \qedhere ở chỗ công thức chuyển sang màu đỏ.
• Từ đây sang một bản cài đặt TeX: tài liệu biên dịch ở đó mà không cần sửa, miễn là mọi môi trường đều được khai báo bằng \newtheorem.

Tài liệu hướng dẫn đầy đủ có trên CTAN: ctan.org/pkg/amsthm. Để được giới thiệu có hướng dẫn, xem Định lý và chứng minh.

Xem thêm Định lý và chứng minh và cleveref.

Mọi ví dụ trên trang này đều được Scissor LaTeX dàn trang khi xây dựng trang web. Cập nhật lần cuối 2026-11-07.