정리와 증명 조판하기

번호가 붙는 정리 환경을 정의하고 일관된 학술 문서 형식으로 증명을 마칩니다.

amsthm 패키지는 명제, 정의, 증명에 일관된 구조를 제공합니다. 패키지를 불러오거나 정의를 추가하기 전에 제출처 템플릿에 이미 선언된 명제 유형이 있는지 확인하세요. 없는 유형만 프리앰블에 한 번 정의하고, 순서가 바뀌어도 번호가 유지되도록 각 항목에 레이블을 붙입니다.

관련된 명제 유형 정의하기#

\newtheorem의 첫 번째 인수는 소스에서 사용할 환경 이름이고 두 번째 인수는 인쇄될 제목입니다. 대괄호 안에 기존 카운터를 선택 인수로 넣으면 여러 명제 유형이 번호 순서를 공유합니다. 마지막 [section]은 새 카운터를 절마다 초기화합니다.

\documentclass{article}
\usepackage{amsmath,amsthm}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\begin{document}
\section{Parity}
\begin{definition}
An integer is even if it equals \(2k\) for some integer \(k\).
\end{definition}
\begin{lemma}\label{lem:even-sum}
The sum of two even integers is even.
\end{lemma}
\begin{proof}[Proof of Lemma~\ref{lem:even-sum}]
Write the integers as \(2m\) and \(2n\). Since \(m+n\) is an integer,
\[
  2m+2n=2(m+n), \qedhere
\]
\end{proof}
\begin{corollary}
Any finite sum of even integers is even.
\end{corollary}
\end{document}

CorTeX에서 열기 →

출력에서 정의, 보조정리, 따름정리는 절을 기준으로 한 번호 순서 하나를 공유합니다. 선택적인 증명 제목은 어떤 결과를 증명하는지 알려 줍니다. \qedhere는 별도 수식에 증명 종료 기호를 놓습니다. 증명이 일반 문장으로 끝나면 생략하여 환경이 기호를 놓게 하세요.

의미에 따라 스타일 선택하기#

\theoremstyle{plain}은 보통 정리, 보조정리, 따름정리에 사용합니다. definition은 정의와 예시, remark는 비고와 주에 어울립니다. 스타일을 적용할 선언 앞에서 설정하세요. \begin{theorem}[Central limit theorem]처럼 정리 하나에만 선택적인 설명을 붙일 수도 있습니다.

\label은 정리나 보조정리 환경을 시작한 직후에 놓고 \ref 또는 템플릿이 요구하는 참조 패키지로 인용하세요. 명제 번호를 직접 입력하지 마세요.

기존 클래스와 템플릿 따르기#

학술지 클래스가 정리 환경, 카운터 관계, 증명 스타일을 이미 선언하는 경우가 많습니다. amsthm을 추가하거나 theorem을 다시 선언하기 전에 저자용 템플릿을 읽으세요. 중복 정의는 오류를 일으키며, 스타일을 바꾸면 학술지 형식을 어길 수 있습니다. 템플릿에 적힌 방식으로 빠진 명제 유형만 추가하세요.

연습으로 \theoremstyle{remark}를 사용하는 remark 환경을 추가하세요. 번호를 공유하는 다른 명제의 번호에 영향을 주지 않으면서 의도한 스타일이 적용되는지 확인합니다. 다음에는 이미지를 배우거나 상호 참조로 원고 곳곳에서 결과를 인용하세요.