在Markdown中的常用Latex数学公式——总结自己写文章最常用的语法

前言

• 在涉及深度学习等人工智能方面需要涉及到大量数学公式，所以需要使用 $\text{LATEX}$ 中数学公式的排版方法，用Latex排版出来的数学公式十分优雅漂亮，除了提供丰富的数学公式和特殊符号，Latex的文章排版能力也是十分强大的，当然本次博客内容有所侧重，主要聚焦在一些很常用用到的数学符号和特殊符号以及相应的排版技巧。
• 本篇文章的目标是，使读者能够轻松上手理工科课程做笔记时的数学公式和特殊符号的使用，文章目录结构循环渐进，按照个人认为的重要程度依次排列。
• 建议：学的时候千万别太死了，用$Latex$最后的目的就是为了优雅的排版，就是为了好看，你可以理解为怎么好看怎么来，同一个数学公式的表达方式不止一种，只要我们找到自己喜欢的方式就行，不用过于纠结定式。

1. 公式基础结构

想要在md编辑器中显示数学公式有两种基本方式，一种是行内公式，可以嵌入到文本当中去；另一种是行外公式，独自一行居中显示，一般用两种就差不多够用了，文章后面还会有一些其他的语法结构来显示数学公式，先掌握好基础的再说。

• 行内公式（inline formulas）
  用$ $\dots$$表示行内公式
  例如：$\sum_{i=0}^n i^2 = \frac{(n^2+n)(2n+1)}{6}$表示${\sum }_{i=0}^n{i}^2=\frac{(n^2+n)(2n+1)}{6}$

• 独立公式（ displayed formulas）
  用$$ $\dots$$$表示独立公，公式会自动居中显示
  例如：用$$\sum_{i=0}^n i^2 = \frac{(n^2+n)(2n+1)}{6}$$表示
  $$\sum _{i=0}^n{i}^2=\frac{(n^2+n)(2n+1)}{6}$$

注意：$必须和公式中的第一个字符和最后一个字符紧邻，才能被视为Latex公式，

2. 上下标表示

• 上标：^后面的内容表示上标，例如$x^{(i)}$ , $y^{(i)}$ 表示 $x^{(i)}$ , $y^{(i)}$
• 下标：_后面的内容表示下标，例如: $x_{(i)}$ , $y_{(i)}$ 表示 $x_{(i)}$ , $y_{(i)}$
• 混合上下标使用：例如$x_i^2$表示 $x_i^2$，$\log_2 x:$表示 ${\log }_{2}x$

此时引入组（Group）的概念：
当上下标符号后面的内容不止一个字符时，我们用Group{$\dots$ }一对花括号。把多个字符括起来，否则的话系统就会只把第一个字符当作上下标。上面的举例就是使用到这点

• 当上下标的位置或者大小我们不满意时，是可以调整的，在角标符号前面加上相应参数即可。(该方法也可用于调整字体大小)。相应参数如下 \tiny , \small , \normalsize , \large , \Large , \LARGE ，或者使用下标的下标_{_N}
  例如: $y_N$ , $y_{_N}$ , $y_{\tiny{N} }$ 表示 $y_N$ , $y_{{}_N}$ , $y_N$

支持中文做角标（真在Tex文件中使用中文是需要导包的，在md编辑器中不用担心这些直接用就行了）
例如: ${\partial f}_{极大值}$ 表示 ${\partial f}_{极大值}$

3. 分数表示(fraction)

• 分数表示\frac{super}{sub}，该分式根据环境设置样式，frac是分数fraction的缩写，
  例如$\frac{a+1}{b+1}$表示$\frac{a+1}{b+1}$，很明显能看到该分数和文本一样的高度，受文本环境影响

• \dfrac{}{} , 表示该分式是以 displaystyle 设置的，不受文本环境影响
  例如: $\dfrac{y}{x}$ 表示 $\frac{y}{x}$

• {}\over{}，分式的另一种表达方法，虽然很方便只是不推荐使用，更建议使用\frac{}{}
  具体原因如下：What is the difference between \over and \frac?

4. 定界符用法

• 如果使用常规符号()把公式括起来，就不能随着公式内容大小自动调整符号大小，
  如(\dfrac{\sqrt x}{y^3}):$(\frac{\sqrt{x}}{y^3})$，这样显示效果很差，我们使用另一种定界符

