多行公式

有时一个公式太长一行放不下，或几个公式需要写成一组，这时我们
就要用到amsmath 提供的几个适合多行公式的环境。
对于多行不需要对齐的长公式，我们可以用multiline 环境。
\begin{multline}
x=a+b+c+\\
d+e+f+g
\end{multline}
需要对齐的长公式可以用split 环境，它本身不能单独使用，因此也
称作次环境，必须包含在equation 或其它数学环境内。split 环境用\\
和& 来分行和设置对齐位置。
\[ \begin{split}
x=&a+b+c+\\
&d+e+f+g
\end{split} \]
公式组
不需要对齐的公式组用gather环境，需要对齐的用align。
\begin{gather}
a=b+c+d\\
x=y+z
\end{gather}
\begin{align}
a&=b+c+d\\
x&=y+z
\end{align}
multine、gather、align 等环境都有带* 的版本，它们不生成公式编
号。
有多种条件的公式组用cases 次环境。
\[ y=\begin{cases}
-x & x<0\\
x & x\geq0
\end{cases} \]
定理和证明
LATEX 提供了一个\newtheorem 命令来定义定理之类的环境，其语法
如下。
\newtheorem{环境名}[编号延续]{显示名}[编号层次]
在下例中，我们定义了四个环境：定义、定理、引理和推论，它们都
在一个section 内编号，而引理和推论会延续定理的编号。
\newtheorem{defination}{定义}[section]
\newtheorem{theorem}{定理}[section]
\newtheorem{lemma}[theorem]{引理}
\newtheorem{corollary}[theorem]{推论}
定义了上述环境之后，我们就可以象下面这样使用它们。
\begin{defination}
Java是一种跨平台的编程语言。
\end{defination}
定义3.5.1. Java是一种跨平
台的编程语言。
\begin{theorem}
咖啡因会使人的大脑兴奋。
\end{theorem}
定理3.5.1. 咖啡因会使人的
大脑兴奋。
\begin{lemma}
茶和咖啡都会使人兴奋。
\end{lemma}
引理3.5.2. 茶和咖啡都会使
人兴奋。
\begin{corollary}
晚上喝咖啡会导致失眠。
\end{corollary}
推论3.5.3. 晚上喝咖啡会导
致失眠。
proof环境可以用来输入下面这样的证明，它会在证明结尾输入一个
QED 符号2。
\begin{proof}[命题‘‘物质无限可分’’的
证明]
一尺之棰，日取其半，万世不竭。
\end{proof}
命题“物质无限可分”的证明.
一尺之棰，日取其半，万世
不竭。