1. 什么是LaTeX公式
LaTeX公式的定义与起源
LaTeX是基于TeX的一种排版系统,是由计算机科学家莱斯利·兰伯特(Leslie Lamport)在20世纪80年代初创建的。它不是像Word那样的所见即所得编辑器,而是代码驱动的排版工具。你用文本命令告诉系统“这里要放一个分数”、“那里要加一个积分符号”,LaTeX就会自动计算出最好的排版结果。
LaTeX公式特指在LaTeX文档中用来表示数学、物理、工程等学科中符号、运算关系和结构的一套命令系统。该套系统自带了简单的加减到复杂的矩阵、积分、求和等全部数学符号的代码映射。
LaTeX公式在学术写作中的优势
学术写作的主要难题之一就是公式排版。Word的公式编辑器虽然直观,但是处理多行对齐、公式编号、跨文档一致性的时候,常常要进行大量的手动微调。而LaTeX公式的优势在于:
- 自动化排版:所有的公式都是系统自动计算间距、对齐、字体大小,不需要手动调整。
- 批量修改能力:如果论文中需要统一替换某个符号,只需要修改代码,所有的公式就会瞬间更新,不需要一个一个地点击。
- 跨平台一致性:在Windows、macOS、Linux等各个操作系统上编译出来的结果是一样的。
- 与参考文献、图表联动:公式可以自动编号,在正文中用 `\label` 和 `\ref` 交叉引用,改动编号后正文自动更新。
LaTeX公式与普通文本的区别
普通文本是由字符构成的,每个字符都有固定的宽度,段落是用换行和空格来控制的。而LaTeX公式区域是数学模式,在数学模式中,空格被忽略(除非使用特殊命令),字母默认被渲染为斜体(代表数学变量),数字和运算符保持直立。因此公式看起来像是手写的数学表达式,而不是普通的文本。
在普通文本中输入 `a^2 + b^2 = c^2` 会显示为 `a^2 + b^2 = c^2`,指数变成了普通文本;在数学模式下,`` 会自动将指数上标,正确地渲染为左上角的小字。
2. LaTeX公式的输入环境与工具
要开始使用LaTeX公式,你需要一个“编译环境”。以下是三种主流选择,覆盖从入门到专业的不同需求。
在线编辑器推荐
Overleaf是目前最受欢迎的在线LaTeX协作平台,不需要安装任何软件,浏览器打开就可以使用。它的主要优点是:
- 实时协作:多人可以同时编辑同一个文档,类似于Google Docs。
- 即开即用:注册后立即获得免费账户,模板库中有IEEE、Nature、ACS等所有主流期刊模板。
- 自动编译:每次保存之后都会自动编译并预览PDF,公式错误会被高亮显示。
快速启动示例:
在Overleaf中新建一个空白文档,输入以下代码:
点击“Recompile”按钮,就可以看到公式被完美地渲染出来。
本地软件安装
如果需要离线工作或者处理超大文档,建议安装本地发行版:
- TeX Live(跨平台,推荐Windows/macOS用户):运行install-tl脚本,选择“full scheme”安装全部宏包(约2-3GB),但保证所有命令可用。
- MacTeX(macOS专用):基于TeX Live,附带TeXShop编辑器,对新手友好。
- MiKTeX(Windows专用):轻量级,按需自动下载宏包。
安装完毕之后,用编辑器(TeXworks、VS Code+LaTeX Workshop插件)编写代码,运行 `pdflatex` 或者 `xelatex` 编译即可。
Markdown及文本编辑器中的LaTeX支持
如果需要在博客、笔记或者在线文档里插入公式,现代的Markdown编辑器(Typora、Obsidian、Notion)一般都支持LaTeX公式语法
- 行内公式: ``
- 行间公式: `
`
Obsidian和Typora可以实时渲染,实现所见即所得的效果,适合快速写初稿之后再迁移到正式平台上。
3. LaTeX公式基本语法
行内公式和行间公式的写法
行内公式:用单美元符``或者``包裹,公式会嵌入到文本行中,不会打断段落。例如:
行间公式:用双美元符`
`或`
`包裹,公式单独成行,居中显示,自动增加上下间距。例如:
业界建议:推荐使用``和`
`代替``和`
`,因为前者在特殊环境下(如与其他宏包配合)更稳定,且不易被误解析。
上下标与分数的输入
上下标:上标用`^`,下标用`_`。如果上标或下标包含多个字符,必须用花括号`{ }`包裹。
常见错误:忘记花括号会导致排版错误。例如,`x^12`会显示为`x¹²`(上标只有1,2变成普通文本),正确写法应为`x^{12}`。
分数:使用`\frac{分子}{分母}`。分子和分母分别用花括号包裹。
根号与求和符号的代码
根号:`\sqrt{表达式}`,如果开n次方根,用`\sqrt[n]{表达式}`。
求和符号:`\sum_{下限}^{上限}`,上限和下限可省略。
积分符号:`\int_{下限}^{上限}`,多重积分用`\iint`、`\iiint`。
常见数学符号的代码
希腊字母:通过反斜杠加英文名输入,首字母大写代表大写字母。
运算符:求和、积分、乘积等。
关系符:等于、不等于、约等于等。
4. LaTeX公式排版技巧
对齐与间距调整
行间公式的对齐:使用`align`环境可以实现多行公式的等号对齐。
输出效果:两行公式的等号在垂直方向对齐,且每行自动编号。
间距调整:LaTeX在数学模式下自动处理间距,但有时 we need to adjust it manually。
- 小空格:`\,`(相当于1/6个em)
- 中等空格:`\;`(1/3个em)
- 大空格:`\quad`(1个em)
- 更大空格:`\qquad`(2个em)
例如,`\int_{a}^{b} f(x)\,dx`中的`\,`在f(x)和dx之间添加一小段间隙,避免字符紧贴。
多行公式的拆分与编号
对于超过一行的长公式,使用`split`环境嵌套在`equation`中:
这会在第一行末尾自动添加换行,第二行对齐等号,且整体只生成一个编号。
如果需要多个编号,使用`align`环境,并用`\notag`或`\nonumber`禁止某行编号:
括号与分隔符的优化
自动调整大小的括号:普通括号`( )`在公式中大小固定,当括号内含有分数、求和等大符号时,会显得不协调。使用`\left( \right)`让括号自动适应内容高度。
花括号的转义:花括号`{ }`在LaTeX中用于分组,要输入真正的花括号,需用`\{`和`\}`。
矩阵的输入:矩阵是初学者最容易卡壳的地方,但掌握`matrix`环境后就能快速搞定。
输出效果:带圆括号的矩阵,2行2列,列与列之间用`&`分隔,行与行之间用`\\`换行。`pmatrix`生成圆括号,`bmatrix`生成方括号,`vmatrix`生成竖线,`matrix`不带括号。
完整示例(3×3矩阵):
排版效果:3行3列的方括号矩阵,数字自动居中对齐,列间距均匀。
5. LaTeX公式的常见应用场景
学术论文与报告
这是LaTeX公式最核心的应用场景。在撰写论文时,公式需要满足特定排版规范:
- 编号:使用`\begin{equation}...\end{equation}`自动编号,在正文中用`\ref{label}`引用。
- 交叉引用:在公式后添加`\label{eq:mass-energy}`,在正文写`如公式\ref{eq:mass-energy}所示`,编译后自动替换为编号。
- 多行推导:使用`align`环境展示推导过程,每一行一个编号,方便读者定位。
真实案例:帮一位研究生同学用LaTeX重排他的硕士论文,原来他在Word中手动调整公式对齐、编号和引用,单公式排版就用了2个小时。改用LaTeX后,通过 `\begin{align}` 和 `\label` + `\ref` ,整个公式排版时间压缩到15分钟,并且后续修改公式内容时,编号和引用自动更新,彻底杜绝了“编号错乱”的尴尬。
数学与物理作业
对学生来说,LaTeX公式是提交高质量作业的好帮手。常见的作业公式类型有:
- 微积分:`\frac{d}{dx} \left( e^{x} \right) = e^{x}`
- 线性代数:矩阵乘法、行列式计算
- 概率统计:`\sum{i=1}^{n} P(Ai) = 1`
- 物理公式:`\vec{F} = m \vec{a}`(向量用`\vec`命令)
很多在线作业平台(Gradescope、Canvas)都支持直接渲染LaTeX公式,学生只需要在文本框里输入 `` 就可以了。
博客与在线文档
如果写技术博客或者知识库文档的话,LaTeX公式可以使得数学内容更加专业。主流平台支持情况:
- WordPress:安装MathJax插件后,在文章中用 `` 或 `<`
`输入公式。
- GitHub:Markdown文件支持``行内公式,但需注意预览时可能不渲染,需手动刷新。
- Notion/Obsidian:原生支持``和`
`,实时渲染公式。
常见问题
共 6 个问题,点击展开查看专业解答
- 核心解答与操作要点
这是最常见的错误,通常表示你输入了一个不存在的命令。检查代码中是否有拼写错误,比如 `\alpa` 应该写成 `\alpha` 。也可以在命令前加一个 `\usepackage{amsmath}` ,该宏包包含了绝大多数数学符号命令。
- 核心解答与操作要点
这是LaTeX数学模式的正常行为——空格在数学模式下被忽略。要主动添加空格,使用 `\,` 、 `\;` 、 `\quad` 等命令,或用 `\text{ }` 插入普通文本空格。
- 核心解答与操作要点
使用 `\text{中文}` 命令,需要在导言区加载 `\usepackage{amsmath}` 。注意, `\text` 会临时切换到文本模式,里面的文字会使用文档主字体(通常是正体),而非数学模式下的斜体。
- 核心解答与操作要点
矩阵环境(如 `pmatrix` 、 `bmatrix` )默认会自适应内容大小。如果括号仍然太小,可以尝试将矩阵内容放在 `\left( ... \right)` 中,但更推荐直接使用 `pmatrix` 等环境,它们已经处理好了括号大小问题。
- 核心解答与操作要点
使用 `\begin{equation}...\end{equation}` (加星号)可以关闭编号。要手动设置编号,在导言区使用 `\setcounter{equation}{0}` 重置计数,或在公式前用 `\tag{自定义编号}` 。
- 核心解答与操作要点
很多编辑器支持快捷键:在Overleaf中,输入 `^` 和 `_` 后自动期待上标/下标;在VS Code的LaTeX Workshop插件中,可以配置代码片段自动补全。另外,像 `\frac` 、 `\sqrt` 这些命令一般都有自动补全的功能,输入 `\frac` 之后按Tab键,光标就会自动跳到分子分母的位置上。