• \left(…\right)就可以随着公式内容大小自动调整符号大小，看起来就很舒服，
  如\left(\frac{\sqrt x}{y^3}\right)：$\left(\frac{\sqrt{x}}{y^3}\right)$

\left…\right不止可以作用于圆括号()，其他定界符同样可以使用，在定界符上加上\left…\right就可以了

常规定界符	显示效果
( and )	$(x)$
[ and ]	$[x]$
\{ and \}	{ x } \{x\} {x}
\vert	$|x|$
\Vert	$\Vert x\Vert$
\langle and \rangle	$⟨x⟩$
\lceil and \rceil	$\lceil x\rceil$
\lfloor and \rfloor	$\lfloor x\rfloor$

注意：\left…\right必须成对出现，如果只需要用一边时，可用 \left. 或 \right. 进行配对，
例如\left.x^2\right\rvert_3^5 = 5^2-3^2表示${x^2|}_3^5=5^2-3^2$

5. 根式表示

• 平方根\sprt{表达式}， 例如 \sqrt{x} 表示 $\sqrt{x}$
• n次根式\sprt[n]{表达式},例如 \sqrt[3]{x} 表示 $\sqrt[3]{x}$

注意：
被开方表达式字符高度不一致时，根号上面的横线可能不在同一条直线上，可以在被开方表达式插入一个只有高度没有宽度的数学支柱\mathstrut 例如: $\sqrt{a}+\sqrt{b}+\sqrt{c}$ 表示$\sqrt{a}+\sqrt{b}+\sqrt{c}$
$\sqrt{\mathstrut a}+\sqrt{\mathstrut b}+\sqrt{\mathstrut c}$ 表示$\sqrt{a}+\sqrt{b}+\sqrt{c}$

6. 空白和间隔的表示

• 在公式中直接输入空格，系统是不会承认空格的存在的，在Latex中有专门的空格表示方法

命令	语法	效果
没有空格	$ab$	$ab$
紧贴，缩进1/6m宽度	$a\!b$	$ab$
小空格	$a\,b$	$ab$
1/3个空格	$a\ b$	$ab$
中等空格	$a\:b$ 或 $a\;b$	$ab$
一个空格	$a \quad b$	$ab$
两个空格	$a \qquad b$	$ab$

个人认为，quad是quadruple四倍的缩写，可以看成四个小空格
我觉得其中的第3种到第5种效果都一样，看自己习惯哪一种了，我个人比较习惯用\,或者\;这两个用法

7. 常用数学运算符号

• 这里以累加符号和连乘符号使用举例，其他符号使用类似
• 累加\sum_{}^{}，例如\sum_{i=0}^\infty i^2表示${\sum }_{i=0}^{\infty }{i}^2$
• 其他符号也是类似用法

语义	语法	效果
连乘	prob	$\prod$
累加	\sum	$\sum$
积分	\int	$\int$
二重积分	\iint	$\iint$
三重积分	\iiint	$\iiint$
曲线积分	\oint	$\oint$
二重曲线	\oiint	$\iint$
极限	\lim	$\lim$
-	(与上面符号相关联的)
偏导	\partial	$\partial$
微分	{\text d} x	$\text{d}x$
梯度	\nabla	$\nabla$
无穷	\infty	$\infty$
导数	f'	$f^{\prime }$

运算符的上下限显示位置是可以调整的

• \limits,强制上下限在上下侧，如\sum\limits_{k=1}^nk表示：$\sum _{k=1}^{n}k$
• \nolimits,强制上下限在右侧，如\sum\nolimits_{k=1}^nk表示：${\sum }_{k=1}^{n}k$

8. 多行公式的使用

长公式的换行

• 使用 split环境 , 可以用 \\ 来换行和 & 设置对齐的锚点位置

$$
\begin{split}
x=& a+b+c+ \\
& d+e+f+g
\end{split}
$$

$$\begin{array}{rl}x=& a+b+c+\\ & d+e+f+g\end{array}$$

公式组

• 使用 aligned环境，如果不自己加锚点的话，会默认对齐行的最右端

$$
\begin{aligned}
a &=b+c+d \\
x &=y+z
\end{aligned}
$$

$$\begin{array}{rl}a& =b+c+d\\ x& =y+z\end{array}$$

分段公式

