1. 为什么科研人员需要LaTeX公式？
LaTeX公式与Word公式编辑器对比
LaTeX公式在科研中的核心价值
物理、数学领域论文中公式是论证的主要手段。LaTeX可以准确地控制公式中各个符号的位置、大小，在期刊或者会议规定的版面限制下，使公式仍然具有可读性。在计算机科学中，伪代码和算法描述常常和公式一起出现，LaTeX的 `algorithm` 和 `algorithmic` 宏包给出了标准的解决方案。另外，arXiv论文的源代码大部分都是用LaTeX编写的，掌握公式语法是阅读、复现研究的基本能力。
研究生小张的案例具有典型性，他第一次写论文时，用Word排版一个3×3矩阵和多重积分的公式，花了两个小时调整矩阵括号对齐、积分上下标位置，导出PDF之后发现矩阵行间距不一致。改用LaTeX之后，同样的公式只需要三十行代码，编译时间不到两秒，排版效果完全符合期刊的要求。效率差别使他在以后的论文写作中节约了大量的时间。
2. LaTeX公式基础语法速览
行内公式与行间公式
LaTeX公式的基本写法有两种模式，分别是：
行内公式用``包裹，公式和正文在同一行。例如：
爱因斯坦的质能方程 揭示了能量与质量的关系。
输出效果：爱因斯坦的质能方程 揭示了能量与质量的关系。
行间公式使用`
`或`
`包裹，公式独占一行并居中显示。`
`是推荐写法，因为它可以避免和一些宏包产生冲突（已经在TeX Live 2025中验证过）。
输出效果：
\[
E=mc^2
\]
常用数学符号
希腊字母：在LaTeX中，希腊字母用反斜杠加字母名称来输入。小写希腊字母用`\alpha`、`\beta`、`\gamma`等；大写用`\Gamma`、`\Delta`、`\Theta`等。注意区分：`\epsilon`（直观epsilon）和`\varepsilon`（变体epsilon），`\phi`和`\varphi`在学术写作中有不同的使用场景。
上下标：上标用 `^` 表示，下标用 `_` 表示。如果上下标包含多个字符，需用花括号包裹。例如：
输出效果：%7Bij%7D%20%3D%20b%7Bi%7D%5E%7B2%7D%20%2B%20c%7Bj%7D%5E%7Bn%7D%5C)">{ij} = b{i}^{2} + c{j}^{n}
分数：`\frac{分子}{分母}` 命令生成分数。嵌套分数时，中小型分数用 `\tfrac`，大型分数用 `\dfrac`。
输出效果：
根号：`\sqrt[次数]{表达式}`。默认二次根号，立方根需指定次数。
输出效果：
括号与定界符的自动缩放
在LaTeX中，普通括号`( )`不会根据内容自动调整大小。使用 `\left( ... \right)` 可以让括号自动包裹内容的高度。例如：
输出效果：，前者括号更大，更协调。
重要技巧：当只有一侧需要括号时，使用 `\left.` 或 `\right.` 表示空定界符。例如分段函数中常用：
输出结果：
\[
f(x) = \left\{
\begin{array}{ll}
1 & \text{if } x > 0 \\
0 & \text{otherwise}
\end{array}
\right.
\]
小张第一次写分段函数的时候，由于忘记在 `\right.` 后面加上句点而导致编译错误，后来他学会了使用 `\left\{` 和 `\right.` 组合来解决问题。
3. 必须掌握的常用公式结构
矩阵与行列式
矩阵：使用`\begin{matrix}`环境，行内元素用`&`分隔，行末用`\\`换行。默认无括号，可套用`\left[ \right]`或`\left( \right)`。
输出效果：矩阵元素排列整齐，左右中括号自动包裹。
行列式：使用`\begin{vmatrix}`环境，自动生成垂直分界线。
输出效果：行列式外框为竖线，计算结果自动对齐。
多行公式对齐
`align` 环境来自 `amsmath` 宏包，用于多行公式对齐。在需要对齐的位置前加 `&`，行末用 `\\` 换行。默认每行有独立编号，可用 `\nonumber` 取消某行编号。
输出效果：第一行编号(1)，第二行无编号，等号对齐。
小张在写论文的时候，要展示出一个有四步推导的公式链。使用 `align` 环境后，他只需在每行的等号前加 `&`，所有等号自动对齐，再也不用手动调整空格。他感叹道，比在Word里一行一行地调整缩进要快得多。
分段函数与条件表达式
`cases` 环境是处理分段函数的标准工具，来自 `amsmath` 宏包。
输出效果：左侧大括号，两行条件表达式自动对齐。
公式中的常见符号与运算符
求和、积分、极限：
- 求和：`\sum{下限}^{上限}`，如`\sum{i=1}^{n} i^2`输出 %7Bi%3D1%7D%5E%7Bn%7D%20i%5E2%5C)">
- 积分：`\int{下限}^{上限}`，如`\int{a}^{b} f(x) dx`输出 %7Ba%7D%5E%7Bb%7D%20f(x)%20dx%5C)">
- 极限：`\lim{变量 \to 目标}`，如`\lim{x \to 0} \frac{\sin x}{x} = 1`输出 %7Bx%20%5Cto%200%7D%20%5Cfrac%7B%5Csin%20x%7D%7Bx%7D%20%3D%201%5C)">
常用函数名：LaTeX中，标准函数名使用反斜杠加特定命令，如 `\sin` 、 `\cos` 、 `\log` 、 `\ln` 、 `\max` 、 `\min` 。这些命令会产生正体字，与变量斜体相区别。例如 `\sin x` 输出 ，而 `sin x` 输出 （变量斜体，不合适）。
关系符号与箭头：
- 小于等于：`\leq` 输出
- 大于等于：`\geq` 输出
- 约等于：`\approx` 输出
- 等价于：`\equiv` 输出
- 蕴含：`\Rightarrow` 输出
- 双向箭头：`\Leftrightarrow` 输出
4. 在文档中插入LaTeX公式的实战技巧
在Overleaf和本地TeX环境中编写公式
Overleaf：在线LaTeX编辑器，无需安装，支持实时协作。在项目中使用`\usepackage{amsmath}`后，即可在正文中编写公式。Overleaf的自动补全功能会提示常用命令，适合初学者。
本地TeX环境：以TeX Live为例，安装后使用`texdoc lshort`查看官方文档。编写`.tex`文件时，公式代码写在`\begin{document}`和`\end{document}`之间。编译命令推荐`pdflatex`或`xelatex`。
公式编号与交叉引用
使用`\label`和`\eqref`实现公式编号的自动管理。`\label`放在公式环境里，`\eqref`在正文中引用。
输出效果：公式编号自动生成，正文引用时显示编号，编号变化时引用自动更新。
公式字体与样式调整
正体文本：`\mathrm{...}`将内容设置为正体，用于明确单位或函数名。例如`\mathrm{kg}`输出 。
粗体：`\mathbf{...}`或`\boldsymbol{...}`。`\mathbf`适用于普通字母，`\boldsymbol`适用于希腊字母和运算符。例如`\boldsymbol{\alpha}`输出 。
花体字母：`\mathcal{...}`生成手写体大写字母，常用于表示集合或张量。例如`\mathcal{A}`输出 。
颜色：`\usepackage{xcolor}`后，使用`\textcolor{color}{...}`改变公式中部分内容的颜色。例如`\textcolor{red}{重要项}`输出红色文字。
5. 从入门到进阶：学习资源推荐
官方文档与经典教材
- The Not So Short Introduction to LaTeX (lshort)：官方入门文档，约200页，覆盖公式、图表、交叉引用等核心内容。使用`texdoc lshort`可查看本地版本。
- The LaTeX Companion：权威参考书，详细讲解宏包使用和排版原理，适合进阶学习。
- amsmath用户手册：`texdoc amsmath`获取，专门讲解多行公式、矩阵等高级功能。
在线工具与模板
- Detexify：手写符号识别工具。在Detexify网站用手写板或鼠标绘制符号，系统自动识别对应的LaTeX命令，解决“想用某个符号但不知道命令”的痛点。
- Overleaf模板库：提供数千个期刊和会议论文模板，可直接在模板中修改公式，快速上手。
- LaTeX Stack Exchange：问答社区，遇到公式特效时，搜索“如何用LaTeX实现[需求]”通常能找到现成代码。
实战练习方法
- 阅读arXiv论文源代码：在arXiv网站下载论文的`.tex`源文件，用编辑器打开后，观察作者如何组织复杂公式。
- 模仿经典公式：从教科书或论文中摘录一个复杂公式（如带有积分、矩阵、多行对齐的公式），尝试用LaTeX复现。
- 建立个人公式库：将常用公式（梯度下降、损失函数、坐标系变换等）保存为.tex片段，以后论文中直接调用。
- 参与开源项目：在GitHub上搜索LaTeX相关的开源项目，比如论文模板、宏包开发等，通过阅读和修改代码来提高自己的水平。
小张完成第一篇论文的时候，养成了把公式提前整理成.tex文件的好习惯。他创建了一个公式仓库，里面有微分方程、概率分布、矩阵运算等常用的公式模板。后续论文中，他只需要复制粘贴并修改参数，就可以省去大量的重复劳动。现在，他已经能熟练使用 `\newcommand` 定义自己的命令，例如 `\R` 表示实数集， `\E` 表示期望算子，代码可读性和效率都大幅提升。
常见问题
Q1: LaTeX公式中上下标的位置如何控制？
A: 上下标默认放在字符右侧，若需放在正上方或正下方，使用 `\limits` 或 `\nolimits` 。例如， `\sum{i=1}^{n}` 默认上下标在正下方和正上方，而 `\int{a}^{b}` 默认上下标在右侧。通过 `\int\limits_{a}^{b}` 可将上下标移到正下方和正上方。
Q2: 如何在公式中插入空格？
A: LaTeX公式中，普通空格会被忽略。使用 `\,` （小空格）、 `\:` （中等空格）、 `\;` （大空格）、 `\quad` （1em空格）、 `\qquad` （2em空格）控制间距。例如 `a \, b` 输出 。
Q3: 公式中的括号大小不够怎么办？
A: 使用 `\left( ... \right)` 自动调整大小。若需要手动指定大小，使用 `\bigl( ... \bigr)` 、 `\Bigl( ... \Bigr)` 、 `\biggl( ... \biggr)` 、 `\Biggl( ... \Biggr)` 。
Q4: 如何插入多行公式且只编号一次？
A: 使用`\begin{equation}\begin{aligned} ... \end{aligned}\end{equation}`结构。`aligned`环境内支持多行，但整个公式只有一个编号。
Q5: 公式编译报错“Missing } inserted”怎么办？
A: 最常见的原因就是花括号不配对。检查每一个`{`是否都有对应的`}`，尤其是`\frac`、`\sqrt`等命令的参数括号。小张因此卡了半个小时，最后发现是因为在`\sqrt[3]{x}`中少写了方括号的右半部分。