|
Non-Euclidean Geometry
In mathematics, non-Euclidean geometry consists of two geometries based on axioms closely related to those that specify Euclidean geometry. As Euclidean geometry lies at the intersection of metric geometry and affine geometry, non-Euclidean geometry arises by either replacing the parallel postulate with an alternative, or relaxing the metric requirement. In the former case, one obtains hyperbolic geometry and elliptic geometry, the traditional non-Euclidean geometries. When the metric requirement is relaxed, then there are affine planes associated with the planar algebras, which give rise to kinematic geometries that have also been called non-Euclidean geometry. Principles The essential difference between the metric geometries is the nature of parallel lines. Euclid's fifth postulate, the parallel postulate, is equivalent to Playfair's postulate, which states that, within a two-dimensional plane, for any given line and a point ''A'', which is not on , there is exactly ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperbolic Geometry
In mathematics, hyperbolic geometry (also called Lobachevskian geometry or János Bolyai, Bolyai–Nikolai Lobachevsky, Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: :For any given line ''R'' and point ''P'' not on ''R'', in the plane containing both line ''R'' and point ''P'' there are at least two distinct lines through ''P'' that do not intersect ''R''. (Compare the above with Playfair's axiom, the modern version of Euclid's parallel postulate.) The hyperbolic plane is a plane (mathematics), plane where every point is a saddle point. Hyperbolic plane geometry is also the geometry of pseudosphere, pseudospherical surfaces, surfaces with a constant negative Gaussian curvature. Saddle surfaces have negative Gaussian curvature in at least some regions, where they local property, locally resemble the hyperbolic plane. The hyperboloid model of hyperbolic geometry provides a representation of event (relativity ... [...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] |
Quadrilateral
In Euclidean geometry, geometry a quadrilateral is a four-sided polygon, having four Edge (geometry), edges (sides) and four Vertex (geometry), corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, derived from Greek "tetra" meaning "four" and "gon" meaning "corner" or "angle", in analogy to other polygons (e.g. pentagon). Since "gon" means "angle", it is analogously called a quadrangle, or 4-angle. A quadrilateral with vertices A, B, C and D is sometimes denoted as \square ABCD. Quadrilaterals are either simple polygon, simple (not self-intersecting), or complex polygon, complex (self-intersecting, or crossed). Simple quadrilaterals are either convex polygon, convex or concave polygon, concave. The Internal and external angle, interior angles of a simple (and Plane (geometry), planar) quadrilateral ''ABCD'' add up to 360 Degree (angle), degrees, that is :\angle A+\angle B+\angle ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Giovanni Girolamo 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 16 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nasīr Al-Dīn Al-Tūsī
Muḥammad ibn Muḥammad ibn al-Ḥasan al-Ṭūsī (1201 – 1274), also known as Naṣīr al-Dīn al-Ṭūsī (; ) or simply as (al-)Tusi, was a Persian polymath, architect, philosopher, physician, scientist, and theologian. Nasir al-Din al-Tusi was a well published author, writing on subjects of math, engineering, prose, and mysticism. Additionally, al-Tusi made several scientific advancements. In astronomy, al-Tusi created very accurate tables of planetary motion, an updated planetary model, and critiques of Ptolemaic astronomy. He also made strides in logic, mathematics but especially trigonometry, biology, and chemistry. Nasir al-Din al-Tusi left behind a great legacy as well. Tusi is widely regarded as one of the greatest scientists of medieval Islam, since he is often considered the creator of trigonometry as a mathematical discipline in its own right. The Muslim scholar Ibn Khaldun (1332–1406) considered Tusi to be the greatest of the later Persian scholars.James Wins ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Omar Khayyám
Ghiyāth al-Dīn Abū al-Fatḥ ʿUmar ibn Ibrāhīm Nīshābūrī (18 May 1048 – 4 December 1131) ( Persian: غیاث الدین ابوالفتح عمر بن ابراهیم خیام نیشابورﻯ), commonly known as Omar Khayyam (), was a Persian poet and polymath, known for his contributions to mathematics, astronomy, philosophy, and Persian literature. He was born in Nishapur, Iran and lived during the Seljuk era, around the time of the First Crusade. As a mathematician, he is most notable for his work on the classification and solution of cubic equations, where he provided a geometric formulation based on the intersection of conics. He also contributed to a deeper understanding of Euclid's parallel axiom. As an astronomer, he calculated the duration of the solar year with remarkable precision and accuracy, and designed the Jalali calendar, a solar calendar with a very precise 33-year intercalation cycle which provided the basis for the Persian calendar that is stil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rutgers University
Rutgers University ( ), officially Rutgers, The State University of New Jersey, is a Public university, public land-grant research university consisting of three campuses in New Jersey. Chartered in 1766, Rutgers was originally called Queen's College and was affiliated with the Reformed Church in America, Dutch Reformed Church. It is the eighth-oldest college in the United States, the second-oldest in New Jersey (after Princeton University), and one of nine colonial colleges that were chartered before the American Revolution.Stoeckel, Althea"Presidents, professors, and politics: the colonial colleges and the American revolution", ''Conspectus of History'' (1976) 1(3):45–56. In 1825, Queen's College was renamed Rutgers College in honor of Colonel Henry Rutgers, whose substantial gift to the school had stabilized its finances during a period of uncertainty. For most of its existence, Rutgers was a Private university, private liberal arts college. It has evolved into a Mixed-sex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ibn Al-Haytham
Ḥasan Ibn al-Haytham (Latinization of names, Latinized as Alhazen; ; full name ; ) was a medieval Mathematics in medieval Islam, mathematician, Astronomy in the medieval Islamic world, astronomer, and Physics in the medieval Islamic world, physicist of the Islamic Golden Age from present-day Iraq.For the description of his main fields, see e.g. ("He is one of the principal Arab mathematicians and, without any doubt, the best physicist.") , ("Ibn al-Ḥaytam was an eminent eleventh-century Arab optician, geometer, arithmetician, algebraist, astronomer, and engineer."), ("Ibn al-Haytham (d. 1039), known in the West as Alhazan, was a leading Arab mathematician, astronomer, and physicist. His optical compendium, Kitab al-Manazir, is the greatest medieval work on optics.") Referred to as "the father of modern optics", he made significant contributions to the principles of optics and visual perception in particular. His most influential work is titled ''Book of Optics, Kit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proof By Contradiction
In logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved. In this general sense, proof by contradiction is also known as indirect proof, proof by assuming the opposite, and ''reductio ad impossibile''. A mathematical proof employing proof by contradiction usually proceeds as follows: #The proposition to be proved is ''P''. #We assume ''P'' to be false, i.e., we assume ''¬P''. #It is then shown that ''¬P'' implies falsehood. This is typically accomplished by deriving two mutually ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proposition
A proposition is a statement that can be either true or false. It is a central concept in the philosophy of language, semantics, logic, and related fields. Propositions are the object s denoted by declarative sentences; for example, "The sky is blue" expresses the proposition that the sky is blue. Unlike sentences, propositions are not linguistic expressions, so the English sentence "Snow is white" and the German "Schnee ist weiß" denote the same proposition. Propositions also serve as the objects of belief and other propositional attitudes, such as when someone believes that the sky is blue. Formally, propositions are often modeled as functions which map a possible world to a truth value. For instance, the proposition that the sky is blue can be modeled as a function which would return the truth value T if given the actual world as input, but would return F if given some alternate world where the sky is green. However, a number of alternative formalizations have be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
