|
Compass Equivalence Theorem
In geometry, the compass equivalence theorem is an important statement in compass and straightedge constructions. The tool advocated by Plato in these constructions is a ''divider'' or ''collapsing compass'', that is, a compass that "collapses" whenever it is lifted from a page, so that it may not be directly used to transfer distances. The ''modern compass'' with its fixable aperture can be used to transfer distances directly and so appears to be a more powerful instrument. However, the compass equivalence theorem states that any construction via a "modern compass" may be attained with a collapsing compass. This can be shown by establishing that with a collapsing compass, given a circle in the plane, it is possible to construct another circle of equal radius, centered at any given point on the plane. This theorem is Proposition II of Book I of Euclid's Elements. The proof of this theorem has had a chequered history. Construction The following construction and proof of correctness ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is called a ''geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts. During the 19th century several discoveries enlarged dramatically the scope of geometry. One of the oldest such discoveries is Carl Friedrich Gauss' ("remarkable theorem") that asserts roughly that the Gaussian curvature of a surface is independent from any specific embedding in a Euclidean space. This implies that surfaces can be studied ''intrinsically'', that is, as stand-alone spaces, and has been expanded into the theory of manifolds and Riemannian geometry. Later in the 19th century, it appeared that geometries ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclid2
Euclid (; grc-gre, Εὐκλείδης; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the '' Elements'' treatise, which established the foundations of geometry that largely dominated the field until the early 19th century. His system, now referred to as Euclidean geometry, involved new innovations in combination with a synthesis of theories from earlier Greek mathematicians, including Eudoxus of Cnidus, Hippocrates of Chios, Thales and Theaetetus. With Archimedes and Apollonius of Perga, Euclid is generally considered among the greatest mathematicians of antiquity, and one of the most influential in the history of mathematics. Very little is known of Euclid's life, and most information comes from the philosophers Proclus and Pappus of Alexandria many centuries later. Until the early Renaissance he was often mistaken for the earlier philosopher Euclid of Megara, causing his biography to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reflection (geometry)
In mathematics, a reflection (also spelled reflexion) is a mapping from a Euclidean space to itself that is an isometry with a hyperplane as a set of fixed points; this set is called the axis (in dimension 2) or plane (in dimension 3) of reflection. The image of a figure by a reflection is its mirror image in the axis or plane of reflection. For example the mirror image of the small Latin letter p for a reflection with respect to a vertical axis would look like q. Its image by reflection in a horizontal axis would look like b. A reflection is an involution: when applied twice in succession, every point returns to its original location, and every geometrical object is restored to its original state. The term ''reflection'' is sometimes used for a larger class of mappings from a Euclidean space to itself, namely the non-identity isometries that are involutions. Such isometries have a set of fixed points (the "mirror") that is an affine subspace, but is possibly smaller than a hyp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Perpendicular Bisector
In geometry, bisection is the division of something into two equal or congruent parts, usually by a line, which is then called a ''bisector''. The most often considered types of bisectors are the ''segment bisector'' (a line that passes through the midpoint of a given segment) and the ''angle bisector'' (a line that passes through the apex of an angle, that divides it into two equal angles). In three-dimensional space, bisection is usually done by a plane, also called the ''bisector'' or ''bisecting plane''. Perpendicular line segment bisector Definition *The perpendicular bisector of a line segment is a line, which meets the segment at its midpoint perpendicularly. The Horizontal intersector of a segment AB also has the property that each of its points X is equidistant from the segment's endpoints: (D)\quad , XA, = , XB, . The proof follows from and Pythagoras' theorem: :, XA, ^2=, XM, ^2+, MA, ^2=, XM, ^2+, MB, ^2=, XB, ^2 \; . Property (D) is usually used for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Transformation
In mathematics, a geometric transformation is any bijection of a set to itself (or to another such set) with some salient geometrical underpinning. More specifically, it is a function whose domain and range are sets of points — most often both \mathbb^2 or both \mathbb^3 — such that the function is bijective so that its inverse exists. The study of geometry may be approached by the study of these transformations. Classifications Geometric transformations can be classified by the dimension of their operand sets (thus distinguishing between, say, planar transformations and spatial transformations). They can also be classified according to the properties they preserve: * Displacements preserve distances and oriented angles (e.g., translations); * Isometries preserve angles and distances (e.g., Euclidean transformations); * Similarities preserve angles and ratios between distances (e.g., resizing); * Affine transformations preserve parallelism (e.g., scaling, shear); * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mohr–Mascheroni Theorem
In mathematics, the Mohr–Mascheroni theorem states that any geometric construction that can be performed by a compass and straightedge can be performed by a compass alone. It must be understood that by "any geometric construction", we are referring to figures that contain no straight lines, as it is clearly impossible to draw a straight line without a straightedge. It is understood that a line is determined provided that two distinct points on that line are given or constructed, even though no visual representation of the line will be present. The theorem can be stated more precisely as: : ''Any Euclidean construction, insofar as the given and required elements are points (or circles), may be completed with the compass alone if it can be completed with both the compass and the straightedge together.'' Though the use of a straightedge can make a construction significantly easier, the theorem shows that any set of points that fully defines a constructed figure can be determined wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equilateral Triangle
In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each other and are each 60°. It is also a regular polygon, so it is also referred to as a regular triangle. Principal properties Denoting the common length of the sides of the equilateral triangle as a, we can determine using the Pythagorean theorem that: *The area is A=\frac a^2, *The perimeter is p=3a\,\! *The radius of the circumscribed circle is R = \frac *The radius of the inscribed circle is r=\frac a or r=\frac *The geometric center of the triangle is the center of the circumscribed and inscribed circles *The altitude (height) from any side is h=\frac a Denoting the radius of the circumscribed circle as ''R'', we can determine using trigonometry that: *The area of the triangle is \mathrm=\fracR^2 Many of these quantities have simple r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theorem
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In the mainstream of mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice, or of a less powerful theory, such as Peano arithmetic. A notable exception is Wiles's proof of Fermat's Last Theorem, which involves the Grothendieck universes whose existence requires the addition of a new axiom to the set theory. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compass And Straightedge Constructions
In geometry, straightedge-and-compass construction – also known as ruler-and-compass construction, Euclidean construction, or classical construction – is the construction of lengths, angles, and other geometric figures using only an idealized ruler and a pair of compasses. The idealized ruler, known as a straightedge, is assumed to be infinite in length, have only one edge, and no markings on it. The compass is assumed to have no maximum or minimum radius, and is assumed to "collapse" when lifted from the page, so may not be directly used to transfer distances. (This is an unimportant restriction since, using a multi-step procedure, a distance can be transferred even with a collapsing compass; see compass equivalence theorem. Note however that whilst a non-collapsing compass held against a straightedge might seem to be equivalent to marking it, the neusis construction is still impermissible and this is what unmarked really means: see Markable rulers below.) More formally, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Proof
A mathematical proof is an inferential argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation". Presenting many cases in which the statement holds is not enough for a proof, which must demonstrate that the statement is true in ''all'' possible cases. A proposition that has not been proved but is believed to be true is known as a conjecture, or a hypothesis if frequently used as an assumption for further mathematical work. Proofs employ logic expressed in mathematical symbols ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclid's Elements
The ''Elements'' ( grc, Στοιχεῖα ''Stoikheîa'') is a mathematical treatise consisting of 13 books attributed to the ancient Greek mathematician Euclid in Alexandria, Ptolemaic Egypt 300 BC. It is a collection of definitions, postulates, propositions (theorems and constructions), and mathematical proofs of the propositions. The books cover plane and solid Euclidean geometry, elementary number theory, and incommensurable lines. ''Elements'' is the oldest extant large-scale deductive treatment of mathematics. It has proven instrumental in the development of logic and modern science, and its logical rigor was not surpassed until the 19th century. Euclid's ''Elements'' has been referred to as the most successful and influential textbook ever written. It was one of the very earliest mathematical works to be printed after the invention of the printing press and has been estimated to be second only to the Bible in the number of editions published since the first printing i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.PNG "Click for more on -> Theorem")
