How can the arc of a circle be considered straight?
There are many different answers to this question. 1. The open unit disc is just a model of the hyperbolic plane in which it turns out to be convenient to define a straight line in a certain way which does not coincide with the Euclidean definition. If it bothers you, you could put inverted commas around the word “straight” for a while, until you found that they made no difference. 2. If you do the calculations (given in the course) you find that the straight lines as defined in the course are the same as the geodesics , that is, the shortest curves between two points. 3. The reason straight lines in the disc model do not appear to be straight is that the hyperbolic plane is negatively curved (which means, roughly speaking, that the neighbourhood of every point is something like a Pringle crisp) so that it cannot be drawn in the Euclidean plane without distortion. This situation is rather like the impossibility of drawing a flat map of the world without distortion (this time because th