• 使用cases实现分段，需要加上\quad来间隔才好看点，同时需要注意锚点的位置
• 用 \\ 来换行和 & 设置对齐的锚点位置

$$
y=\begin{cases}
-x,\quad &x \leq 0 \\
x, &x>0
\end{cases}
$$

$$y=\{\begin{array}{ll}-x,& x\le 0\\ x,& x>0\end{array}$$

带编号公式

• 单个方程自动编号就使用equation环境（equation方程）

$$
\begin{equation}
E=mc^2
\end{equation}
$$

$$\begin{array}{c}E=m{c}^2\end{array}$$

---

• 多行公式自动编号就使用align（align对齐），也用 \\ 来换行和 & 设置对齐的锚点位置

$$
\begin{align}
a &=b+c+d \\
x &=y+z
\end{align}
$$

$$\begin{array}{rl}a& =b+c+d\\ x& =y+z\end{array}$$

• 可在公式后加上 \nonumber 命令取消公式编号，适用于有的公式想编号，有的不想编号时

$$
\begin{align}
a &=b+c+d \nonumber \\
x &=y+z \nonumber
\end{align}
$$

$$\begin{array}{rl}a& =b+c+d\\ x& =y+z\end{array}$$

9. 省略号

• 基本省略号\dots默认三个点，位于底部,，如$\dots$表示$\dots$，但我们也可以调整省略号的摆放位置：
• 居中显示center\cdots $\cdots$
• 垂直显示vertical\vdots $⋮$
• 对角显示diagonal\ddots $\ddots$

10. 矩阵

a. 基本矩阵

• $$\begin{matrix}…\end{matrix}$$，表示一个不带边界的基本矩阵，
  在\begin和\end之间，放置矩阵元素。每个矩阵行以\\结尾，矩阵元素以&分隔，具体例子如下

$$
\begin{matrix}
x_{_{11} } & x_{_{12} } & \dots & x_{_{1n} } \\
x_{_{21} } & x_{_{22} } & \dots & x_{_{2n} } \\
\vdots & \vdots & \ddots  & \vdots  \\
x_{_{m1} } & x_{_{m2} } & \dots & x_{_{mn} } \\
\end{matrix}
$$

$$\begin{array}{cccc}{x}_{{}_{11}}& x_{{}_{12}}& \dots & x_{{}_{1n}}\\ x_{{}_{21}}& x_{{}_{22}}& \dots & x_{{}_{2n}}\\ ⋮& ⋮& \ddots & ⋮\\ x_{{}_{m1}}& x_{{}_{m2}}& \dots & x_{{}_{mn}}\end{array}$$

b. 各种括号的矩阵

• 想要在矩阵两边加括号，除了直接使用\left…\right后面加上对应的括号，也可以直接用对应的矩阵类型

• parenthesis圆括号，bracket方括号，brace 花括号，后面两个我也不知道全称，就看成vetical的意思吧。
  pmatrix$\left(\begin{array}{cc}1& 2\\ 3& 4\end{array}\right)$ , bmatrix $\left[\begin{array}{cc}1& 2\\ 3& 4\end{array}\right]$, Bmatrix $\left\{\begin{array}{cc}1& 2\\ 3& 4\end{array}\right\}$, vmatrix $\left|\begin{array}{cc}1& 2\\ 3& 4\end{array}\right|$, Vmatrix $\Vert \begin{array}{cc}1& 2\\ 3& 4\end{array}\Vert$.

两种使用方法的具体举例如下：

$$
\begin{pmatrix} a & b \\ c & d \\ \end{pmatrix} \quad
\left( \begin{matrix} a & b \\ c & d \\ \end{matrix} \right) \quad

\begin{bmatrix} a & b \\ c & d \\ \end{bmatrix} \quad
\left[ \begin{matrix} a & b \\ c & d \\ \end{matrix} \right] \quad

\begin{Bmatrix} a & b \\ c & d \\ \end{Bmatrix} \quad 
\left\{ \begin{matrix} a & b \\ c & d \\ \end{matrix} \right\} \quad

\begin{vmatrix} a & b \\ c & d \\ \end{vmatrix} \quad
\left| \begin{matrix} a & b \\ c & d \\ \end{matrix} \right| \quad

\begin{Vmatrix} a & b \\ c & d \\ \end{Vmatrix} \quad
$$

$$\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]\left\{\begin{array}{cc}a& b\\ c& d\end{array}\right\}\left\{\begin{array}{cc}a& b\\ c& d\end{array}\right\}\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|\Vert \begin{array}{cc}a& b\\ c& d\end{array}\Vert$$

