Cómo dividir un comentario en varias líneas en modo matemático

Question

En una prueba, quiero dividir las ecuaciones de la izquierda y tener una imagen a la derecha usando minipáginas. Sin embargo, para una de las ecuaciones de la izquierda, el comentario es demasiado largo y demasiado grande para la minipágina. ¿Cómo puedo dividir el comentario para que ocupe dos líneas? Entiendo que se pueden hacer ecuaciones, pero no estoy seguro de cómo hacerlo para recibir comentarios. A continuación se muestra mi código y el resultado:

\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}

Como en el diagrama anterior, quiero dividir el comentario en la línea vertical y colocarlo en la siguiente línea alineada con los otros comentarios.

¡Gracias por cualquier ayuda!

Answer 1

Aquí hay otra forma de usar alignat*en lugar de align*, alignedpara el comentario más largo y adjustboxpara controlar la alineación vertical de la imagen. Tenga en cuenta que no tiene que cargar amsmathsi carga mathtools. También simplifiqué ligeramente su código (no es necesario agregarlo \qquaden cada línea):

\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

La siguiente solución utiliza \parboxdirectivas para permitir saltos de línea en tres de las observaciones explicativas. El ancho de cada uno \parboxse establece en función de la longitud de la cuerda (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}