Very nice animation
Originally shared by Malin Christersson
When using the Poincaré disc model for hyperbolic geometry, the hyperbolic universe is inside a circle. The circle itself is at infinity. A triangle inside the circle will always have angle sum less than 180 degrees. As the vertices of a triangle approach the circle, the angle sum tends to 0, and the hyperbolic perimeter of the triangle tends to infinity. The limiting triangle is called an ideal triangle. The hyperbolic area of an ideal triangle is always π. All triangles in the animation have the same hyperbolic area.
(This is actually a remake of an old post, but since Python is no longer supported in GeoGebra beta, I’m remaking some old stuff linked to non-Euclidean geometry that I never bundled to anything useful before.)