简单证明勾股定理,将呈现此动画的manim源代码演示一下

视频信息