關(guān)于AMS-math系統(tǒng)的介紹搪柑，有關(guān)于數(shù)學(xué)打印的一切。

LaTeX有強(qiáng)大的排版公式能力，你可以在很短的時(shí)間內(nèi)打印出一份符合規(guī)范的數(shù)學(xué)論文困食。

以下均使用宏包amsmath

綜述

LaTeX有兩種特定的模式來(lái)排版數(shù)學(xué)公式碗脊，包括行內(nèi)數(shù)學(xué)模式和行間數(shù)學(xué)模式啼肩。

行內(nèi)數(shù)學(xué)模式將公式排版在一個(gè)段落中橄妆，使用方式為\(...\) 、$...$和\begin{math} ... \end{math}.

行間數(shù)學(xué)模式一般用于較長(zhǎng)的數(shù)學(xué)方程或希望單獨(dú)顯示的公式祈坠，使用方式為\[...]和`\begin{displaymath}...\end{displaymath}害碾。

有些符號(hào)在這兩種模式顯示效果有很大不同。一般稱行內(nèi)數(shù)學(xué)模式顯示的格式為文本格式赦拘，行間數(shù)學(xué)模式顯示的格式為顯示模式慌随。

在TexStudio中，行內(nèi)數(shù)學(xué)模式快捷鍵為Ctrl+Shift+M 行間模式快捷鍵為Alt+Shift+M

如果希望將方程編號(hào)躺同，并在之后使用標(biāo)簽去交叉引用阁猜，就需要用到equation 環(huán)境。注意equation已經(jīng)是數(shù)學(xué)環(huán)境蹋艺，所以不需要再里面加入$...$或\[...]剃袍。

數(shù)學(xué)模式的群組

大部分?jǐn)?shù)學(xué)模式的命令只對(duì)其后的一個(gè)字符有效，因此捎谨，如果你希望一個(gè)命令對(duì)多個(gè)字符起作用民效，你必須把它們放在一個(gè)群組中，使用花括號(hào)：{}

$ e^{i\pi} =1  $

數(shù)學(xué)公式的基本元素

下面介紹一些數(shù)學(xué)排版中最重要的一些命令涛救。這些命令必須包括在數(shù)學(xué)模式中畏邢，即$...$或\[...]。

希臘字母 小寫輸入為\alpha, \beta, \gamma, ... 大寫輸入為\Gamma, \Delta

指數(shù)和下標(biāo) 可以分別通過(guò)^和_ 兩個(gè)符號(hào)指定检吆，注意如果指數(shù)和下標(biāo)超過(guò)了一個(gè)字符舒萎，需要用到群組。即把文本用花括號(hào)括起來(lái)咧栗。慣例是先輸下標(biāo)后輸指數(shù)逆甜。

在TexStudio中，下標(biāo)的快捷鍵為Ctrl+Shift+D 致板，指數(shù)的快捷鍵為Ctrl+Shift+U

平方根 輸入用\sqrt{} , n次方根用\sqrt[n]{} 來(lái)得到交煞。僅僅需要根號(hào)，可以用\surd得到斟或。

在TexStudio中素征，平方根的快捷鍵為CtrlShift+Q

水平線 用命令\overline和\underline 實(shí)現(xiàn)。注意單個(gè)字符上加一短橫的命令為\bar

撇 用' 可以輸入一個(gè)撇號(hào)萝挤。

向量 單個(gè)字符上的小箭頭用\vec御毅， 由A到B的向量用命令\overrightarrow 和\overleftarrow 指定。

點(diǎn) 命令\cdot

函數(shù) 通常用直立字體怜珍，LaTeX預(yù)制了很多函數(shù)命令端蛆。例如\log, \cos 等。如果需要自己定義函數(shù)酥泛，可以使用amsmath中的命令\DeclareMathOperator{\xxx}{XXX}

\DeclarMathOperator{\st}{s.t.}

%試比較下面兩種表示
$\st x>0$

$s.t. x>0$

取模 有兩個(gè)命令：\bmod 用于二元運(yùn)算"a mod b"; 而\pmod 則用于模的方程今豆。

$a \bmod b$\\
$ x \equiv a \pmod 嫌拣$

分式 上下形式的分式基本命令為\frac 。amsmath 提供了另外兩種命令\dfrac和\tfrac , 前者無(wú)論行間環(huán)境還是行內(nèi)環(huán)境都打印顯示模式呆躲，后者則無(wú)論行間還是行內(nèi)都打印文本模式异逐。 一般對(duì)較小的分式可以直接輸入/ 。

TexStudio 中插掂，\frac 的快捷鍵為Alt+Shift+F 灰瞻，\dfrac 的快捷鍵為Ctrl + Shift + F 。跳到下一個(gè)可編輯區(qū)域的快捷鍵為Ctrl+→ 辅甥。

$ \dfrac{1}{k} \; \frac{1}{k} \;  \tfrac{1}{k}$
\[ \dfrac{1}{k} \; \frac{1}{k} \; \tfrac{1}{k}\]

積分酝润，求和，乘積 他們分別用\int, \sum, \prod 表示肆氓，其中上限和下限用^和_表示

重積分使用\iint, \iiint, \idotsint

定界符 小括號(hào)和中括號(hào)可以直接打出袍祖，大括號(hào)需要用\{\} 轉(zhuǎn)義底瓣。 一般情況下需要調(diào)整定界符的大小谢揪，在左定界符前加\left , 并在右定界符前加\right 。LaTeX會(huì)自動(dòng)調(diào)整定界符的大小捐凭。有時(shí)候自動(dòng)調(diào)整效果不滿意拨扶，可以使用\big, \Big, \bigg, \Bigg來(lái)調(diào)整定界符大小。

TexStudio中茁肠，\left的快捷鍵為Ctrl+Shift+L 患民， \right 的快捷鍵為Ctrl+Shift+R。

\[ (\prod_{i=1}^{n})x_{i} ) \quad \left(\prod_{i=1}^{n} x_{i}\right )  \]

三點(diǎn)列 \ldots 得到在基線上的點(diǎn)垦梆，\cdots 得到上下居中的點(diǎn)匹颤。另外在表格和矩陣中\vdots 得到豎直的點(diǎn)，\ddots 得到對(duì)角線的點(diǎn)托猩。

一般來(lái)說(shuō)印蓖，用在列舉時(shí)用基線的點(diǎn)，用在相似項(xiàng)相加時(shí)用上下居中的點(diǎn)京腥。

\[ x_{1},\ldots.x_{n} \quad x_{1}+\cdots + x_{n} \]

下舉一例運(yùn)用到所有知識(shí)

$ \forall \alpha, \beta> 0,  $ 成立
    \[ \dfrac{\alpha+\beta}{2} > \sqrt{\alpha \cdot \beta}\]
將這個(gè)結(jié)論推廣, 可以得到 ~$\forall x_{1},\ldots ,x_{n}>0, $ 
    \[ \dfrac{x_{1}+\cdots+x_{n}  }{n} > \sqrt[n]{x_{1} \cdots x_{n}}\]
        
對(duì)于任意非零復(fù)向量~$\alpha,  $ 成立
    \[ \alpha \bar{\alpha}'  >0 \]
        
三角不等式
    \[\left  |\overrightarrow{AC}\right | \leq \left |\overrightarrow{AB}\right |+\left |\overrightarrow{BC}\right  | \]
        
一個(gè)不等式
    \[ \prod_{i=1}^{n} x_{i}y_{i} \leq \left \{\prod_{i=1}^{n}x_{i}^{2}\right \}^{1/2} \left \{\prod_{i=1}^{n}y_{i}^{2}\right \}^{1/2}\]

數(shù)學(xué)空格

有時(shí)候由TeX選擇的空格不令人滿意赦肃，可以插入一些特殊的空格控制命令來(lái)調(diào)整」耍空格由小到大依次為\,, \:, \;, \quad, \qquad

在重積分的空格選取中他宛，amsmath提供了\iint, \iiint, \iiiint, \idotint 來(lái)生成重積分號(hào)。

垂直取齊

矩陣

amsmath宏包提供了一系列用于排版的矩陣環(huán)境欠气，都依托于LaTeX中的array 環(huán)境厅各。

同樣也提供了用于生成行內(nèi)數(shù)學(xué)模式中的小矩陣環(huán)境smallmatrix

矩陣環(huán)境中的下一列和換行命令與表格中一致。

\[ \det(A)=\begin{vmatrix}
        a_{11} & a_{12} & \cdots  & a_{1n}\\
        a_{21} & a_{22} & \cdots  & a_{2n}\\
        \cdots & \cdots & \cdots  & \cdots\\
        a_{n1} & a_{n2} & \cdots  & a_{nn}\\
        \end{vmatrix} \]

分段函數(shù)

amsmath宏包提供了cases 環(huán)境用于方便排版分段函數(shù)预柒。

\[ \delta(x)=\begin{cases}
    1   &x=0,\\
    0  & x\neq0.
\end{cases} \]

長(zhǎng)公式

amsmath宏包提供了很多用于長(zhǎng)公式排版的命令队塘，一般基于LaTeX的equation和eqnarry 環(huán)境琐鲁。但amsmath文檔建議不再使用LaTeX的長(zhǎng)公式環(huán)境。

在公式環(huán)境中人灼，命令\tag{num}可以生成公式的編號(hào)围段。命令\notag 可以取消公式的編號(hào)。

單行公式

equation 環(huán)境用于生成帶編號(hào)的單行公式投放，equation* 環(huán)境則生成不帶編號(hào)的單行公式奈泪。

無(wú)對(duì)齊的多行公式

multline環(huán)境可以將一個(gè)長(zhǎng)公式分成幾行，并賦予一個(gè)編號(hào)灸芳。一般第一行左對(duì)齊涝桅，最后一行右對(duì)齊±友可以用命令\shoveleft和\shoveright 來(lái)強(qiáng)制左對(duì)齊或右對(duì)齊冯遂。

可以用宏包選項(xiàng)\reqno和\leqno 來(lái)決定編號(hào)放在最后一行之后還是第一行之前。

對(duì)齊的多行公式

split環(huán)境可以將一個(gè)長(zhǎng)公式分成幾行谒获，并且使用& 可以指定每一行對(duì)齊什么符號(hào)蛤肌，使用\\換行。注意split 環(huán)境沒(méi)有編號(hào)批狱，并且只能被用在其他行間模式的環(huán)境中裸准。比如equation, gather, align

無(wú)對(duì)齊的公式組

gather 環(huán)境用于一次排版多個(gè)公式，其中每個(gè)公式都有自己的編號(hào)赔硫，使用\\換行炒俱。對(duì)應(yīng)的gather* 則排版多個(gè)不帶編號(hào)的公式。gather環(huán)境中可以嵌套split環(huán)境爪膊。

對(duì)齊的公式組

align 環(huán)境用于帶對(duì)齊的排版多個(gè)公式权悟，同樣每個(gè)公式都有自己的編號(hào)。使用& 對(duì)齊推盛，使用\\換行峦阁。

使用額外單獨(dú)的& 可以得到類似表格的一列列公式，例如考慮下列式子小槐。

\begin{align}
    x& = y_1-y_2+y_3-y_5+y_8-\dots
    &\quad& \text{式子}\\
    & = y’\circ y^* && \text{式子}\\
    & = y(0) y’ && \text {式子}
\end{align}

alignat{n} 環(huán)境可以生成類似表格的對(duì)齊公式組拇派，其中n為列數(shù)。

\begin{alignat*}{2}
    x& = y_1-y_2+y_3-y_5+y_8-\dots
    &\quad& \text{式子}\\
    & = y’\circ y^* && \text{式子}\\
    & = y(0) y’ && \text {式子}
\end{alignat*}

實(shí)際寬度的公式塊

gather, align, alignat 生成的是占滿整個(gè)文檔寬度的公式塊凿跳，有時(shí)候我們需要將公式塊包在一個(gè)括號(hào)之中件豌。可以用到下面的命令控嗜。

gathered,aligned, alignedat 這些命令可以生成公式實(shí)際寬度的塊茧彤，所以可以用在條件之中。例如

\begin{equation*}
\left.\begin{aligned}
B’&=-\partial\times E,\\
E’&=\partial\times B - 4\pi j,
\end{aligned}
\right\}
\qquad \text{Maxwell’s equations}
\end{equation*}

文本截?cái)喙?/h3>

\intertext 用于將一行簡(jiǎn)短的文本插入到公式組中疆栏，只能用在\\ 中曾掂。

\begin{align}
    a^{2}\\
    \intertext{文字}
    b^{2}
\end{align}

公式編號(hào)

在LaTeX中惫谤，如果你想將公式編碼中帶上節(jié)數(shù)，可以使用命令\numberwithin

\numberwithin{equation}{section}

因?yàn)槠渌江h(huán)境都是由equation 生成珠洗，所以只需要定義equation即可溜歪。

\eqref 提供了帶括號(hào)的公式引用。

環(huán)境subequations 可以生成類似(4.9 a),(4.9 b)之類的編號(hào)许蓖。

\begin{equation}
    e^{i\pi}=1
\end{equation}
\begin{multline}
    x^{2}+y^{2}=\\
     z^{2}   
\end{multline}
\[ \begin{split}
    \sum_{i=1}^{n} (x_{i}+y_{i})^{2} =& \sum_{i=1}^{n} x_{i}^{2} + \sum_{i=1}^{n} y_{i}^{2}\\
    &+2\sum_{i=1}^{n} x_{i}y_{i}
\end{split} \]
\begin{gather}
    a=b\\
    c=d
\end{gather}
\begin{align}
    x& = y_1-y_2+y_3-y_5+y_8-\dots
    &\quad& \text{式子}\\
    & = y’\circ y^* && \text{式子}\\
    & = y(0) y’ && \text {式子}
\end{align}
\begin{alignat*}{2}
    x& = y_1-y_2+y_3-y_5+y_8-\dots
    & \text{式子}\\
    & = y'\circ y^* & \text{式子}\\
    & = y(0) y' & \text {式子}
\end{alignat*}
\begin{equation*}
    \left.\begin{aligned}
    B’&=-\partial\times E,\\
    E’&=\partial\times B - 4\pi j,
    \end{aligned}
    \right\}
    \qquad \text{Maxwell’s equations}
\end{equation*}
\begin{align}
    a^{2}\\
    \intertext{文字}
    b^{2}
\end{align}

定理

排版“引理”蝴猪、“定義”、“公理”及其他類似的結(jié)構(gòu)膊爪。

宏包amsthm 提供了\newtheoremstyle{style}命令自阱，通過(guò)三個(gè)預(yù)定義的樣式中選擇一個(gè)來(lái)定義定理的外觀。三個(gè)樣式分別為

在導(dǎo)言區(qū)使用命令示例如下

\theoremstyle{definition} \newtheorem{law}{定律}
%\newtheorem{name}[counter]{text} 其中counter表示與某個(gè)定理環(huán)境共用計(jì)數(shù)器
\theoremstyle{plain}      \newtheorem{jury}[law]{定理}
%\newtheorem*{name}[counter]{text} 其中*表示無(wú)編號(hào)
\theoremstyle{remark} \newtheorem*{remark}{注記}

在正文區(qū)可以使用命令\begin{name}[text]...\end{name} 來(lái)使用名字為name的定理環(huán)境米酬，其中text參數(shù)為定理的名字沛豌。

%導(dǎo)言區(qū)添加
\theoremstyle{definition} \newtheorem{law}{定律}

\begin{law}[April][section]
    四月（April）總是呆不住
\end{law}

amsthm 還提供一個(gè)proof 環(huán)境。命令為\begin{proof}...\end{proof}

可以在導(dǎo)言區(qū)重新定義proofname 使其支持中文赃额，命令為

%導(dǎo)言區(qū)添加
\renewcommand{\proofname}{證明}

\begin{proof}
    偽裝成證明
\end{proof}

命令\qedhere可以手動(dòng)移動(dòng)“證畢”符加派。