【次頁】: 11. 一篇文章、一本書的完整結構 【封面頁】: latex123 【前頁】: 9. 圖形的處理 目錄 索引
好啦！這章是 LaTeX 的拿手把戲了。就讓我們就來見識一下 LaTeX 的威力吧！光這一章的內容就可以寫一本厚厚的書了，所以，只能點到為止，先小酌一番。這一章的內容，他們排版精確性，以 PDF 格式的內容為準，HTML 格式的內容，僅供參考。
對於較複雜的數學式子，除非是自行定義巨集，否則 LaTeX 內建所提供的排版數學式子的能力可能會有不足，這時可以使用美國數學協會所開發的 AmS-LaTeX 巨集套件，目前所有的 TeX 發行版本應該都會附上，而且也會附上另一套 AMSFonts 巨集套件及其字型。這個套件的使用，這裡並不做詳細的說明，只在必要的時候附帶提及，可以另外參考系統上所附的 amsldoc.dvi 文件及 The LaTeX Companion 這本書第八章，這個部份網路上可以抓得到，檔名是 ch8.pdf，CTAN 有收錄：
http://www.ctan.org/tex-archive/info/companion-rev/ch8.pdf
我們平常寫文章的模式無法正確處理數學式子間的空間位置，而且要鍵入次方、方根、積分
等等符號，會有困難，因此，所有的數學式子都得進入數學模式來處理。在數學模式下，不僅大部份文字、符號會採用斜體字，而且空間會另做安排，額外的空白會被 LaTeX 忽略，在數學模式中要鍵入一般的正常文字，要退出數學模式，或者由 \mbox{} 或 \textmr{} 包圍起來才行。
LaTeX 的數學模式有兩種，一種是和內文排列在一起的隨文數式（math inline mode），他是和一般正常文字混在一起排版的；另外一種是獨立的展式數式（math display mode），他會單獨成一行，而且上下會和正常文字有一定的空間來區隔。
$ 數學式子 $
\$，大概是指，平常不必把錢看得太重的意思吧（這是我猜的）！:-)
\begin{math} 數學式子 \end{math}
\( 數學式子 \)
\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)=-sin x cos x % 這樣排版出來會慘不忍睹喔！ $\sin (2x) = -\sin x \cos x$ 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)=-sin x cos x f(x,y) = 3(x+y)y / (2xy-7)
可以看得出來，英文字的部份變成斜體字了，而且加號、逗點、等號前後的空白也不一樣。但是函數名則還是使用正常字體，這在後面第 10.1.3 會談到數學模式中的遊戲規則。
\begin{displaymath} 數學式子 \end{displaymath}
\[ 數學式子 \]
\begin{equation} 數學式子 \end{equation}
使用展式數式要注意的是和上下文章不要空出空白行出來，裡頭也不要空出空白行。請不要使用 TeX 裡頭的 $$ 指令，這在 LaTeX 並沒有完整去重定義他，這在某些 LaTeX 指令的效果上會沒有作用。
在數學模式中，由於一些空間的安排和一般文章段落不一樣，因此在編輯文稿時，會有一些地方需要注意。
Let $f(x)=\sqrt[4]{x+1}$ and $g(x)=\sqrt{9-x^2}$,... % 逗點不納入數學模式
Let
\[
f(x)=\sqrt[4]{x+1}
\]
and
\[
g(x)=\sqrt{9-x^2}, % 逗點納入數學模式，標點符號也獨立成行
\]
...
所以，展式數式，如果數學式最後有個句點或逗點的話，請不要懷疑，你搞對了！:-)
\textit{proffer} normal italic. % 正常文章的斜體
$proffer\ math\ mode\ iatlic.$ % 數學斜體
$\textit{proffer\ math\ mode\ normal\ italic.}$ % 指定為正常斜體
表現出來會是：
proffer normal italic.
當然，這種情形很少發生，正常排版的話，無需特別去指定使用一般文章的斜體。
等等，為了避免失誤打錯，可以直接使用指令的方式，例如 \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
這樣往後只要是函數名就直接在數學模式中使用這些現成的指令就行了。當然，如果是這裡沒有涵蓋的函數名，就得自行加以注意了。
另外，單位名、化學元素、數字、簡寫縮寫文字等都不使用斜體字。但例外的例外，物理中的常數名則仍然是要使用斜體字，例如光速 c。
我們打字，通常是無法打出一些特殊數學符號，縱使字型裡頭有這種符號，但由於要和其他符號、文字調整他們的相對位置，因此，除了一些常用的運算符號外，數學符號通常是使用指令的方式來鍵入。我們在第 7.2.8 小節裡頭曾提到 symbols-a4.pdf 符號表，這個總表非常重要，幾乎羅列了目前所有可用的現成符號，並且會標明需要引入什麼 package，所以，這裡就不把符號表列出來，以節省篇幅。
當然，有些編輯器的巨集會設定好方便的按鈕方式來插入這些數學符號，但建議開始接觸的時候，多花點時間親自鍵入，等熟悉以後再來使用這種方便的設定來增加生產力。理由是，編譯錯誤或校稿修改時才知道要改什麼地方，連 \sum、\infty、\int 是什麼符號都不知道的話，那麼要微調就變成很困難了，而且什麼地方錯誤也常會搞不清楚，這些後續的動作所花的時間，可能會比你剛開始學指令所花的時間還多。
我們這裡就正式來看看數學式子到底是如何書寫，這裡不做符號的列表，直接舉例子，如對相關符號指令的書寫有疑問，請自行查閱 symbols-a4.pdf。
書寫方式 排版結果 $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} % 有編號的情形
f(x,y)=\frac{3(x+y)y}{(2xy-7)}
\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{\displaystyle a}{\displaystyle x-y}+
\frac{\displaystyle b}{\displaystyle x+y}}
{\frac{\displaystyle x-y}{\displaystyle x+y}+
\frac{\displaystyle a-b}{\displaystyle a+b}}
\]
排版出來的結果是：
\displaystyle展示數式的標準字體大小 \textstyle隨文數式的標準字體大小 \scriptstyle第一層上下標字體大小 \scriptscriptstyle第二層上下標字體大小
書寫方式 排版結果 $(a+b)^2=a^2+2ab+b^2$$\cos 2x=\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+\omega x_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}
\]
表現出來會變成：
書寫方式 排版結果 $\sqrt{x^2+y^2}$$\sqrt[5]{a+\sqrt{b}}$
矩陣的排版方式和第 8.3 節所談的 tabular 表格類似，也是以 & 來區隔欄位，以 \\ 來換行，只不過，矩陣的情形是在數學模式裡頭。
其中的分界符號（delimiter），在 LaTeX 是由 \left 及 \right 指令來引導，這些分界符號會隨裡頭式子的多寡，自動調整大小。至於有什麼分界符號可以使用，也請自行查一下 symbols-a4.pdf。我們來看例子：
![$ \sqrt[5]{a+\sqrt{b}}$](img44.gif)
\[
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)
\]
排版結果是：
\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} % 使用小括號
t_{11} & t_{12} & t_{13} \\
t_{21} & t_{22} & t_{23} \\
t_{31} & t_{32} & t_{33}
\end{pmatrix}
\]
排版出來的結果是：
\left 及 \right 來加上分界號。
LaTeX 有一個內建的 eqnarray 環境，來排版矩陣方程式，但這個環境對數學式子的空間安排會有潛在的瑕疵，因此，許多 LaTeX 專家建議使用 AmS-LaTeX 所提供的 align 環境。因此，這裡只討論 align 環境。而且，使用 align 環境的好處是，每一個數學式子只需要一個 & 即可，排版出來會依這個 & 來對齊，如果有數個數學式在同一行，那各個數學式子也是使用 & 來區隔。所有式子要向左對齊的話，只要把 & 置於行首就可以了。
align 環境中的每行數學式子都會加以編號，要不編號的話，可在每行數學式子換行符號前加個 \notag 指令，這一行便不會編號，要所有的數學式子都不編號的話，就使用 align* 環境。要使用特別指定的符號來編號的話，可使用 \tag{符號} 放在這一行的換行指令前。使用 subequations 環境則會有子編號。我們來看個例子：
...
\usepackage{amsmath} % 要記得引用 amsmath package
...
\begin{subequations} % 讓編號同數，但以英文小寫為子編號
\begin{align} % 韓信點兵，同餘方程式
x & \equiv 2 \pmod 3 \\ % 三三數之剩二
x & \equiv 3 \pmod 5 \\ % 五五數之剩三
x & \equiv 2 \pmod 7 % 七七數之剩二
\end{align}
\end{subequations}
排版出來的結果是：
 |
