Como preservar espaço ao usar um comando Overlay no Beamer?

Question

No Beamer, quero preservar o espaço quando substituo uma expressão por outra em uma fórmula matemática com a ajuda de um comando Overlay. Por exemplo, se tivermos no slide número 1 esta fórmula:

\[
x+\mathrm{Trace}M=y.
\]

Quero substituir "\mathrm{Trace}M" por "z" por exemplo, de modo que no slide 2 o espaçamento anterior continue o mesmo e tenhamos:

\[
x+      z        =y.
\]

Answer 1

Uma opção:

\documentclass{beamer}
\usepackage{amssymb}

\newlength\mylen
\newlength\mylena
\newlength\mylenb

\newcommand\R{\mathbb{R}}
\newcommand\bL{bL}
\newcommand\Div{Div}

\newcommand\getmaxlength[2]{%
  \settowidth\mylen{#1}%
  \settowidth\mylena{#1}%
  \settowidth\mylenb{#2}%
  \ifdim\mylenb>\mylena\relax
    \setlength\mylen{\mylenb}
  \fi%  
 }
\newcommand\Replace[2]{%
  \getmaxlength{#1}{#2}%
  \makebox[\mylen][c]{#2}%
}

\begin{document}

\begin{frame}
\onslide<1,2>{
\[
x+
\only<1>{\mathrm{Trace}M}
\only<2>{\Replace{$\mathrm{Trace}M$}{$y$}}
=z
\]
}

\onslide<3,4>{
\[
x+
\only<3>{\Replace{$\mathrm{Trace}M$}{$y$}}
\only<4>{\Replace{$y$}{$\mathrm{Trace}M$}}
=z
\]
}

\onslide<5->{
Comme l'application d\'eterminant est diff\'erentiable et que sa diff\'erentielle en l'identit\'e est l'application trace, alors $p.p.\, y\in\R^3,\,$: 
\[
\only<5>{\mathrm{det}(D_y\Phi(t,y))}
\only<6->{\Replace{$\mathrm{det}(D_y\Phi(t,y))$}{$|J(t,y)|$}}=1+t\,\only<5>{\mathrm{Trace}(D_yV(y))}
\only<6->{\Replace{$\mathrm{Trace}(D_yV(y))$}{$\Div_y V(y)$}}
+t\,\epsilon_1(t,y),\,\epsilon_1(t)\xrightarrow{\bL^{\infty}}0.
\]
}
\end{frame}

\end{document}

O comando principal é

\Replace{<text1>}{<text2>},

que compõe, mas reservando o espaço usado por . Para expressões no modo matemático, os argumentos devem ser colocados entre $...$.

Não relacionado à pergunta, mas não use $$...$$em documentos LaTeX; use \[...\]em vez disso; verPor que \[... \] é preferível a $$... $$?.