c. 增广矩阵

• 对于水平增广矩阵，与上面的矩阵命令不太一样，用的是\array环境，然后在\array后面需要对增广矩阵的分布进行描述，如{cc|c}表示矩阵第三列为拓展列，具体示例如下：

$$ 
\left[
\begin{array}{cc|c}
  1&2&3\\
  4&5&6\\
\end{array}
\right] 
$$

$$\left[\begin{array}{ccc}1& 2& 3\\ 4& 5& 6\end{array}\right]$$

• 对于垂直增广矩阵，和水平增广矩阵不太一样。还是用之前的矩阵语法，然后哪里需要分割哪里加上\hlne
  具体示例如下：

$$
  \begin{pmatrix}
    a & b\\
    c & d\\
  \hline
    1 & 0\\
    0 & 1
  \end{pmatrix}
$$

$$\left(\begin{array}{cc}a& b\\ c& d\\ 1& 0\\ 0& 1\end{array}\right)$$

11. 字体

• 在Latex中对于显示的公式是可以变换字体的，具体例子如下。
  还可以参考Latex字体转换这里的例子

命令	说明	效果
\rm	罗马体	$\mathrm{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$
\cal	花体	$\mathcal{A}\mathcal{BC}\mathcal{D}\mathcal{EFGH}\mathcal{I}\mathcal{J}\mathcal{K}\mathcal{LM}\mathcal{N}\mathcal{O}\mathcal{P}\mathcal{Q}\mathcal{R}\mathcal{S}\mathcal{T}\mathcal{U}\mathcal{V}\mathcal{W}\mathcal{X}\mathcal{Y}\mathcal{Z}$
\it	意大利体	$ABCDEFGHIJKLMNOPQRSTUVWXYZ$
\Bbb	黑板粗体	$\mathbb{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$
\bf	粗体	$\mathbf{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$
\mit	数学斜体	KaTeX parse error: Undefined control sequence: \mit at position 1: \̲m̲i̲t̲{ABCDEFGHIJKLMN…
\sf	等线体	$\mathsf{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$
\scr	手写体	KaTeX parse error: Undefined control sequence: \scr at position 1: \̲s̲c̲r̲{ABCDEFGHIJKLMN…
\tt	打字机体	$\mathtt{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$
\frak	旧德式字体	$frakABCDEFGHIJKLMNOPQRSTUVWXYZ$
\boldsymbol	黑体	$\mathbf{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$

12. 希腊字母

13. 其他符号的总结

• 一定要会的一个特殊符号，Latex的正式名称\normalsize\LaTeX $\text{LATEX}$

• 这里总结我经常用到的特殊符号（杂集）

命令	效果	命令	效果
\lt	$<$	gt	$>$
\le	$\le$	ge	$\ge$
\ne	$\ne$	equiv	$\equiv$
\approx	$\approx$
-
\bigcup	$\bigcup$	\bigcap	$\bigcap$
\forall	$\forall$	\exists	$\exists$
-
\times	$\times$	\div	$÷$
\pm	$\pm$	\mp	$\mp$
-
\to	$\to$	\gets	$\leftarrow$
-
\lceil	$\lceil$	\rceil	$\rceil$
\lfloor	$\lfloor$	\rfloor	$\rfloor$

13. 使用中遇到的问题（你可能会遇到的坑）

特殊符号的使用

• 当我们想打出这几个字符 # $ % & ~ _ ^ \ { }时，因为它们有特殊意义是语法的一部分，所以想要表示符号本身需要进行转义，在这些特殊符号前面加上\即可显示。
• 而对于\本身，需使用\backslach $\backslash$

一些遇到的问题还会不断补充

---

参考资料

• 简洁有力的教程！虽然关于一个知识点可能没几句话但就是能让你看懂！MathJax基础教程
• Markdown 中 LaTex 数学公式命令
• Katex Function
• 语雀数学公式举例
• $LaTex$特殊符号大全
• Cmd Markdown 公式指导手册

个人觉得关于Latex这方面想要快速学习的话，还是多看看官网和外网相关论坛吧，然后下载一些大学或者期刊指定的Latex模板来模仿，先模仿后学习是一种比较有效率的方法。