双曲几何平均的构造演示
几何画板及绘图内容加载中,请稍等……
① 本范例演示了在双曲几何模型(庞加莱圆盘)中,如何通过几何作图构造两个点的“双曲几何平均”,并展示其与欧氏几何平均的差异。② 核心数学概念包括双曲几何、几何平均、切线、圆与直线的交比、以及双曲距离的度量性质。③ 作图要点:从构造摘要看,使用了 Point(点)、Tangent(切线)、Line(直线)、Intersect(交点)、Circle(圆)、Length(长度)、Midpoint(中点)、Segment(线段)、Polygon(多边形)、OrthogonalLine(正交线)、Angle(角)、Ray(射线)等 GeoGebra 命令,涉及对象 O, a, b, c, A, f, h, B, d, C, g, D, k_1 至 k_9, j, i, E, l_1, F, k, m, G, n, H, o, p, q, e, I, J, r, s, K,通过构造正交圆和切线来定义双曲结构。④ 适合高中至大学阶段的几何教学,尤其用于双曲几何与非欧几何的直观理解,也可作为 GeoGebra 高级作图练习。
GeoGebra 命令及参数
Point(c) → ATangent(A, c) → f,Line(A, O) → hIntersect(c, h, 2) → BCircle(A, B) → dIntersect(c, d, 4) → CLine(C, f) → gIntersect(h, g) → DLength(Segment[D, A]) → k_1Length(Segment[D, B]) → k_2Length(Segment[D, C]) → k_3Intersect(c, d, 2) → ELine(E, f) → l_1Intersect(h, l_1) → FLength(Segment[F, E]) → k_4Length(Segment[F, A]) → k_5Length(Segment[F, B]) → k_6Intersect(c, d, 3) → GLine(G, f) → nIntersect(h, n) → HLength(Segment[G, H]) → k_7Length(Segment[B, H]) → k_8Length(Segment[A, H]) → k_9Tangent(B, c) → q,Circle(D, A) → eIntersect(e, h, 2) → IMidpoint(I, B) → JCircle(J, I) → rCircle(D, C) → sIntersect(r, s, 1) → KSegment(D, K) → lPolygon(C, D, 4) → poly1, t, f_1, g_1, h_1, L, MOrthogonalLine(D, h) → i_1Intersect(e, i_1, 2) → NOrthogonalLine(B, h) → j_1Line(N, h) → m_1Intersect(j_1, m_1) → PPolygon(B, D, N, P) → poly2, b_1, d_1, n_1, p_1Intersect(d, f, 1) → QIntersect(d, h, 2) → RAngle(R, A, Q) → αAngle(C, A, Q) → βRay(A, C) → q_1
AI 绘图提示语参考
绘制Poincaré盘模型中的双点双曲几何均值构造。首先在点c上画一条切线f,然后通过点A画一条直线h,与c交于点B,接着画以A、B为直径的圆d,与c交于点C。通过这些步骤,逐步构造出一系列圆、切线和交点,最终形成一个复杂的双曲几何结构。
以上提示语为根据原始绘图命令整理而来,仅供参考。