没想太多，肯定不完善。
似乎没人做（或者说我找不到通解），那我做了。
粗糙的剪辑，内容不多，就把歌听完吧。
用的https://www.latexlive.com/，manim不会。