LaTeX 数学公式排版

一、LaTeX 数学排版基础

1.1 数学环境分类

LaTeX 提供两种主要数学环境：

% 行内公式（嵌入在文本中）
这是一个行内公式：$E = mc^2$，它出现在文本行中。

% 行间公式（单独成行）
这是一个行间公式：
\[ E = mc^2 \]

% 带编号的行间公式
\begin{equation}
E = mc^2
\end{equation}

1.2 基本数学符号

上下标

$x^{2}$  % 上标
$x_{n}$  % 下标
$x^{a^{b}}$  % 嵌套上标
$x_{i_{0}}$  % 嵌套下标
$\sum_{i=1}^{n} i^2$  % 求和上下标

分数与根式

$\frac{a}{b}$  % 分数
$\dfrac{a}{b}$  % 显示模式分数
$\sqrt{x}$  % 平方根
$\sqrt[n]{x}$  % n次方根
$\frac{\sqrt{x+1}}{2}$  % 复合表达式

运算符

$\pm$  % 加减号
$\mp$  % 减加号
\times  % 乘号
\div  % 除号
\cdot  % 点乘
\leq, \geq  % 小于等于，大于等于
\neq  % 不等于
\approx  % 约等于
\equiv  % 恒等于

二、希腊字母与特殊符号

2.1 希腊字母表

% 小写希腊字母
$\alpha, \beta, \gamma, \delta, \epsilon, \zeta, \eta, \theta, \iota, \kappa, \lambda, \mu, \nu, \xi, \pi, \rho, \sigma, \tau, \upsilon, \phi, \chi, \psi, \omega$

% 大写希腊字母（部分直接输入）
$\Gamma, \Delta, \Theta, \Lambda, \Xi, \Pi, \Sigma, \Upsilon, \Phi, \Psi, \Omega$

2.2 箭头符号

$\rightarrow, \leftarrow, \Rightarrow, \Leftarrow, \leftrightarrow, \Leftrightarrow$
$\mapsto, \longmapsto, \hookrightarrow, \nearrow, \searrow$

2.3 集合符号

$\in, \notin, \subset, \subseteq, \supset, \supseteq, \cup, \cap, \emptyset, \varnothing$
$\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb{C}$  % 需要 amssymb 包

三、复杂数学结构

3.1 矩阵与行列式

% 需要 amsmath 包
% 矩阵（无括号）
\begin{matrix}
a & b \\
c & d
\end{matrix}

% 圆括号矩阵
\begin{pmatrix}
a & b \\
c & d
\end{pmatrix}

% 方括号矩阵
\begin{bmatrix}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 1
\end{bmatrix}

% 行列式
\begin{vmatrix}
a & b \\
c & d
\end{vmatrix}

% 带省略号的矩阵
\begin{bmatrix}
a_{11} & a_{12} & \cdots & a_{1n} \\
a_{21} & a_{22} & \cdots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
a_{m1} & a_{m2} & \cdots & a_{mn}
\end{bmatrix}

3.2 方程组

% 使用 cases 环境
\[
f(x) = 
\begin{cases}
x^2 & \text{if } x \geq 0 \\
-x^2 & \text{if } x < 0
\end{cases}
\]

% 使用 array 环境
\[
\left\{
\begin{array}{rl}
x + 2y &= 3 \\
3x - y &= 1
\end{array}
\right.
\]

% 使用 aligned 环境（推荐）
\begin{equation}
\begin{aligned}
x + 2y &= 3 \\
3x - y &= 1
\end{aligned}
\end{equation}

3.3 多行公式对齐

% 使用 align 环境（每个 & 是对齐点，每个 \\ 换行）
\begin{align}
f(x) &= (x+1)^2 \\
     &= x^2 + 2x + 1 \\
g(x) &= \int_0^x f(t) dt \\
     &= \frac{1}{3}x^3 + x^2 + x
\end{align}

% 取消某些行的编号
\begin{align}
f(x) &= x^2 + 2x + 1 \nonumber \\
g(x) &= \int_0^x f(t) dt
\end{align}

% 多列对齐
\begin{alignat}{2}
x &= y & \quad & \text{by hypothesis} \\
x' &= y' & & \text{by definition} \\
x + x' &= y + y' & & \text{by Axiom 1}
\end{alignat}

四、定理与证明环境

4.1 定义定理环境

在导言区定义：

\usepackage{amsthm}

\newtheorem{theorem}{Theorem}[section]  % 按章节编号
\newtheorem{lemma}[theorem]{Lemma}      % 与定理共享计数器
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}

4.2 使用定理环境

\begin{theorem}[勾股定理]
在直角三角形中，斜边的平方等于两直角边的平方和。
\end{theorem}

\begin{proof}
设直角三角形的两直角边分别为 $a$ 和 $b$，斜边为 $c$。
根据几何原理，可以证明 $c^2 = a^2 + b^2$。
\end{proof}

