公式排版与断行指南

本指南用于中文学位论文中的 displayed equation 排版判断。优先服从学校模板； 没有明确校级规则时，采用 amsmath 的常规数学环境选择逻辑。

基本原则

• 能在正文宽度内正常居中显示、且编号能在右侧同一行对齐的短公式，保持单行。
• 不为了“看起来更整齐”或与相邻公式保持同样行数而拆分公式。
• 公式超出正文宽度、贴近或越过页边距、把公式编号挤到下一行时，应改为受控多行排版。
• 拆行应服务于数学结构：长表达式、推导链、成组定义、方程组或分段条件。
• 默认只给排版建议；不要静默改写 \label{}、\ref{}、\eqref{} 或模板宏命令。

何时拆分

1. 宽度或编号失败

若公式编号本应在右侧同一行，但被挤到下一行，通常说明公式宽度已经超过当前版心可用空间。此时可以拆分公式，而不是强行压在一行。

建议：

• 单个长表达式可考虑 multline，或在 equation 内使用 split / aligned。
• 拆分点优先选择逗号、加减号、乘积项之间或定义列表之间，避免破坏语义单元。
• 拆分后保持一个公式编号，除非每一行都是可单独引用的独立公式。

2. 推导链或关系式

多步推导、等价变形、上下界估计等应按关系符号对齐，例如 =、\approx、\le、\Rightarrow。

建议：

\begin{align}
  A &= B + C \\
    &= D + E .
\end{align}

如果整组只需要一个编号，可结合模板要求使用 equation + aligned 或 split。

3. 方程组、分段条件或成组约束

多个条件、方程组、分段函数、同一对象的多项定义，适合使用 aligned、cases 或学校模板推荐环境。

建议：

\begin{equation}
\begin{cases}
  y = f(x), & x \ge 0, \\
  y = g(x), & x < 0 .
\end{cases}
\end{equation}

何时不拆分

• 公式没有超出页边距，编号没有被挤到下一行。
• 公式不是推导链、方程组、分段条件或成组定义。
• 拆行只会制造无意义的视觉对称。
• 相邻公式中只有一个太长：只处理太长的公式，保留能正常显示的公式。

输出建议口径

% FORMAT-FORMULA [Severity: Major] [Priority: P1]: 公式过宽导致编号被挤到下一行
% 建议：将该公式改为受控多行排版；若只是单个长表达式，保留一个编号。
% 边界：相邻短公式若能正常放入版心，不需要同步拆分。

参考

• AMS-LaTeX amsmath documentation: equation, multline, split, align, aligned, cases.
• IEEE Math Typesetting Guide for LaTeX Users: 多行公式应按数学关系和可读性组织，而不是机械断行。