Playfair's axiomIn geometry, Playfair's axiom is an axiom that can be used instead of the fifth postulate of Euclid (the parallel postulate): In a plane, given a line and a point not on it, at most one line parallel to the given line can be drawn through the point. It is equivalent to Euclid's parallel postulate in the context of Euclidean geometry and was named after the Scottish mathematician John Playfair. The "at most" clause is all that is needed since it can be proved from the remaining axioms that at least one parallel line exists.
Lénárt sphereA Lénárt sphere is a educational manipulative and writing surface for exploring spherical geometry, invented by Hungarian István Lénárt as a modern replacement for a spherical blackboard. It can be used for visualizing the geometry of points, great and small circles, triangles, polygons, conics, and other objects on a sphere, and comparing spherical geometry to Euclidean geometry as drawn on a flat piece of paper or blackboard. The included spherical ruler and compass support synthetic straightedge and compass construction on the sphere.
