积极 AI Logo 积极 AI

完全四角形斯泰纳圆：外垂直二等分线性质（引理）

完全四角形斯泰纳圆：外垂直二等分线性质（引理）
几何画板及绘图内容加载中，请稍等……
2024-10-19 08:29
圆多边形角几何作图
所属专题 Besondere Punkte/Special Points
该范例展示完全四角形的斯泰纳圆相关性质：证明点对的垂直二等分线交于外接（斯泰纳）圆上，从而刻画斯泰纳圆周的几何不变量。核心概念包括完全四角形、垂直二等分线、外接圆/斯泰纳圆、圆与直线的交点、以及由相似三角形支撑的角与距离关系。作图要点：利用 GeoGebra 的 Line 生成相关直线；用 Point 构造顶点与交点；通过 Intersect 求直线的交点；用 Circle 建立圆并定位斯泰纳圆；用 Segment 明确线段关系；用 LineBisector 直接构造 AE 与 DF 等垂直二等分线；再借助 Angle 设定/验证关键角关系；对象中包含 A、B、C、D 等顶点以及垂直二等分线相关对象（如 g、h、i 等）和圆对象（如 c、f_1 等），从而完成引理的几何论证。适合高中竞赛几何、几何作图课，以及对圆周性质与相似思路感兴趣的学习者使用。

GeoGebra 命令及参数

  1. Line(A, B) → f
  2. Point(f) → D
  3. Line(C, D) → g
  4. Line(A, C) → h
  5. Point(h) → E
  6. Line(B, E) → i
  7. Intersect(g, i) → F
  8. Circle(B, F, D) → c
  9. Circle(F, E, C) → d
  10. Intersect(c, d, 2) → M
  11. Circle(B, E, A) → e
  12. Circle(A, D, C) → k
  13. Segment(B, M) → j
  14. Segment(M, C) → l
  15. Segment(M, F) → m
  16. Segment(A, M) → n
  17. LineBisector(j) → p
  18. LineBisector(l) → q
  19. LineBisector(m) → r
  20. LineBisector(n) → s
  21. Intersect(p, r) → G
  22. Intersect(s, p) → H
  23. Intersect(q, s) → I
  24. Intersect(q, r) → J
  25. Circle(G, M, J) → t
  26. LineBisector(D, F) → a
  27. LineBisector(A, E) → b
  28. Intersect(a, b) → K
  29. Line(G, F) → f_1
  30. Intersect(d, f_1, 2) → L
  31. Segment(M, L) → g_1
  32. Segment(E, M) → h_1
  33. Angle(F, L, M) → α
  34. Angle(F, E, M) → β
  35. Segment(H, M) → i_1
  36. Angle(j, p) → η
  37. Angle(G, H, M) → γ
  38. Segment(H, L) → j_1
  39. Segment(L, E) → k_1
  40. Segment(G, M) → l_1
  41. Angle(M, L, E) → δ
  42. Angle(M, F, E) → ε
  43. Intersect(p, j) → N
  44. Angle(N, G, M) → θ
  45. Angle(B, F, M) → ι
  46. Angle(M, G, H) → ζ

AI 绘图提示语参考

绘制一个完全四边形ABCD的Steiner圆，包括点A、B、C、D和它们的对角线交点E、F。构造AE和DF的垂直平分线，它们与Steiner圆的交点分别为G和H。接着构造BE和AF的垂直平分线，它们的交点为K。最后，通过这些垂直平分线和交点，构造出与Steiner圆相交的线段和角度关系。
以上提示语为根据原始绘图命令整理而来，仅供参考。