完全四边形对边垂直二等分线交点及斯泰纳圆周
几何画板及绘图内容加载中,请稍等……
该范例展示:在“完全四边形”(四边形的对边对应关系满足完全条件)中,任意一对对边的垂直二等分线的交点会落在斯泰纳圆周(Steiner circumcircle)上。核心数学概念包括:完全四边形的几何结构、垂直二等分线的等距性质、圆与交点的构造关系,以及与斯泰纳圆周相关的经典几何不变量。作图要点来自构造摘要中的命令与对象:使用Line创建相关边与直线,Point生成关键点,LineBisector构造对边的垂直二等分线,Intersect求二等分线交点与其他几何对象的交点,Circle用于确定斯泰纳圆并验证交点共圆;同时通过Segment与Angle等对象辅助定义/标注与几何关系。该示例适合中学到大学初阶的几何课程、竞赛几何与GeoGebra教学演示,用于帮助理解“点的共圆性/圆上性”与几何不变量的形成机制。
GeoGebra 命令及参数
Line(A, B) → fPoint(f) → DLine(C, D) → gLine(A, C) → hPoint(h) → ELine(B, E) → iIntersect(g, i) → FCircle(B, F, D) → cCircle(F, E, C) → dIntersect(c, d, 2) → MCircle(B, E, A) → eCircle(A, D, C) → kSegment(B, M) → jSegment(M, C) → lSegment(M, F) → mSegment(A, M) → nLineBisector(j) → pLineBisector(l) → qLineBisector(m) → rLineBisector(n) → sIntersect(p, r) → GIntersect(s, p) → HIntersect(q, s) → IIntersect(q, r) → JCircle(G, M, J) → tLineBisector(D, F) → aLineBisector(A, E) → bIntersect(a, b) → KLine(G, F) → f_1Intersect(d, f_1, 2) → LSegment(M, L) → g_1Segment(E, M) → h_1Segment(H, M) → i_1Angle(j, p) → ηSegment(H, L) → j_1Segment(L, E) → k_1Segment(G, M) → l_1Intersect(p, j) → NAngle(h, b) → αIntersect(h, b) → OAngle(E, H, O) → βAngle(E, B, A) → γAngle(a, g) → ζAngle(F, G, K) → θAngle(H, K, G) → ιAngle(H, L, G) → κ
AI 绘图提示语参考
在平面上先给出四点形成一个完全四边形结构:取四条边对应的两组对边端点,使得有两条“对边”的线段可供作关于其中点的对称依据。分别作这两组对边的垂直平分线(每条平分线由对应端点连线的中垂线确定),计算它们的交点,并在该交点处与另一已由三点确定的圆作交点验证。用三点确定两个圆:一个经过垂直平分线交点及另两个端点点,另一个经过另一交点及相应端点。再画出这些圆的交点所形成的若干连线与辅助角,用圆与直线相交关系标注关键位置,观察该交点是否落在特定圆上。
以上提示语为根据原始绘图命令整理而来,仅供参考。