7

I want to present a long proof in a presentation using beamer but don't know how to divide it into several frames without calling \begin{proof} - \end{proof} on each frame. To clarify things, what I have and don't want is something like this:

\documentclass{beamer}

\begin{document}

\begin{frame}
    \begin{theorem}
        The result...
    \end{theorem}

    \begin{proof}
        Bla bla bla...
    \end{proof}
\end{frame}

\begin{frame}
    \begin{proof}
        More bla bla bla...
    \end{proof}
\end{frame}

\begin{frame}
    \begin{proof}
        And more bla bla bla... End of proof.
    \end{proof}
\end{frame}

\end{document}
Dante
  • 71
  • Would it solve your problem using the overlay specification of beamer, e.g. \only<1>{Bla bla}, \only<2>{More bla bla}, ... – crixstox Nov 14 '13 at 12:40
  • 1
    Have you seen this http://tex.stackexchange.com/q/50436/34618? – Jesse Nov 14 '13 at 12:49
  • Overlay specification of beamer seems to be nice except that I still get the little square at the botton right corner that indicates the end of proof in every frame. I would like it to appear just on the last frame. Is that possible? – Dante Nov 14 '13 at 13:13
  • Do you really need a proof environment in a beamer presentation? – egreg Nov 14 '13 at 17:51
  • this is an educated guess based on the fact that beamer loads amsthm. when you want to suppress the qed box, just before \end{proof}, insert \let\qedsymbol\relax. if the beamer proof behaves the same way as \amsthm, this shouldn't persist past the \end{proof}. – barbara beeton Nov 14 '13 at 21:31

1 Answers1

17

Overlay specification can be used to achieve this.

\begin{frame}
    \begin{theorem}
        The result...
    \end{theorem}

    \begin{proof}
        \only<1>{Bla bla bla...}
        \only<2>{More bla bla bla...}
        \only<3>{And more bla bla bla... End of proof.}
    \end{proof}
\end{frame}

To have the qed-symbol (usually little square) only on the last frame insert 

\alt<3>{\qedhere}{\phantom\qedhere}

just before \end{proof}.

crixstox
  • 1,784