\begin{definition}[连续函数]
设 $f: \mathbb{R} \to \mathbb{R}$，如果对于任意 $x_0 \in \mathbb{R}$，
有 $\lim_{x \to x_0} f(x) = f(x_0)$，则称 $f$ 在 $x_0$ 处连续。
\end{definition}

五、高级技巧与自定义

5.1 自定义命令

% 导言区定义
\newcommand{\R}{\mathbb{R}}  % 实数集
\newcommand{\C}{\mathbb{C}}  % 复数集
\newcommand{\abs}[1]{\left| #1 \right|}  % 绝对值
\newcommand{\norm}[1]{\left\| #1 \right\|}  % 范数
\newcommand{\deriv}[2]{\frac{d #1}{d #2}}  % 导数
\newcommand{\pderiv}[2]{\frac{\partial #1}{\partial #2}}  % 偏导数

% 在文档中使用
设 $x \in \R$，则 $\abs{x} \geq 0$。
函数 $f$ 的导数为 $\deriv{f}{x}$。

5.2 数学字体与大小

% 数学字体
$\mathrm{ABC}$  % 罗马体
$\mathbf{ABC}$  % 粗体（向量常用）
$\mathit{ABC}$  % 斜体
$\mathcal{ABC}$  % 花体
$\mathscr{ABC}$  % 需要 mathrsfs 包

% 数学字号
$\displaystyle \sum_{i=1}^n$  % 显示模式大小
$\textstyle \sum_{i=1}^n$     % 文本模式大小
$\scriptstyle x^2$            % 上标大小
$\scriptscriptstyle x^2$      % 二级上标大小

5.3 括号调整

% 自动调整大小的括号
$\left( \frac{a}{b} \right)$
$\left[ \int_0^1 f(x) dx \right]$
$\left\{ \frac{x}{y} \right\}$

% 手动指定大小
$\big( \Big( \bigg( \Bigg($
$\big[ \Big[ \bigg[ \Bigg[$

% 单边括号
$\left. \frac{df}{dx} \right|_{x=0}$

六、实用示例

6.1 完整数学公式示例

\begin{equation}
\mathbf{F} = m \mathbf{a} = m \frac{d\mathbf{v}}{dt}
\end{equation}

\begin{equation}
\int_{-\infty}^{\infty} e^{-x^2} dx = \sqrt{\pi}
\end{equation}

\begin{equation}
\det \begin{pmatrix}
a & b & c \\
d & e & f \\
g & h & i
\end{pmatrix} = aei + bfg + cdh - ceg - bdi - afh
\end{equation}

\begin{align}
\nabla \cdot \mathbf{E} &= \frac{\rho}{\epsilon_0} \\
\nabla \cdot \mathbf{B} &= 0 \\
\nabla \times \mathbf{E} &= -\frac{\partial \mathbf{B}}{\partial t} \\
\nabla \times \mathbf{B} &= \mu_0 \mathbf{J} + \mu_0 \epsilon_0 \frac{\partial \mathbf{E}}{\partial t}
\end{align}

6.2 算法伪代码

% 需要 algorithm, algorithmicx 包
\begin{algorithm}
\caption{欧几里得算法}
\begin{algorithmic}[1]
\Procedure{Euclid}{$a,b$}
\While{$b \neq 0$}
\State $t \gets b$
\State $b \gets a \bmod b$
\State $a \gets t$
\EndWhile
\State \Return $a$
\EndProcedure
\end{algorithmic}
\end{algorithm}

七、常见问题与解决方案

7.1 常见错误

1. 忘记数学模式：所有数学符号必须在数学模式中
2. 括号不匹配：确保每个 \left 都有对应的 \right
3. 下标位置错误：使用花括号 {} 分组复杂下标
4. 空格处理：LaTeX 忽略数学模式中的空格，使用 \,, \;, \quad, \qquad 添加间距

7.2 最佳实践

1. 对长公式合理换行，使用 multline, split, 或 aligned 环境
2. 为复杂公式添加注释或说明
3. 保持一致性：在整个文档中使用相同的符号表示法
4. 使用自定义命令简化重复输入

八、推荐扩展包

\usepackage{amsmath}      % 基本数学扩展
\usepackage{amssymb}      % 额外数学符号
\usepackage{amsthm}       % 定理环境
\usepackage{mathtools}    % amsmath 的增强版
\usepackage{bm}           % 更好的粗体数学符号
\usepackage{mathrsfs}     % 花体字母
\usepackage{esint}        % 积分符号扩展
\usepackage{cancel}       % 删除线（约分化简用）

结语

LaTeX 的数学排版能力是其最强大的功能之一。通过掌握这些基本和高级技巧，您可以创建专业、美观的数学文档。实践是最好的学习方法，建议多尝试、多练习，逐步掌握 LaTeX 数学排版的精髓。

记住：LaTeX 不是所见即所得，而是所想即所得。您专注于内容，LaTeX 负责排版。

---

注：本文档中的所有 LaTeX 代码都需要在完整的 LaTeX 文档环境中编译。建议使用 Overleaf 或本地安装的 TeX 发行版进行实践。

注：本文档作者为deepseek