Uploaded March 2021 | Updated September 2026, 2 weeks ago
We try to map every point of three-dimensional hyperbolic space to three-dimensional Euclidean space, in the following way:
For a given point X, we compute the distances from three points (A,B,C), and then find X' the point in Euclidean space which has the same distance from points A', B', C'.
In this animation, we rotate the triangle ABC and also rotate the triangle A'B'C' (which is shown). The dodecahedra are from the {5,3,4} honeycomb.
The plane ABC splits the hyperbolic space to two half-spaces, and so does A'B'C'; we map each hyperbolic half-space to its respective Euclidean half-space. In some cases, for points in the ABC plane, there will be two (symmetric) Euclidean points, making the projection appear "broken" as we rotate the triangles. In other cases, there will be no correct Euclidean points (in this case, we just map to a point on the A'B'C' plane).
#nonEuclidean
We try to map every point of three-dimensional hyperbolic space to three-dimensional Euclidean space, in the following way:
For a given point X, we compute the distances from three points (A,B,C), and then find X' the point in Euclidean space which has the same distance from points A', B', C'.
In this animation, we rotate the triangle ABC and also rotate the triangle A'B'C' (which is shown). The dodecahedra are from the {5,3,4} honeycomb.
The plane ABC splits the hyperbolic space to two half-spaces, and so does A'B'C'; we map each hyperbolic half-space to its respective Euclidean half-space. In some cases, for points in the ABC plane, there will be two (symmetric) Euclidean points, making the projection appear "broken" as we rotate the triangles. In other cases, there will be no correct Euclidean points (in this case, we just map to a point on the A'B'C' plane).
#nonEuclidean



![Bad Apple, but rendered with hyperbolic planes
Our take on the famous Internet meme! If something can display something, it will display Bad Apple. If it cant, people will make it display Bad Apple. LiterallySomeOne, [2]
By the Riemann Mapping Theorem, every simple-connected shape can be conformally mapped to a hyperbolic plane, and thus be used as a model* of hyperbolic geometry.
Made with newconformist: https://github.com/zenorogue/newconformist (modified to allow animation)
Want to know more? Follow us and comment for a making of video! [3]
[1] original Bad Apple animation by Anira (uploaded to YouTube by kasidid2): https://www.youtube.com/watch?v=FtutLA63Cp8
[2] Bad Apple explained by Megapig9001: https://www.youtube.com/watch?v=6QY4ekac1_Q
[3] The making of video is ready! https://youtu.be/NGixk6jVVNM
* rather a projection than a model... but people call them models, so lets call these anime-girl models
Download video without YouTube compression: (also fixes the missing frames at 0:41 and at the end, causing music desync)
https://drive.google.com/file/d/1TqZo1AyeU7a4N9zcr32bIzVxT0vUNwxo/view?usp=sharing
#badapple #mathart #noneuclidean #mindbending #visualization #mathisbeautiful #mathgenius #mathisfun #mathisawesome #newconformist #conformal #hyperrogue #rogueviz Bad Apple, but rendered with hyperbolic planes](https://i.ytimg.com/vi/P9EZy8ZzlVU/mqdefault.jpg)






