Khayyam–Saccheri Quadrilateral
A 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 1733 book (''Euclid freed of every flaw''), an attempt to prove the parallel postulate using the method reductio ad absurdum. Such a quadrilateral is sometimes called a Khayyam–Saccheri quadrilateral to credit Persian scholar Omar Khayyam who described it in his 11th century book (''Explanations of the difficulties in the postulates of Euclid''). For a Saccheri quadrilateral ABCD, the ''legs'' AD and BC are equal in length and each perpendicular to the ''base'' AB. The top CD is called the ''summit'' 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 clearly present three mutually exclusive options: ''Are the summit angles right angles, obtuse angles, or acute angles?'' Saccheri himself did not consi ... [...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. He is considered the forerunner of non-Euclidean geometry. Biography The son of a lawyer, Saccheri was born in Sanremo, Genoa (now Italy) on September 5, 1667. From his youth he showed extreme precociousness and a spirit of inquiry. He entered the Jesuit novitiate in 1685. He studied philosophy and theology at the Jesuit College of Brera in Milan. His mathematics teacher at the Brera college was Tommaso Ceva, who introduced him to his brother Giovanni. Ceva convinced Saccheri to devote himself to mathematical research and became the young man's mentor. Saccheri was in close scientific communion with both brothers. He used Ceva's ingenious methods in his first published work, 1693, solutions of six geometric problems proposed by the Sicilian mathematician Ruggero Ventimiglia (1670-1698). Saccheri was ordained as a priest in March 1694 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Spherical Geometry
300px, A sphere with a spherical triangle on it. Spherical geometry or spherics () is the geometry of the two-dimensional surface of a sphere or the -dimensional surface of higher dimensional spheres. Long studied for its practical applications to astronomy, navigation, and geodesy, spherical geometry and the metrical tools of spherical trigonometry are in many respects analogous to Euclidean plane geometry and trigonometry, but also have some important differences. The sphere can be studied either ''extrinsically'' as a surface embedded in 3-dimensional Euclidean space (part of the study of solid geometry), or ''intrinsically'' using methods that only involve the surface itself without reference to any surrounding space. Principles In plane (Euclidean) geometry, the basic concepts are points and (straight) lines. In spherical geometry, the basic concepts are points and great circles. However, two great circles on a plane intersect in two antipodal points, unlike coplan ... [...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 Horton Conway, 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 in three dimensions, 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 geometry, 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 * rotati ... [...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 ... [...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 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gaussian Curvature
In differential geometry, the Gaussian curvature or Gauss curvature of a smooth Surface (topology), surface in three-dimensional space at a point is the product of the principal curvatures, and , at the given point: K = \kappa_1 \kappa_2. 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, meaning that it could in principle be measured by a 2-dimensional being living entirely within the surface, because it depends 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 definit ... [...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 angle, 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 Lamber ... [...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 two-dimensional space, there is a line/axis of symmetry, in three-dimensional space, there is a plane of symmetry. An object or figure which is indistinguishable from its transformed image is called mirror symmetric. 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 symmetric function of a two-dimensional figure ... [...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. He is considered the forerunner of non-Euclidean geometry. Biography The son of a lawyer, Saccheri was born in Sanremo, Genoa (now Italy) on September 5, 1667. From his youth he showed extreme precociousness and a spirit of inquiry. He entered the Jesuit novitiate in 1685. He studied philosophy and theology at the Jesuit College of Brera in Milan. His mathematics teacher at the Brera college was Tommaso Ceva, who introduced him to his brother Giovanni. Ceva convinced Saccheri to devote himself to mathematical research and became the young man's mentor. Saccheri was in close scientific communion with both brothers. He used Ceva's ingenious methods in his first published work, 1693, solutions of six geometric problems proposed by the Sicilian mathematician Ruggero Ventimiglia (1670-1698). Saccheri was ordained as a priest in March 169 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Giordano Vitale
Giordano Vitale or Vitale Giordano (born Bitonto, 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 e ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Aristotle
Aristotle (; 384–322 BC) was an Ancient Greek philosophy, Ancient Greek philosopher and polymath. His writings cover a broad range of subjects spanning the natural sciences, philosophy, linguistics, economics, politics, psychology, and the arts. As the founder of the Peripatetic school of philosophy in the Lyceum (classical), Lyceum in Athens, he began the wider Aristotelianism, Aristotelian tradition that followed, which set the groundwork for the development of modern science. Little is known about Aristotle's life. He was born in the city of Stagira (ancient city), Stagira in northern Greece during the Classical Greece, Classical period. His father, Nicomachus (father of Aristotle), Nicomachus, died when Aristotle was a child, and he was brought up by a guardian. At around eighteen years old, he joined Plato's Platonic Academy, Academy in Athens and remained there until the age of thirty seven (). Shortly after Plato died, Aristotle left Athens and, at the request ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Castile (historical Region)
Castile or Castille (; ) is a territory of imprecise limits located in Spain. The use of the concept of Castile relies on the assimilation (via a metonymy) of a 19th-century determinism, determinist geographical notion, that of Castile as Spain's ("tableland core", connected to the Meseta Central) with a long-gone historical entity of diachronically variable territorial extension (the Kingdom of Castile). The proposals advocating for a particular semantic codification/closure of the concept (a ''dialogical'' construct) are connected to Essentialism#In historiography, essentialist arguments relying on the Reification (fallacy), reification of something that does not exist beyond the social action of those Social constructivism, building Castile not only by Castilian nationalism, identifying with it as a homeland of any kind, but also Alterity, ''in opposition'' to it. A hot topic concerning the concept of Castile is its relation with Spain, insofar intellectuals, politicians, writ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |