无字证明:勾股定理的几何演示

无字证明:勾股定理的几何演示
几何画板及绘图内容加载中,请稍等……
2015-02-23 07:36
① 本范例通过可拖动的几何图形,直观展示勾股定理的证明过程,无需文字说明即可揭示直角三角形三边平方关系。② 核心数学概念是勾股定理(Pythagorean Theorem),涉及直角三角形、正方形面积、向量平移与镜像对称等几何变换。③ 作图要点:使用GeoGebra命令Point、Polygon、Midpoint、Mirror、Vector、Translate、Sequence等,构造直角三角形及其三边上的正方形,并通过镜像、平移和向量操作生成辅助图形,利用多边形面积相等关系完成证明。④ 适合中学数学课堂或几何教学,用于引导学生观察、猜想并理解勾股定理的几何本质,也可作为数学实验或探究活动的素材。

GeoGebra 命令及参数

  1. Point(xAxis) → A
  2. Point(xAxis) → B
  3. Polygon(A, B, 4) → poly1, a, b, c, d, C, D
  4. Point(c) → E
  5. Polygon(D, E, 4) → poly2, e, f, g, h, F, G
  6. Midpoint(G, A) → H
  7. Mirror(poly2, H) → poly2'
  8. Mirror(poly1, H) → poly1'
  9. Mirror(D, H) → D'
  10. Vector(D', F) → u
  11. Vector(D', B) → v
  12. Translate(poly2, u) → poly2'_1
  13. Sequence(Sequence[Translate[poly1, Vector[(a * u) + (b * v)]], a, -5, 5], b, -5, 5) → list1
  14. Sequence(Sequence[Translate[poly2, Vector[(a * u) + (b * v)]], a, -5, 5], b, -5, 5) → list2
  15. Sequence(Sequence[PolyLine[Translate[A, Vector[(a * u) + (b * v)]], Translate[D, Vector[(a * u) + (b * v)]], Translate[C, Vector[(a * u) + (b * v)]], Translate[B, Vector[(a * u) + (b * v)]], Translate[A, Vector[(a * u) + (b * v)]]], a, -5, 5], b, -5, 5) → list3
  16. Sequence(Sequence[PolyLine[Translate[D, Vector[(a * u) + (b * v)]], Translate[G, Vector[(a * u) + (b * v)]], Translate[F, Vector[(a * u) + (b * v)]], Translate[E, Vector[(a * u) + (b * v)]], Translate[D, Vector[(a * u) + (b * v)]]], a, -5, 5], b, -5, 5) → list4
  17. Sequence(Sequence[Translate[PolyLine[D', F, F + v, B, D'], Vector[(a * u) + (b * v)]], a, -5, 5], b, -5, 5) → list5

AI 绘图提示语参考

画一个直角三角形,并在每条边上绘制正方形。通过镜像和向量平移这些正方形,展示它们如何组合成与原三角形面积相等的形状,以此直观证明勾股定理,即两小正方形面积之和等于大正方形面积。
以上提示语为根据原始绘图命令整理而来,仅供参考。