文章目录
前言
文中参考:
(markdown中公式编辑教程:
https://www.jianshu.com/p/25f0139637b7)
Markdown公式、特殊字符、上下标、求和/积分、分式/根式、字体:
https://blog.csdn.net/weixin_42546496/article/details/88115095
Markdown数学公式语法:
https://www.jianshu.com/p/383e8149136c
文中使用语雀文档编写,复制过来导致部分显示不出来,原文生成的PDF下载链接:
https://download.csdn.net/download/qq_28149763/88250929
文中参考了以上链接,还包括UP主在实际应用中总结的一些,本UP主其他的博客显示的公式均是一个一个打出来的,一个是为了美观,一个是加深映像,孰能生巧。
目录
● 希腊字母
● 上标与下标
● 括号
○ 小括号与方括号
○ 大括号
○ 尖括号
○ 上取整
○ 下取整
● 求和与积分
○ 求和
○ 积分
○ 其他
● 分式与根式
○ 分式
○ 连分数
○ 根式
● 多行表达式
○ 分类表达式
○ 多行表达式
○ 方程组
● 特殊函数与符号
○ 三角函数
○ 比较运算符
○ 集合关系与运算
○ 排列
○ 箭头
○ 逻辑运算符
○ 操作符
○ 等于
○ 范围
○ 模运算
○ 点
● 顶部符号
● 表格
● 矩阵
○ 基本内容
○ 括号
○ 元素省略
○ 增广矩阵
● 公式标记与引用
● 字体
○ 黑板粗体字
○ 黑体字
○ 打印机字体
● 参考文档
一般公式分为两种形式,行内公式和行间公式。
● 行内公式:
● 行间公式:
对应的代码块为:
$ \Gamma(z) = \int_0^\infty t{z-1}e{-t}dt,. $
Γ
(
z
)
=
∫
0
∞
t
z
−
1
e
−
t
d
t
.
\Gamma(z) = \int_0^\infty t^{z-1}e^{-t}dt\,.
Γ(z)=∫0∞tz−1e−tdt.
行内公式是在公式代码块的基础上前面加上$ ,后面加上$ 组成的,而行间公式则是在公式代码块前后使用
和
和
和 。
下面主要介绍数学公式中常用的一些符号。
希腊字母
名称 大写 code 小写 code
alpha A A α \alpha
beta B B β \beta
gamma Γ \Gamma γ \gamma
delta Δ \Delta δ \delta
epsilon E E ϵ \epsilon
zeta Z Z ζ \zeta
eta H H η \eta
theta Θ \Theta θ \theta
iota I I ι \iota
kappa K K κ \kappa
lambda Λ \Lambda λ \lambda
mu M M μ \mu
nu N N ν \nu
xi Ξ \Xi ξ \xi
omicron O O ο \omicron
pi Π \Pi π \pi
rho P P ρ \rho
sigma Σ \Sigma σ \sigma
tau T T τ \tau
upsilon
Υ
Υ
Υ \Upsilon
υ
\upsilon
υ \upsilon
phi Φ \Phi ϕ \phi
chi X X χ \chi
psi Ψ \Psi ψ \psi
omega Ω \Omega ω \omega
angle
∠
\angle
∠ \angle
∘
^\circ
∘ ^\circ
÷
\div
÷ \div ℃ \text{\textdegree C}
℉ \text{\textdegree F}
φ
φ
φ φ(ϕ)
±
\pm
± \pm
上标与下标
上标和下标分别使用^ 与_ ,例如
x
i
2
x_i^2
xi2表示的是:。
默认情况下,上、下标符号仅仅对下一个组起作用。一个组即单个字符或者使用{…} 包裹起来的内容。如果使用
1
0
1
0
10^10
1010 表示的是,而
1
0
10
10^{10}
1010 才是。同时,大括号还能消除二义性,如x56 将得到一个错误,必须使用大括号来界定^的结合性,如
x
5
6
{x^5}^6
x56 :或者
x
5
6
x^{5^6}
x56 :。
括号
小括号与方括号
使用原始的( ) ,[ ] 即可,如
(
2
+
3
)
[
4
+
4
]
(2+3)[4+4]
(2+3)[4+4] :
使用\left(或\right)使符号大小与邻近的公式相适应(该语句适用于所有括号类型),如
(
x
y
)
\left(\frac{x}{y}\right)
(yx) :
大括号
由于大括号{} 被用于分组,因此需要使用{和}表示大括号,也可以使用\lbrace 和\rbrace来表示。如KaTeX parse error: Undefined control sequence: \* at position 4: \{a\̲*̲b\}:a\∗b 或KaTeX parse error: Undefined control sequence: \* at position 10: \lbrace a\̲*̲b\rbrace :a\*b 表示。
尖括号
区分于小于号和大于号,使用\langle 和\rangle 表示左尖括号和右尖括号。如
⟨
x
⟩
\langle x \rangle
⟨x⟩ 表示:。
上取整
使用\lceil 和 \rceil 表示。 如,
⌈
x
⌉
\lceil x \rceil
⌈x⌉:。
下取整
使用\lfloor 和 \rfloor 表示。如,
⌊
x
⌋
\lfloor x \rfloor
⌊x⌋:。
求和与积分
求和
\sum 用来表示求和符号,其下标表示求和下限,上标表示上限。如:
∑
r
=
1
n
\sum_{r=1}^n
∑r=1n表示:。
∑
r
=
1
n
\sum_{r=1}^n
r=1∑n表示:
积分
\int 用来表示积分符号,同样地,其上下标表示积分的上下限。如,
∫
r
=
1
∞
\int_{r=1}^\infty
∫r=1∞:。
多重积分同样使用 int ,通过 i 的数量表示积分导数:
∬
\iint
∬ :
∭
\iiint
∭ :
KaTeX parse error: Undefined control sequence: \iiiint at position 1: \̲i̲i̲i̲i̲n̲t̲ :
连乘
∏
a
+
b
\prod {a+b}
∏a+b,输出:。
∏
i
=
1
K
\prod_{i=1}^{K}
∏i=1K,输出:。
∏
i
=
1
K
\prod_{i=1}^{K}
i=1∏K,输出:。
其他
与此类似的符号还有,
∏
\prod
∏ :
⋃
\bigcup
⋃ :
⋂
\bigcap
⋂ :
a
r
g
max
c
k
arg\,\max_{c_k}
argmaxck:
a
r
g
min
c
k
arg\,\min_{c_k}
argminck:
a
r
g
m
i
n
c
k
\mathop {argmin}_{c_k}
argminck:
a
r
g
m
a
x
c
k
\mathop {argmax}_{c_k}
argmaxck:
max
c
k
\max_{c_k}
maxck:
min
c
k
\min_{c_k}
minck:
分式与根式
分式
● 第一种,使用\frac ab,\frac作用于其后的两个组a ,b ,结果为。如果你的分子或分母不是单个字符,请使用{…}来分组,比如
a
+
c
+
1
b
+
c
+
2
\frac {a+c+1}{b+c+2}
b+c+2a+c+1表示。
● 第二种,使用\over来分隔一个组的前后两部分,如{a+1\over b+1}:
连分数
书写连分数表达式时,请使用\cfrac代替\frac或者\over两者效果对比如下:
\frac 表示如下:
x
=
a
0
+
1
2
a
1
+
2
2
a
2
+
3
2
a
3
+
4
2
a
4
+
.
.
.
x=a_0 + \frac {1^2}{a_1 + \frac {2^2}{a_2 + \frac {3^2}{a_3 + \frac {4^2}{a_4 + ...}}}}
x=a0+a1+a2+a3+a4+...42322212
显示如下:
\cfrac 表示如下:
x
=
a
0
+
1
2
a
1
+
2
2
a
2
+
3
2
a
3
+
4
2
a
4
+
.
.
.
x=a_0 + \cfrac {1^2}{a_1 + \cfrac {2^2}{a_2 + \cfrac {3^2}{a_3 + \cfrac {4^2}{a_4 + ...}}}}
x=a0+a1+a2+a3+a4+...42322212
显示如下:
根式
根式使用\sqrt 来表示。
如开4次方:
x
y
4
\sqrt[4]{\frac xy}
4yx :。
开平方:
a
+
b
\sqrt {a+b}
a+b:。
多行表达式
分类表达式
定义函数的时候经常需要分情况给出表达式,使用\begin{cases}…\end{cases} 。其中:
● 使用\ 来分类,
● 使用& 指示需要对齐的位置,
● 使用\ +空格表示空格。
f
(
n
)
{
n
2
,
i
f
n
i
s
e
v
e
n
3
n
+
1
,
i
f
n
i
s
o
d
d
f(n) \begin{cases} \cfrac n2, &if\ n\ is\ even\\ 3n + 1, &if\ n\ is\ odd \end{cases}
f(n)⎩
⎨
⎧2n,3n+1,if n is evenif n is odd
表示:
L
(
Y
,
f
(
X
)
)
=
{
0
,
Y = f(X)
1
,
Y
≠
f(X)
L(Y,f(X)) = \begin{cases} 0, & \text{Y = f(X)} \\ 1, & \text{Y $\neq$ f(X)} \end{cases}
L(Y,f(X))={0,1,Y = f(X)Y = f(X)
表示:
如果想分类之间的垂直间隔变大,可以使用\[2ex] 代替\ 来分隔不同的情况。(3ex,4ex 也可以用,1ex 相当于原始距离)。如下所示:
L
(
Y
,
f
(
X
)
)
=
{
0
,
Y = f(X)
1
,
Y
≠
f(X)
L(Y,f(X)) = \begin{cases} 0, & \text{Y = f(X)} \\[5ex] 1, & \text{Y $\neq$ f(X)} \end{cases}
L(Y,f(X))=⎩
⎨
⎧0,1,Y = f(X)Y = f(X)
表示:
多行表达式
有时候需要将一行公式分多行进行显示。
a
=
b
+
c
−
d
+
e
−
f
=
g
+
h
=
i
\begin{equation}\begin{split} a&=b+c-d \\ &\quad +e-f\\ &=g+h\\ & =i \end{split}\end{equation}
a=b+c−d+e−f=g+h=i
表示:
其中begin{equation} 表示开始方程,end{equation} 表示方程结束;begin{split} 表示开始多行公式,end{split} 表示结束;公式中用\ 表示回车到下一行,& 表示对齐的位置。
方程组
使用\begin{array}…\end{array} 与\left { 与\right. 配合表示方程组:
{
a
1
x
+
b
1
y
+
c
1
z
=
d
1
a
2
x
+
b
2
y
+
c
2
z
=
d
2
a
3
x
+
b
3
y
+
c
3
z
=
d
3
\left \{ \begin{array}{c} a_1x+b_1y+c_1z=d_1 \\ a_2x+b_2y+c_2z=d_2 \\ a_3x+b_3y+c_3z=d_3 \end{array} \right.
⎩
⎨
⎧a1x+b1y+c1z=d1a2x+b2y+c2z=d2a3x+b3y+c3z=d3
表示:
注意:通常MathJax通过内部策略自己管理公式内部的空间,因此a…b 与a…….b (.表示空格)都会显示为ab 。可以通过在ab 间加入\ ,增加些许间隙,; 增加较宽的间隙,\quad 与\qquad 会增加更大的间隙。
特殊函数与符号
三角函数
\snx$ :
\arctanx :
比较运算符
小于(\lt ):
大于(\gt ):
小于等于(\le ):
大于等于(\ge ):
不等于(\ne ) :
可以在这些运算符前面加上\not ,如\not\lt :
远大于(\gg):
≫
\gg
≫
远小于(\ll):
≪
\ll
≪
集合关系与运算
并集(\cup ):
交集(\cap ):
差集(\setminus ):
子集(\subset ):
子集(\subseteq ):
非子集(\subsetneq ):
父集(\supset ):
属于(\in ):
不属于(\notin ):
空集(\emptyset ):
空(\varnothing ):
排列
\binom{n+1}{2k} :
{n+1 \choose 2k} :
箭头
(\to ):
(\rightarrow ):
(\leftarrow ):
(\uparrow):
↑
\uparrow
↑
(\downrrow):
↓
\downarrow
↓
(\leftrightarrow):
↔
\leftrightarrow
↔
(\Leftrightarrow):
⇔
\Leftrightarrow
⇔
(\Rightarrow ):
(\Leftarrow ):
(\mapsto ):
逻辑运算符
(\land ):
(\lor ):
(\lnot ):
(\forall ):
(\exists ):
(\top ):
(\bot ):
(\vdash ):
(\vDash ):
操作符
(\star ):
(\ast ):
(\oplus ):
(\circ ):
(\bullet ):
等于
(\approx ):
(\sim ):
(\equiv ):
(\prec ):
范围
(\infty ):
(\aleph_o ):
(\nabla ):
(\Im ):
(\Re ):
模运算
(\pmod ):
如a \equiv b \pmod n :
点
(\ldots ):
(\cdots ):
(\cdot ):
其区别是点的位置不同,\ldots 位置稍低,\cdots 位置居中。
a
1
+
a
2
+
…
+
a
n
a
1
+
a
2
+
⋯
+
a
n
\begin{equation} a_1+a_2+\ldots+a_n \\ a_1+a_2+\cdots+a_n \end{equation}
a1+a2+…+ana1+a2+⋯+an
表示:
顶部符号
对于单字符,\hat x :
多字符可以使用\widehat {xy} :
类似的还有:
(\overline x ):
矢量(\vec ):
向量(\overrightarrow {xy} ):
(\dot x ):
(\ddot x ):
(\dot {\dot x} ):
表格
使用\begin{array}{列样式}…\end{array} 这样的形式来创建表格,列样式可以是clr 表示居中,左,右对齐,还可以使用| 表示一条竖线。表格中各行使用\ 分隔,各列使用& 分隔。使用\hline 在本行前加入一条直线。 例如:
n
Left
Center
Right
1
0.24
1
125
2
−
1
189
−
8
3
−
20
2000
1
+
10
i
\begin{array}{c|lcr} n & \text{Left} & \text{Center} & \text{Right} \\ \hline 1 & 0.24 & 1 & 125 \\ 2 & -1 & 189 & -8 \\ 3 & -20 & 2000 & 1+10i \\ \end{array}
n123Left0.24−1−20Center11892000Right125−81+10i
得到:
矩阵
基本内容
使用\begin{matrix}…\end{matrix} 这样的形式来表示矩阵,在\begin 与\end 之间加入矩阵中的元素即可。矩阵的行之间使用\ 分隔,列之间使用& 分隔,例如:
1
x
x
2
1
y
y
2
1
z
z
2
\begin{matrix} 1 & x & x^2 \\ 1 & y & y^2 \\ 1 & z & z^2 \\ \end{matrix}
111xyzx2y2z2
得到:
括号
如果要对矩阵加括号,可以像上文中提到的一样,使用\left 与\right 配合表示括号符号。也可以使用特殊的matrix 。即替换\begin{matrix}…\end{matrix} 中matrix 为pmatrix ,bmatrix ,Bmatrix ,vmatrix , Vmatrix 。
- pmatrix ( 1 2 3 4 ) \begin{pmatrix}1 & 2 \\ 3 & 4\\ \end{pmatrix} (1324) :
- bmatrix [ 1 2 3 4 ] \begin{bmatrix}1 & 2 \\ 3 & 4\\ \end{bmatrix} [1324] :
- Bmatrix { 1 2 3 4 } \begin{Bmatrix}1 & 2 \\ 3 & 4\\ \end{Bmatrix} {1324} :
- vmatrix ∣ 1 2 3 4 ∣ \begin{vmatrix}1 & 2 \\ 3 & 4\\ \end{vmatrix} 1324 :
- Vmatrix
∥
1
2
3
4
∥
\begin{Vmatrix}1 & 2 \\ 3 & 4\\ \end{Vmatrix}
1324
:
元素省略
可以使用\cdots :⋯,\ddots:⋱ ,\vdots:⋮ 来省略矩阵中的元素,如:
( 1 a 1 a 1 2 ⋯ a 1 n 1 a 2 a 2 2 ⋯ a 2 n ⋮ ⋮ ⋮ ⋱ ⋮ 1 a m a m 2 ⋯ a m n ) \begin{pmatrix} 1&a_1&a_1^2&\cdots&a_1^n\\ 1&a_2&a_2^2&\cdots&a_2^n\\ \vdots&\vdots&\vdots&\ddots&\vdots\\ 1&a_m&a_m^2&\cdots&a_m^n\\ \end{pmatrix} 11⋮1a1a2⋮ama12a22⋮am2⋯⋯⋱⋯a1na2n⋮amn
表示:
增广矩阵
增广矩阵需要使用前面的表格中使用到的\begin{array} … \end{array} 来实现。
KaTeX parse error: Expected & or \\ or \cr or \end at end of input: …rray} \right]
显示为:
公式标记与引用
使用\tag{yourtag} 来标记公式,如果想在之后引用该公式,则还需要加上\label{yourlabel} 在\tag 之后,如KaTeX parse error: Undefined control sequence: \label at position 22: …2 - y^3 \tag{1}\̲l̲a̲b̲e̲l̲{1} 显示为:
如果不需要被引用,只使用\tag{yourtag} , x + y = z (1.1) x+y=z\tag{1.1} x+y=z(1.1)显示为:
\tab{yourtab} 中的内容用于显示公式后面的标记。公式之间通过\label{} 设置的内容来引用。为了引用公式,可以使用\eqref{yourlabel} ,如KaTeX parse error: Undefined control sequence: \eqref at position 19: … y^3 \stackrel{\̲e̲q̲r̲e̲f̲{1}}= x^2 显示为:
或者使用\ref{yourlabel} 不带括号引用,如KaTeX parse error: Undefined control sequence: \ref at position 19: … y^3 \stackrel{\̲r̲e̲f̲{111}}= x^2 显示为:
标注
下标注:
a
+
b
=
a
=
b
c
a+b \underset{a=b}=c
a+ba=b=c
a
+
b
⇒
a
=
b
+
c
c
a + b \underset{a=b+c}{\Rightarrow} c
a+ba=b+c⇒c
上标注:
a
+
b
=
a
=
b
c
a+b \overset{a=b}=c
a+b=a=bc
a
+
b
=
a
=
b
c
a+b \overset{a=b}=c
a+b=a=bc
字体
黑板粗体字
此字体经常用来表示代表实数、整数、有理数、复数的大写字母。
A
B
C
D
E
F
\mathbb ABCDEF
ABCDEF:
A
B
C
D
E
F
\Bbb ABCDEF
ABCDEF:
黑体字
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\mathbf ABCDEFGHIJKLMNOPQRSTUVWXYZ
ABCDEFGHIJKLMNOPQRSTUVWXYZ :
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
\mathbf abcdefghijklmnopqrstuvwxyz
abcdefghijklmnopqrstuvwxyz :
打印机字体
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
\mathtt ABCDEFGHIJKLMNOPQRSTUVWXYZ
ABCDEFGHIJKLMNOPQRSTUVWXYZ :
居中
居中语法: