MathPlotAI Logo MathPlotAI

Triangle on a Sphere (Sum of Angles)

Triangle on a Sphere (Sum of Angles)
Loading the math board and drawing, please wait…
2016-08-27 12:37
TriangleAngleSolid GeometryGeometric ConstructionSlider Animation
This example demonstrates a spherical triangle formed by great-circle arcs on a sphere, with dynamic visualization showing that its angle sum exceeds 180°. It illustrates key concepts of spherical geometry and non-Euclidean geometry, including angle excess and the spherical triangle angle-sum theorem. The construction uses GeoGebra commands such as Sphere, PointIn, Circle, Tangent, Angle, Rotate, Point, CircleArc, and Vector to build the sphere, place points A, B, C on the surface, construct great circles and tangents, measure angles, and create auxiliary arcs. Interactive sliders or draggable points allow users to change the triangle's vertices and observe the varying angle sum. Suitable for high school and university students, this example serves as an intuitive introduction to spherical geometry and a visual aid for courses on non-Euclidean geometry.

GeoGebra Commands & Parameters

  1. Sphere((0, 0, 0), 3) → a
  2. PointIn(a) → A
  3. PointIn(a) → B
  4. PointIn(a) → C
  5. Circle(A, C, Intersect[Line[O, C], a]) → c
  6. Circle(A, B, Intersect[Line[O, B], a]) → d
  7. Circle(B, C, Intersect[Line[O, C], a]) → e
  8. Tangent(A, c) → f,
  9. Tangent(A, d) → g,
  10. Tangent(B, e) → h,
  11. Angle(f, g) → i
  12. Rotate(h, (-i), Line[B, O]) → h'
  13. Angle(h', h) → i'
  14. Tangent(B, d) → j_1,
  15. Tangent(C, c) → k,
  16. Tangent(C, e) → l,
  17. Point(k) → D
  18. Point(l) → E
  19. Angle(D, C, E) → j
  20. Rotate(h', j, Line[O, B]) → h''
  21. Point(h') → F
  22. Point(h'') → G
  23. Angle(G, B, F) → j'
  24. Point(j_1) → H
  25. Point(h) → I
  26. Angle(H, B, I) → α
  27. CircleArc(B, H, F) → p
  28. CircleArc(B, F, G) → q
  29. Point(p) → J
  30. Point(p) → K
  31. Vector(J, K) → u
  32. Point(q) → L
  33. Point(q) → M
  34. Vector(L, M) → v
  35. Angle(f, g) → i''
  36. Angle(D, C, E) → j''
  37. CircleArc(O, B, A) → r
  38. CircleArc(O, C, B) → t
  39. CircleArc(O, C, A) → c_1

AI Drawing Prompt Reference

Draw a spherical triangle formed by three great-circle arcs on a sphere, with points A, B, and C on the sphere's surface. Construct great circles c and d through points A and C, and points A and B, and great circle e through points B and C. Then, draw tangents f and g at point A, h at point B, and k and l at point C. Use rotation and angle measurement to find the angles i, j, and k of the triangle, and finally, use auxiliary arcs p and q to show that the sum of the angles exceeds 180 degrees.
The prompt above was compiled from the original drawing commands and is for reference only.