在撰写学术论文、技术文档或任何需要精确数学表达的场景中，TeX（特别是其衍生版本如LaTeX）因其强大的排版功能而广受欢迎。其中，TeX定理调用功能是实现公式引用与排版的关键。本文将详细介绍TeX定理调用的使用方法，帮助您轻松实现公式的引用与排版。
1. 定理环境
在TeX中，所有定理的引用和排版都是通过定义新的环境来实现的。以下是一些常见的定理环境：
\newtheorem{theorem}{定理}：创建一个新的定理环境，定理为该环境的名称。\newtheorem{lemma}{引理}：创建一个新的引理环境。\newtheorem{corollary}{推论}：创建一个新的推论环境。
2. 定理编号与引用
创建定理环境后，您可以在文档中插入定理。每个定理都会自动获得一个编号，并可以通过\ref{label}进行引用。
\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{定理}[section]
\newtheorem{lemma}{引理}[section]
\newtheorem{corollary}{推论}[section]
\begin{document}
\section{引言}
本文介绍了TeX定理调用的方法。
\section{定理}
\begin{theorem}
设$a, b \in \mathbb{R}$，则$a + b = b + a$。
\end{theorem}
\section{引理}
\begin{lemma}
若$a, b \in \mathbb{R}$，且$a < b$，则$a - b < 0$。
\end{lemma}
\section{推论}
\begin{corollary}
若$a, b \in \mathbb{R}$，则$a^2 - b^2 = (a + b)(a - b)$。
\end{corollary}
\end{document}
在上面的例子中，每个定理、引理和推论都会在文档中自动编号，并且可以通过\ref{label}进行引用。
3. 定理标题与编号格式
默认情况下，定理标题的格式为“定理1”、“引理1”等。您可以通过\ theoremstyle命令来改变标题和编号的格式。
\theoremstyle{plain}
\newtheorem{theorem}{定理}[section]
\theoremstyle{definition}
\newtheorem{definition}{定义}[section]
在上述代码中，我们为定理和定义分别设置了不同的标题和编号格式。
4. 定理内容格式
在定理环境中，您可以使用各种LaTeX命令来排版定理内容。以下是一些常用的命令：
\begin{proof}：开始定理的证明部分。\end{proof}：结束定理的证明部分。\qed：证明结束标志。
\begin{theorem}
设$a, b \in \mathbb{R}$，则$a + b = b + a$。
\begin{proof}
证明过程如下：
\end{proof}
\end{theorem}
5. 总结
TeX定理调用功能为文档中的公式引用与排版提供了极大的便利。通过本文的介绍，您应该已经掌握了如何使用TeX定理调用的基本方法。在实际应用中，您可以根据自己的需求调整定理环境、编号格式和内容格式，以实现更加美观和专业的排版效果。