ManimGeo 快速开始

几何搭建示例

为了快速认识 ManimGeo，你可以在文件夹内新建一个文件 euler_line.py，然后将以下代码粘贴到你的文件内

euler_line.py
import numpy as np
from manimgeo.components import *
from manimgeo.utils import GeoUtils

# 构造三角形ABC
A = PointFree(np.array([0, 0]), "A")
B = PointFree(np.array([5, 0]), "B")
C = PointFree(np.array([2, 3]), "C")

[print(f"{P.name}: {P.coord}") for P in [A, B, C]]

# 构造边
AB = LineSegmentPP(A, B, "AB")
BC = LineSegmentPP(B, C, "BC")
AC = LineSegmentPP(A, C, "AC")

[print(f"{L.name}: {L.start} -> {L.end}") for L in [AB, BC, AC]]

# 重心 垂心 外心
CENTROID = PointCentroidPPP(A, B, C, "Centroid")
ORTHOCENTER = PointOrthocenterPPP(A, B, C, "Orthocenter")
CIRCUMCENTER = PointCircumcenterPPP(A, B, C, "Circumcenter")

[print(f"{P.name}: {P.coord}") for P in [CENTROID, ORTHOCENTER, CIRCUMCENTER]]

# 测试依赖关系
print("\nDependencies of A:")
GeoUtils.print_dependencies(A)
print("")

# 验证三点共线
vectors = np.array([
    CENTROID.coord - ORTHOCENTER.coord,
    CIRCUMCENTER.coord - ORTHOCENTER.coord
])
rank = np.linalg.matrix_rank(vectors)
print(f"rank == 1: {rank == 1}")

接下来，运行这个程序

python euler_line.py

接下来你应该会看到如下输出：

A: [0 0]
B: [5 0]
C: [2 3]
AB: [0 0] -> [5 0]
BC: [5 0] -> [2 3]
AC: [0 0] -> [2 3]
Centroid: [2.33333333 1.        ]
Orthocenter: [2. 2.]
Circumcenter: [2.5 0.5]

Dependencies of A:
· Point - (A)
  · InfinityLine - (AB)
  · InfinityLine - (AC)
  · Point - (Centroid)
  · Point - (Orthocenter)
  · Point - (Circumcenter)

rank == 1: True

这行代码的作用是：验证三角形的重心、垂心与外心三点共线

然后，我们具体看一下这段代码干了什么：

导入相关依赖
import numpy as np
from manimgeo.components import *
from manimgeo.utils import GeoUtils

以上三行导入了相关依赖：NumPy 和 ManimGeo，前者帮助我们创建数组、进行计算，后者帮助我们创建几何图形。

一次性导入所有需要的几何组件

ManimGeo 的几何组件分布在不同的文件中，但是通过 from manimgeo.components import * 便可以全部导入

构造点
# 构造三角形ABC
A = PointFree(np.array([0, 0]), "A")
B = PointFree(np.array([5, 0]), "B")
C = PointFree(np.array([2, 3]), "C")

以上四行创建了最基本的几何图形：自由点 (PointFree)，“自由”意味着这些点是人工构建的、整个几何搭建的开始，传入坐标与名称完成创建

PointFree 会返回一个 Point 类的对象，这就是创建好的点。由此，现在我们创建了以下三点：

$A\,(0, 0)$
$B\,(5, 0)$
$C\,(2, 3)$

关于几何组件

ManimGeo 的几何组件都拥有 name 这一参数，创建合适的名称可以方便调试与理解

输出点坐标
[print(f"{P.name}: {P.coord}") for P in [A, B, C]]

这一行的作用是，通过访问每个点的 name 属性与 coord 属性，输出每个点的名称与坐标，即对应了以下输出

A: [0 0]
B: [5 0]
C: [2 3]

构造边
# 构造边
AB = LineSegmentPP(A, B, "AB")
BC = LineSegmentPP(B, C, "BC")
AC = LineSegmentPP(A, C, "AC")

上面这四行构造了 $\triangle ABC$ 的三条边，每条边都由两点构成

注意到我们这里使用的，用于构造线段的函数是 LineSegmentPP，其中，LineSegment 表示线段，PP 表示构造方式（两点构造线段，Point & Point）

LineSegmentPP 会返回一个 LineSegment 类的对象，这就是创建好的线段

输出线段信息
[print(f"{L.name}: {L.start} -> {L.end}") for L in [AB, BC, AC]]

上面一行输出了三条线段的信息，start end 表示线段的起点和终点坐标

AB: [0 0] -> [5 0]
BC: [5 0] -> [2 3]
AC: [0 0] -> [2 3]

重心，垂心与外心
CENTROID = PointCentroidPPP(A, B, C, "Centroid")
ORTHOCENTER = PointOrthocenterPPP(A, B, C, "Orthocenter")
CIRCUMCENTER = PointCircumcenterPPP(A, B, C, "Circumcenter")

[print(f"{P.name}: {P.coord}") for P in [CENTROID, ORTHOCENTER, CIRCUMCENTER]]

上面这五行，创建了三角形的重心，垂心与外心，然后输出了它们的坐标

Centroid: [2.33333333 1.        ]
Orthocenter: [2. 2.]
Circumcenter: [2.5 0.5]

ManimGeo 函数命名方式

大多数几何对象构造函数的命名方式都是“几何对象名+构造方式”

例如，通过起始点构造线段为 LineSegment·PP，三点构造重心被命名为 Point·CentroidPPP

输出依赖关系
# 测试依赖关系
print("\nDependencies of A:")
GeoUtils.print_dependencies(A)
print("")

上面三行输出了点 $A$ 的依赖信息：

Dependencies of A:
· Point - (A)
  · InfinityLine - (AB)
  · InfinityLine - (AC)
  · Point - (Centroid)
  · Point - (Orthocenter)
  · Point - (Circumcenter)

这幅图描述了以下决定关系：

$A$ 的位置决定了线段 $AB$ $AC$ 的位置
$A$ 的位置决定了点 $Centroid$ $Orthocenter$ 和 $Circumcenter$ 的位置

有了这种依赖关系，ManimGeo 就能根据上游组件的信息，自上而下自动计算出每个几何对象的信息，避免了人工计算的繁琐

三点共线验证
# 验证三点共线
vectors = np.array([
    CENTROID.coord - ORTHOCENTER.coord,
    CIRCUMCENTER.coord - ORTHOCENTER.coord
])
rank = np.linalg.matrix_rank(vectors)
print(f"rank == 1: {rank == 1}")

以上七行，首先构建了重心，垂心与外心两两之间的向量，然后组合为矩阵，通过计算矩阵的秩判断这三点是否共线。输出：

rank == 1: True

即，矩阵不满秩，三点共线

动画演示示例

🚧施工中

几何搭建示例​

动画演示示例​

几何搭建示例

动画演示示例