内接完全四角形米凯尔点垂直性的作图证明
几何画板及绘图内容加载中,请稍等……
该范例通过动态几何构造,展示“内接完全四角形”的米凯尔点与两组相关直线之间的垂直关系,从而验证一个关于垂直性的几何定理。核心概念包括:完全四角形(由四条线两两交于六个点所构成)、米凯尔点(对四边/四线组合满足同圆与等角性质的特征点)、圆与圆的交、角与垂足(OrthogonalLine)、以及辅助的中点与分段作图用于组织证明链条。作图要点:利用 GeoGebra 的 Circle 生成包含关键点的圆;用 Point、Line、Segment 定义交点与相关连线;用 Intersect 计算圆与直线(或圆与圆)交点来确定米凯尔点及其对应结构;用 Midpoint 提供必要的辅助点;最后调用 OrthogonalLine 构造并验证垂直线,同时借助 Angle 检查角度关系。适合高中到大学早期的几何竞赛训练、定理理解与几何作图教学,也适合作为圆几何与米凯尔点主题的可视化练习。
GeoGebra 命令及参数
Circle(A, 1) → cPoint(c) → BPoint(c) → CPoint(c) → DPoint(c) → ELine(B, C) → fLine(B, D) → gLine(D, E) → hLine(C, E) → iIntersect(f, h) → FIntersect(g, i) → GSegment(F, G) → jMidpoint(F, G) → HOrthogonalLine(A, j) → aIntersect(c, a, 1) → OIntersect(c, a) → P, QCircle(E, D, G) → dCircle(C, B, G) → eCircle(F, C, E) → pCircle(F, B, D) → qIntersect(d, a, 1) → LLine(L, E) → rIntersect(c, r, 2) → MSegment(L, B) → sSegment(B, M) → tAngle(L, M, B) → βAngle(E, D, G) → γAngle(E, L, H) → δAngle(M, B, D) → εAngle(M, E, F) → ζAngle(L, B, D) → ηAngle(L, F, E) → θAngle(M, B, L) → ιSegment(M, L) → j_1Segment(M, A) → h_1Segment(A, B) → i_1Angle(B, L, A) → κAngle(A, L, M) → λAngle(E, C, B) → μAngle(G, L, B) → νAngle(j, a) → αPoint(c) → ILine(I, F) → kLine(I, G) → lIntersect(c, k, 2) → JLine(J, G) → mIntersect(c, l, 2) → KLine(K, F) → nIntersect(m, n) → NLine(L, D) → g_1Line(L, C) → f_1Circle(N, K, G) → c_1Circle(J, I, G) → d_1Circle(F, J, N) → e_1Circle(F, I, K) → k_1Line(L, N) → l_1Line(L, I) → m_1Line(L, K) → n_1Line(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为顶点的角)。
以上提示语为根据原始绘图命令整理而来,仅供参考。