积极 AI Logo 积极 AI

达芬奇无字证明：圆与分割多边形的几何关系

达芬奇无字证明：圆与分割多边形的几何关系
几何画板及绘图内容加载中，请稍等……
2021-02-06 20:44
圆多边形角变换几何作图
本范例用达芬奇“无字证明”的方式展示：通过在圆与半圆中构造若干相邻几何区域，利用角度与对称/旋转关系，使隐藏的等量或对应关系在图形中直接显现。核心数学概念包括几何作图、圆与半圆的性质、角的度量与相等、以及由中点与线段相交得到的构造链条，进而得到多边形面积或角关系的“看得见的结论”。作图要点：GeoGebra 使用了 Point（点）、Semicircle（半圆）、Polygon（多边形）与 Midpoint（中点）来搭建关键结构；再用 Line（直线）与 Intersect（求交）确定关键交点；通过 If（条件分支）控制不同构造阶段的选择与连贯性；用 Rotate（旋转）建立对称对应；Angle（角）用于刻画与验证角度关系。对象如多边形 poly1/poly2/poly3 以及圆周相关点/标记（如 C、D、E、F、G 等）共同参与构造与验证。适合中学几何探究、数学竞赛几何复习，也适合作为“几何证明的可视化引入”和课堂互动演示。

GeoGebra 命令及参数

  1. Point(xAxis) → A
  2. Point(xAxis) → B
  3. Semicircle(A, B) → c
  4. Point(c) → C
  5. Polygon(A, C, 4) → poly1, f, g, h, i, D, E
  6. Polygon(C, B, 4) → poly2, j, k, l, m, F, G
  7. Polygon(B, A, 4) → poly3, n, p, q, r, H, I
  8. Polygon(A, E, C) → t2, c_2, a_1, e
  9. Polygon(E, D, C) → t3, c_3, e_1, d
  10. Polygon(C, B, F) → t4, f_1, c_4, b_1
  11. Polygon(F, G, C) → t5, c_5, f_2, g_1
  12. Midpoint(A, I) → J
  13. Line(C, J) → s
  14. Intersect(q, s) → K
  15. Intersect(s, n) → M
  16. Polygon(K, H, A, M) → q1, k_1, h_1, a_2, m_1
  17. Polygon(K, I, B, M) → q2, k_2, i_1, b_2, m_2
  18. Polygon(A, M, C) → t1, c_1, a, m_3
  19. Polygon(M, C, B) → t6, b, m_4, c_6
  20. If(0 < o ≤ 1, Polygon[Rotate[A, (o * π), J], Rotate[M, (o * π), J], Rotate[C, (o * π), J]], Polygon[Rotate[A, π, J], Rotate[M, π, J], Rotate[C, π, J]]) → t7
  21. If(0 < o ≤ 1, Polygon[Rotate[M, (o * π), J], Rotate[C, (o * π), J], Rotate[B, (o * π), J]], Polygon[Rotate[M, π, J], Rotate[C, π, J], Rotate[B, π, J]]) → t8
  22. If(2 < o ≤ 3, Segment[Dilate[C, 3 - o, E], Dilate[C, 3 - o, F]], Segment[E, F]) → t
  23. Rotate(C, π, J) → C'
  24. If(4 < o ≤ 5, Segment[Dilate[C, 5 - o, C'], C], Segment[C', C]) → j_1
  25. If(8 < o ≤ 9, Polygon[Rotate[A, ((8 - o) * π / 2), A], Rotate[M, ((8 - o) * π / 2), A], Rotate[C, ((8 - o) * π / 2), A]], Polygon[Rotate[A, ((-π)) / 2, A], Rotate[M, ((-π)) / 2, A], Rotate[C, ((-π)) / 2, A]]) → t11
  26. If(8 < o ≤ 9, Polygon[Rotate[C, ((8 - o) * π / 2), A], Rotate[B, ((8 - o) * π / 2), A], Rotate[F, ((8 - o) * π / 2), A]], Polygon[Rotate[C, ((-π)) / 2, A], Rotate[B, ((-π)) / 2, A], Rotate[F, ((-π)) / 2, A]]) → t9
  27. If(8 < o ≤ 9, Polygon[Rotate[M, ((8 - o) * π / 2), A], Rotate[C, ((8 - o) * π / 2), A], Rotate[B, ((8 - o) * π / 2), A]], Polygon[Rotate[M, ((-π)) / 2, A], Rotate[C, ((-π)) / 2, A], Rotate[B, ((-π)) / 2, A]]) → t10
  28. If(8 < o ≤ 9, Polygon[Rotate[A, ((8 - o) * π / 2), A], Rotate[E, ((8 - o) * π / 2), A], Rotate[C, ((8 - o) * π / 2), A]], Polygon[Rotate[A, ((-π)) / 2, A], Rotate[E, ((-π)) / 2, A], Rotate[C, ((-π)) / 2, A]]) → t12
  29. Angle(A, C, B) → α

AI 绘图提示语参考

在平面中先取两点A、B，在AB上方作一条以A与B为端点的半圆，并在半圆弧上取一点C。连接形成由三组对应顶点构成的多边形：一组以A、C及半圆上的中间构造点为顶点，另一组以C、B及另一组对应顶点为顶点，再一组以B、A及对应顶点为顶点，用这些多边形的边与角关系构成“无字证明”的视觉论证。进一步取线段的中点J（由A与某个由多边形边交点产生的点I确定），连成直线CJ并与若干已有边求交得到关键点K、M，再用K、H、A、M与K、I、B、M分别作出两块对应多边形。最后标出∠ACB作为核心角，并用关于J的旋转与关于直线关系的对称式对应多边形部分，强调角α与对应结构的匹配。
以上提示语为根据原始绘图命令整理而来，仅供参考。