带注释的等式两边的运算

Question

我最近发现了这个包带箭头它允许您注释代数运算过程中的方程式和步骤等。

\WithArrowsOptions{displaystyle,tikz=blue}
$\begin{WithArrows}
    \sum_{i=1}^n (x_i+1)^2
    & = \sum_{i=1}^n (x_i^2+2x_i+1) \Arrow{by linearity}\\
    & = \sum_{i=1}^n x_i^2 + 2\sum_{i=1}^nx_i+ n
\end{WithArrows}$

会产生

我还喜欢使用聚集环境来显示等式两边的操作（使用聚集环境）

我想知道是否有人对我如何在聚集环境中注释/使用箭头来显示代数操作有任何建议

Answer 1

我已经编写了一个新版本来witharrows应对这种情况（版本 1.17 2019-07-09）。在这个版本中，有一个选项format类似于 环境的前言array。tabular通过输入format = c，我们将只有一个居中列。

\documentclass{article}
\usepackage{amsfonts}
\usepackage{witharrows}
\begin{document}
Let $n \in \mathbb N$ and we'll assume that $n \ge n_0$ so we have
\begin{DispWithArrows}[format=c,notag]
25 \le n \Arrow{we multiply by $n$} \\
25 n \le n^2  \Arrow{here, I don't see very well} \\
3n+2 \le 5n \le \frac{n^2}{5} 
\end{DispWithArrows}
\end{document}

Answer 2

您可以标记点，tikzmark然后使用这些点绘制任何类型的 tikz 东西，这里有几个箭头。

\documentclass{article}
\usepackage{amsmath,tikz}
\usetikzlibrary{tikzmark,calc}
\begin{document}
\begin{gather}
  \tikzmark{a}12345 = x^3+x^2+x\\
   a=b \quad \text{and} \quad b=a\tikzmark{c}\\
  \tikzmark{d}1=0\tikzmark{e}
\end{gather}
\begin{tikzpicture}[remember picture,overlay]
\draw [,->] ($(pic cs:a) - (5pt,0pt)$)  to [bend right=70] 
node [left] {interesting step}
($(pic cs:d) - (10pt,0pt)$) 
;

\draw [->] ($(pic cs:c) + (5pt,0pt)$)  to [ bend left=70] 
node [right] {dull step}
($(pic cs:e) + (10pt,0pt)$) 
;



\end{tikzpicture}
\end{document}