如何以一种好的方式对齐较长的等式？

Question

我想以一种好看的方式对齐下面的方程系统。特别是，我希望垂直点位于 \equiv 和 = 符号的中心。我还希望最后一行中的 2 垂直居中位于 p-5 下方。我希望我的意思清楚。你能告诉我如何实现吗？

\documentclass[a4paper, 11pt]{book}



\usepackage[a4paper,left=3cm,right=3cm,top=3cm,bottom=3cm]{geometry}




\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}




\usepackage{lmodern}

\begin{document}

\begin{align*}
        -1 &\equiv p-1 &= 2 \cdot s &\pmod p\\
        -3 &\equiv p-3 &= 2 \cdot (s-1) &\pmod p\\
        -5 &\equiv p-5 &= 2 \cdot (s-2) &\pmod p\\
        &\vdots &\vdots\\
        -(p-2) &\equiv  2 &= 2 \cdot (s-(s-1)) &\pmod p.
\end{align*}


\end{document}

Answer 1

像这样吗？

我使用了alignat*而不是align*来减少列之间的水平间距。我还使用了 命令，使用和符号\vdotswithin将mathtools垂直点居中。\equiv=

\documentclass[a4paper, 11pt]{book}
\usepackage[a4paper,left=3cm,right=3cm,top=3cm,bottom=3cm]{geometry}
\usepackage{mathtools}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{lmodern}

\begin{document}

\begin{alignat*}{3}
        -1 &\equiv p-1 &&= 2 \cdot s &&\pmod p\\
        -3 &\equiv p-3 &&= 2 \cdot (s-1) &&\pmod p\\
        -5 &\equiv p-5 &&= 2 \cdot (s-2) &&\pmod p\\
        &\vdotswithin{\equiv} &&\vdotswithin{=}\\
        -(p-2) &\equiv \makebox[\widthof{\(p-5\)}]{\(2\)} &&= 2 \cdot (s-(s-1)) &&\pmod p.
\end{alignat*}

\end{document}

Answer 2

您可以使用\vdotswithinfrom 来mathtools表示垂直点。否则，您可能只使用数组。

\documentclass[a4paper, 11pt]{book}
\usepackage[a4paper,left=3cm,right=3cm,top=3cm,bottom=3cm]{geometry}
\usepackage{mathtools}
\usepackage{array}




\usepackage{lmodern}

\begin{document}
\[
\begin{array}{@{}r@{}*3{>{{}}l@{}}}
        -1 &\equiv p-1 &= 2 \cdot s &\pmod p\\
        -3 &\equiv p-3 &= 2 \cdot (s-1) &\pmod p\\
        -5 &\equiv p-5 &= 2 \cdot (s-2) &\pmod p\\
        &\vdotswithin{\equiv} &\vdotswithin{=}&\vdotswithin{\pmod p}\\
        -(p-2) &\equiv  2 &= 2 \cdot (s-(s-1)) &\pmod p\;.
\end{array}
\]
\end{document}

Answer 3

我建议采用以下略有不同的布局之一，以整个组为基准gather*并alignedat采用单一布局：\mod p

\documentclass[a4paper, 11pt]{book}
\usepackage{lmodern}

\usepackage[a4paper,left=3cm,right=3cm,top=3cm,bottom=3cm]{geometry}
\usepackage{mathtools}
\usepackage{amssymb}
\usepackage{amsthm}

\begin{document}

\begin{gather*}
\begin{alignedat}{2}
        -1 &\equiv p-1 & & = 2\mkern2mu s\\
        -3 &\equiv p-3 & & = 2(s-1) \\
        -5 &\equiv p-5 & & = 2(s-2) \\[-1.5ex]
        &\vdotswithin{=} & &\vdotswithin{=} \\[-1ex]
        -(p-2) &\equiv 2 & & = 2 \bigl(s-(s-1)\bigr)
\end{alignedat}
\qquad\pmod p
\end{gather*}

\begin{gather*}
\begin{alignedat}{2}
        -1 &\equiv p-1 & & = 2\mkern2mu s\\
        -3 &\equiv p-3 & & = 2(s-1) \\
        -5 &\equiv p-5 & & = 2(s-2) \\[-1.5ex]
        &\vdotswithin{=} & &\vdotswithin{=} \\[-1ex]
        -(p-2) &\equiv 2 = \mathrlap{2 \bigl(s-(s-1)\bigr)}
\end{alignedat}
\qquad \pmod p
\end{gather*}

\end{document}