积极 AI Logo 积极 AI

用“无字证明”展示的几何构造：圆与旋转下的角关系

用“无字证明”展示的几何构造：圆与旋转下的角关系
几何画板及绘图内容加载中，请稍等……
2021-02-06 21:31
圆角变换几何作图
该范例通过“无字证明”的方式，用几何图形在视觉上呈现某个结论在构造与变换下的必然性。核心现象围绕圆与扇形的几何约束，通过旋转与角度刻画来揭示角度相等或对应关系，从而形成可直接从图形读出的数学证据。涉及的核心数学概念包括：几何作图、圆与圆周交点、旋转变换、角的度量与标注（Angle）、以及由点与线段组合形成的多步骤构造；同时还体现了构造中对对象集合的组织方式（如序列 Sequence、路径/曲线 CurveCartesian、以及 Join、Polygon 等）。作图要点可从构造摘要提炼：使用 Point、Circle、Intersect 生成关键点与圆交点；用 Rotate 实现对称/旋转后的对应位置；用 Segment、Angle 标注线段与角度关系；用 Sector、Polygon 形成扇形与多边形结构以承载证明的几何布局；用 CurveCartesian 描述或生成曲线辅助观察；并借助 Sequence、Join 组织元素连接与迭代构造。适合中学高年级至大学预科的几何与变换教学，用于“证明的可视化”“几何直观训练”和课堂讲解。

GeoGebra 命令及参数

  1. Point(xAxis) → A
  2. Circle(A, 1) → c
  3. Intersect(c, xAxis, 2) → B
  4. Rotate(B, a, A) → B'
  5. Segment(A, B') → f
  6. Sector(c, B, B') → d
  7. Intersect(xAxis, yAxis) → C
  8. Point(xAxis) → D
  9. Circle(C, D) → e
  10. Intersect(e, yAxis, 2) → E
  11. Rotate(E, a) → E'
  12. Circle(C, F) → g
  13. Segment(E', F) → h
  14. CurveCartesian(((x(D) * cos(t + π / 2)), (x(D) * sin(t + π / 2))), t, 0, a) → b
  15. Intersect(xAxis, yAxis) → H
  16. Segment(H, G) → j
  17. Angle(D, C, G) → α
  18. CurveCartesian(((j * cos(t + α)), (j * sin(t + α))), t, 0, a) → i
  19. Sequence(((j * cos(w)), (j * sin(w))), w, α, α + a, π / 180) → l1
  20. Sequence(((x(D) * cos(w)), (x(D) * sin(w))), w, a + π / 2, π / 2, ((-π)) / 180) → l2
  21. Join({l1, l2}) → l3
  22. Polygon(l3) → poly1
  23. Segment(C, E') → k
  24. Segment(C, F) → l

AI 绘图提示语参考

请绘制一个由圆和旋转构成的几何图形。图形中包含一个圆c，其与x轴相交于点B。点B绕点A旋转得到点B'。连接点A和B'形成线段f。圆c还定义了一个扇形d。x轴与y轴的交点C被用作中心。围绕C画一个圆e，与y轴相交于点E。点E绕C旋转得到点E'。连接E'和F形成线段h。绘制一条曲线b，其参数基于点D和角度a。绘制另一条曲线i，其参数基于线段j和角度α。创建两个序列l1和l2，分别使用角度α和a+π/2。连接这些序列形成多边形poly1。连接点C和E'形成线段k。连接点C和F形成线段l。图形应展示圆、旋转、角度测量和扇形区域，以体现几何构造中的角度对应关系。
以上提示语为根据原始绘图命令整理而来，仅供参考。