在使用 Manim 制作三角形全等判定动画时最常遇到的痛点是：必须手动给出顶点坐标。边长或角度变化时需要重新手算，容易出现镜像解、误差累积还有动画不连贯等问题。

痛点场景还原

假设我要演示SSS 全等已知三边长度 \。我想在平面坐标系中画出这个三角形，并随时改变边长观察形状是否唯一确定。

手动操作的典型代码：

from manim import *
import numpy as np
class PainfulSSSDemo:
def construct:
# 手动指定顶点坐标 —— 怎么知道这三个坐标能满足边长条件？A = np.array # 固定 A 在原点
B = np.array # 固定 B 在，这样 AB=c
# C 的位置？说起来，需要同时满足 AC=b 和 娱乐=a
# 只能手动解方程组 x²+y²=b²,²+y²=a²
# 手算得 x=/。y=√
C = np.array
triangle = Polygon
self.add

• 主要痛点：
• 给 A、B 定好位置后C 的坐标必须同时满足两条距离约束，手算就是求二元二次方程组，换个边长就要重新计算一次。
• SAS、ASA 更麻烦。需要把角度条件用向量点积或余弦定理转化为方程，极易出错。
• 方程组通常有两组解，需要人工判断朝向。
• 手算得到的数值往往是近似值，动画中的顶点位置不够精准。

这些计算本质上是“几何约束求解”，可以交给 SymPy 自动完成。

Sylpy 方法介绍

SymPy 能将几何条件转化为代数方程，接下来自动求解顶点坐标。其实，下面给出常见全等情况的实现思路。

Sss 全等：已知三边求顶点

已知：\。我们固定 \\)，\\)，令 \\)。至于则约束为，

import sympy as sp
x。y = sp.symbols
# 距离约束
eq1 = **2 + **2 - b**2 # AC = b
eq2 = **2 + **2 - a**2 # 娱乐 = a
solutions = sp.solve)
# solutions == 两组镜像解

说明：

• s.solve 会返回两组实数解，对应上下两个镜像三角形。
• x 与 y 的符号决定了哪个方向，所以可以通过筛选来选择想要的朝向。

Sas 全等：已知两边和夹角求第三顶点

# AC 距离约束
eq1 = x**2 + y**2 - b**2
# 余弦定理得到 娱乐 的平方
bc_sq = c**2 + b**2 - 2*c*b*sp.cos
# 娱乐 距离约束
eq2 = **2 + y**2 - bc_sq
solutions = sp.solve)
# 一样得到两组镜像解

Sas/ASA 等更复杂情况的 思路

• SAS这方面。同上，只需把第二条距离约束改成对应的余弦定理表达式。说起来，*提示*: 对于 ASA。 只需先用余弦定理得到第三条边，再变成 SSS 情况即可。*提示*: 对于 AAS。只需先把已知角放在原点，再按 SSS 或 SAS 求解即可。
• AAS、AAS 等可直接构造两条距离与一个角的方程组，一样利用 SymPy 求解。老实说，*关键*: 保证输入满足三角形不等式。否则会无实根，*处理*: 若无实根。则返回空列表，让动画隐藏该三角形。

筛选合理解

valid_solution = >= 0]
# 或者根据具体需求选择另一侧：
# valid_solution = <= 0]

Manim 联动实战示例：SSS 动态演示

The following scene demonstrates how to let {SymPy} compute vertex coordinates on fly while you animate edge lengths with a {ValueTracker}. The animation shows that,once three side lengths are fixed by law of cosines,shape of triangle is uniquely determined.

from manim import *
import sympy as sp
import numpy as np
class SSSCongruenceDemo:
def construct:
# 固定两个顶点的位置
A_vec=np.array # 原始代码中占位符
B_vec=np.array
 # 边长可调控件
a_tracker=ValueTracker # 娱乐 长度初始值
b_tracker=ValueTracker # AC 长度初始值
def get_triangles:
"""返回当前所有可能的三角形 VGroup"""
sols=self.solve_C。b_tracker.get_value)
if not sols:
return VGroup
triangles=VGroup
colors=
for i,C in enumerate:
tri=Polygon],fill_opacity=.4)
triangles.add
return triangles
triangles_group=always_redraw
self.add
def solve_C: # a:娱乐,b:AC
"""用 SymPy 求 C 点的全局坐标列表"""
x,y=sp.symbols
c=np.linalg.norm # AB 长度
eq1=**2+**2-b**2 # AC^2==b^*b