Hyperbolic Geometric Mean Construction

Hyperbolic Geometric Mean Construction
Loading the math board and drawing, please wait…
2016-09-29 03:39
① This example demonstrates how to construct the hyperbolic geometric mean of two points in the Poincaré disk model, highlighting its difference from the Euclidean geometric mean. ② Core mathematical concepts include hyperbolic geometry, geometric mean, tangents, circle-line intersections, and hyperbolic distance properties. ③ Construction details: Based on the summary, it uses GeoGebra commands such as Point, Tangent, Line, Intersect, Circle, Length, Midpoint, Segment, Polygon, OrthogonalLine, Angle, and Ray, involving objects O, a, b, c, A, f, h, B, d, C, g, D, k_1 through k_9, j, i, E, l_1, F, k, m, G, n, H, o, p, q, e, I, J, r, s, K. The construction builds orthogonal circles and tangents to define the hyperbolic structure. ④ Suitable for high school to university geometry classes, especially for intuitive understanding of hyperbolic and non-Euclidean geometry, and as an advanced GeoGebra construction exercise.

GeoGebra Commands & Parameters

  1. Point(c) → A
  2. Tangent(A, c) → f,
  3. Line(A, O) → h
  4. Intersect(c, h, 2) → B
  5. Circle(A, B) → d
  6. Intersect(c, d, 4) → C
  7. Line(C, f) → g
  8. Intersect(h, g) → D
  9. Length(Segment[D, A]) → k_1
  10. Length(Segment[D, B]) → k_2
  11. Length(Segment[D, C]) → k_3
  12. Intersect(c, d, 2) → E
  13. Line(E, f) → l_1
  14. Intersect(h, l_1) → F
  15. Length(Segment[F, E]) → k_4
  16. Length(Segment[F, A]) → k_5
  17. Length(Segment[F, B]) → k_6
  18. Intersect(c, d, 3) → G
  19. Line(G, f) → n
  20. Intersect(h, n) → H
  21. Length(Segment[G, H]) → k_7
  22. Length(Segment[B, H]) → k_8
  23. Length(Segment[A, H]) → k_9
  24. Tangent(B, c) → q,
  25. Circle(D, A) → e
  26. Intersect(e, h, 2) → I
  27. Midpoint(I, B) → J
  28. Circle(J, I) → r
  29. Circle(D, C) → s
  30. Intersect(r, s, 1) → K
  31. Segment(D, K) → l
  32. Polygon(C, D, 4) → poly1, t, f_1, g_1, h_1, L, M
  33. OrthogonalLine(D, h) → i_1
  34. Intersect(e, i_1, 2) → N
  35. OrthogonalLine(B, h) → j_1
  36. Line(N, h) → m_1
  37. Intersect(j_1, m_1) → P
  38. Polygon(B, D, N, P) → poly2, b_1, d_1, n_1, p_1
  39. Intersect(d, f, 1) → Q
  40. Intersect(d, h, 2) → R
  41. Angle(R, A, Q) → α
  42. Angle(C, A, Q) → β
  43. Ray(A, C) → q_1

AI Drawing Prompt Reference

Construct the hyperbolic geometric mean of two points in the Poincaré disk model. Start by drawing a tangent f at point c, then draw a line h through point A that intersects c at point B. Next, draw a circle d with A and B as endpoints of its diameter, which intersects c at point C. Continue with these steps to construct a series of circles, tangents, and intersections, ultimately forming a complex hyperbolic geometric structure.
The prompt above was compiled from the original drawing commands and is for reference only.