引用方程式

Question

我知道这在某种程度上是一个风格问题，但我认为这很常见，所以也许这个问题有一种既定的标准。

考虑等式推理：

\documentclass{article}
\usepackage{amsmath}
\begin{document}

\begin{equation}\label{g}
g(n) = 0
\end{equation}

\begin{equation}\label{searchdx}
\begin{split}
  f(g(n) + 3) & \\
  \tiny(\ref{g})\quad &= f(3)\\ %reference to g
  &= \ldots
\end{split}
\end{equation}
\end{document}

我试图引导读者沿着等式路径直到得出结论。我预先准备了一个带标签的方程列表。在最后（和一些中间）步骤中，我使用这些方程。引用此用法的良好风格是什么？引用应该不引人注目但引人注目。有用于此的宏吗？

编辑：在纸上或黑板上，我会在侧面（大致在方程标签所在的位置）注释每个步骤。但是我如何在 LaTeX 中执行此操作（以及如何避免将其与实际标签混淆？）。

Answer 1

有两种可能性：

• 将方程式标签写在方程式符号上方。
• 在单独的列中添加理由。我不认为引用与新标签混淆了，特别是当您省略括号时。

\documentclass{article}
\usepackage{amsmath}
\begin{document}

\begin{equation}\label{g}
g(n) = 0
\end{equation}

\begin{equation}\label{h}
h(n) = 0
\end{equation}

\newcommand\justifiedeq[2]{\stackrel{\text{#1}}=}
\begin{align}
  f(h(g(n)) + 3) & \justifiedeq{\eqref{g}} f(h(0)+3) \label{f1} \\
                 & \justifiedeq{\eqref{h}} f(0+3)    \label{f2} \\
                 & \justifiedeq{ar.}       f(0)      \label{f3}
\end{align}

\begin{align}
  f(h(g(n)) + 3) & = f(h(0)+3) && \text{by equation~\ref{g}} \label{F1} \\
                 & = f(0+3)    && \text{by equation~\ref{h}} \label{F2} \\
                 & = f(0)      && \text{by arithmetic}       \label{F3}
\end{align}
\end{document}