두 개의 열; 왼쪽 정렬 앞의 공백입니다. QED 기호 배치

Question

찾은 코드를 사용했습니다여기다중 열 앞의 수직 공백을 제거합니다. 일부 방정식을 왼쪽 정렬하고 싶습니다. 두 가지 문제가 있습니다.

1. 방정식은 솔루션 앞의 선과 왼쪽에 정렬되어 있지 않습니다(그림에서는 구분하기 어렵지만 정렬된 환경의 왼쪽에 매우 작은 수평 공간이 있습니다).
2. QED 기호를 솔루션의 맨 아래 행에 맞추려면 어떻게 해야 합니까?

어떤 도움이라도 주시면 감사하겠습니다.

\documentclass[10pt]{amsart}
\usepackage{amsmath, amssymb, amsfonts, amsthm}

\usepackage{enumitem}

\usepackage{multicol}

% multi columns in enumerate
\SetEnumitemKey{twocol}{
    before=\raggedcolumns\setlength{\multicolsep}{\topsep}\begin{multicols}{2},
    after=\end{multicols}
}

\parindent0pt

\begin{document}
\title{Title}
\author{Author}
\date{\today}
\maketitle

Here is a problem.
\begin{enumerate}[twocol]
\item $\mathbf{a} = \langle 1, 2 \rangle$, $\mathbf{b} = \langle 3, 4 \rangle$
\columnbreak
\item $\mathbf{a} = \langle 1, 2 \rangle$, $\mathbf{b} = \langle 3, 4 \rangle$
\end{enumerate}
\begin{proof}[Solution]\hfill
\begin{enumerate}[twocol]
\item $\begin{aligned}[t]
&\mathbf{a} \cdot \mathbf{b} = (1)(3)+(2)(4) = 11 \\
&|\mathbf{a}| = \sqrt{1^2 + 2^2} = \sqrt{5} \\
&|\mathbf{b}| = \sqrt{3^2+4^2} = 5
\end{aligned}$
\item $\begin{aligned}[t]
&\mathbf{a} \cdot \mathbf{b} = (1)(3)+(2)(4) = 11 \\
&|\mathbf{a}| = \sqrt{1^2 + 2^2} = \sqrt{5}
\end{aligned}$
\end{enumerate}
\qedhere\end{proof}

Issues:
\begin{itemize}
\item The $\mathbf{a} \cdot \mathbf{b}$, $|\mathbf{a}|$, $|\mathbf{b}|$ in the solution are not left-aligned with the $\mathbf{a}$ the precedes the solution (there's a very small horizontal space).
\item The $\square$ needs to align with the lowest row in the solution.
\end{itemize}
\end{document}

Answer 1

qed다음은 이를 수행하는 방법에 대한 두 가지 변형입니다. 이는 기호 배치와 매우 유사하며 \qedhere증명 종료 직전에 음수 수직 공간이 앞에옵니다. 두 번째 변형은 tasks'수평' 번호 매기기를 위해 수행되는 환경을 사용합니다. 저는 from 명령을 \abs사용하여 가변 크기 매크로를 정의할 기회를 가졌습니다 (mathtools 문서에서 해당 사용에 대한 자세한 내용을 참조하세요).\DeclarePairedDelimitermathtools

\documentclass[10pt]{amsart}
\usepackage{mathtools, amssymb, amsfonts, amsthm}%
\usepackage{enumitem}
\DeclarePairedDelimiter\abs\lvert\rvert%
\usepackage{multicol}
\usepackage{tasks}
\settasks{counter-format=(tsk[1]), label-width=1.5em}

% multi columns in enumerate
\SetEnumitemKey{twocol}{
    before=\raggedcolumns\setlength{\multicolsep}{\topsep}\begin{multicols}{2},
    after=\end{multicols}
}

\parindent0pt

\begin{document}
\title{Title}
\author{Author}
\date{\today}
\maketitle

Here is a problem.
\begin{enumerate}[twocol]
\item $\mathbf{a} = \langle 1, 2 \rangle$, $\mathbf{b} = \langle 3, 4 \rangle$
\columnbreak
\item $\mathbf{a} = \langle 1, 2 \rangle$, $\mathbf{b} = \langle 3, 4 \rangle$
\end{enumerate}
\begin{proof}[Solution]\hfill
\begin{enumerate}[twocol]
\item $\begin{aligned}[t]
&\mathbf{a} \cdot \mathbf{b} = (1)(3)+(2)(4) = 11 \\
&\abs[\big]{\mathbf{a}} = \sqrt{1^2 + 2^2} = \sqrt{5} \\
&\abs{\mathbf{b}} = \sqrt{3^2+4^2} = 5
\end{aligned}$
\item $\begin{aligned}[t]
&\mathbf{a} \cdot \mathbf{b} = (1)(3)+(2)(4) = 11 \\
&|\mathbf{a}| = \sqrt{1^2 + 2^2} = \sqrt{5}\
\end{aligned}$%
\end{enumerate}
\vspace*{-\dimexpr\baselineskip + \topsep}\qedhere
\end{proof}

Issues:
\begin{itemize}
\item The $\mathbf{a} \cdot \mathbf{b}$, $|\mathbf{a}|$, $|\mathbf{b}|$ in the solution are not left-aligned with the $\mathbf{a}$ the precedes the solution (there's a very small horizontal space).
\item The $\square$ needs to align with the lowest row in the solution.
\end{itemize}
\vspace{1cm}

Here is a problem.
\begin{tasks}(2)
\task $\mathbf{a} = \langle 1, 2 \rangle$, $\mathbf{b} = \langle 3, 4 \rangle$
\task $\mathbf{a} = \langle 1, 2 \rangle$, $\mathbf{b} = \langle 3, 4 \rangle$
\end{tasks}
\begin{proof}[Solution]\hfill
\begin{tasks}(2)
\task $\begin{aligned}[t]
&\mathbf{a} \cdot \mathbf{b} = (1)(3)+(2)(4) = 11 \\
&\abs{\mathbf{a}} = \sqrt{1^2 + 2^2} = \sqrt{5} \\
&\abs{\mathbf{b}} = \sqrt{3^2+4^2} = 5
\end{aligned}$
\task $\begin{aligned}[t]
&\mathbf{a} \cdot \mathbf{b} = (1)(3)+(2)(4) = 11 \\
&|\mathbf{a}| = \sqrt{1^2 + 2^2} = \sqrt{5}\\
\end{aligned}$%\vspace{1ex}\par
%\qedhere
\end{tasks}
\vspace*{-\baselineskip }\qedhere
\end{proof}

\end{document}