일부 계산 단계에 더 긴 설명 추가

Question

다음 예를 고려하십시오.

\documentclass[11pt]{scrartcl}
\usepackage{amsmath}
\usepackage{IEEEtrantools} 
\usepackage{commath}
\usepackage{lipsum}

\begin{document}
\section{Docendo discimus}
\label{sec:docendo-discimus}

\lipsum[2]
\begin{IEEEeqnarray*}{rCl}
    F_{u}(u) &=& \int_{0}^{u}\int_{0}^{y_{1}}3y_{1} \dif y_{2} \dif y_{1} + \int_{u}^{1}\int_{y_{1}-u}^{y_{1}}3y_{1}\dif y_{2} \dif y_{1} \\[0.5em]
    &=& \int_{0}^{u}\left[\eval{3y_{1}y_{2}}_{0}^{y_{1}}\right] \dif y_{1} + \int_{u}^{1}\left[\eval{3y_{1}y_{2}}_{y_{1}-u}^{y_{1}}\right] \dif y_{1} \\[0.5em]
    &=& \int_{0}^{u}3y_{1}^{2}\dif y_{1} + \int_{u}^{1}3y_{1}u \dif y_{1}u \\[0.5em]
    &=& \left[\eval{3 \frac{1}{3}y^{3}}_{0}^{u}\right] + \left[\eval{3 \frac{1}{2}y_{1}^{2}u}_{u}^{1}\right] \\[0.5em]
    &=& u^{3} + \frac{3}{2}u - \frac{3}{2}u^{3} \\[0.5em]
    \IEEEyesnumber
    &=& \frac{1}{2}(3u - u^{3})
  \end{IEEEeqnarray*}
  \lipsum[4]
\end{document}

이제 계산의 첫 번째 줄부터 두 번째 줄까지 어떤 일이 발생하는지에 대한 다소 자세한 설명을 추가하고 싶다고 가정합니다.

나는 쉽게 텍스트 열을 추가하여 다음과 같이 끝낼 수 있다는 것을 알고 있습니다.

이 문제를 해결하는 방법 중 하나는 주석이 있는 줄에 끝에 있는 숫자와 비슷한 (*), (**) 같은 레이블을 붙인 다음 계산이 끝난 후 이를 참조하는 것이라고 생각했습니다. 이것을 달성하는 방법이 있습니까?

나는 각주를 사용할 수 있다는 것을 알고 있지만 그것을 원하지 않습니다.

누군가 이 문제를 미학적으로 만족스러운 방식으로 해결할 수 있는 다른 아이디어가 있다면 공유해주세요.

Answer 1

가끔 비슷한 문제가 발생했는데 다음과 같이 해결했습니다.

