内接完全四角形米凯尔点垂直性的作图证明

内接完全四角形米凯尔点垂直性的作图证明
几何画板及绘图内容加载中,请稍等……
2024-10-25 11:47
该范例通过动态几何构造,展示“内接完全四角形”的米凯尔点与两组相关直线之间的垂直关系,从而验证一个关于垂直性的几何定理。核心概念包括:完全四角形(由四条线两两交于六个点所构成)、米凯尔点(对四边/四线组合满足同圆与等角性质的特征点)、圆与圆的交、角与垂足(OrthogonalLine)、以及辅助的中点与分段作图用于组织证明链条。作图要点:利用 GeoGebra 的 Circle 生成包含关键点的圆;用 Point、Line、Segment 定义交点与相关连线;用 Intersect 计算圆与直线(或圆与圆)交点来确定米凯尔点及其对应结构;用 Midpoint 提供必要的辅助点;最后调用 OrthogonalLine 构造并验证垂直线,同时借助 Angle 检查角度关系。适合高中到大学早期的几何竞赛训练、定理理解与几何作图教学,也适合作为圆几何与米凯尔点主题的可视化练习。

GeoGebra 命令及参数

  1. Circle(A, 1) → c
  2. Point(c) → B
  3. Point(c) → C
  4. Point(c) → D
  5. Point(c) → E
  6. Line(B, C) → f
  7. Line(B, D) → g
  8. Line(D, E) → h
  9. Line(C, E) → i
  10. Intersect(f, h) → F
  11. Intersect(g, i) → G
  12. Segment(F, G) → j
  13. Midpoint(F, G) → H
  14. OrthogonalLine(A, j) → a
  15. Intersect(c, a, 1) → O
  16. Intersect(c, a) → P, Q
  17. Circle(E, D, G) → d
  18. Circle(C, B, G) → e
  19. Circle(F, C, E) → p
  20. Circle(F, B, D) → q
  21. Intersect(d, a, 1) → L
  22. Line(L, E) → r
  23. Intersect(c, r, 2) → M
  24. Segment(L, B) → s
  25. Segment(B, M) → t
  26. Angle(L, M, B) → β
  27. Angle(E, D, G) → γ
  28. Angle(E, L, H) → δ
  29. Angle(M, B, D) → ε
  30. Angle(M, E, F) → ζ
  31. Angle(L, B, D) → η
  32. Angle(L, F, E) → θ
  33. Angle(M, B, L) → ι
  34. Segment(M, L) → j_1
  35. Segment(M, A) → h_1
  36. Segment(A, B) → i_1
  37. Angle(B, L, A) → κ
  38. Angle(A, L, M) → λ
  39. Angle(E, C, B) → μ
  40. Angle(G, L, B) → ν
  41. Angle(j, a) → α
  42. Point(c) → I
  43. Line(I, F) → k
  44. Line(I, G) → l
  45. Intersect(c, k, 2) → J
  46. Line(J, G) → m
  47. Intersect(c, l, 2) → K
  48. Line(K, F) → n
  49. Intersect(m, n) → N
  50. Line(L, D) → g_1
  51. Line(L, C) → f_1
  52. Circle(N, K, G) → c_1
  53. Circle(J, I, G) → d_1
  54. Circle(F, J, N) → e_1
  55. Circle(F, I, K) → k_1
  56. Line(L, N) → l_1
  57. Line(L, I) → m_1
  58. Line(L, K) → n_1
  59. Line(L, J) → p_1

AI 绘图提示语参考

在平面中先给定一个参考点A,并以A为圆心作一圆。取该圆上两点作为B、C、D、E,并连接形成四条完成四边形的边:B与C、B与D、D与E、C与E。由线段的交点得到两条对角线的交点F与G,从而取F、G的中点H。再过中点构造与由A连接F、G相关的基准线正交的辅助直线a,并与圆相交得到O;同时取辅助直线与线段相交得到L与相关点M。以L为准作过E的直线并用圆与其交点确定M。最后画出若干圆:以E、D、G确定一圆;以C、B、G确定另一圆;以及以F、C、E和以F、B、D各作圆。用这些圆与直线的交点形成J、K等,并在图中标注若干角度以检验直角关系(例如以L、M、B与E、D、G为顶点的角)。
以上提示语为根据原始绘图命令整理而来,仅供参考。