毕达哥拉斯定理几何拼图谜题演示

毕达哥拉斯定理几何拼图谜题演示
几何画板及绘图内容加载中,请稍等……
2012-07-24 19:22
①本范例通过动态几何图形直观演示经典的毕达哥拉斯定理(勾股定理)拼图谜题,通过直角三角形周边多边形的分割与平移重组,展示三边平方关系的几何直观证明。 ②涉及的核心数学概念包括直角三角形性质、勾股定理、多边形面积、几何平移变换(Transform)以及三角函数(正弦)。 ③作图要点上,模型构建使用了半圆(Semicircle)、多边形(Polygon)、线段(Segment)等基础几何命令,并通过交点(Intersect)、角度(Angle)、距离(Distance)、直线(Line)及垂线(OrthogonalLine)进行精确的几何定位与测量,最后利用条件判断(If)和平移(Translate)命令实现拼图块的动态逻辑变换。 ④该范例适合初中及以上学段的数学几何课堂、探究式学习及教师课件制作,是直观展示几何定理证明的优秀教学素材。

GeoGebra 命令及参数

  1. Semicircle(A, B) → z
  2. Point(z) → C
  3. Polygon(C, B, 4) → poly4, c_3, b_2, h, i, H, I
  4. Polygon(A, C, 4) → poly3, a_2, c_2, f, g, F, G
  5. Polygon(A, B, C) → poly1, c, a, b
  6. Polygon(B, A, 4) → poly2, b_1, a_1, d, e, D, E
  7. Segment(A, E) → j
  8. Segment(B, D) → k
  9. Segment(A, F) → l
  10. Segment(C, G) → m
  11. Segment(C, H) → p
  12. Segment(B, I) → q
  13. Intersect(j, k) → J
  14. Intersect(l, m) → K
  15. Intersect(p, q) → L
  16. Angle(A, C, B) → α
  17. Distance(L, D) → n_d
  18. Distance(L, E) → n_e
  19. Distance(L, B) → n_b
  20. Distance(L, A) → n_a
  21. Distance(K, J) → n_k
  22. Line(L, c) → n_1
  23. OrthogonalLine(L, n_1) → t
  24. Intersect(n_1, b_2) → M
  25. Intersect(t, h) → N
  26. Intersect(n_1, i) → O
  27. Intersect(t, c_3) → P
  28. If(n ≤ 0, 0, If[n < n_d, n / n_d, 1]) → nd
  29. Translate(L, Vector[nd * Vector[L, D]]) → LD
  30. Polygon(LD, Translate[LD, Vector[L, M]], Translate[LD, Vector[L, H]], Translate[LD, Vector[L, N]]) → poly5, ld, r, s, c_1
  31. If(n ≤ n_d, 0, If[n < n_d + n_e, (n - n_d) / n_e, 1]) → ne
  32. Translate(L, Vector[ne * Vector[L, E]]) → LE
  33. Polygon(LE, Translate[LE, Vector[L, N]], Translate[LE, Vector[L, I]], Translate[LE, Vector[L, O]]) → poly6, le, d_1, e_1, f_1
  34. If(n ≤ n_d + n_e, 0, If[n < n_d + n_e + n_k, (n - n_e - n_d) / n_k, 1]) → nk
  35. Translate(K, Vector[nk * Vector[K, J]]) → KJ
  36. Polygon(Translate[KJ, Vector[K, A]], Translate[KJ, Vector[K, C]], Translate[KJ, Vector[K, F]], Translate[KJ, Vector[K, G]]) → poly7, g_1, h_1, i_1, j_1
  37. If(n ≤ n_k + n_e + n_d, 0, If[n < n_k + n_e + n_d + n_a, (n - n_k - n_e - n_d) / n_a, 1]) → na
  38. Translate(L, Vector[na * Vector[L, A]]) → LA
  39. Polygon(LA, Translate[LA, Vector[L, P]], Translate[LA, Vector[L, B]], Translate[LA, Vector[L, M]]) → poly8, la, k_1, l_1, m_1
  40. If(n ≤ n_a + n_k + n_d + n_e, 0, If[n < n_a + n_k + n_d + n_e + n_b, (n - n_a - n_k - n_d - n_e) / n_b, 1]) → nb
  41. Translate(L, Vector[nb * Vector[L, B]]) → LB
  42. Polygon(LB, Translate[LB, Vector[L, O]], Translate[LB, Vector[L, C]], Translate[LB, Vector[L, P]]) → poly9, lb, p_1, q_1, r_1

AI 绘图提示语参考

先画一个半圆,在半圆上取一点与直径两端构成直角三角形,再在三条边上分别向外作正方形;连接各正方形的对应顶点形成若干线段,求出这些线段的交点;然后按顺序沿着从交点指向正方形顶点的方向,分阶段平移切割出的小块,使它们依次拼合到斜边上的大正方形内,直观展示两腰边正方形面积之和等于斜边正方形面积的几何拼图证明。
以上提示语为根据原始绘图命令整理而来,仅供参考。