\documentclass{article}
\usepackage{youngtab,young}
\usepackage{amsmath,cancel}
\newcommand{\CenterObject}[1]{\ensuremath{\vcenter{\hbox{#1}}}}
\begin{document}
\section*{Multiplying Young tableaux}
\begin{enumerate}\renewcommand{\labelenumi}{step \arabic{enumi}.}
 \item In the first tableau, label all boxes of the first row with an $a$, the
  boxes of the second row with a $b$ etc.\label{EnumYoungStep1}
  \item
   \begin{enumerate}\renewcommand{\labelenumii}{(\alph{enumii})}
    \item Sum all schemes with decreasing skyline which may be obtained by
    combining the second tableau with boxes of type $a$. Make sure that no
    column contains more than $N$ boxes and no two $a$s appear in the same
    column.\label{EnumYoungStep2}
    \item Continue in the same way with boxes of type $b$.
    \label{EnumYoungStep3}
    \item Etc.
  \end{enumerate}
  \item Drop all columns with $N$ boxes (as long as the scheme is not just such
   a column).\label{EnumYoungStep4}
  \item For each of the resulting schemes, build a string of characters by
   reading the first row from the right to the left, then the second row from
   the right to the left, and so on. If a given string contains left of an
   arbitrary character more $b$s than $a$s or more $c$s than $b$s etc., drop
   this string.\label{EnumYoungStep5}
\end{enumerate}\renewcommand{\labelenumi}{\arabic{enumi}.}

\paragraph{Example.}
Consider $\text{SU}(3)$. The gauge bosons transform in the adjoint representation. We
reduce the tensor product of the adjoint representation with itself:
\begin{eqnarray*}
 \lefteqn{
  \CenterObject{\yng(2,1)}\otimes \CenterObject{\yng(2,1)}
  ~ \xrightarrow{\mathrm{step}\:\ref{EnumYoungStep1}} ~
  \CenterObject{\young(aa,b)} \otimes \CenterObject{\yng(2,1)}} \\
  & \xrightarrow{\mathrm{step}\:\mathrm{\ref{EnumYoungStep2}}} &
  \CenterObject{\young(\hfil\hfil aa,\hfil)} \oplus \CenterObject{\young(\hfil\hfil a,\hfil a)}
  \oplus \CenterObject{\young(\hfil\hfil a,\hfil,a)} \oplus
  \CenterObject{\young(\hfil\hfil,\hfil a,a)}\\
  & \xrightarrow{\mathrm{step}\:\mathrm{\ref{EnumYoungStep3}}} &
  \CenterObject{
    \young(\hfil\hfil aab,\hfil)}
  \oplus
  \CenterObject{\young(\hfil\hfil aa,\hfil b)}
  \oplus
  \CenterObject{\young(\hfil\hfil aa,\hfil,b)}
  \oplus
  \CenterObject{\young(\hfil\hfil ab,\hfil a)}
  \oplus
  \CenterObject{\young(\hfil\hfil a,\hfil ab)}\\
  && {} \oplus
  \CenterObject{\young(\hfil\hfil a,\hfil a,b)}
  \oplus
  \CenterObject{\young(\hfil\hfil ab,\hfil,a)}
  \oplus
  \CenterObject{\young(\hfil\hfil a,\hfil b,a)}
  \oplus
  \CenterObject{\young(\hfil\hfil b,\hfil a,a)}
  \oplus
  \CenterObject{\young(\hfil\hfil,\hfil a,ab)}
    \\
  & \xrightarrow[\mathrm{step}\:\ref{EnumYoungStep5}]{\mathrm{step}\:\ref{EnumYoungStep4}} &
  \cancel{\CenterObject{
    \young(\hfil\hfil aab,\hfil)}}
  \oplus
  \CenterObject{\young(\hfil\hfil aa,\hfil b)}
  \oplus \dots
    \\
  & = &
  \CenterObject{
    \young(\hfil\hfil\hfil\hfil,\hfil\hfil)
    }
  \oplus
  \CenterObject{
    \young(\hfil\hfil\hfil)
    }
  \oplus
  \CenterObject{
    \young(\hfil\hfil\hfil,\hfil\hfil\hfil)}
  \oplus 2\cdot
  \CenterObject{
    \young(\hfil\hfil,\hfil)}
  \oplus
  \CenterObject{
    \young(\hfil,\hfil,\hfil)}
    \\
  & = & \boldsymbol{27} \oplus \boldsymbol{10} \oplus \overline{\boldsymbol{10}}
  \oplus 2\cdot \boldsymbol{8} \oplus \boldsymbol{1}\;.
 \end{eqnarray*}
\end{document} 

업데이트: 다음은 코드에 대한 응용 프로그램입니다.

\documentclass[11pt]{scrartcl}
\usepackage{amsmath}
\usepackage{IEEEtrantools} 
\usepackage{commath}
\usepackage{lipsum}

\begin{document}
\section{Docendo discimus}
\label{sec:docendo-discimus}

\lipsum[2]
\begin{IEEEeqnarray*}{rCl}
    F_{u}(u) &=& \int_{0}^{u}\int_{0}^{y_{1}}3y_{1} \dif y_{2} \dif y_{1} + \int_{u}^{1}\int_{y_{1}-u}^{y_{1}}3y_{1}\dif y_{2} \dif y_{1} \\[0.5em]
    &\stackrel{(\ref{step1})}{=}& \int_{0}^{u}\left[\eval{3y_{1}y_{2}}_{0}^{y_{1}}\right] \dif y_{1} + \int_{u}^{1}\left[\eval{3y_{1}y_{2}}_{y_{1}-u}^{y_{1}}\right] \dif y_{1} \\[0.5em]
    &\stackrel{(\ref{step2})}{=}& \int_{0}^{u}3y_{1}^{2}\dif y_{1} + \int_{u}^{1}3y_{1}u \dif y_{1}u \\[0.5em]
    &\stackrel{(\ref{step3})}{=}& \left[\eval{3 \frac{1}{3}y^{3}}_{0}^{u}\right] + \left[\eval{3 \frac{1}{2}y_{1}^{2}u}_{u}^{1}\right] \\[0.5em]
    &\stackrel{(\ref{step4})}{=}& u^{3} + \frac{3}{2}u - \frac{3}{2}u^{3} \\[0.5em]
    \IEEEyesnumber
    &\stackrel{(\ref{step5})}{=}& \frac{1}{2}(3u - u^{3})
  \end{IEEEeqnarray*}
\begin{enumerate}\renewcommand{\labelenumi}{(\arabic{enumi})}
 \item\label{step1} In the first step, we perform the $y_2$ integrals.
 \item\label{step2} In the second step, we evaluate the inner integrals.
 \item\label{step3} In the first step, we perform the $y_1$ integrals.
 \item\label{step4} \dots
 \item\label{step5} \dots
\end{enumerate}
  \lipsum[4]
\end{document}

나는 결국 귀하의 방정식 번호가 가 될 것이라고 가정하고 있습니다 (section.number). 그렇지 않으면 단계에 다르게 레이블을 지정하는 것이 좋습니다.

Answer 2

환경을 사용하고 있으므로 (a) 열("텍스트, 왼쪽 정렬") IEEEeqnarray을 추가하고 , (b) 명령 용 패키지를 로드하고, (c) 다음 과 같은 유틸리티 매크로를 정의하는 것이 좋습니다. 다음과 같습니다:sragged2e\RaggedRight\mybox

\newcommand\mybox[2][4.5cm]{\parbox[t]{#1}{\RaggedRight #2}}

이것은 의 "래퍼"입니다 \parbox. 는 \parbox인수의 자동 줄 바꿈을 허용합니다. 기본 너비는 4.5cm로 설정되어 있지만 필요에 따라 \mybox[6cm]{...}.

추가 댓글 2개입니다. (i) \tfrac대신 ("텍스트 스타일 분수") 를 사용하는 것을 관찰하십시오 \frac. (ii) 나는 통합평가 자료의 가독성이 다음과 같이 향상된다고 생각합니다.~ 아니다\left및 를 사용하여 \right대괄호 크기를 자동으로 조정하고 를 사용하지 않습니다 \eval{...}. \biggl[, \biggr]및 를 사용하면 \Big\vert"울타리"가 너무 커지거나 (시각적으로 말하면) 전체 공식을 차지하는 것을 방지할 수 있습니다.

\documentclass[11pt]{scrartcl}
\usepackage{amsmath}
\usepackage{IEEEtrantools} 
\usepackage{commath,lipsum,ragged2e}
\newcommand\mybox[2][4.5cm]{\parbox[t]{#1}{\RaggedRight #2}}

\begin{document}
\section{Docendo discimus} \label{sec:docendo-discimus}

\lipsum[2]
\begin{IEEEeqnarray*}{rCls}
F_u(u) 
    &=& \int_0^u\!\int_0^{y_1}3y_1      \dif y_2 \dif y_1 
       +\int_u^1\!\int_{y_1-u}^{y_1}3y_1\dif y_2 \dif y_1 
        &\quad\mybox{(there's now enough space for some explanatory text)}\\
    &=& \int_0^u\biggl[3y_1y_2\Big\vert_0^{y_1}      \biggr]\dif y_1 
       +\int_u^1\biggl[ y_1y_2\Big\vert_{y_1-u}^{y_1}\biggr]\dif y_1\\[1ex]
    &=& \int_0^u3y_1^2 \dif y_1 
       +\int_u^13y_1  u\dif y_1 u \\[1ex]
    &=& \biggl[3\tfrac{1}{3}y^3   \Big\vert_0^u\biggr] 
       +\biggl[3\tfrac{1}{2}y_1^2u\Big\vert_u^1\biggr] \\[1ex]
    &=& u^3 + \tfrac{3}{2}u - \tfrac{3}{2}u^3 \\[0.5ex]
    \IEEEyesnumber
    &=& \tfrac{1}{2}(3u - u^3)
  \end{IEEEeqnarray*}
  \lipsum[4]
\end{document}

Answer 3

alignedat다음은 , fleqn(from nccmath) 및 한 줄에 남은 공간의 너비를 linegoal정의하는 데 사용되는 패키지를 기반으로 하는 솔루션입니다 . \parbox또한 전반적인 모양을 개선하기 위해 평가 수직 규칙의 크기를 변경하고 분수 계수를 중간 크기 분수로 대체했습니다.

\documentclass[11pt]{scrartcl}
\usepackage{amsmath, nccmath}
\usepackage{linegoal}
\usepackage{IEEEtrantools}
\usepackage{commath}
\usepackage{lipsum}

\begin{document}

\section{Docendo discimus}
\label{sec:docendo-discimus}

\lipsum[2]
\begin{fleqn}
\begin{equation}
\begin{alignedat}[b]{2}
    F_{u}(u) &= \int_{0}^{u}\!\!\int_{0}^{y_{1}}3y_{1} \dif y_{2} \dif y_{1} + \int_{u}^{1}\!\!\int_{y_{1}-u}^{y_{1}}3y_{1}\dif y_{2} \dif y_{1}
     & \qquad & \rlap{\parbox[t]{\linegoal}{\footnotesize(There is not enough space here. I need more)}}\\
    &= \int_{0}^{u}\left[\eval[2]{3y_{1}y_{2}}_{0}^{y_{1}}\right] \dif y_{1} + \int_{u}^{1}\left[\eval[2]{3y_{1}y_{2}}_{y_{1}-u}^{y_{1}}\right] \dif y_{1} \\
    &= \int_{0}^{u}3y_{1}^{2}\dif y_{1} + \int_{u}^{1}3y_{1}u \dif y_{1}u \\
    &= \left[\eval[2]{3\, \mfrac{1}{3}y^{3}}_{0}^{u}\right] + \left[\eval[2]{3\, \mfrac{1}{2}y_{1}^{2}u}_{u}^{1}\right] \\
    &= u^{3} + \mfrac{3}{2}u - \mfrac{3}{2}u^{3} \\
    &= \mfrac{1}{2}(3u - u^{3})
  \end{alignedat}
\end{equation}
\end{fleqn}
  \lipsum[4]

\end{document}