导言区
\documentclass{article}
\usepackage{amsmath,amssymb,amsfonts,}%math-数学公式；symb-数学符号；fonts-字号；
| 环境 | 是否进入数学模式 | 是否接受可选参数 | 是否占满整行 | 是否产生编号 | 备注 |
|---|---|---|---|---|---|
| align | 是 | 否 | 是 | 是 | align* 不产生编号，其他与 align 相同 |
| aligned | 否 | 是 | 否 | 不可用 |
一、编号问题
1.1 单行行间公式
\begin{equation}
\mathcal{J}_0 = \min \sum_{t=t_0}^{t_K} \sum_{i\in V_0} z_{i,t} f_i(s_i^t) \label{Eq.1}
\end{equation}
注：单行的时候，博主通常使用equation，其他的环境也是可以的。(最不容易出版本兼容的问题)
1.2 多行多编号
方法一：align环境
\begin{align}
\sum_{t=t_0}^{t_k} Z_{i,t} \leq \tau \forall i \in V_0 \label{Eq.3} \\
0 \leq y_{i,t}^P \leq Q \label{Eq.4} %%
\\
0 \leq y_{i,t}^D \leq Q \label{Eq.5} %%
\\
\end{align}
理解误区：align环境是自带多行多编号的。行与行之间使用\\间隔，是写在公式末尾还是另起新的一行都没问题。还有环境中的\label{Eq.3}是其标签的作用，与显示结果中的(3)没有关系。它是在文章中引用该公式的时候,使用命令
\ref{Eq.3} is represent visit number.
结果为：
方法二：gather环境
\begin{gather}
\sum_{t=t_0}^{t_k} Z_{i,t} \leq \tau \forall i \in V_0 \label{Eq.3}
\\
0 \leq y_{i,t}^P \leq min(Q_h, s_i^t) \label{Eq.4} %% 拾取数目的上下限
\\
0 \leq y_{i,t}^D \leq min(Q_h, c_i-s_i^t) \label{Eq.5} %% 卸载数目的上下限
\end{gather}
注：gather环境中的最后一行不要加\\,否则会多出一行空白公式。
两者的区别:
align 环境主要是进行分隔符（&）指定的公式某个位置对齐，gather 则 是公式居中（没有分隔符），两者皆有自动的公式编号功能，另外还有少些用到的对齐 环境 aligned（对齐不编号）。
1.3 多行共编号
\begin{equation}
\begin{equation}
\begin{aligned}
a+b+5=8 \\
a*b=2\\
c+1=5\\
\end{aligned}
\end{equation}
\end{equation}
注：
aligned不是公式环境，要与equation搭配使用- 行与行之间用
\\间隔 - 多行共用一个编号。经常与
align混了，然后在每行后面添加\label{Eq.7},\label{Eq.8}之类的，最后latex会报错，overleaf可能不会。
1.4 不带编号
使用equation*或者align*环境。
\begin{equation*}
\begin{aligned}
a+b+5=8 \\
a*b=2\\
c+1=5\\
\end{aligned}
\end{equation*}
\begin{align*}
\sum_{t=t_0}^{t_k} Z_{i,t} \leq \tau \forall i \in V_0
\\
0 \leq y_{i,t}^P \leq Q
\\
0 \leq y_{i,t}^D \leq Q
\\
\end{align*}
二、多行对应单行
2.1 一行公式分隔写
%split环境（用$对齐）(一个公式分为多行排版)
\begin{equation}
\begin{split}
\cos 2x &= \cos^2 x - \sin^2 x\\
&= 2\cos^2 x - 1
\end{split}
\end{equation}
注：添加split环境，使用\\换行，使用分隔符&对齐。
2.2 case情况
\begin{equation}
D(x) = \begin{cases}
1, & if \ x \in Q \\
0, & if \ x \in R
\end{cases}
\end{equation}
注：添加case环境，使用\\换行，使用分隔符&对齐。
2.3 单边大括号+单编号
\begin{align}
\left\{
\begin{aligned}
x&=eq1\\
y&=eq2+1
\end{aligned}
\right.
%
\end{align}
注：在公式环境()下使用，用\left{命令添加左大括号，用\right. 以打点.结束
三、对其问题
3.1 多行居中对齐
出现上面的问题的时候，不好看。希望居中对齐。
见1.2节，使用gather环境即可。
3.2 多行左对齐
\begin{align}
& \sum_{t=t_0}^{t_k} Z_{i,t} \leq \tau \forall i \in V_0 \label{Eq.3}
\\
& 0 \leq y_{i,t}^P \leq min(Q_h, s_i^t) \label{Eq.4} %% 拾取数目的上下限
\\
& 0 \leq y_{i,t}^D \leq min(Q_h, c_i-s_i^t) \label{Eq.5} %% 卸载数目的上下限
\end{align}
注：使用align环境，每行前使用分隔符&即可。
3.3 "="对齐
\begin{align}
a+1+2+3+4+5 &= 16\\
b+1 &= 3+4+4+6+7\\
c &= 5
\end{align}
注：在align环境中，在“=”前使用间隔符&即可。同样的问题类似。
