积极 AI Logo 积极 AI

van Aubel 定理的几何作图与验证

van Aubel 定理的几何作图与验证
几何画板及绘图内容加载中，请稍等……
2024-06-19 05:25
圆多边形向量变换几何作图
本范例通过在单位圆或已定几何配置中构造点与线段，演示 van Aubel 定理所描述的长度/分点关系如何从几何连结自动出现并可视化验证。核心数学概念包括：一般四边形（或由其派生的几何结构）中的点构造、交点与中点/重心等仿射几何工具、以及与圆相关的角度与长度关系（范例主题涉及正弦/分割式幂次与比例思想）。作图要点：从下方“构造摘要”可知使用了 GeoGebra 的 Segment、Polygon 生成相关线段与多边形，借助 Point 建立关键点，利用 Midpoint 与 Centroid 得到中点与重心来形成等比例或仿射约束；随后用 Intersect 计算多条线的交点，从而确定后续对象（如由多边形 poly1~poly4 及其相关点构成的点集与线段网络）。适合中学到大学入门阶段的几何证明与可视化学习，也适用于竞赛几何、几何作图与定理理解的教学演示。

GeoGebra 命令及参数

  1. Segment(B, C) → g
  2. Segment(C, A) → h
  3. Polygon(C, B, 4) → poly1, i, j, k, l, D, E
  4. Polygon(A, C, 4) → poly2, m, n, p, q, F, G
  5. Segment(F, G) → s
  6. Segment(G, A) → t
  7. Segment(F, C) → a
  8. Segment(C, E) → b
  9. Segment(E, D) → c
  10. Segment(B, D) → d
  11. Segment(A, I) → f
  12. Segment(I, B) → e
  13. Polygon(I, A, 4) → poly3, f_1, g_1, h_1, i_1, K, L
  14. Polygon(B, I, 4) → poly4, j_1, k_1, l_1, m_1, M, N
  15. Midpoint(K, I) → O
  16. Midpoint(M, B) → P
  17. Centroid(poly2) → H
  18. Centroid(poly1) → J
  19. Segment(A, K) → r
  20. Segment(K, L) → n_1
  21. Segment(L, I) → p_1
  22. Segment(I, M) → q_1
  23. Segment(N, M) → r_1
  24. Segment(B, N) → s_1
  25. Segment(J, O) → t_1
  26. Segment(H, P) → a_1
  27. Point(a_1) → Q
  28. Intersect(t_1, a_1) → R

AI 绘图提示语参考

在一条线段上标记两个点A和B，然后以A为起点画一个四边形C、D、E、F。接着，以B为起点画另一个四边形G、H、I、J。在四边形内部找到中点K和M，以及两个四边形的重心H和J。然后连接A到K、K到L、L到I、I到M、N到M、B到N、J到O和H到P。最后，在线段t_1和a_1上找到交点R。这个图形展示了通过中点和重心构造的几何关系。
以上提示语为根据原始绘图命令整理而来，仅供参考。