Here's a solution that uses the IEEEeqnarray
environment of the IEEEtrantools package. This package uses syntax that's very similar to that of the (severely deprecated!) eqnarray
environment while (i) avoiding all of the shortcomings of the eqnarray
environment and (ii) providing some nifty enhancements, such as being able to place text (via the "x" column specifier) on the far-right-hand end of a row. (
The full documentation of the IEEEeqnarray
environment may be found in Appendix F of the article "How to Use the IEEEtran LATEX Class" by Michael Shell.)

\documentclass{beamer}
\usepackage{IEEEtrantools}
\begin{document}
\begin{frame}[t] % "[t]" just for this example
\frametitle{Example}
\begin{IEEEeqnarray*}{+rCl+x*}
A &=& B + C \hfill &($\Leftarrow$ from Theorem 1) \\
&=& D + E \hfill &($\Leftarrow$ from Corollary 2) \\
&=& F
\end{IEEEeqnarray*}
\end{frame}
\end{document}
For beamer
users, a major advantage of using the IEEEeqnarray
environment rather than, say, the math environments of the amsmath
package is that it's straightforward to create overlays using the \visible<...>{...}
way. For instance, the following setup
\begin{IEEEeqnarray*}{+rCl+x*}
A &=& B + C \hfill &($\Leftarrow$ from Theorem 1) \\
\visible<2->{ &=& D + E \hfill &($\Leftarrow$ from Corollary 2)} \\
\visible<3>{ &=& F }
\end{IEEEeqnarray*}
will show the first line on all three overlays, the second line from the second overlay onwards, and the third line only on the third (and last) overlay.
&&
afterC
andE
. For exampleC && (\Leftarrow \text{from Theorem 1})