三角形的虚约束是指三个点不共线,但无法构成一个实际的三角形。要计算三角形的虚约束,可以使用行列式的方法。设三个点的坐标分别为A(x1, y1),B(x2, y2),C(x3, y3),则虚约束的判别式为:
| x1 y1 1 |
| x2 y2 1 | = 0
| x3 y3 1 |
如果判别式等于0,则表示三个点构成了一个虚约束。如果判别式不等于0,则表示三个点可以构成一个实际的三角形。
这一类的虚约束叫做 轨迹重合,这类虚约束都是先将重合点拆开,再分析这两个拆开后的重合点的运动轨迹是否一样。一样,就存在虚约束。不一样,就不存在。