 Hyperbolic Geometry

The usual geometry taught in school is that of Euclidean geometry – in which angles in a triangle add up 180 degrees.  This is based on the idea that the underlying space on which the triangle is drawn is flat.  However, if the underlying space in curved then this will no longer be correct.  On surfaces of constant curvature triangles will have angles greater than 180 degrees, and on surfaces of constant negative curvature triangles will have angles less than 180 degrees.  Hyperbolic geometry is based on a geometry in which the underlying space is negatively curved.

Pseudosphere The pseudosphere pictured above is an example of a surface of constant negative curvature.  It was given the name pseudosphere as a usual sphere is the opposite – a surface of constant positive curvature.  So the question arises, what would the geometry on a surface such as a pseudosphere look like?  If we imagine 2 dimensional beings who live on the surfaces of a pseudosphere, what geometry would they believe their reality to be based on?

Poincare Disc

The Poincare disc is one way we can begin to understand what hyperbolic geometry would be like for its inhabitants.  The Poincare disc is a map which translates points in the hyperbolic plane to points in the Euclidean disc.  For example, we translate points from the spherical Earth onto a flat atlas – and this helps us understand our spherical reality.  In the same way, we can arrive at a model of the hyperbolic plane that helps us to understand it, without actually having to picture a pseudosphere everytime we want to do some maths. The Poincare disc maps the entire hyperbolic plane onto a finite disc.  The shortest line between 2 points (which we would call a straight line in Euclidean geometry) is represented in the disc model by both circular arcs and diameters of the circle.  These circular arcs are orthogonal (at 90 degrees) to the boundary circle edge.  So our model shows that if we wanted to travel between points E and F on a pseudosphere, that the shortest route would be the curved path of the arc shown.  Indeed, being able to calculate the shortest distance between 2 points is an integral part of understanding the underlying geometry.

Distance on the Poincare Disc

The easiest case to look at is the distance from point A on the centre, to a point x on the diameter.  Remember that diameters are also straight lines in the Poincare model.  What we want to calculate is what this distance from A to x actually represents in the hyperbolic plane.  The formula to calculate this is:

Hyperbolic distance = 2tanh-1x

Where tanh-1x is the inverse of the hyperbolic tangent function.  This can be calculated with a calculator, or we can use the alternative definition for tanh-1x

2tanh-1x =  ln(1+x) – ln(1-x) So, if our point F is 0.5 units away from A, then this relates to a hyperbolic distance of 2tanh-10.5 = 1.0986. As we get further to the boundary of the unit circle this represents ever larger distances in the hyperbolic plane.  For example if our point F is 0.9 units away from A, then this relates to a hyperbolic distance of 2tanh-10.9 = 2.9444 And if our point is 0.999999 units away from A we get a hyperbolic distance of  2tanh-10.999999 = 14.5087

In fact, as we get closer and closer to the edge of the disc (say x = 1) then the hyperbolic distance gets closer and closer to infinity.  In this way the Poincare Disc, even though it has a radius of 1, is able to represent the entire (infinite) hyperbolic plane.  We can see this behavior of 2tanh-1x by considering the graph of tanh-1x: y = tanh-1x has 2 vertical asymptotes at x =1 and x = -1, so as we approach these values, the graph tends to infinity.

So, remarkably the Poincare disc is able to represent an infinite amount of information within a finite space.  This disc model was hugely helpful for mathematicians as they started to investigate hyperbolic geometry. Mathematical art

Escher was a Dutch artist who worked in the 20th century.  He used mathematical concepts within his pieces.  The above piece is one of his most famous, which is art based on the Poincare disc.  It consists of tessellations of the same shape – but because distance is not the same as in Euclidean geometry, those fish which are closer to the boundary edge appear smaller.  It is a fantastic illustration of the strange nature of hyperbolic geometry and a pictorial representation of infinity.

If you enjoyed this post you might also like:

Non Euclidean Geometry V – The Shape of the Universe – a look at how non Euclidean geometry is part of the physics of understanding the universe.

Circular Inversion – Reflecting in a Circle – study another transformation which is used in hyperbolic geometry.

IB Revision If you’re already thinking about your coursework then it’s probably also time to start planning some revision, either for the end of Year 12 school exams or Year 13 final exams. There’s a really great website that I would strongly recommend students use – you choose your subject (HL/SL/Studies if your exam is in 2020 or Applications/Analysis if your exam is in 2021), and then have the following resources: The Questionbank takes you to a breakdown of each main subject area (e.g. Algebra, Calculus etc) and each area then has a number of graded questions. What I like about this is that you are given a difficulty rating, as well as a mark scheme and also a worked video tutorial.  Really useful! The Practice Exams section takes you to ready made exams on each topic – again with worked solutions.  This also has some harder exams for those students aiming for 6s and 7s and the Past IB Exams section takes you to full video worked solutions to every question on every past paper – and you can also get a prediction exam for the upcoming year.

I would really recommend everyone making use of this – there is a mixture of a lot of free content as well as premium content so have a look and see what you think.