积极 AI Logo 积极 AI

3-4-5直角三角形的“无字证明”几何构图

3-4-5直角三角形的“无字证明”几何构图
几何画板及绘图内容加载中，请稍等……
2021-02-06 06:12
测试改名0圆多边形角几何作图
这个范例通过几何拼摆与面积/长度关系的可视化，展示3-4-5直角三角形满足勾股定理的“无字证明”现象。核心数学概念包括：直角三角形、勾股定理（a^2+b^2=c^2）、几何变换（放缩）、以及角度度量/角相等判定等。作图要点：使用GeoGebra 的 Point 生成关键点A、B、C等；用 Polygon 绘制三角形与由多段边构成的多边形区域（如poly1、poly2、poly3）；用 Dilate 对图形进行比例放缩以构造对应的边长与面积关系；通过 Angle 指定并对齐关键角（直角或相关角）；借助 Circle 与 Intersect 通过圆与交点定位构造点D、E、F及其对应对象；同时用 If 进行条件分支以确保对象选择/显示满足特定构图逻辑，整体体现从“构造”到“结论”的直观联系。适合中学数学（几何与勾股定理）及数学爱好者用于探究性学习、课堂演示或作图练习。

GeoGebra 命令及参数

  1. Point(xAxis) → A
  2. Point(yAxis) → B
  3. Point(xAxis) → C
  4. Polygon(C, A, 3) → poly1, f, g, h, D
  5. Polygon(A, B, 3) → poly2, i, j, k, E
  6. Polygon(B, C, 3) → poly3, l, m, n, F
  7. Dilate(C, 2 / 3, D) → C'
  8. Dilate(C, 1 / 3, D) → C'_1
  9. Dilate(A, 1 / 3, D) → A'
  10. Dilate(A, 2 / 3, D) → A'_1
  11. Polygon(A, A'_1, C', C) → q1, a, a'_1, c', c
  12. Polygon(A'_1, A', C'_1, C') → q2, p, a', c'_1, q
  13. Polygon(A', D, C'_1) → t1, r, s, d
  14. Polygon(E, B, A) → t2, a_1, e, b
  15. Angle(A, B, C) → α
  16. Angle(B, C, A) → β
  17. If(0 < w ≤ 1, Polygon[Rotate[E, (w * (α + 60°)), B], Rotate[B, (w * (α + 60°)), B], Rotate[A, (w * (α + 60°)), B]], Polygon[Rotate[E, α + 60°, B], Rotate[B, α + 60°, B], Rotate[A, α + 60°, B]]) → t3
  18. If(2 < w ≤ 3, Rotate[Polygon[Translate[A, Dilate[A, 3 - w, F] - A], Translate[A'_1, Dilate[A, 3 - w, F] - A], Translate[C', Dilate[A, 3 - w, F] - A], Translate[C, Dilate[A, 3 - w, F] - A]], ((-(w - 2)) * (β + 60°)), Dilate[A, 3 - w, F]], Rotate[Polygon[Translate[A, F - A], Translate[A'_1, F - A], Translate[C', F - A], Translate[C, F - A]], (-β) - 60°, F]) → q3
  19. If(4 < w ≤ 5, Rotate[Polygon[Translate[A'_1, Dilate[C', 5 - w, C] - C'], Translate[A', Dilate[C', 5 - w, C] - C'], Translate[C'_1, Dilate[C', 5 - w, C] - C'], Translate[C', Dilate[C', 5 - w, C] - C']], ((-(w - 4)) * (β + 60°)), Dilate[C', 5 - w, C]], Rotate[Polygon[Translate[A'_1, C - C'], Translate[A', C - C'], Translate[C'_1, C - C'], Translate[C', C - C']], (-β) - 60°, C]) → q4
  20. Circle(F, Segment[C, A]) → t
  21. Intersect(t, m, 1) → G
  22. If(6 < w ≤ 7, Rotate[Polygon[Translate[A', Dilate[C'_1, 7 - w, G] - C'_1], Translate[D, Dilate[C'_1, 7 - w, G] - C'_1], Translate[C'_1, Dilate[C'_1, 7 - w, G] - C'_1]], ((-(w - 6)) * β), Dilate[C'_1, 7 - w, G]], Rotate[Polygon[Translate[A', G - C'_1], Translate[D, G - C'_1], Translate[C'_1, G - C'_1]], (-β), G]) → t4
  23. Angle(C, A, B) → γ

AI 绘图提示语参考

绘制一个3-4-5的直角三角形，首先在x轴上取点A，在y轴上取点B和C，然后分别以A、B、C为起点，构造边长为3的等边三角形，形成辅助区域。接着，通过缩放和旋转，调整三角形的边长和角度，确保满足3-4-5的比例关系。最后，利用圆和交点找到关键构造点，完成图形的构建。
以上提示语为根据原始绘图命令整理而来，仅供参考。