Khayyam–Saccheri Quadrilateral
A Saccheri quadrilateral (also known as a Khayyam–Saccheri quadrilateral) is a quadrilateral with two equal sides perpendicular to the base. It is named after Giovanni Gerolamo Saccheri, who used it extensively in his book ''Euclides ab omni naevo vindicatus'' (literally Euclid Freed of Every Flaw) first published in 1733, an attempt to prove the parallel postulate using the method Reductio ad absurdum. The Saccheri quadrilateral may occasionally be referred to as the Khayyam–Saccheri quadrilateral, in reference to the 11th century Persian scholar Omar Khayyam. For a Saccheri quadrilateral ABCD, the sides AD and BC (also called the legs) are equal in length, and also perpendicular to the base AB. The top CD is the summit or upper base and the angles at C and D are called the summit angles. The advantage of using Saccheri quadrilaterals when considering the parallel postulate is that they place the mutually exclusive options in very clear terms: :Are the summit angles right an ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Saccheri Quads
Giovanni Girolamo Saccheri (; 5 September 1667 – 25 October 1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. Saccheri was born in Sanremo. He entered the Jesuit order in 1685 and was ordained as a priest in 1694. He taught philosophy at the University of Turin from 1694 to 1697 and philosophy, theology and mathematics at the University of Pavia from 1697 until his death. He was a protégé of the mathematician Tommaso Ceva and published several works including ''Quaesita geometrica'' (1693), ''Logica demonstrativa'' (1697), and ''Neo-statica'' (1708). Geometrical work He is primarily known today for his last publication, in 1733 shortly before his death. Now considered an early exploration of non-Euclidean geometry, ''Euclides ab omni naevo vindicatus'' (''Euclid Freed of Every Flaw'') languished in obscurity until it was rediscovered by Eugenio Beltrami, in the mid-19th century. The intent of Saccheri's work was ostensibly to establish the vali ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Aristotle
Aristotle (; grc-gre, Ἀριστοτέλης ''Aristotélēs'', ; 384–322 BC) was a Greek philosopher and polymath during the Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of philosophy within the Lyceum and the wider Aristotelian tradition. His writings cover many subjects including physics, biology, zoology, metaphysics, logic, ethics, aesthetics, poetry, theatre, music, rhetoric, psychology, linguistics, economics, politics, meteorology, geology, and government. Aristotle provided a complex synthesis of the various philosophies existing prior to him. It was above all from his teachings that the West inherited its intellectual lexicon, as well as problems and methods of inquiry. As a result, his philosophy has exerted a unique influence on almost every form of knowledge in the West and it continues to be a subject of contemporary philosophical discussion. Little is known about his life. Aristotle was born in th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hyperbolic Domains Ii22
Hyperbolic is an adjective describing something that resembles or pertains to a hyperbola (a curve), to hyperbole (an overstatement or exaggeration), or to hyperbolic geometry. The following phenomena are described as ''hyperbolic'' because they manifest hyperbolas, not because something about them is exaggerated. * Hyperbolic angle, an unbounded variable referring to a hyperbola instead of a circle * Hyperbolic coordinates, location by geometric mean and hyperbolic angle in quadrant I *Hyperbolic distribution, a probability distribution characterized by the logarithm of the probability density function being a hyperbola * Hyperbolic equilibrium point, a fixed point that does not have any center manifolds * Hyperbolic function, an analog of an ordinary trigonometric or circular function * Hyperbolic geometric graph, a random network generated by connecting nearby points sprinkled in a hyperbolic space * Hyperbolic geometry, a non-Euclidean geometry * Hyperbolic group, a finitely ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hyperbolic Domains 2233
Hyperbolic is an adjective describing something that resembles or pertains to a hyperbola (a curve), to hyperbole (an overstatement or exaggeration), or to hyperbolic geometry. The following phenomena are described as ''hyperbolic'' because they manifest hyperbolas, not because something about them is exaggerated. * Hyperbolic angle, an unbounded variable referring to a hyperbola instead of a circle * Hyperbolic coordinates, location by geometric mean and hyperbolic angle in quadrant I *Hyperbolic distribution, a probability distribution characterized by the logarithm of the probability density function being a hyperbola * Hyperbolic equilibrium point, a fixed point that does not have any center manifolds * Hyperbolic function, an analog of an ordinary trigonometric or circular function * Hyperbolic geometric graph, a random network generated by connecting nearby points sprinkled in a hyperbolic space * Hyperbolic geometry, a non-Euclidean geometry * Hyperbolic group, a finitely ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Orbifold Notation
In geometry, orbifold notation (or orbifold signature) is a system, invented by the mathematician William Thurston and promoted by John Conway, for representing types of symmetry groups in two-dimensional spaces of constant curvature. The advantage of the notation is that it describes these groups in a way which indicates many of the groups' properties: in particular, it follows William Thurston in describing the orbifold obtained by taking the quotient of Euclidean space by the group under consideration. Groups representable in this notation include the point groups on the sphere (S^2), the frieze groups and wallpaper groups of the Euclidean plane (E^2), and their analogues on the hyperbolic plane (H^2). Definition of the notation The following types of Euclidean transformation can occur in a group described by orbifold notation: * reflection through a line (or plane) * translation by a vector * rotation of finite order around a point * infinite rotation around a line in 3- ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fundamental Domain
Given a topological space and a group acting on it, the images of a single point under the group action form an orbit of the action. A fundamental domain or fundamental region is a subset of the space which contains exactly one point from each of these orbits. It serves as a geometric realization for the abstract set of representatives of the orbits. There are many ways to choose a fundamental domain. Typically, a fundamental domain is required to be a connected subset with some restrictions on its boundary, for example, smooth or polyhedral. The images of a chosen fundamental domain under the group action then tile the space. One general construction of fundamental domains uses Voronoi cells. Hints at a general definition Given an action of a group ''G'' on a topological space ''X'' by homeomorphisms, a fundamental domain for this action is a set ''D'' of representatives for the orbits. It is usually required to be a reasonably nice set topologically, in one of several preci ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Poincaré Disk Model
In geometry, the Poincaré disk model, also called the conformal disk model, is a model of 2-dimensional hyperbolic geometry in which all points are inside the unit disk, and straight lines are either circular arcs contained within the disk that are orthogonal to the unit circle or diameters of the unit circle. The group of orientation preserving isometries of the disk model is given by the projective special unitary group , the quotient of the special unitary group SU(1,1) by its center . Along with the Klein model and the Poincaré half-space model, it was proposed by Eugenio Beltrami who used these models to show that hyperbolic geometry was equiconsistent with Euclidean geometry. It is named after Henri Poincaré, because his rediscovery of this representation fourteen years later became better known than the original work of Beltrami. The Poincaré ball model is the similar model for ''3'' or ''n''-dimensional hyperbolic geometry in which the points of the geometry are ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gaussian Curvature
In differential geometry, the Gaussian curvature or Gauss curvature of a surface at a point is the product of the principal curvatures, and , at the given point: K = \kappa_1 \kappa_2. The Gaussian radius of curvature is the reciprocal of . For example, a sphere of radius has Gaussian curvature everywhere, and a flat plane and a cylinder have Gaussian curvature zero everywhere. The Gaussian curvature can also be negative, as in the case of a hyperboloid or the inside of a torus. Gaussian curvature is an ''intrinsic'' measure of curvature, depending only on distances that are measured “within” or along the surface, not on the way it is isometrically embedding, embedded in Euclidean space. This is the content of the ''Theorema egregium''. Gaussian curvature is named after Carl Friedrich Gauss, who published the ''Theorema egregium'' in 1827. Informal definition At any point on a surface, we can find a Normal (geometry), normal vector that is at right angles to the sur ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lambert Quadrilateral
In geometry, a Lambert quadrilateral (also known as Ibn al-Haytham–Lambert quadrilateral), is a quadrilateral in which three of its angles are right angles. Historically, the fourth angle of a Lambert quadrilateral was of considerable interest since if it could be shown to be a right angle, then the Euclidean parallel postulate could be proved as a theorem. It is now known that the type of the fourth angle depends upon the geometry in which the quadrilateral exists. In hyperbolic geometry the fourth angle is acute, in Euclidean geometry it is a right angle and in elliptic geometry it is an obtuse angle. A Lambert quadrilateral can be constructed from a Saccheri quadrilateral by joining the midpoints of the base and summit of the Saccheri quadrilateral. This line segment is perpendicular to both the base and summit and so either half of the Saccheri quadrilateral is a Lambert quadrilateral. Lambert quadrilateral in hyperbolic geometry In hyperbolic geometry a Lambert quadrilat ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Line Of Symmetry
In mathematics, reflection symmetry, line symmetry, mirror symmetry, or mirror-image symmetry is symmetry with respect to a reflection. That is, a figure which does not change upon undergoing a reflection has reflectional symmetry. In 2D there is a line/axis of symmetry, in 3D a plane of symmetry. An object or figure which is indistinguishable from its transformed image is called mirror symmetric. In conclusion, a line of symmetry splits the shape in half and those halves should be identical. Symmetric function In formal terms, a mathematical object is symmetric with respect to a given operation such as reflection, rotation or translation, if, when applied to the object, this operation preserves some property of the object. The set of operations that preserve a given property of the object form a group. Two objects are symmetric to each other with respect to a given group of operations if one is obtained from the other by some of the operations (and vice versa). The symm ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Saccheri
Giovanni Girolamo Saccheri (; 5 September 1667 – 25 October 1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. Saccheri was born in Sanremo. He entered the Jesuit order in 1685 and was ordained as a priest in 1694. He taught philosophy at the University of Turin from 1694 to 1697 and philosophy, theology and mathematics at the University of Pavia from 1697 until his death. He was a protégé of the mathematician Tommaso Ceva and published several works including ''Quaesita geometrica'' (1693), ''Logica demonstrativa'' (1697), and ''Neo-statica'' (1708). Geometrical work He is primarily known today for his last publication, in 1733 shortly before his death. Now considered an early exploration of non-Euclidean geometry, ''Euclides ab omni naevo vindicatus'' (''Euclid Freed of Every Flaw'') languished in obscurity until it was rediscovered by Eugenio Beltrami, in the mid-19th century. The intent of Saccheri's work was ostensibly to establish the vali ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Giordano Vitale
Giordano Vitale or Vitale Giordano (October 15, 1633 – November 3, 1711) was an Italian mathematician. He is best known for his theorem on Saccheri quadrilaterals. He may also be referred to as Vitale Giordani, Vitale Giordano da Bitonto, and simply Giordano. Life Giordano was born in Bitonto, in southeastern Italy, probably on October 15, 1633. As an adolescent he left (or was forced to leave) his city and, after an adventurous youth (that included killing his brother-in-law for calling him lazy) he became a soldier in the Pontifical army. During these adventures he read his first book of mathematics, the ''Aritmetica prattica'' by Clavius. At twenty-eight, living in Rome, he decided to devote himself to mathematics. The most important book he studied was Euclid's ''Elements'' in the Italian translation by Commandino. In Rome he made acquaintance with the renowned mathematicians Giovanni Borelli and Michelangelo Ricci, who became his friends. He was employed for a year as ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |