Search results
Results From The WOW.Com Content Network
The main goal of Hilbert's program was to provide secure foundations for all mathematics. In particular, this should include: A formulation of all mathematics; in other words all mathematical statements should be written in a precise formal language, and manipulated according to well defined rules.
In Euclidean geometry, Menelaus's theorem, named for Menelaus of Alexandria, is a proposition about triangles in plane geometry. Suppose we have a triangle ABC, and a transversal line that crosses BC, AC, AB at points D, E, F respectively, with D, E, F distinct from A, B, C. A weak version of the theorem states that
To a system of points, straight lines, and planes, it is impossible to add other elements in such a manner that the system thus generalized shall form a new geometry obeying all of the five groups of axioms. In other words, the elements of geometry form a system which is not susceptible of extension, if we regard the five groups of axioms as valid.
Proof of the theorem. We need to prove that AF = FD.We will prove that both AF and FD are in fact equal to FM.. To prove that AF = FM, first note that the angles FAM and CBM are equal, because they are inscribed angles that intercept the same arc of the circle (CD).
Absolute geometry is a geometry based on an axiom system consisting of all the axioms giving Euclidean geometry except for the parallel postulate or any of its alternatives. [69] The term was introduced by János Bolyai in 1832. [70] It is sometimes referred to as neutral geometry, [71] as it is neutral with respect to the parallel postulate.
Napoleon's theorem: If the triangles centered on L, M, N are equilateral, then so is the green triangle.. In geometry, Napoleon's theorem states that if equilateral triangles are constructed on the sides of any triangle, either all outward or all inward, the lines connecting the centres of those equilateral triangles themselves form an equilateral triangle.
Ceva's theorem is a theorem of affine geometry, in the sense that it may be stated and proved without using the concepts of angles, areas, and lengths (except for the ratio of the lengths of two line segments that are collinear).
(This is the affine version of Pappus's hexagon theorem). The full axiom system proposed has point, line, and line containing point as primitive notions: Two points are contained in just one line. For any line L and any point P, not on L, there is just one line containing P and not containing any point of L. This line is said to be parallel to L.