积极 AI Logo 积极 AI

刘徽锥体体积证明：棱柱分割与体积关系演示

刘徽锥体体积证明：棱柱分割与体积关系演示
几何画板及绘图内容加载中，请稍等……
2016-05-25 12:49
多边形向量数列立体几何几何作图
所属专题 Volumes in Ancient Chinese Mathematics 中国古算中的体积
该范例演示了三棱锥体积公式的刘徽证明，直观展示如何将一个棱柱分割为三个体积相等的锥体，从而推导锥体体积公式。涉及的核心数学概念包括立体几何中棱柱与锥体的体积关系、三等分体积原理、多面体面与棱的拓扑结构，以及向量平移、旋转等刚体变换在几何证明中的应用。作图要点：利用 GeoGebra 命令 Vector 构造向量 v，用 Polygon 生成底面多边形，借助 Prism 建立棱柱，通过 Translate 实现面的平移复制，用 Midpoint 定位中点，配合 Rotate 进行面的旋转，并用 Sequence 批量生成对象；图中包含点 A、B、C、D、E、F、G 以及 faceABFD、faceDEGF 等面对象和 edgeAB、edgeDF 等棱对象，体现了立体图形的分解与重组。适合高中立体几何教学，也可用于大学数学史课程或课堂演示，帮助学生理解 V = (1/3)Sh 的几何本源。

GeoGebra 命令及参数

  1. Vector((0, 0, 0), (3, 0, 3)) → v
  2. Polygon(A, D, E) → poly1, e, a, d
  3. Prism(poly1, B) → b, F_1, edgeBF, edgeFG, edgeBG, F, faceABFD, faceDEGF, faceABGE, faceBFG, edgeAB, edgeDF, edgeEG
  4. Translate(B, Vector[(s * v)]) → B'
  5. Translate(C, Vector[(s * v)]) → C'
  6. Translate(F, Vector[(s * v)]) → F'
  7. Translate(E, Vector[(s * v)]) → E'
  8. Translate(Pyramid[Polygon[B, C, F], E], Vector[(s * v)]) → c
  9. Translate(Pyramid[Polygon[A, B, C, D], E], Vector[(0 * v)]) → f
  10. Midpoint(A, E) → G
  11. Midpoint(D, E) → H
  12. Midpoint(B, F) → I
  13. Midpoint(C, F) → J
  14. Midpoint(A, B) → K
  15. Midpoint(D, C) → L
  16. Midpoint(E, F) → M
  17. Midpoint(B, C) → N
  18. Midpoint(A, D) → O
  19. Midpoint(M, L) → P
  20. Midpoint(M, K) → Q
  21. Rotate(Prism[Polygon[D, L, P, H], O], 0°, zAxis) → g
  22. Rotate(Prism[Polygon[A, O, G], K], 0°, zAxis) → h
  23. Midpoint(K, L) → R
  24. Rotate(Prism[Polygon[Q, R, N], P], 0°, zAxis) → i
  25. Translate(M, Vector[(s * v)]) → M'
  26. Translate(P, Vector[(s * v)]) → P'
  27. Translate(Q, Vector[(s * v)]) → Q'
  28. Translate(I, Vector[(s * v)]) → I'
  29. Translate(J, Vector[(s * v)]) → J'
  30. Rotate(Prism[Polygon[I', J', F'], Q'], 0°, zAxis) → j
  31. Translate(N, Vector[(s * v)]) → N'
  32. Rotate(Prism[Polygon[Q', N', I'], P'], 0°, zAxis) → k
  33. Vector(B, Q) → u
  34. Sequence(Translate[Dilate[list1, 0.5, B'], Vector[(t * u)]], t, 0, 1) → list1'
  35. Sequence(Translate[Dilate[list2, 0.5, B], Vector[(t * u)]], t, 0, 1) → list2'
  36. Sequence(Translate[Dilate[list1, 0.25, B'], Vector[(t * u / 2)]], t, 0, 3) → list1''
  37. Sequence(Translate[Dilate[list2, 0.25, B], Vector[(t * u / 2)]], t, 0, 3) → list2''
  38. Sequence(Translate[Dilate[list1, 0.125, B'], Vector[(t * u / 4)]], t, 0, 7) → list1'''
  39. Sequence(Translate[Dilate[list2, 0.125, B], Vector[(t * u / 4)]], t, 0, 7) → list2'''
  40. Sequence(Translate[Dilate[list1, 0.0625, B'], Vector[(t * u / 8)]], t, 0, 15) → list1''''
  41. Sequence(Translate[Dilate[list2, 0.0625, B], Vector[(t * u / 8)]], t, 0, 15) → list2''''
  42. Translate(Pyramid[Polygon[B, C, F], E], Vector[(s * v)]) → c'
  43. Translate(Pyramid[Polygon[A, B, C, D], E], Vector[(0 * v)]) → f'
  44. Rotate(Prism[Polygon[D, L, P, H], O], 0°, zAxis) → g'
  45. Rotate(Prism[Polygon[A, O, G], K], 0°, zAxis) → h'
  46. Rotate(Prism[Polygon[Q, R, N], P], 0°, zAxis) → i'
  47. Rotate(Prism[Polygon[I', J', F'], Q'], 0°, zAxis) → j'
  48. Rotate(Prism[Polygon[Q', N', I'], P'], 0°, zAxis) → k'

AI 绘图提示语参考

绘制一个三维棱柱，将其分解为三个等体积的棱锥，以演示刘徽的棱锥体积证明。先构造一个底面为三角形的棱柱，并标出所有顶点与棱边。通过平移和旋转，将棱柱分割成多个小棱柱和棱锥，展示它们如何重新组合。在棱柱内部添加中点连线，形成更细的分割结构，并用一系列缩放和平移操作生成递归的细分图案，体现无穷逼近的过程。整体图形应清晰展示棱柱、棱锥、中点、平移向量和旋转轴，突出体积关系的几何直观。
以上提示语为根据原始绘图命令整理而来，仅供参考。