|
Lotschnittaxiom
The Lotschnittaxiom (German for "axiom of the intersecting perpendiculars") is an axiom in the foundations of geometry, introduced and studied by Friedrich Bachmann.. It states: Bachmann showed that, in the absence of the Archimedean axiom, it is strictly weaker than the rectangle axiom, which states that there is a rectangle, which in turn is strictly weaker than the Parallel Postulate, as shown by Max Dehn. In the presence of the Archimedean axiom, the Lotschnittaxiom is equivalent with the Parallel Postulate. Equivalent formulations As shown by Bachmann, the Lotschnittaxiom is equivalent to the statement Through any point inside a right angle there passes a line that intersects both sides of the angle. It was shown in that it is also equivalent to the statement The altitude in an isosceles triangle with base angles of 45° is less than the base. and in that it is equivalent to the following axiom proposed by Lagrange: If the lines a and b are two intersecting line ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parallel Postulate
In geometry, the parallel postulate, also called Euclid's fifth postulate because it is the fifth postulate in Euclid's ''Elements'', is a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry: ''If a line segment intersects two straight lines forming two interior angles on the same side that are less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.'' This postulate does not specifically talk about parallel lines; it is only a postulate related to parallelism. Euclid gave the definition of parallel lines in Book I, Definition 23 just before the five postulates. ''Euclidean geometry'' is the study of geometry that satisfies all of Euclid's axioms, ''including'' the parallel postulate. The postulate was long considered to be obvious or inevitable, but proofs were elusive. Eventually, it was discovered that inverting the postulate gave valid, albeit differ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Friedrich Bachmann
Friedrich Bachmann (born 11 February 1909 in Wernigerode, died 1 October 1982 in Kiel.) was a German mathematician who specialised in geometry and group theory. Life Bachmann was the son of a Lutheran minister Hans Bachmann. Bachmann came from an intellectual family, his paternal grandfather was the number theorist Paul Gustav Heinrich Bachmann. Bachmann took his early education at the Gymnasium in Münster. After attending the Gymnasium, he attended the University of Münster and the Humboldt University of Berlin and graduated in 1927. While there he was a member of the Münster Wingolfs. In 1933, Bachmann was promoted to D.Phil with a thesis titled, ''Studies on the foundation of arithmetic with special reference to Dedekind, Frege, and Russell'' (german: Untersuchungen zur Grundlegung der Arithmetik mit besonderer Beziehung auf Dedekind, Frege, und Russell). His advisor was Heinrich Scholz. His doctoral students include Andreas Dress and Rolf Lingenberg. Bachmann was ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Max Dehn
Max Wilhelm Dehn (November 13, 1878 – June 27, 1952) was a German mathematician most famous for his work in geometry, topology and geometric group theory. Born to a Jewish family in Germany, Dehn's early life and career took place in Germany. However, he was forced to retire in 1935 and eventually fled Germany in 1939 and emigrated to the United States. Dehn was a student of David Hilbert, and in his habilitation in 1900 Dehn resolved Hilbert's third problem, making him the first to resolve one of Hilbert's well-known 23 problems. Dehn's students include Ott-Heinrich Keller, Ruth Moufang, Wilhelm Magnus, and the artists Dorothea Rockburne and Ruth Asawa. Biography Dehn was born to a family of Jewish origin in Hamburg, Imperial Germany. He studied the foundations of geometry with Hilbert at Göttingen in 1899, and obtained a proof of the Jordan curve theorem for polygons. In 1900 he wrote his dissertation on the role of the Legendre angle sum theorem in axiomatic geome ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aristotle's Axiom
Aristotle's axiom is an axiom in the foundations of geometry, proposed by Aristotle in ''On the Heavens'' that states: If \widehat is an acute angle and AB is any segment, then there exists a point P on the ray \overrightarrow and a point Q on the ray \overrightarrow, such that PQ is perpendicular to OX and PQ > AB. Aristotle's axiom is a consequence of the Archimedean property, and the conjunction of Aristotle's axiom and the Lotschnittaxiom, which states that "Perpendiculars raised on each side of a right angle intersect", is equivalent to the Parallel Postulate In geometry, the parallel postulate, also called Euclid's fifth postulate because it is the fifth postulate in Euclid's ''Elements'', is a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry: ''If a line segment .... Without the parallel postulate, Aristotle's axiom is equivalent to each of the following three incidence-geometric statements: *Given a line a and a point P on a, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foundations Of Geometry
Foundations of geometry is the study of geometries as axiomatic systems. There are several sets of axioms which give rise to Euclidean geometry or to non-Euclidean geometries. These are fundamental to the study and of historical importance, but there are a great many modern geometries that are not Euclidean which can be studied from this viewpoint. The term axiomatic geometry can be applied to any geometry that is developed from an axiom system, but is often used to mean Euclidean geometry studied from this point of view. The completeness and independence of general axiomatic systems are important mathematical considerations, but there are also issues to do with the teaching of geometry which come into play. Axiomatic systems Based on ancient Greek methods, an ''axiomatic system'' is a formal description of a way to establish the ''mathematical truth'' that flows from a fixed set of assumptions. Although applicable to any area of mathematics, geometry is the branch of elementary ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Archimedean Axiom
In abstract algebra and analysis, the Archimedean property, named after the ancient Greek mathematician Archimedes of Syracuse, is a property held by some algebraic structures, such as ordered or normed groups, and fields. The property, typically construed, states that given two positive numbers ''x'' and ''y'', there is an integer ''n'' such that ''nx'' > ''y''. It also means that the set of natural numbers is not bounded above. Roughly speaking, it is the property of having no ''infinitely large'' or ''infinitely small'' elements. It was Otto Stolz who gave the axiom of Archimedes its name because it appears as Axiom V of Archimedes’ ''On the Sphere and Cylinder''. The notion arose from the theory of magnitudes of Ancient Greece; it still plays an important role in modern mathematics such as David Hilbert's axioms for geometry, and the theories of ordered groups, ordered fields, and local fields. An algebraic structure in which any two non-zero elements are ''comparable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lagrange
Joseph-Louis Lagrange (born Giuseppe Luigi LagrangiaJoseph-Louis Lagrange, comte de l’Empire ''Encyclopædia Britannica'' or Giuseppe Ludovico De la Grange Tournier; 25 January 1736 – 10 April 1813), also reported as Giuseppe Luigi Lagrange or Lagrangia, was an and , later naturalized [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Henri Lebesgue
Henri Léon Lebesgue (; June 28, 1875 – July 26, 1941) was a French mathematician known for his theory of integration, which was a generalization of the 17th-century concept of integration—summing the area between an axis and the curve of a function defined for that axis. His theory was published originally in his dissertation ''Intégrale, longueur, aire'' ("Integral, length, area") at the University of Nancy during 1902. Personal life Henri Lebesgue was born on 28 June 1875 in Beauvais, Oise. Lebesgue's father was a typesetter and his mother was a school teacher. His parents assembled at home a library that the young Henri was able to use. His father died of tuberculosis when Lebesgue was still very young and his mother had to support him by herself. As he showed a remarkable talent for mathematics in primary school, one of his instructors arranged for community support to continue his education at the Collège de Beauvais and then at Lycée Saint-Louis and Lycée Louis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
