数学排版Word格式文档下载.docx
《数学排版Word格式文档下载.docx》由会员分享，可在线阅读，更多相关《数学排版Word格式文档下载.docx（17页珍藏版）》请在冰豆网上搜索。
如果数学式子很长，那么使用环境的方式亦可。
但是这个环境和一般的环境不同的是，他不会在上下行区隔出来，而是随着其他正常文字一起排版的。
要非常注意的是，在这个环境的上下行不要留空白行，否则会另起段落排版，那就不是我们所要的随文数式了。
3.\（数学式子\）
这是\begin{math}数学式子\end{math}省略写法。
我们来试试看，到底进入数学模式和不进入数学模式会有什么不同：
f（x,y）=3x+4y%不进入数学模式
f（x,y）=3x+4y%不进入数学模式，空白是有作用的
$f（x,y）=3x+4y$%进入数学模式
$f（x,y）=3x+4y$%数学模式中留不留空白，及留几个空白，作用都一样
sin（2x）=-sinxcosx%这样排版出来会惨不忍睹喔！
$\sin（2x）=-\sinx\cosx$
f（x,y）=3（x+y）y/（2xy-7）%这样排版出来也是会惨不忍睹！
$f（x,y）=3（x+y）y/（2xy-7）$
排版出来的结果会是：
误
正
f（x,y）=3x+4y
f（x,y）=3x+4y
sin（2x）=-sinxcosx
f（x,y）=3（x+y）y/（2xy-7）
可以看得出来，英文字的部份变成斜体字了，而且加号、逗点、等号前后的空白也不一样。
但是函数名则还是使用正常字体，这在后面第10.1.3会谈到数学模式中的游戏规则。
10.1.2展式数式（mathdisplaymode）
通常独立的数学式子，我们不会使用一般文章一样的做法去换行，而是让他进入展式数式的数学模式，他会独立成一行，有需要的话也可以加入编号，以方便在文章中引用。
和随文数式另一个很大的不同是，展示数式会适当的选用较大的数学符号及字体，尤其是较复杂的数学式子的时候。
1.\begin{displaymath}数学式子\end{displaymath}
这会使数学式子独立成一行。
2.\[数学式子\]
这种方式也可以，也比较常用。
这两种的展示数式都不会编号。
3.\begin{equation}数学式子\end{equation}
这种使用方式，亦会独立成一行，而且会附上编号。
equation*则不附编号。
使用展式数式要注意的是和上下文章不要空出空白行出来，里头也不要空出空白行。
请不要使用TeX里头的$$指令，这在LaTeX并没有完整去重定义他，这在某些LaTeX指令的效果上会没有作用。
10.1.3在数学模式中的一些游戏规则
在数学模式中，由于一些空间的安排和一般文章段落不一样，因此在编辑文稿时，会有一些地方需要注意。
1.关于标点符号
在数学模式中，我们要注意一下标点符号的问题，一般而言，数学式后面如果有标点符号，在随文数式，这个标点符号不能纳入数学模式中；
反之，在展式数式的场合，这些标点符号则要纳入数学模式中。
例如：
2.Let$f（x）=\sqrt[4]{x+1}$and$g（x）=\sqrt{9-x^2}$,...%逗点不纳入数学模式
3.Let
4.\[
5.f（x）=\sqrt[4]{x+1}
6.\]
7.and
8.\[
9.g（x）=\sqrt{9-x^2},%逗点纳入数学模式，标点符号也独立成行
10.\]
11....
所以，展式数式，如果数学式最后有个句点或逗点的话，请不要怀疑，你搞对了！
12.数学模式的斜体字
数学模式里头，默认会使用斜体字，但这些斜体字是数学斜体，和一般文章中的斜体是不一样的，他字母间的距离比较宽，也没有所谓的连体字（ligature），因此，如果需要这些效果，可以指定要使用斜体字，这样就会表现和一般文章一样的斜体了。
13.\textit{proffer}normalitalic.%正常文章的斜体
14.$proffer\math\mode\iatlic.$%数学斜体
15.$\textit{proffer\math\mode\normal\italic.}$%指定为正常斜体
表现出来会是：
proffernormalitalic.
当然，这种情形很少发生，正常排版的话，无需特别去指定使用一般文章的斜体。
16.例外不使用斜体字的情形
一般函数名是不使用斜体字的，例如log、三角函数名
等等，为了避免失误打错，可以直接使用指令的方式，例如\log、\sin、\tan
等等，这样虽然是在数学模式中，也会使用一般的正常字体。
TeX/LaTeX系统提供了预先定义好的32种函数名供使用：
\arccos
\cos
\csc
\exp
\ker
\limsup
\min
\arcsin
\cosh
\deg
\gcd
\lg
\ln
\Pr
\arctan
\cot
\det
\hom
\lim
\log
\sec
\arg
\coth
\dim
\inf
\liminf
\max
\sin
\sinh
\sup
\tan
\tanh
17.这样往后只要是函数名就直接在数学模式中使用这些现成的指令就行了。
当然，如果是这里没有涵盖的函数名，就得自行加以注意了。
18.另外，单位名、化学元素、数字、简写缩写文字等都不使用斜体字。
但例外的例外，物理中的常数名则仍然是要使用斜体字，例如光速c。
19.不要加入换行指令或插入空白行
一个数学式子，在LaTeX是视为一个单独的单位或段落，而且，在这个特殊的段落里，LaTeX会抑制linebreak及pagebreak的机制，所以，除非是矩阵及矩阵方程式外，不能去强迫换行也不能插入空白行。
10.2数学符号
我们打字，通常是无法打出一些特殊数学符号，纵使字型里头有这种符号，但由于要和其他符号、文字调整他们的相对位置，因此，除了一些常用的运算符号外，数学符号通常是使用指令的方式来键入。
我们在第7.2.8小节里头曾提到symbols-a4.pdf符号表，这个总表非常重要，几乎罗列了目前所有可用的现成符号，并且会标明需要引入什么package，所以，这里就不把符号表列出来，以节省篇幅。
当然，有些编辑器的宏会设定好方便的按钮方式来插入这些数学符号，但建议开始接触的时候，多花点时间亲自键入，等熟悉以后再来使用这种方便的设定来增加生产力。
理由是，编译错误或校稿修改时才知道要改什么地方，连\sum、\infty、\int是什么符号都不知道的话，那么要微调就变成很困难了，而且什么地方错误也常会搞不清楚，这些后续的动作所花的时间，可能会比你刚开始学指令所花的时间还多。
10.3各种数学式子的书写方法
我们这里就正式来看看数学式子到底是如何书写，这里不做符号的列表，直接举例子，如对相关符号指令的书写有疑问，请自行查阅symbols-a4.pdf。
10.3.1分式（fraction）
书写方式
排版结果
$f（x,y）=3（x+y）y/（2xy-7）$
$f（x,y）=\frac{3（x+y）y}{（2xy-7）}$
简单的分式，直接使用/就可以了，否则就要使用\frac{分子}{分母}这个分式的的指令。
我们可以看到，随文数式为了和前后文配合，分式的情形会把字母、符号缩小，如果太复杂的分式，就不适合使用随文数式了，要把他单独列出来：
\[
f（x,y）=\frac{3（x+y）y}{（2xy-7）}
\]
\begin{equation}%有编号的情形
\end{equation}
这样，排版出来的结果是：
（10.1）
请注意，和上下行的原来文字不要有空白行，展式数式会自动处理。
更复杂的分式的例子：
\frac{\frac{a}{x-y}+\frac{b}{x+y}}{\frac{x-y}{x+y}+\frac{a-b}{a+b}}
排版出来的结果是：
如果觉得，字体似乎太小了，可以指定字体：
\frac{\frac{\displaystylea}{\displaystylex-y}+
\frac{\displaystyleb}{\displaystylex+y}}
{\frac{\displaystylex-y}{\displaystylex+y}+
\frac{\displaystylea-b}{\displaystylea+b}}
可指定的字体大小有：
\displaystyle
展示数式的标准字体大小
\textstyle
随文数式的标准字体大小
\scriptstyle
第一层上下标字体大小
\scriptscriptstyle
第二层上下标字体大小
10.3.2上下标
$（a+b）^2=a^2+2ab+b^2$
$\cos2x=\cos^2x-\sin^2x$
$（y^m）^n=y^{mn}$
$^a_bY^c_d$
$e^{t\cos\theta}$
$\lim_{n\to\infty}\sum_{i=1}^n{\frac{1}{n}}$
$y_1=1/3（x_1+\omegax_2+\omega^2x_3）$
需要注意的是，不管是上下标，如果里头有两个以上的字符都要当做上下标时，要使用大括号把他括住，否则会只作用在第一个字符而已。
而且，上下标是左右两边都能标注的。
这里的\to指令，是\rightarrow的简写，就是向右的单箭号。
相对的向左的单箭号\leftarrow，他的简写是\gets。
另外，像\sum、\lim、\int这类符号，如果是在展示数式的时候，他的上下标的表现会和随文数式不一样，符号也会比较大，例如：
\lim_{n\to\infty}\sum_{i=1}^n{\frac{1}{n}}\sin\frac{k}{n}
表现出来会变成：
10.3.3根号
$\sqrt{x^2+y^2}$
$\sqrt[5]{a+\sqrt{b}}$
10.4矩阵（array）
矩阵的排版方式和第8.3节所谈的tabular表格类似，也是以&
来区隔字段，以\\来换行，只不过，矩阵的情形是在数学模式里头。
其中的分界符号（delimiter），在LaTeX是由\left及\right指令来引导，这些分界符号会随里头式子的多寡，自动重设大小。
至于有什么分界符号可以使用，也请自行查一下symbols-a4.pdf。
我们来看例子：
A=\left（%视\left后面跟的是什么分界符号，就是使用什么
\begin{array}{clr}
t_{11}&
t_{12}&
t_{13}\\
t_{21}&
t_{22}&
t_{23}\\
t_{31}&
t_{32}&
t_{33}
\end{arrary}\right）
排版结果是：
是不是和排版表格一样呢？
指定的位置lcr的意思，和排版表格时是一样的。
如果右边不需分界号，那么可以使用\right.来代替，例如：
g（x,y）=\left\{\begin{array}{ll}
f（x,y）,&
\mbox{if$x<
y$}\\%文字的部份要用\mbox
f（y,x）,&
\mbox{if$x>
y$}\\%包住，让他使用正常字体
0,&
\mbox{otherwise.}
\end{array}\right.
排版的结果是：
AmS-LaTeX另外提供了matrix环境，这是没有分界符号的，另外有固定分界符号的环境：
环境
分界符号
matrix
无分界号
bmatrix
方括号[]
pmatrix
小括号（）
Bmatrix
大括号{}
vmatrix
单垂直线||
Vmatrix
双垂直线||||
这样就可以不必使用\left及\right来引导出分界符号，我们把上面的例子再排版一次：
...
\usepackage{amsmath}%要记得引用amsmath宏
A=
\begin{pmatrix}%使用小括号
\end{pmatrix}
看起来会比较紧凑一点。
matrix环境仍然可以使用\left及\right来加上分界号。
10.4.1矩阵方程式
LaTeX有一个内建的eqnarray环境，来排版矩阵方程式，但这个环境对数学式子的空间安排会有潜在的瑕疵，因此，许多LaTeX专家建议使用AmS-LaTeX所提供的align环境。
因此，这里只讨论align环境。
而且，使用align环境的好处是，每一个数学式子只需要一个&
即可，排版出来会依这个&
来对齐，如果有数个数学式在同一行，那各个数学式子也是使用&
来区隔。
所有式子要向左对齐的话，只要把&
置于行首就可以了。
align环境中的每行数学式子都会加以编号，要不编号的话，可在每行数学式子换行符号前加个\notag指令，这一行便不会编号，要所有的数学式子都不编号的话，就使用align*环境。
要使用特别指定的符号来编号的话，可使用\tag{符号}放在这一行的换行指令前。
使用subequations环境则会有子编号。
我们来看个例子：
\usepackage{amsmath}%要记得引用amsmathpackage
\begin{subequations}%让编号同数，但以英文小写为子编号
\begin{align}%韩信点兵，同余方程式
x&
\equiv2\pmod3\\%三三数之剩二
\equiv3\pmod5\\%五五数之剩三
\equiv2\pmod7%七七数之剩二
\end{align}
\end{subequations}
10.5定理
LaTeX有一个\newtheorem指令来定义，Theorem,Lemma,Definition
等等环境，但他的功能算是满阳春的，因此，这里也附带说明美国数学协会的amsthmpackage的使用，他仍然是建立在LaTeX的\newtheorem而来的，因此可以配合LaTeX原有的定义。
10.5.1原始LaTeX的定义
定理环境，在LaTeX里头是要我们自行去指定环境名称，他的语法是：
\newtheorem{环境名称}{定理名称}[章节层次]
编号如要加入章节编号，可加入选项参数的部份，例如chapter则会按chapter的编号来成为定理、定义的编号。
我们来看看实际的例子：
\newtheorem{defi}{Definition}%在preamble区先定义好环境名称
\begin{defi}
Let$f$becontinuousonthehalf-openinterval$[a,b）$andsuppose
$\lim_{x\rightarrowb^-}|f（x）|=\infty$.Then,
\int_a^bf（x）dx=\lim_{t\rightarrowb^-}\int_a^tf（x）dx
providedthislimitexistsandisfinite,inwhichcasewesaythe
integralconverges.Otherwise,wesayitdiverges.
\end{defi}
表现出来的将会是：
Definition1
Let
becontinuousonthehalf-openinterval
andsuppose
.Then,
providedthislimitexistsandisfinite,inwhichcasewesaytheintegralconverges.Otherwise,wesayitdiverges.
如果是定理的话，接着可能需要排版证明，我们可以直接使用amsthmpackage的proof环境，来排版证明的部份。
10.5.2amsthm宏套件
我们在上一个小节里头看到了LaTeX预设的定理、定义环境，但弹性很小，这里我们来使用amsthm宏套件，并且试着排版中文：
\usepackage{CJK}%引入CJK环境
\usepackage{amsmath,amsthm,amssymb}%引入AMS数学环境
\theoremstyle{remark}%内文使用正常字体
\newtheorem{cdefi}{\bf定义}%改用粗体，预设remarkstyle是斜体
\begin{CJK}{Bg5}{hwmm}
\begin{cdefi}
设函数$f:
[a,b]\rightarrow\mathbb{R}$为可微分，且$（f'
）^2$为可积，则称
L（s）=\int^b_a\sqrt{1+（f'
（x））^2}dx
为$f$之图形自点$（a,f（a））$至点$（b,f（b））$之弧$s$的弧长。
\end{cdefi}
\end{CJK}
其中theoremstyle有三种style，plain,difinition,remark，预设使用的是plain，即定理名称会用粗体字，内文则是italic斜体字，但这在中文并不适当，所以改由remarkstyle来排版。
要注意的是定理环境内的plainstyle虽然使用italic字型，但他并没有进入数学模式，因此里头的数学式子仍然要进入数学模式来排版。
另外，实数的那个特殊符号
要引用amssymbpackage才会有，这也是美国数学协会发展的。
amsthm另提供了\theoremstyle给使用自行定义除了plain、definition及remark三种形式外的style。
另外，LaTeX本身的工具组也提供了一个theorem宏套件，能更有弹性的来细部微调，也有现成的指令，可以去改变所要使用的字体，可以参考系统上就有的theorem.dvi这个说明档。
10.6数学模式中的字型及空间调整
我们前面已有谈到调整数学模式字体大小的四个指令。
这里我们再来看看其他的调整指令。
10.6.1数学字体的改变
以下的指令，相信大家从他的简写就可以知道意思：
指令
作用
实例
\mathrm
正常字体
\mathtt
打字机字族
\mathbf
粗体字
\mathsf
sansserif
\mathit
italic斜体
\mathcal
数学花体字
其他的套件会有更多的不同字体，请参考系统里头的symbols-a4.pdf。
要注意的是，有些字型并不是都完全有各种字体组合，像花体字并没有小写字母。
10.6.2数学模式中调整间距
正常情况下，数学模式中的空间调整应不必用户去操心，但程序毕竟不会思考，有些特殊场合仍然需要人为的调整。
\quad
空出一个em单位的空白
\qquad
空出两个em的空白
\,
加入1/6quad的空白
\!
减去1/6quad的空白
升级会员 