将方程式放入 \intertext 中来注释证明

Question

我正在尝试使用 Latex 排版校样。当我进行校样时，我喜欢在一行文本之间交替，以解释每个步骤和结果方程。我还喜欢让方程在 处对齐=。

begin{align}我可以用和轻松做到这一点\intertext{}。但我的问题是，我现在想将一个方程放入中\intertext。本质上，它是一个侧方程，它不是证明的直接组成部分，但对于从一个步骤到下一个步骤很重要。

显然，我可以放弃并在和begin{align}之间交替，但我的证明行将不会在处对齐。text modemath mode=

有什么方法可以强制\intertext接受我的方程式吗？否则，当人们有一个对证明很重要但不属于直接逻辑的方程式时，他们通常会怎么做？

提前感谢您的建议！

Answer 1

这似乎只是工作，取决于你想要的输出是什么样子，你在使用时是否收到错误消息\intertext？

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\begin{align}
1 &=2\\
\intertext{aaa}
a+b&=c+d\\
\intertext{dont't forget that
% use primitive display math here as a nested equation
% disturbs align counting
$$1111=1
\refstepcounter{equation}\eqno(\theequation)$$}
0.5&=\frac{1}{2}
\end{align}

\end{document}

上述代码产生以下输出：

Answer 2

您可以输入$<equation>$，\intertext如下所示

\documentclass{article}
\usepackage{amsmath}

\begin{document}
\begin{align*}
    f(x) & = x^2+5x+9\\
         &= \left( x+\frac{5}{2} \right)^2-\frac{25}{4}+9
\intertext{because $\left( \frac{5}{2} \right)^2=\frac{25}{4}$}
    f(x)    & = \left( x+\frac{5}{2} \right)^2+\frac{11}{4}
\end{align*}
\end{document}

Answer 3

回答这个问题

否则，当人们有一个对证明很重要但不是直接逻辑的一部分的等式时，他们通常会怎么做？

我建议使用扩展witharrows。

\documentclass{article}
\usepackage{witharrows}
\begin{document}
\begin{DispWithArrows*}
    f(x) & = x^2+5x+9
           \Arrow{because $\left( \frac{5}{2} \right)^2=\frac{25}{4}$} \\
         & = \left( x+\frac{5}{2} \right)^2-\frac{25}{4}+9 \\
         & = \left( x+\frac{5}{2} \right)^2+\frac{11}{4}
\end{DispWithArrows*}
\end{document}