Wolfram mathematica 如何使用Mathematica生成此操作的动画GIF？

这是我代表摆线的代码，我想为它创建一个动画GIF。在创建GIF之前，我想将其包括在我的beamer演示文稿中

 cicloida[tm_] := 
     Module[{a = 4, x, y, t, xx, yy, gridlinex, gridlinesy},
      x[t_] := a (t - Sin[t]); y[t_] := a (1 - Cos[t]);
      gridlinesx = Table[{xx, GrayLevel[.4]}, {xx, 0, 4 a Pi, aPi/4}];
      gridlinesy = Table[{yy, GrayLevel[.4]}, {yy, 0, 2 a, a/2}];
      ParametricPlot[{x[t], y[t]}, {t, 0, tm},
       PlotStyle -> {Red, Thick}, 
       Epilog -> {Thick, Blue, Circle[a {tm, 1}, a], Red, 
         PointSize[Large], Point[{x[tm], y[tm]}],
         Black, PointSize[Large], Point[a {tm, 1}]},
           GridLines -> {gridlinesx, gridlinesy}, 
       Ticks -> {a Pi Range[4], a {1, 2}}, 
       PlotRange -> 2 a {{0, 3 Pi}, {0, 1}}]]
            Manipulate[
     Quiet@ cicloida[tm], {tm, .0001, 6 Pi, Appearance -> "Labeled"}, 
     SaveDefinitions -> True]

因此，这必须起作用：

Export["animation.gif", Manipulate[ ... ]];

因此，这必须起作用：

Export["animation.gif", Manipulate[ ... ]];