关于AMS-math系统的介绍,有关于数学打印的一切。
LaTeX有强大的排版公式能力,你可以在很短的时间内打印出一份符合规范的数学论文。
以下均使用宏包
取模 有两个命令:\bmod 用于二元运算"a mod b"; 而\pmod 则用于模的方程。
分式 上下形式的分式基本命令为\frac 。amsmath 提供了另外两种命令\dfrac和\tfrac , 前者无论行间环境还是行内环境都打印显示模式,后者则无论行间还是行内都打印文本模式。一般对较小的分式可以直接输入/ 。
TexStudio 中,\frac 的快捷键为Alt+Shift+F ,\dfrac 的快捷键为Ctrl + Shift + F 。跳到下一个可编辑区域的快捷键为Ctrl+→ 。
积分,求和,乘积 他们分别用\int
三点列 \ldots得到在基线上的点,\cdots 得到上下居中的点。另外在表格和矩阵中\vdots得到竖直的点,\ddots 得到对角线的点。
一般来说,用在列举时用基线的点,用在相似项相加时用上下居中的点。
下举一例运用到所有知识
同样也提供了用于生成行内数学模式中的小矩阵环境smallmatrix
矩阵环境中的下一列和换行命令与表格中一致。
alignat{n} 环境可以生成类似表格的对齐公式组,其中n为列数。
因为其他公式环境都是由equation 生成,所以只需要定义equation即可。
\eqref提供了带括号的公式引用。
环境subequations 可以生成类似(4.9 a),(4.9 b)之类的编号。
在导言区使用命令示例如下
在正文区可以使用命令\begin{name}[text]...\end{name} 来使用名字为name的定理环境,其中text参数为定理的名字。
amsthm还提供一个proof环境。命令为\begin{proof}...\end{proof}
可以在导言区重新定义proofname 使其支持中文,命令为
命令\qedhere可以手动移动“证毕”符。
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
amsmath
综述
LaTeX有两种特定的模式来排版数学公式,包括行内数学模式和行间数学模式。 行内数学模式将公式排版在一个段落中,使用方式为\(...\) 、$...$
和
\begin{math} ... \end{math}
.
行间数学模式一般用于较长的数学方程或希望单独显示的公式,使用方式为
\[...]
和
`\begin{displaymath}...\end{displaymath}
。
有些符号在这两种模式显示效果有很大不同。一般称行内数学模式显示的格式为文本格式,行间数学模式显示的格式为显示模式。
在TexStudio中,行内数学模式快捷键为
Ctrl+Shift+M
行间模式快捷键为
Alt+Shift+M
如果希望将方程编号,并在之后使用标签去交叉引用,就需要用到
equation
环境。注意
equation
已经是数学环境,所以不需要再里面加入
$...$
或
\[...]
。
数学模式的群组
大部分数学模式的命令只对其后的一个字符有效,因此,如果你希望一个命令对多个字符起作用,你必须把它们放在一个群组中,使用花括号:{}
![bcc732e6eb886551bab210234a9780e8.png](https://i-blog.csdnimg.cn/blog_migrate/d49e941d661e91e4757bcb0d50dab8e1.jpeg)
数学公式的基本元素
下面介绍一些数学排版中最重要的一些命令。这些命令必须包括在数学模式中,即$...$
或
\[...]
。
希腊字母 小写输入为
\alpha
,
\beta
,
\gamma
, ...
大写输入为
\Gamma
,
\Delta
指数和下标 可以分别通过
^
和
_
两个符号指定,注意如果指数和下标超过了一个字符,需要用到群组。即把文本用花括号括起来。惯例是先输下标后输指数。
在
TexStudio
中,下标的快捷键为
Ctrl+Shift+D
,指数的快捷为
Ctrl+Shift+U
平方根 输入用
\sqrt{}
, n次方根用
\sqrt[n]{}
来得到。仅仅需要根号,可以用
\surd
得到。在
TexStudio
中,平方根的快捷键为
CtrlShift+Q
水平线 用命令
\overline
和
\underline
实现。注意单个字符上加一短横的命令为\bar
撇 用
'
可以输入一个撇号。
向量 单个字符上的小箭头用\vec, 由A到B的向量用命令\overrightarrow和\overleftarrow 指定。
点 命令\cdot
函数 通常用直立字体,LaTeX预制了很多函数命令。例如\log
,
\cos等。如果需要自己定义函数,可以使用amsmath中的命令\DeclareMathOperator{\xxx}{XXX}
![d73066b8555858919613a8f6632f4fd2.png](https://i-blog.csdnimg.cn/blog_migrate/fffff5fa051c700fb38425075ec65676.jpeg)
![b6d910e6e2e833d717bb68ae0fca36bb.png](https://i-blog.csdnimg.cn/blog_migrate/342812ac631f3a2fa52fda886fda7865.jpeg)
![d432234ecec1b5ff2825340510959212.png](https://i-blog.csdnimg.cn/blog_migrate/c003ec7fea56af602d702dea046eb54a.jpeg)
,
\sum
,
\prod 表示,其中上限和下限用^和_表示
重积分使用\iint定界符 小括号和中括号可以直接打出,大括号需要用\{\}转义。一般情况下需要调整定界符的大小,在左定界符前加\left, 并在右定界符前加\right 。LaTeX会自动调整定界符的大小。有时候自动调整效果不满意,可以使用\big,
\iiint,
\idotsint
,
\Big
,
\bigg
,
\Bigg来调整定界符大小。
TexStudio中,\left的快捷键为Ctrl+Shift+L ,\right的快捷键为Ctrl+Shift+R。
![ca0114feae0c8a44900c0272aa0c29c3.png](https://i-blog.csdnimg.cn/blog_migrate/89b169f568a2cd24f9be81c4f337ae3f.jpeg)
![d91dcb555b8eba7776cb7fa0233e65f0.png](https://i-blog.csdnimg.cn/blog_migrate/003694129904cda0c7a5630e1e587a6a.jpeg)
![a63f7f96c4688bdfc540c55e0dfce794.png](https://i-blog.csdnimg.cn/blog_migrate/091312e0edec0dbd8946a93699ec3e96.png)
数学空格
有时候由TeX选择的空格不令人满意,可以插入一些特殊的空格控制命令来调整。空格由小到大依次为\,,
\:
,
\;
,
\quad
,
\qquad
在重积分的空格选取中,amsmath提供了\iint
,
\iiint
,
\iiiint
,
\idotint来生成重积分号。
垂直取齐
矩阵
amsmath宏包提供了一系列用于排版的矩阵环境,都依托于LaTeX中的array环境。![c723203c310ad23c3d4fa91f0a3250d7.png](https://i-blog.csdnimg.cn/blog_migrate/738de4acfb71fbf9b3bdb5adfa28cf7a.png)
分段函数
amsmath宏包提供了cases 环境用于方便排版分段函数。![6f57c4a422a1fcec282039e7fd6ede57.png](https://i-blog.csdnimg.cn/blog_migrate/25df86faf818016f5f94499bca664edb.jpeg)
长公式
amsmath宏包提供了很多用于长公式排版的命令,一般基于LaTeX的equation和eqnarry环境。但amsmath文档建议不再使用LaTeX的长公式环境。 在公式环境中,命令\tag{num}可以生成公式的编号。命令\notag可以取消公式的编号。单行公式
equation 环境用于生成带编号的单行公式,equation*环境则生成不带编号的单行公式。无对齐的多行公式
multline环境可以将一个长公式分成几行,并赋予一个编号。一般第一行左对齐,最后一行右对齐。可以用命令\shoveleft和\shoveright来强制左对齐或右对齐。 可以用宏包选项\reqno和\leqno 来决定编号放在最后一行之后还是第一行之前。对齐的多行公式
split环境可以将一个长公式分成几行,并且使用&
可以指定每一行对齐什么符号,使用\\换行。注意
split
环境没有编号,并且只能被用在其他行间模式的环境中。比如equation
,
gather
,
align
无对齐的公式组
gather环境用于一次排版多个公式,其中每个公式都有自己的编号,使用\\换行。对应的gather*则排版多个不带编号的公式。gather环境中可以嵌套split环境。对齐的公式组
align 环境用于带对齐的排版多个公式,同样每个公式都有自己的编号。使用&对齐,使用\\换行。 使用额外单独的&可以得到类似表格的一列列公式,例如考虑下列式子。![a6d73a03afcd55f3f791c20a188f5b43.png](https://i-blog.csdnimg.cn/blog_migrate/e365d8fe9cbeff70fc4b4751fd7df14c.jpeg)
![ec1162560b98aeb5c5acf51a5feca683.png](https://i-blog.csdnimg.cn/blog_migrate/aa895b7e61867a449689453f95cd5b1a.jpeg)
实际宽度的公式块
gather, align, alignat生成的是占满整个文档宽度的公式块,有时候我们需要将公式块包在一个括号之中。可以用到下面的命令。 gathered,aligned, alignedat这些命令可以生成公式实际宽度的块,所以可以用在条件之中。例如![1a5442ace907e93d2bd5ff6b3f731461.png](https://i-blog.csdnimg.cn/blog_migrate/24ce92352085ed75474f3a264fef3c41.jpeg)
文本截断公式
\intertext用于将一行简短的文本插入到公式组中,只能用在\\ 中。![eb6381857cb90608e5145be9a3715647.png](https://i-blog.csdnimg.cn/blog_migrate/954dbd084bbb74bf1351ddab513c41fa.jpeg)
公式编号
在LaTeX中,如果你想将公式编码中带上节数,可以使用命令\numberwithin![d6f09c99925f019925f750654fb03872.png](https://i-blog.csdnimg.cn/blog_migrate/b9e48aa7e7280e624123d92c9ff5f591.jpeg)
![f6ad967bffa7c864a253562904ca24b4.png](https://i-blog.csdnimg.cn/blog_migrate/8fee46fd2275b58c3f50c2ef55e6a199.png)
定
排版“引理”、“定义”、“公理”及其他类似的结构。 宏包amsthm 提供了\newtheoremstyle{style}命令,通过三个预定义的样式中选择一个来定义定理的外观。三个样式分别为![82ab98382513aee5ebc4e664c1ca8673.png](https://i-blog.csdnimg.cn/blog_migrate/fb54d73c2c45e5e149c3a8ad2586682c.png)
![745ac149bf31a0312e72d85ca524f403.png](https://i-blog.csdnimg.cn/blog_migrate/db0cd21e544ebf0fc307084e8b362ac9.jpeg)
![96cea803c625b239ca418c78a6f11480.png](https://i-blog.csdnimg.cn/blog_migrate/332643015993ec9e164093615f4d44a2.jpeg)
![2edd3835cefdc3b056cdd8b8311fffe8.png](https://i-blog.csdnimg.cn/blog_migrate/2895a41a9bd762b3052b5c6e61df98ea.jpeg)
END
往期精彩回顾
伽罗瓦理论之美围棋中的数学原理5个没人能解决的“简单”数学问题让我知道你在看
![6e963d1afacfb81e6c2c1ac43053a672.png](https://i-blog.csdnimg.cn/blog_migrate/4d0a014356ab3f5d91e652fa50f1a865.jpeg)