1. H YPERSHOT : F UN WITH H YPERBOLIC G EOMETRY Praneet Sahgal

2. M OTIVATION FOR H YPERBOLIC G EOMETRY Euclid’s 5 Axioms: 1. A straight line segment can be drawn joining any two points. 2. Any straight line segment can be extended indefinitely in a straight line. 3. Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center. 4. All right angles are congruent. 5. If two lines are drawn which intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough. This postulate is equivalent to what is known as the parallel postulate. Source: http://mathworld.wolfram.com/EuclidsPostulates.htmlhttp://mathworld.wolfram.com/EuclidsPostulates.html

3. M OTIVATION FOR H YPERBOLIC G EOMETRY What if we tweak that last axiom, the Parallel Postulate? 1. Say there aren’t ANY parallel lines (spherical geometry) 2. Say there’s MORE THAN ONE parallel line (hyperbolic geometry) Note: There’s actually infinite parallel lines in hyperbolic space

4. M ODELING H YPERBOLIC G EOMETRY Upper Half-plane Model (Poincaré half-plane model) Poincaré Disk Model Klein Model Hyperboloid Model (Minkowski Model) Image Source: Wikipedia

5. U PPER H ALF P LANE M ODEL Say we have a complex plane We define the positive portion of the complex axis as hyperbolic space We can prove that there are infinitely many parallel lines between two points on the real axis Image Source: Hyperbolic Geometry by James W. Anderson

6. P OINCARÉ D ISK M ODEL Instead of confining ourselves to the upper half plane, we use the entire unit disk on the complex plane Lines are arcs on the disc orthogonal to the boundary of the disk The parallel axiom also holds here Image Source: http://www.ms.uky.edu/~droyster/courses/sp ring08/math6118/Classnotes/Chapter09.pdf http://www.ms.uky.edu/~droyster/courses/sp ring08/math6118/Classnotes/Chapter09.pdf

7. K LEIN M ODEL Similar to the Poincaré disk model, except chords are used instead of arcs The parallel axiom holds here, there are multiple chords that do not intersect Image Source: http://www.geom.uiuc.edu/~crobles/hyperbolic/hypr/modl/kb/ http://www.geom.uiuc.edu/~crobles/hyperbolic/hypr/modl/kb/

8. H YPERBOLOID M ODEL Takes hyperbolic lines on the Poincaré disk (or Klein model) and maps them to a hyperboloid This is a stereographic projection (preserves angles) Maps a 2 dimensional disk to 3 dimensional space (maps n space to n+ 1 space) Generalizes to higher dimensions Image Source: Wikipedia

9. M OTION IN H YPERBOLIC S PACE Translation in x, y, and z directions is not the same! Here are the transformation matrices: To show things in 3D Euclidean space, we need 4D Hyperbolic space x-directiony-directionz-direction

10. T HE P ROJECT Create a system for firing projectiles in hyperbolic space, like a first person shooter Provide a sandbox for understanding paths in hyperbolic space

11. R EFERENCES http://mathworld.wolfram.com/EuclidsPostulates. html Hyperbolic Geometry by James W. Anderson http://mathworld.wolfram.com/EuclidsPostulates. html http://www.math.ecnu.edu.cn/~lfzhou/others/cann on.pdf http://www.geom.uiuc.edu/~crobles/hyperbolic/hy pr/modl/kb/