数式モードでコメントを複数行に分割する方法

Question

証明では、ミニページを使用して、左側の方程式を分割し、右側に図を表示したいと考えています。ただし、左側の方程式の 1 つでは、コメントが長すぎてミニページに収まりきりません。コメントを 2 行に分割するにはどうすればよいでしょうか。方程式ではできることは理解していますが、コメントの場合はどうすればよいかわかりません。以下は私のコードと出力です。

\documentclass[a4paper, 11pt]{article}
\usepackage{fullpage} 
\usepackage{amsmath,amsthm,amssymb}
\usepackage{mathtools,amsthm}

\begin{document}
\begin{proof}~\\
\begin{minipage}{0.5\textwidth}
\begin{align*}
AB = BD, & AC=CE &\qquad &\textrm{(midpoint of a side)}\\
\angle BAC &= \angle DAE&\qquad &\textrm{(common angle)}\\
\frac {AB}{AD} &= \frac {AC}{AE} = \frac 12\\
\therefore \Delta ABC &\sim \Delta ADE& \qquad &\textrm{(SAS; 1:2)}\\
\angle ABC & = \angle ADE& \qquad &\textrm{(matching $\angle$ 's, $\Delta ABC \sim\Delta ADE$)}\\
\therefore BC &\| DE& \qquad &\textrm{(corresponding $\angle$'s are $=$)}\\
\frac{BC}{DE} &=\frac 12 & \qquad & \textrm{(matching sides in the same ratio,$\Delta ABC \sim\Delta ADE$)}\\
\therefore BC &= \frac 12 DE && \qedhere
\end{align*}
\end{minipage}
\hfill
\begin{minipage}{0.4\textwidth}
\includegraphics[width=0.9\textwidth,keepaspectratio]{proof.PNG}
\end{minipage}
\end{proof}
\end{document}

上の図のように、コメントを縦線で分割し、他のコメントと揃った次の行に配置します。

ご協力いただきありがとうございます!

Answer 1

最長のコメントには の代わりに を使用し、画像alignat*の垂直方向の配置を制御する別の方法があります 。をロードする場合は をロードする必要がないことに注意してください。また、コードを少し簡略化しました (各行に追加する必要はありません)。align*alignedadjustboxamsmathmathtools\qquad

\documentclass[a4paper, 11pt]{article}
\usepackage{fullpage}
\usepackage{showframe}
\renewcommand{\ShowFrameLinethickness} {0.3pt}
\usepackage[demo]{adjustbox}
\usepackage{amssymb}
\usepackage{mathtools,amsthm}

\begin{document}

\begin{proof}~\\[-3ex]
\begin{minipage}[t]{0.5\textwidth}
\begin{alignat*}{2}
AB = BD&,\; AC=CE & \quad &\textrm{(midpoint of a side)}\\
\angle BAC &= \angle DAE& &\textrm{(common angle)}\\
\frac {AB}{AD} &= \frac {AC}{AE} = \frac 12 & & \\
\therefore \Delta ABC &\sim \Delta ADE&&\textrm{(SAS; 1:2)}\\
\angle ABC & = \angle ADE& &\textrm{(matching $\angle$ 's, $\Delta ABC \sim\Delta ADE$)}\\
\therefore BC &\| DE& &\textrm{(corresponding $\angle$'s are $=$)}\\
\frac{BC}{DE} &=\frac 12 & & \begin{aligned} & \textrm{(matching sides in the same ratio,}\\%
& \Delta ABC \sim\Delta ADE)\end{aligned}\\
\therefore BC &= \frac 12 DE & & \qedhere
\end{alignat*}
\end{minipage}
\hfill
\begin{minipage}[t]{0.4\textwidth}
\smash{\adjincludegraphics[width=0.9\linewidth,valign = t, raise = -.25\totalheight]{proof.PNG}}
\end{minipage}
\end{proof}

\end{document} 

Answer 2

次のソリューションでは、\parboxディレクティブを使用して、3 つの説明コメントで改行を許可します。それぞれの幅は、\parbox文字列の長さに設定されます(midpoint of a side)。

\documentclass[a4paper,11pt,draft]{article} % remove 'draft' in real doc.
\usepackage{fullpage} 
\usepackage{amssymb,mathtools,amsthm}

\newlength\mylength
\settowidth\mylength{(midpoint of a side)}
\newcommand{\mybox}[1]{\parbox[t]{\mylength}{\raggedright #1}}

\begin{document}
\begin{proof}~\newline
\begin{minipage}{0.55\textwidth}
\begin{align*}
AB = BD, & AC=CE &\quad &
        \text{(midpoint of a side)}\\
\angle BAC &= \angle DAE &&
        \text{(common $\angle$)}\\
\frac {AB}{AD} &= \frac {AC}{AE} = \frac 12\\
\therefore \Delta ABC &\sim \Delta ADE &&
        \text{(SAS; 1:2)}\\
\angle ABC & = \angle ADE &&
        \mybox{(matching $\angle$\,s, 
               $\Delta ABC \sim\Delta ADE$)}\\
\therefore BC \,&\|\,DE &&
        \mybox{(corresponding $\angle$\,s 
               are $=$)}\\
\frac{BC}{DE} &=\frac 12 && 
        \mybox{(matching sides in the same ratio, 
               $\Delta ABC \sim\Delta ADE$)}\\
\therefore BC &= \frac 12 DE && \qedhere
\end{align*}
\end{minipage}%
\hfill
\begin{minipage}{0.4\textwidth}
\includegraphics[width=\textwidth,keepaspectratio]{proof.PNG}
\end{minipage}
\end{proof}

\end{document}