积极 AI Logo 积极 AI

正多边形与等效三角形的动画证明

正多边形与等效三角形的动画证明
几何画板及绘图内容加载中，请稍等……
2026-04-25 17:47
多边形变换几何作图
所属专题 Euclidean Geometry
这个范例通过动画演示了正五边形与等效三角形的等可分解性。核心数学概念包括面积等价、几何变换和图形分解。作图要点涉及使用GeoGebra命令如Polygon、Centroid、Rotate和Translate来构造图形。适合初中或高中数学学习，用于理解几何变换和面积计算。

GeoGebra 命令及参数

  1. Polygon(A, B, 5) → poly1, f, g, h, i, j, C, D, E
  2. Centroid(poly1) → F
  3. Segment(F, H) → apot
  4. Circle(F, Distance[F, H]) → inC
  5. Polygon({A, B, F}) → tri1
  6. Polygon({B, C, F}) → tri2
  7. Polygon({C, D, F}) → tri3
  8. Polygon({D, E, F}) → tri4
  9. Polygon({E, A, F}) → tri5
  10. Line(A, B) → k
  11. Distance(A, B) → ell
  12. Rotate(tri2, ((-bSli) * 72°), B) → tri2'
  13. Rotate(C, ((-bSli) * 72°), B) → C'
  14. Translate(Rotate[D, ((-bSli) * 144°), C], Vector[C, C']) → D'
  15. Translate(Rotate[E, ((-bSli) * 216°), D], Vector[D, D']) → E'
  16. Vector(E, E') → vecE
  17. Vector(C, C') → vC
  18. Translate(Rotate[tri3, ((-bSli) * 144°), C], vC) → tri3'
  19. Vector(D', DF) → vD
  20. Vector(D, D') → vecD
  21. Translate(Rotate[tri4, ((-bSli) * 216°), D], vecD) → tri4'
  22. Vector(E', EF) → vE
  23. Translate(Rotate[tri5, ((-bSli) * 288°), E], vecE) → tri5'
  24. Translate(F2, Vector[(cSli * Vector[F2, F])]) → F2'
  25. Translate(F3, Vector[(cSli * Vector[F3, F])]) → F3'
  26. Translate(F4, Vector[(cSli * Vector[F4, F])]) → F4'
  27. Translate(F5, Vector[(cSli * Vector[F5, F])]) → F5'
  28. Polygon(B, CF, F2') → tri2f, f2', b, cf
  29. Polygon(CF, DF, F3') → tri3f, f3', l, df
  30. Polygon(DF, EF, F4') → tri4f, f4', m, ef
  31. Polygon(EF, EF + (ell, 0), F5') → tri5f, f5', n, p

AI 绘图提示语参考

画一个正五边形，并用圆心和边中垂线相关的内接圆作构型：先取五边形顶点及其圆心，连成从圆心到边的垂足对应的线并确定内接圆，然后把五边形按圆心处分解成五个三角形。接着在同一平面内，对其中若干三角形进行围绕相应顶点的旋转，使它们彼此叠合为等面积的三角形；再用平移将其逐一移动到新的位置，得到与原正五边形等面积关系的等价三角形形体。
以上提示语为根据原始绘图命令整理而来，仅供参考。