LaTeX 有一個 \newtheorem 指令來定義，Theorem, Lemma, Definition
等等環境，但他的功能算是滿陽春的，因此，這裡也附帶說明美國數學協會的 amsthm package 的使用，他仍然是建立在 LaTeX 的 \newtheorem 而來的，因此可以配合 LaTeX 原有的定義。
定理環境，在 LaTeX 裡頭是要我們自行去指定環境名稱，他的語法是：
\newtheorem{環境名稱}{定理名稱}[章節層次]
編號如要加入章節編號，可加入選項參數的部份，例如 chapter 則會按 chapter 的編號來成為定理、定義的編號。我們來看看實際的例子：
...
\newtheorem{defi}{Definition} % 在 preamble 區先定義好環境名稱
...
\begin{defi}
Let $f$ be continuous on the half-open interval $[a, b)$ and suppose
$\lim_{x\rightarrow b^-}|f(x)|=\infty$. Then,
\[
\int_a^bf(x)dx=\lim_{t\rightarrow b^-}\int_a^tf(x)dx
\]
provided this limit exists and is finite, in which case we say the
integral converges. Otherwise, we say it diverges.
\end{defi}
表現出來的將會是：
be continuous on the half-open interval 
and suppose
. Then,
我們在上一個小節裡頭看到了 LaTeX 預設的定理、定義環境，但彈性很小，這裡我們來使用 amsthm 巨集套件，並且試著排版中文：
...
\usepackage{CJK} % 引入 CJK 環境
\usepackage{amsmath,amsthm,amssymb} % 引入 AMS 數學環境
\theoremstyle{remark} % 內文使用正常字體
\newtheorem{cdefi}{\bf 定義} % 改用粗體，預設 remark style 是斜體
...
\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 斜體字，但這在中文並不適當，所以改由 remark style 來排版。要注意的是定理環境內的 plain style 雖然使用 italic 字型，但他並沒有進入數學模式，因此裡頭的數學式子仍然要進入數學模式來排版。另外，實數的那個特殊符號
要引用 amssymb package 才會有，這也是美國數學協會發展的。
amsthm 另提供了 \theoremstyle 給使用自行定義除了 plain、definition 及 remark 三種形式外的 style。另外，LaTeX 本身的工具組也提供了一個 theorem 巨集套件，能更有彈性的來細部微調，也有現成的指令，可以去改變所要使用的字體，可以參考系統上就有的 theorem.dvi 這個說明檔。
我們前面已有談到調整數學模式字體大小的四個指令。這裡我們再來看看其他的調整指令。
以下的指令，相信大家從他的簡寫就可以知道意思：
指令 作用 實例 \mathrm正常字體 \mathtt打字機字族 \mathbf粗體字 \mathsfsans serif \mathititalic 斜體 \mathcal數學花體字
其他的套件會有更多的不同字體，請參考系統裡頭的 symbols-a4.pdf。要注意的是，有些字型並不是都完全有各種字體組合，像花體字並沒有小寫字母。
正常情況下，數學模式中的空間調整應不必使用者去操心，但程式畢竟不會思考，有些特殊場合仍然需要人為的調整。
指令 作用 指令 作用 \quad空出一個 em 單位的空白 \qquad空出兩個 em 的空白 \,加入 1/6 quad 的空白 \!減去 1/6 quad 的空白 \;加入 5/18 quad 的空白 \:加入 2/9 quad 的空白
其中 \,、\quad 及 \qquad 可以用在一般的文字模式及數學模式，其他的只能使用在數學模式中。我們把上一個弧長定義的例子來試著調整一下：
...
\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}
...
排版出來的結果是：
但是，要注意的是，如果文章有點長，數學式子也不少，那一定要注意整體的一致性，要調整的話就全文相同的地方都要去調整，否則就使用預設值就可以了，至少他不會太離譜。 Compiled by Edward G.J. Lee (2004-03-07)