1.
Algebraic geometry
–
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, the fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. A point of the plane belongs to a curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the points, the inflection points. More advanced questions involve the topology of the curve and relations between the curves given by different equations, Algebraic geometry occupies a central place in modern mathematics and has multiple conceptual connections with such diverse fields as complex analysis, topology and number theory. In the 20th century, algebraic geometry split into several subareas, the mainstream of algebraic geometry is devoted to the study of the complex points of the algebraic varieties and more generally to the points with coordinates in an algebraically closed field. The study of the points of a variety with coordinates in the field of the rational numbers or in a number field became arithmetic geometry. The study of the points of an algebraic variety is the subject of real algebraic geometry. A large part of singularity theory is devoted to the singularities of algebraic varieties, with the rise of the computers, a computational algebraic geometry area has emerged, which lies at the intersection of algebraic geometry and computer algebra. It consists essentially in developing algorithms and software for studying and finding the properties of explicitly given algebraic varieties and this means that a point of such a scheme may be either a usual point or a subvariety. This approach also enables a unification of the language and the tools of algebraic geometry, mainly concerned with complex points. Wiless proof of the longstanding conjecture called Fermats last theorem is an example of the power of this approach. For instance, the sphere in three-dimensional Euclidean space R3 could be defined as the set of all points with x 2 + y 2 + z 2 −1 =0. A slanted circle in R3 can be defined as the set of all points which satisfy the two polynomial equations x 2 + y 2 + z 2 −1 =0, x + y + z =0, first we start with a field k. In classical algebraic geometry, this field was always the complex numbers C and we consider the affine space of dimension n over k, denoted An. When one fixes a system, one may identify An with kn. The purpose of not working with kn is to emphasize that one forgets the vector space structure that kn carries, the property of a function to be polynomial does not depend on the choice of a coordinate system in An. When a coordinate system is chosen, the functions on the affine n-space may be identified with the ring of polynomial functions in n variables over k
2.
Geometry
–
Geometry is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space. A mathematician who works in the field of geometry is called a geometer, Geometry arose independently in a number of early cultures as a practical way for dealing with lengths, areas, and volumes. Geometry began to see elements of mathematical science emerging in the West as early as the 6th century BC. By the 3rd century BC, geometry was put into a form by Euclid, whose treatment, Euclids Elements. Geometry arose independently in India, with texts providing rules for geometric constructions appearing as early as the 3rd century BC, islamic scientists preserved Greek ideas and expanded on them during the Middle Ages. By the early 17th century, geometry had been put on a solid footing by mathematicians such as René Descartes. Since then, and into modern times, geometry has expanded into non-Euclidean geometry and manifolds, while geometry has evolved significantly throughout the years, there are some general concepts that are more or less fundamental to geometry. These include the concepts of points, lines, planes, surfaces, angles, contemporary geometry has many subfields, Euclidean geometry is geometry in its classical sense. The mandatory educational curriculum of the majority of nations includes the study of points, lines, planes, angles, triangles, congruence, similarity, solid figures, circles, Euclidean geometry also has applications in computer science, crystallography, and various branches of modern mathematics. Differential geometry uses techniques of calculus and linear algebra to problems in geometry. It has applications in physics, including in general relativity, topology is the field concerned with the properties of geometric objects that are unchanged by continuous mappings. In practice, this often means dealing with large-scale properties of spaces, convex geometry investigates convex shapes in the Euclidean space and its more abstract analogues, often using techniques of real analysis. It has close connections to convex analysis, optimization and functional analysis, algebraic geometry studies geometry through the use of multivariate polynomials and other algebraic techniques. It has applications in areas, including cryptography and string theory. Discrete geometry is concerned mainly with questions of relative position of simple objects, such as points. It shares many methods and principles with combinatorics, Geometry has applications to many fields, including art, architecture, physics, as well as to other branches of mathematics. The earliest recorded beginnings of geometry can be traced to ancient Mesopotamia, the earliest known texts on geometry are the Egyptian Rhind Papyrus and Moscow Papyrus, the Babylonian clay tablets such as Plimpton 322. For example, the Moscow Papyrus gives a formula for calculating the volume of a truncated pyramid, later clay tablets demonstrate that Babylonian astronomers implemented trapezoid procedures for computing Jupiters position and motion within time-velocity space
3.
Sphere
–
A sphere is a perfectly round geometrical object in three-dimensional space that is the surface of a completely round ball. This distance r is the radius of the ball, and the point is the center of the mathematical ball. The longest straight line through the ball, connecting two points of the sphere, passes through the center and its length is twice the radius. While outside mathematics the terms sphere and ball are used interchangeably. The ball and the share the same radius, diameter. The surface area of a sphere is, A =4 π r 2, at any given radius r, the incremental volume equals the product of the surface area at radius r and the thickness of a shell, δ V ≈ A ⋅ δ r. The total volume is the summation of all volumes, V ≈ ∑ A ⋅ δ r. In the limit as δr approaches zero this equation becomes, V = ∫0 r A d r ′, substitute V,43 π r 3 = ∫0 r A d r ′. Differentiating both sides of equation with respect to r yields A as a function of r,4 π r 2 = A. Which is generally abbreviated as, A =4 π r 2, alternatively, the area element on the sphere is given in spherical coordinates by dA = r2 sin θ dθ dφ. In Cartesian coordinates, the element is d S = r r 2 − ∑ i ≠ k x i 2 ∏ i ≠ k d x i, ∀ k. For more generality, see area element, the total area can thus be obtained by integration, A = ∫02 π ∫0 π r 2 sin θ d θ d φ =4 π r 2. In three dimensions, the volume inside a sphere is derived to be V =43 π r 3 where r is the radius of the sphere, archimedes first derived this formula, which shows that the volume inside a sphere is 2/3 that of a circumscribed cylinder. In modern mathematics, this formula can be derived using integral calculus, at any given x, the incremental volume equals the product of the cross-sectional area of the disk at x and its thickness, δ V ≈ π y 2 ⋅ δ x. The total volume is the summation of all volumes, V ≈ ∑ π y 2 ⋅ δ x. In the limit as δx approaches zero this equation becomes, V = ∫ − r r π y 2 d x. At any given x, a right-angled triangle connects x, y and r to the origin, hence, applying the Pythagorean theorem yields, thus, substituting y with a function of x gives, V = ∫ − r r π d x. Which can now be evaluated as follows, V = π − r r = π − π =43 π r 3
4.
Plane (geometry)
–
In mathematics, a plane is a flat, two-dimensional surface that extends infinitely far. A plane is the analogue of a point, a line. When working exclusively in two-dimensional Euclidean space, the article is used, so. Many fundamental tasks in mathematics, geometry, trigonometry, graph theory and graphing are performed in a space, or in other words. Euclid set forth the first great landmark of mathematical thought, a treatment of geometry. He selected a small core of undefined terms and postulates which he used to prove various geometrical statements. Although the plane in its sense is not directly given a definition anywhere in the Elements. In his work Euclid never makes use of numbers to measure length, angle, in this way the Euclidean plane is not quite the same as the Cartesian plane. This section is concerned with planes embedded in three dimensions, specifically, in R3. In a Euclidean space of any number of dimensions, a plane is determined by any of the following. A line and a point not on that line, a line is either parallel to a plane, intersects it at a single point, or is contained in the plane. Two distinct lines perpendicular to the plane must be parallel to each other. Two distinct planes perpendicular to the line must be parallel to each other. Specifically, let r0 be the vector of some point P0 =. The plane determined by the point P0 and the vector n consists of those points P, with position vector r, such that the vector drawn from P0 to P is perpendicular to n. Recalling that two vectors are perpendicular if and only if their dot product is zero, it follows that the plane can be described as the set of all points r such that n ⋅ =0. Expanded this becomes a + b + c =0, which is the form of the equation of a plane. This is just a linear equation a x + b y + c z + d =0 and this familiar equation for a plane is called the general form of the equation of the plane
5.
History of geometry
–
Geometry arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of mathematics, the other being the study of numbers. Classic geometry was focused in compass and straightedge constructions, geometry was revolutionized by Euclid, who introduced mathematical rigor and the axiomatic method still in use today. His book, The Elements is widely considered the most influential textbook of all time, the earliest recorded beginnings of geometry can be traced to early peoples, who discovered obtuse triangles in the ancient Indus Valley, and ancient Babylonia from around 3000 BC. Among these were some surprisingly sophisticated principles, and a mathematician might be hard put to derive some of them without the use of calculus. For example, both the Egyptians and the Babylonians were aware of versions of the Pythagorean theorem about 1500 years before Pythagoras and the Indian Sulba Sutras around 800 B. C. Problem 30 of the Ahmes papyrus uses these methods to calculate the area of a circle and this assumes that π is 4×², with an error of slightly over 0.63 percent. Problem 48 involved using a square with side 9 units and this square was cut into a 3x3 grid. The diagonal of the squares were used to make an irregular octagon with an area of 63 units. This gave a value for π of 3.111. The two problems together indicate a range of values for π between 3.11 and 3.16. Problem 14 in the Moscow Mathematical Papyrus gives the only ancient example finding the volume of a frustum of a pyramid, describing the correct formula, the Babylonians may have known the general rules for measuring areas and volumes. They measured the circumference of a circle as three times the diameter and the area as one-twelfth the square of the circumference, which would be correct if π is estimated as 3, the Pythagorean theorem was also known to the Babylonians. Also, there was a recent discovery in which a tablet used π as 3, the Babylonians are also known for the Babylonian mile, which was a measure of distance equal to about seven miles today. This measurement for distances eventually was converted to a used for measuring the travel of the Sun, therefore. There have been recent discoveries showing that ancient Babylonians may have discovered astronomical geometry nearly 1400 years before Europeans did, the Indian Vedic period had a tradition of geometry, mostly expressed in the construction of elaborate altars. Early Indian texts on this include the Satapatha Brahmana and the Śulba Sūtras. According to, the Śulba Sūtras contain the earliest extant verbal expression of the Pythagorean Theorem in the world, the diagonal rope of an oblong produces both which the flank and the horizontal <ropes> produce separately
6.
Euclidean geometry
–
Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry, the Elements. Euclids method consists in assuming a set of intuitively appealing axioms. Although many of Euclids results had been stated by earlier mathematicians, Euclid was the first to show how these propositions could fit into a comprehensive deductive and logical system. The Elements begins with plane geometry, still taught in school as the first axiomatic system. It goes on to the geometry of three dimensions. Much of the Elements states results of what are now called algebra and number theory, for more than two thousand years, the adjective Euclidean was unnecessary because no other sort of geometry had been conceived. Euclids axioms seemed so obvious that any theorem proved from them was deemed true in an absolute, often metaphysical. Today, however, many other self-consistent non-Euclidean geometries are known, Euclidean geometry is an example of synthetic geometry, in that it proceeds logically from axioms to propositions without the use of coordinates. This is in contrast to analytic geometry, which uses coordinates, the Elements is mainly a systematization of earlier knowledge of geometry. Its improvement over earlier treatments was recognized, with the result that there was little interest in preserving the earlier ones. There are 13 total books in the Elements, Books I–IV, Books V and VII–X deal with number theory, with numbers treated geometrically via their representation as line segments with various lengths. Notions such as numbers and rational and irrational numbers are introduced. The infinitude of prime numbers is proved, a typical result is the 1,3 ratio between the volume of a cone and a cylinder with the same height and base. Euclidean geometry is a system, in which all theorems are derived from a small number of axioms. To produce a straight line continuously in a straight line. To describe a circle with any centre and distance and that all right angles are equal to one another. Although Euclids statement of the only explicitly asserts the existence of the constructions. The Elements also include the five common notions, Things that are equal to the same thing are also equal to one another
7.
Spherical geometry
–
Spherical geometry is the geometry of the two-dimensional surface of a sphere. It is an example of a geometry that is not Euclidean, two practical applications of the principles of spherical geometry are navigation and astronomy. In plane geometry, the concepts are points and lines. On a sphere, points are defined in the usual sense, the equivalents of lines are not defined in the usual sense of straight line in Euclidean geometry, but in the sense of the shortest paths between points, which are called geodesics. On a sphere, the geodesics are the circles, other geometric concepts are defined as in plane geometry. Spherical geometry is not elliptic geometry, but is rather a subset of elliptic geometry, for example, it shares with that geometry the property that a line has no parallels through a given point. An important geometry related to that of the sphere is that of the projective plane. Locally, the plane has all the properties of spherical geometry. In particular, it is non-orientable, or one-sided, Concepts of spherical geometry may also be applied to the oblong sphere, though minor modifications must be implemented on certain formulas. Higher-dimensional spherical geometries exist, see elliptic geometry, the earliest mathematical work of antiquity to come down to our time is On the rotating sphere by Autolycus of Pitane, who lived at the end of the fourth century BC. The book of unknown arcs of a written by the Islamic mathematician Al-Jayyani is considered to be the first treatise on spherical trigonometry. The book contains formulae for right-handed triangles, the law of sines. The book On Triangles by Regiomontanus, written around 1463, is the first pure trigonometrical work in Europe, however, Gerolamo Cardano noted a century later that much of its material on spherical trigonometry was taken from the twelfth-century work of the Andalusi scholar Jabir ibn Aflah. L. Euler, De curva rectificabili in superficie sphaerica, Novi Commentarii academiae scientiarum Petropolitanae 15,1771, pp. 195–216, Opera Omnia, Series 1, Volume 28, pp. 142–160. L. Euler, De mensura angulorum solidorum, Acta academiae scientarum imperialis Petropolitinae 2,1781, p. 31–54, Opera Omnia, Series 1, vol. L. Euler, Problematis cuiusdam Pappi Alexandrini constructio, Acta academiae scientarum imperialis Petropolitinae 4,1783, p. 91–96, Opera Omnia, Series 1, vol. L. Euler, Geometrica et sphaerica quaedam, Mémoires de lAcademie des Sciences de Saint-Petersbourg 5,1815, p. 96–114, Opera Omnia, Series 1, vol. L. Euler, Trigonometria sphaerica universa, ex primis principiis breviter et dilucide derivata, Acta academiae scientarum imperialis Petropolitinae 3,1782, p. 72–86, Opera Omnia, Series 1, vol
8.
Non-Euclidean geometry
–
In mathematics, non-Euclidean geometry consists of two geometries based on axioms closely related to those specifying Euclidean geometry. In the latter case one obtains hyperbolic geometry and elliptic geometry, 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. The essential difference between the geometries is the nature of parallel lines. In hyperbolic geometry, by contrast, there are many lines through A not intersecting ℓ, while in elliptic geometry. In elliptic geometry the lines curve toward each other and intersect, the debate that eventually led to the discovery of the non-Euclidean geometries began almost as soon as Euclids work Elements was written. In the Elements, Euclid began with a number of assumptions. Other mathematicians have devised simpler forms of this property, regardless of the form of the postulate, however, it consistently appears to be more complicated than Euclids other postulates,1. To draw a line from any point to any point. To produce a straight line continuously in a straight line. To describe a circle with any centre and distance and that all right angles are equal to one another. For at least a thousand years, geometers were troubled by the complexity of the fifth postulate. Many attempted to find a proof by contradiction, including Ibn al-Haytham, Omar Khayyám, Nasīr al-Dīn al-Tūsī and these theorems along with their alternative postulates, such as Playfairs axiom, played an important role in the later development of non-Euclidean geometry. These early attempts did, however, provide some early properties of the hyperbolic and elliptic geometries. Another example is al-Tusis son, Sadr al-Din, who wrote a book on the subject in 1298, based on al-Tusis later thoughts and he essentially revised both the Euclidean system of axioms and postulates and the proofs of many propositions from the Elements. His work was published in Rome in 1594 and was studied by European geometers and he finally reached a point where he believed that his results demonstrated the impossibility of hyperbolic geometry. His claim seems to have based on Euclidean presuppositions, because no logical contradiction was present. In this attempt to prove Euclidean geometry he instead unintentionally discovered a new viable geometry, in 1766 Johann Lambert wrote, but did not publish, Theorie der Parallellinien in which he attempted, as Saccheri did, to prove the fifth postulate. He worked with a figure that today we call a Lambert quadrilateral and he quickly eliminated the possibility that the fourth angle is obtuse, as had Saccheri and Khayyam, and then proceeded to prove many theorems under the assumption of an acute angle
9.
Elliptic geometry
–
Elliptic geometry has a variety of properties that differ from those of classical Euclidean plane geometry. For example, the sum of the angles of any triangle is always greater than 180°. In elliptic geometry, two lines perpendicular to a line must intersect. In fact, the perpendiculars on one side all intersect at the pole of the given line. There are no points in elliptic geometry. Every point corresponds to a polar line of which it is the absolute pole. Any point on this line forms an absolute conjugate pair with the pole. Such a pair of points is orthogonal, and the distance between them is a quadrant, the distance between a pair of points is proportional to the angle between their absolute polars. As explained by H. S. M. Coxeter The name elliptic is possibly misleading and it does not imply any direct connection with the curve called an ellipse, but only a rather far-fetched analogy. A central conic is called an ellipse or a hyperbola according as it has no asymptote or two asymptotes, analogously, a non-Euclidean plane is said to be elliptic or hyperbolic according as each of its lines contains no point at infinity or two points at infinity. A simple way to picture elliptic geometry is to look at a globe, neighboring lines of longitude appear to be parallel at the equator, yet they intersect at the poles. More precisely, the surface of a sphere is a model of elliptic geometry if lines are modeled by great circles, with this identification of antipodal points, the model satisfies Euclids first postulate, which states that two points uniquely determine a line. Metaphorically, we can imagine geometers who are like living on the surface of a sphere. Even if the ants are unable to move off the surface, they can still construct lines, the existence of a third dimension is irrelevant to the ants ability to do geometry, and its existence is neither verifiable nor necessary from their point of view. Another way of putting this is that the language of the axioms is incapable of expressing the distinction between one model and another. In Euclidean geometry, a figure can be scaled up or scaled down indefinitely, and the figures are similar, i. e. they have the same angles. In elliptic geometry this is not the case, for example, in the spherical model we can see that the distance between any two points must be strictly less than half the circumference of the sphere. A line segment therefore cannot be scaled up indefinitely, a geometer measuring the geometrical properties of the space he or she inhabits can detect, via measurements, that there is a certain distance scale that is a property of the space
10.
Hyperbolic geometry
–
In mathematics, hyperbolic geometry is a non-Euclidean geometry. Hyperbolic plane geometry is also the geometry of saddle surface or pseudospherical surfaces, surfaces with a constant negative Gaussian curvature, a modern use of hyperbolic geometry is in the theory of special relativity, particularly Minkowski spacetime and gyrovector space. In Russia it is commonly called Lobachevskian geometry, named one of its discoverers. This page is mainly about the 2-dimensional hyperbolic geometry and the differences and similarities between Euclidean and hyperbolic geometry, Hyperbolic geometry can be extended to three and more dimensions, see hyperbolic space for more on the three and higher dimensional cases. Hyperbolic geometry is closely related to Euclidean geometry than it seems. When the parallel postulate is removed from Euclidean geometry the resulting geometry is absolute geometry, there are two kinds of absolute geometry, Euclidean and hyperbolic. All theorems of geometry, including the first 28 propositions of book one of Euclids Elements, are valid in Euclidean. Propositions 27 and 28 of Book One of Euclids Elements prove the existence of parallel/non-intersecting lines and this difference also has many consequences, concepts that are equivalent in Euclidean geometry are not equivalent in hyperbolic geometry, new concepts need to be introduced. Further, because of the angle of parallelism hyperbolic geometry has an absolute scale, single lines in hyperbolic geometry have exactly the same properties as single straight lines in Euclidean geometry. For example, two points define a line, and lines can be infinitely extended. Two intersecting lines have the properties as two intersecting lines in Euclidean geometry. For example, two lines can intersect in no more than one point, intersecting lines have equal opposite angles, when we add a third line then there are properties of intersecting lines that differ from intersecting lines in Euclidean geometry. For example, given 2 intersecting lines there are many lines that do not intersect either of the given lines. While in some models lines look different they do have these properties, non-intersecting lines in hyperbolic geometry also have properties that differ from non-intersecting lines in Euclidean geometry, For any line R and any point P which does not lie on R. In the plane containing line R and point P there are at least two lines through P that do not intersect R. This implies that there are through P an infinite number of lines that do not intersect R. All other non-intersecting lines have a point of distance and diverge from both sides of that point, and are called ultraparallel, diverging parallel or sometimes non-intersecting. Some geometers simply use parallel lines instead of limiting parallel lines and these limiting parallels make an angle θ with PB, this angle depends only on the Gaussian curvature of the plane and the distance PB and is called the angle of parallelism
11.
Synthetic geometry
–
Synthetic geometry is the study of geometry without the use of coordinates or formulas. It relies on the method and the tools directly related to them. Only after the introduction of methods was there a reason to introduce the term synthetic geometry to distinguish this approach to geometry from other approaches. Other approaches to geometry are embodied in analytic and algebraic geometries, geometry, as presented by Euclid in the elements, is the quintessential example of the use of the synthetic method. It was the method of Isaac Newton for the solution of geometric problems. Synthetic methods were most prominent during the 19th century when geometers rejected coordinate methods in establishing the foundations of projective geometry, for example the geometer Jakob Steiner hated analytic geometry, and always gave preference to synthetic methods. The process of logical synthesis begins with some arbitrary but definite starting point and this starting point is the introduction of primitive notions or primitives and axioms about these primitives, Primitives are the most basic ideas. Typically they include objects and relationships. In geometry, the objects are such as points, lines and planes. Axioms are statements about these primitives, for example, any two points are incident with just one line. Axioms are assumed true, and not proven and they are the building blocks of geometric concepts, since they specify the properties that the primitives have. From a given set of axioms, synthesis proceeds as a carefully constructed logical argument, when a significant result is proved rigorously, it becomes a theorem. There is no fixed set for geometry, as more than one consistent set can be chosen. Each such set may lead to a different geometry, while there are examples of different sets giving the same geometry. With this plethora of possibilities, it is no longer appropriate to speak of geometry in the singular, historically, Euclids parallel postulate has turned out to be independent of the other axioms. Simply discarding it gives absolute geometry, while negating it yields hyperbolic geometry, other consistent axiom sets can yield other geometries, such as projective, elliptic, spherical or affine geometry. Axioms of continuity and betweeness are also optional, for example, following the Erlangen program of Klein, the nature of any given geometry can be seen as the connection between symmetry and the content of the propositions, rather than the style of development. One of the early French analysts summarized synthetic geometry this way, for example, the treatment of the projective plane starting from axioms of incidence is actually a broader theory than is found by starting with a vector space of dimension three
12.
Riemannian geometry
–
This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other quantities can be derived by integrating local contributions. Riemannian geometry originated with the vision of Bernhard Riemann expressed in his inaugural lecture Ueber die Hypothesen and it is a very broad and abstract generalization of the differential geometry of surfaces in R3. Riemannian geometry was first put forward in generality by Bernhard Riemann in the 19th century and it deals with a broad range of geometries whose metric properties vary from point to point, including the standard types of Non-Euclidean geometry. Any smooth manifold admits a Riemannian metric, which helps to solve problems of differential topology. It also serves as a level for the more complicated structure of pseudo-Riemannian manifolds. Other generalizations of Riemannian geometry include Finsler geometry, there exists a close analogy of differential geometry with the mathematical structure of defects in regular crystals. Dislocations and Disclinations produce torsions and curvature, the choice is made depending on its importance and elegance of formulation. Most of the results can be found in the monograph by Jeff Cheeger. The formulations given are far from being very exact or the most general and this list is oriented to those who already know the basic definitions and want to know what these definitions are about. Gauss–Bonnet theorem The integral of the Gauss curvature on a compact 2-dimensional Riemannian manifold is equal to 2πχ where χ denotes the Euler characteristic of M and this theorem has a generalization to any compact even-dimensional Riemannian manifold, see generalized Gauss-Bonnet theorem. Nash embedding theorems also called fundamental theorems of Riemannian geometry and they state that every Riemannian manifold can be isometrically embedded in a Euclidean space Rn. If M is a connected compact n-dimensional Riemannian manifold with sectional curvature strictly pinched between 1/4 and 1 then M is diffeomorphic to a sphere. Given constants C, D and V, there are finitely many compact n-dimensional Riemannian manifolds with sectional curvature |K| ≤ C, diameter ≤ D. There is an εn >0 such that if an n-dimensional Riemannian manifold has a metric with sectional curvature |K| ≤ εn, G. Perelman in 1994 gave an astonishingly elegant/short proof of the Soul Conjecture, M is diffeomorphic to Rn if it has positive curvature at only one point. There is a constant C = C such that if M is a compact connected n-dimensional Riemannian manifold with sectional curvature then the sum of its Betti numbers is at most C. Given constants C, D and V, there are finitely many homotopy types of compact n-dimensional Riemannian manifolds with sectional curvature K ≥ C, diameter ≤ D. It implies that any two points of a connected complete Riemannian manifold with nonpositive sectional curvature are joined by a unique geodesic
13.
Differential geometry
–
Differential geometry is a mathematical discipline that uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra to study problems in geometry. The theory of plane and space curves and surfaces in the three-dimensional Euclidean space formed the basis for development of differential geometry during the 18th century, since the late 19th century, differential geometry has grown into a field concerned more generally with the geometric structures on differentiable manifolds. Differential geometry is related to differential topology and the geometric aspects of the theory of differential equations. The differential geometry of surfaces captures many of the key ideas, Differential geometry arose and developed as a result of and in connection to the mathematical analysis of curves and surfaces. These unanswered questions indicated greater, hidden relationships, initially applied to the Euclidean space, further explorations led to non-Euclidean space, and metric and topological spaces. Riemannian geometry studies Riemannian manifolds, smooth manifolds with a Riemannian metric and this is a concept of distance expressed by means of a smooth positive definite symmetric bilinear form defined on the tangent space at each point. Various concepts based on length, such as the arc length of curves, area of plane regions, the notion of a directional derivative of a function from multivariable calculus is extended in Riemannian geometry to the notion of a covariant derivative of a tensor. Many concepts and techniques of analysis and differential equations have been generalized to the setting of Riemannian manifolds, a distance-preserving diffeomorphism between Riemannian manifolds is called an isometry. This notion can also be defined locally, i. e. for small neighborhoods of points, any two regular curves are locally isometric. In higher dimensions, the Riemann curvature tensor is an important pointwise invariant associated with a Riemannian manifold that measures how close it is to being flat, an important class of Riemannian manifolds is the Riemannian symmetric spaces, whose curvature is not necessarily constant. These are the closest analogues to the plane and space considered in Euclidean and non-Euclidean geometry. Pseudo-Riemannian geometry generalizes Riemannian geometry to the case in which the metric tensor need not be positive-definite, a special case of this is a Lorentzian manifold, which is the mathematical basis of Einsteins general relativity theory of gravity. Finsler geometry has the Finsler manifold as the object of study. This is a manifold with a Finsler metric, i. e. a Banach norm defined on each tangent space. Riemannian manifolds are special cases of the more general Finsler manifolds. A Finsler structure on a manifold M is a function F, TM → [0, ∞) such that, F = |m|F for all x, y in TM, F is infinitely differentiable in TM −, symplectic geometry is the study of symplectic manifolds. A symplectic manifold is an almost symplectic manifold for which the symplectic form ω is closed, a diffeomorphism between two symplectic manifolds which preserves the symplectic form is called a symplectomorphism. Non-degenerate skew-symmetric bilinear forms can only exist on even-dimensional vector spaces, in dimension 2, a symplectic manifold is just a surface endowed with an area form and a symplectomorphism is an area-preserving diffeomorphism
14.
Symplectic geometry
–
Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds, that is, differentiable manifolds equipped with a closed, nondegenerate 2-form. Symplectic geometry has its origins in the Hamiltonian formulation of classical mechanics where the space of certain classical systems takes on the structure of a symplectic manifold. A symplectic geometry is defined on a smooth even-dimensional space that is a differentiable manifold, on this space is defined a geometric object, the symplectic form, that allows for the measurement of sizes of two-dimensional objects in the space. The symplectic form in symplectic geometry plays an analogous to that of the metric tensor in Riemannian geometry. Where the metric tensor measures lengths and angles, the symplectic form measures areas, Symplectic geometry arose from the study of classical mechanics and an example of a symplectic structure is the motion of an object in one dimension. To specify the trajectory of the object, one requires both the position q and the p, which form a point in the Euclidean plane ℝ2. In this case, the form is ω = d p ∧ d q and is an area form that measures the area A of a region S in the plane through integration. The area is important because as conservative dynamical systems evolve in time, higher dimensional symplectic geometries are defined analogously. Symplectic geometry has a number of similarities with and differences from Riemannian geometry, unlike in the Riemannian case, symplectic manifolds have no local invariants such as curvature. Another difference with Riemannian geometry is not every differentiable manifold need admit a symplectic form. For example, every symplectic manifold is even-dimensional and orientable, both concepts play a fundamental role in their respective disciplines. Every Kähler manifold is also a symplectic manifold, most symplectic manifolds, one can say, are not Kähler, and so do not have an integrable complex structure compatible with the symplectic form. These invariants also play a key role in string theory, Symplectic geometry is also called symplectic topology although the latter is really a subfield concerned with important global questions in symplectic geometry. The term symplectic is a calque of complex, introduced by Weyl, previously and this naming reflects the deep connections between complex and symplectic structures. ISBN 2-88124-901-9. de Gosson, Maurice A. Symplectic Geometry, bulletin of the American Mathematical Society. Hazewinkel, Michiel, ed. Symplectic structure, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
15.
Finite geometry
–
A finite geometry is any geometric system that has only a finite number of points. The familiar Euclidean geometry is not finite, because a Euclidean line contains infinitely many points, a geometry based on the graphics displayed on a computer screen, where the pixels are considered to be the points, would be a finite geometry. While there are systems that could be called finite geometries, attention is mostly paid to the finite projective. Finite geometries may be constructed via linear algebra, starting from vector spaces over a finite field, Finite geometries can also be defined purely axiomatically. Most common finite geometries are Galois geometries, since any finite projective space of three or greater is isomorphic to a projective space over a finite field. However, dimension two has affine and projective planes that are not isomorphic to Galois geometries, namely the non-Desarguesian planes, similar results hold for other kinds of finite geometries. The following remarks apply only to finite planes, There are two main kinds of finite plane geometry, affine and projective. In an affine plane, the sense of parallel lines applies. In a projective plane, by contrast, any two lines intersect at a point, so parallel lines do not exist. Both finite affine plane geometry and finite projective plane geometry may be described by fairly simple axioms. An affine plane geometry is a nonempty set X, along with a nonempty collection L of subsets of X, such that, For every two distinct points, there is exactly one line that contains both points. Playfairs axiom, Given a line ℓ and a point p not on ℓ, There exists a set of four points, no three of which belong to the same line. The last axiom ensures that the geometry is not trivial, while the first two specify the nature of the geometry, the simplest affine plane contains only four points, it is called the affine plane of order 2. Since no three are collinear, any pair of points determines a line, and so this plane contains six lines. It corresponds to a tetrahedron where non-intersecting edges are considered parallel, or a square where not only opposite sides, but also diagonals are considered parallel. More generally, an affine plane of order n has n2 points and n2 + n lines, each line contains n points. The affine plane of order 3 is known as the Hesse configuration. A projective plane geometry is a nonempty set X, along with a nonempty collection L of subsets of X, such that, the intersection of any two distinct lines contains exactly one point
16.
Projective geometry
–
Projective geometry is a topic of mathematics. It is the study of properties that are invariant with respect to projective transformations. This means that, compared to elementary geometry, projective geometry has a different setting, projective space, properties meaningful for projective geometry are respected by this new idea of transformation, which is more radical in its effects than expressible by a transformation matrix and translations. The first issue for geometers is what kind of geometry is adequate for a novel situation, one source for projective geometry was indeed the theory of perspective. Another difference from elementary geometry is the way in which parallel lines can be said to meet in a point at infinity, again this notion has an intuitive basis, such as railway tracks meeting at the horizon in a perspective drawing. See projective plane for the basics of geometry in two dimensions. While the ideas were available earlier, projective geometry was mainly a development of the 19th century and this included the theory of complex projective space, the coordinates used being complex numbers. Several major types of more abstract mathematics were based on projective geometry and it was also a subject with a large number of practitioners for its own sake, as synthetic geometry. Another topic that developed from axiomatic studies of projective geometry is finite geometry, the topic of projective geometry is itself now divided into many research subtopics, two examples of which are projective algebraic geometry and projective differential geometry. Projective geometry is an elementary form of geometry, meaning that it is not based on a concept of distance. In two dimensions it begins with the study of configurations of points and lines and that there is indeed some geometric interest in this sparse setting was first established by Desargues and others in their exploration of the principles of perspective art. In higher dimensional spaces there are considered hyperplanes, and other linear subspaces, Projective geometry can also be seen as a geometry of constructions with a straight-edge alone. Since projective geometry excludes compass constructions, there are no circles, no angles, no measurements, no parallels and it was realised that the theorems that do apply to projective geometry are simpler statements. For example, the different conic sections are all equivalent in projective geometry, during the early 19th century the work of Jean-Victor Poncelet, Lazare Carnot and others established projective geometry as an independent field of mathematics. Its rigorous foundations were addressed by Karl von Staudt and perfected by Italians Giuseppe Peano, Mario Pieri, Alessandro Padoa, after much work on the very large number of theorems in the subject, therefore, the basics of projective geometry became understood. The incidence structure and the cross-ratio are fundamental invariants under projective transformations, Projective geometry can be modeled by the affine plane plus a line at infinity and then treating that line as ordinary. An algebraic model for doing projective geometry in the style of geometry is given by homogeneous coordinates. In a foundational sense, projective geometry and ordered geometry are elementary since they involve a minimum of axioms and either can be used as the foundation for affine, Projective geometry is not ordered and so it is a distinct foundation for geometry
17.
Dimension
–
In physics and mathematics, the dimension of a mathematical space is informally defined as the minimum number of coordinates needed to specify any point within it. Thus a line has a dimension of one only one coordinate is needed to specify a point on it – for example. The inside of a cube, a cylinder or a sphere is three-dimensional because three coordinates are needed to locate a point within these spaces, in classical mechanics, space and time are different categories and refer to absolute space and time. That conception of the world is a space but not the one that was found necessary to describe electromagnetism. The four dimensions of spacetime consist of events that are not absolutely defined spatially and temporally, Minkowski space first approximates the universe without gravity, the pseudo-Riemannian manifolds of general relativity describe spacetime with matter and gravity. Ten dimensions are used to string theory, and the state-space of quantum mechanics is an infinite-dimensional function space. The concept of dimension is not restricted to physical objects, high-dimensional spaces frequently occur in mathematics and the sciences. They may be parameter spaces or configuration spaces such as in Lagrangian or Hamiltonian mechanics, in mathematics, the dimension of an object is an intrinsic property independent of the space in which the object is embedded. This intrinsic notion of dimension is one of the ways the mathematical notion of dimension differs from its common usages. The dimension of Euclidean n-space En is n, when trying to generalize to other types of spaces, one is faced with the question what makes En n-dimensional. One answer is that to cover a ball in En by small balls of radius ε. This observation leads to the definition of the Minkowski dimension and its more sophisticated variant, the Hausdorff dimension, for example, the boundary of a ball in En looks locally like En-1 and this leads to the notion of the inductive dimension. While these notions agree on En, they turn out to be different when one looks at more general spaces, a tesseract is an example of a four-dimensional object. The rest of this section some of the more important mathematical definitions of the dimensions. A complex number has a real part x and an imaginary part y, a single complex coordinate system may be applied to an object having two real dimensions. For example, an ordinary two-dimensional spherical surface, when given a complex metric, complex dimensions appear in the study of complex manifolds and algebraic varieties. The dimension of a space is the number of vectors in any basis for the space. This notion of dimension is referred to as the Hamel dimension or algebraic dimension to distinguish it from other notions of dimension
18.
Compass-and-straightedge construction
–
The idealized ruler, known as a straightedge, is assumed to be infinite in length, and has no markings on it and only one edge. The compass is assumed to collapse when lifted from the page, more formally, the only permissible constructions are those granted by Euclids first three postulates. It turns out to be the case that every point constructible using straightedge, the ancient Greek mathematicians first conceived compass-and-straightedge constructions, and a number of ancient problems in plane geometry impose this restriction. The ancient Greeks developed many constructions, but in cases were unable to do so. Gauss showed that some polygons are constructible but that most are not, some of the most famous straightedge-and-compass problems were proven impossible by Pierre Wantzel in 1837, using the mathematical theory of fields. In spite of existing proofs of impossibility, some persist in trying to solve these problems, in terms of algebra, a length is constructible if and only if it represents a constructible number, and an angle is constructible if and only if its cosine is a constructible number. A number is constructible if and only if it can be using the four basic arithmetic operations. Circles can only be starting from two given points, the centre and a point on the circle. The compass may or may not collapse when its not drawing a circle, the straightedge is infinitely long, but it has no markings on it and has only one straight edge, unlike ordinary rulers. It can only be used to draw a segment between two points or to extend an existing segment. The modern compass generally does not collapse and several modern constructions use this feature and it would appear that the modern compass is a more powerful instrument than the ancient collapsing compass. However, by Proposition 2 of Book 1 of Euclids Elements, although the proposition is correct, its proofs have a long and checkered history. Eyeballing it and getting close does not count as a solution and that is, it must have a finite number of steps, and not be the limit of ever closer approximations. One of the purposes of Greek mathematics was to find exact constructions for various lengths, for example. The Greeks could not find constructions for these three problems, among others, Squaring the circle, Drawing a square the same area as a given circle, doubling the cube, Drawing a cube with twice the volume of a given cube. Trisecting the angle, Dividing a given angle into three smaller angles all of the same size, for 2000 years people tried to find constructions within the limits set above, and failed. All three have now been proven under mathematical rules to be generally impossible, the ancient Greek mathematicians first attempted compass-and-straightedge constructions, and they discovered how to construct sums, differences, products, ratios, and square roots of given lengths. They could also construct half of an angle, a square whose area is twice that of another square, a square having the same area as a given polygon
19.
Angle
–
In planar geometry, an angle is the figure formed by two rays, called the sides of the angle, sharing a common endpoint, called the vertex of the angle. Angles formed by two rays lie in a plane, but this plane does not have to be a Euclidean plane, Angles are also formed by the intersection of two planes in Euclidean and other spaces. Angles formed by the intersection of two curves in a plane are defined as the angle determined by the tangent rays at the point of intersection. Similar statements hold in space, for example, the angle formed by two great circles on a sphere is the dihedral angle between the planes determined by the great circles. Angle is also used to designate the measure of an angle or of a rotation and this measure is the ratio of the length of a circular arc to its radius. In the case of an angle, the arc is centered at the vertex. In the case of a rotation, the arc is centered at the center of the rotation and delimited by any other point and its image by the rotation. The word angle comes from the Latin word angulus, meaning corner, cognate words are the Greek ἀγκύλος, meaning crooked, curved, both are connected with the Proto-Indo-European root *ank-, meaning to bend or bow. Euclid defines a plane angle as the inclination to each other, in a plane, according to Proclus an angle must be either a quality or a quantity, or a relationship. In mathematical expressions, it is common to use Greek letters to serve as variables standing for the size of some angle, lower case Roman letters are also used, as are upper case Roman letters in the context of polygons. See the figures in this article for examples, in geometric figures, angles may also be identified by the labels attached to the three points that define them. For example, the angle at vertex A enclosed by the rays AB, sometimes, where there is no risk of confusion, the angle may be referred to simply by its vertex. However, in geometrical situations it is obvious from context that the positive angle less than or equal to 180 degrees is meant. Otherwise, a convention may be adopted so that ∠BAC always refers to the angle from B to C. Angles smaller than an angle are called acute angles. An angle equal to 1/4 turn is called a right angle, two lines that form a right angle are said to be normal, orthogonal, or perpendicular. Angles larger than an angle and smaller than a straight angle are called obtuse angles. An angle equal to 1/2 turn is called a straight angle, Angles larger than a straight angle but less than 1 turn are called reflex angles
20.
Curve
–
In mathematics, a curve is, generally speaking, an object similar to a line but that need not be straight. Thus, a curve is a generalization of a line, in that curvature is not necessarily zero, various disciplines within mathematics have given the term different meanings depending on the area of study, so the precise meaning depends on context. However, many of these meanings are special instances of the definition which follows, a curve is a topological space which is locally homeomorphic to a line. In everyday language, this means that a curve is a set of points which, near each of its points, looks like a line, a simple example of a curve is the parabola, shown to the right. A large number of curves have been studied in multiple mathematical fields. A closed curve is a curve that forms a path whose starting point is also its ending point—that is, closely related meanings include the graph of a function and a two-dimensional graph. Interest in curves began long before they were the subject of mathematical study and this can be seen in numerous examples of their decorative use in art and on everyday objects dating back to prehistoric times. Curves, or at least their graphical representations, are simple to create, historically, the term line was used in place of the more modern term curve. Hence the phrases straight line and right line were used to distinguish what are called lines from curved lines. For example, in Book I of Euclids Elements, a line is defined as a breadthless length, Euclids idea of a line is perhaps clarified by the statement The extremities of a line are points. Later commentators further classified according to various schemes. For example, Composite lines Incomposite lines Determinate Indeterminate The Greek geometers had studied many kinds of curves. One reason was their interest in solving problems that could not be solved using standard compass. These curves include, The conic sections, deeply studied by Apollonius of Perga The cissoid of Diocles, studied by Diocles, the conchoid of Nicomedes, studied by Nicomedes as a method to both double the cube and to trisect an angle. The Archimedean spiral, studied by Archimedes as a method to trisect an angle, the spiric sections, sections of tori studied by Perseus as sections of cones had been studied by Apollonius. A fundamental advance in the theory of curves was the advent of analytic geometry in the seventeenth century and this enabled a curve to be described using an equation rather than an elaborate geometrical construction. Previously, curves had been described as geometrical or mechanical according to how they were, or supposedly could be, conic sections were applied in astronomy by Kepler. Newton also worked on an example in the calculus of variations
21.
Diagonal
–
In geometry, a diagonal is a line segment joining two vertices of a polygon or polyhedron, when those vertices are not on the same edge. Informally, any sloping line is called diagonal, in matrix algebra, a diagonal of a square matrix is a set of entries extending from one corner to the farthest corner. There are also other, non-mathematical uses, diagonal pliers are wire-cutting pliers defined by the cutting edges of the jaws intersects the joint rivet at an angle or on a diagonal, hence the name. A diagonal lashing is a type of lashing used to bind spars or poles together applied so that the cross over the poles at an angle. In association football, the system of control is the method referees. As applied to a polygon, a diagonal is a line segment joining any two non-consecutive vertices, therefore, a quadrilateral has two diagonals, joining opposite pairs of vertices. For any convex polygon, all the diagonals are inside the polygon, in a convex polygon, if no three diagonals are concurrent at a single point, the number of regions that the diagonals divide the interior into is given by + =24. The number of regions is 1,4,11,25,50,91,154,246, in a polygon with n angles the number of diagonals is given by n ∗2. The number of intersections between the diagonals is given by, in the case of a square matrix, the main or principal diagonal is the diagonal line of entries running from the top-left corner to the bottom-right corner. For a matrix A with row index specified by i and column index specified by j, the off-diagonal entries are those not on the main diagonal. A diagonal matrix is one whose off-diagonal entries are all zero, a superdiagonal entry is one that is directly above and to the right of the main diagonal. Just as diagonal entries are those A i j with j = i and this plays an important part in geometry, for example, the fixed points of a mapping F from X to itself may be obtained by intersecting the graph of F with the diagonal. In geometric studies, the idea of intersecting the diagonal with itself is common, not directly and this is related at a deep level with the Euler characteristic and the zeros of vector fields. For example, the circle S1 has Betti numbers 1,1,0,0,0, a geometric way of expressing this is to look at the diagonal on the two-torus S1xS1 and observe that it can move off itself by the small motion to. Topics In Algebra, Waltham, Blaisdell Publishing Company, ISBN 978-1114541016 Nering, linear Algebra and Matrix Theory, New York, Wiley, LCCN76091646 Diagonals of a polygon with interactive animation Polygon diagonal from MathWorld. Diagonal of a matrix from MathWorld
22.
Orthogonal
–
The concept of orthogonality has been broadly generalized in mathematics, as well as in areas such as chemistry, and engineering. The word comes from the Greek ὀρθός, meaning upright, and γωνία, the ancient Greek ὀρθογώνιον orthogōnion and classical Latin orthogonium originally denoted a rectangle. Later, they came to mean a right triangle, in the 12th century, the post-classical Latin word orthogonalis came to mean a right angle or something related to a right angle. In geometry, two Euclidean vectors are orthogonal if they are perpendicular, i. e. they form a right angle, two vectors, x and y, in an inner product space, V, are orthogonal if their inner product ⟨ x, y ⟩ is zero. This relationship is denoted x ⊥ y, two vector subspaces, A and B, of an inner product space, V, are called orthogonal subspaces if each vector in A is orthogonal to each vector in B. The largest subspace of V that is orthogonal to a subspace is its orthogonal complement. Given a module M and its dual M∗, an element m′ of M∗, two sets S′ ⊆ M∗ and S ⊆ M are orthogonal if each element of S′ is orthogonal to each element of S. A term rewriting system is said to be if it is left-linear and is non-ambiguous. Orthogonal term rewriting systems are confluent, a set of vectors in an inner product space is called pairwise orthogonal if each pairing of them is orthogonal. Such a set is called an orthogonal set, nonzero pairwise orthogonal vectors are always linearly independent. In certain cases, the normal is used to mean orthogonal. For example, the y-axis is normal to the curve y = x2 at the origin, however, normal may also refer to the magnitude of a vector. In particular, a set is called if it is an orthogonal set of unit vectors. As a result, use of the normal to mean orthogonal is often avoided. The word normal also has a different meaning in probability and statistics, a vector space with a bilinear form generalizes the case of an inner product. When the bilinear form applied to two results in zero, then they are orthogonal. The case of a pseudo-Euclidean plane uses the term hyperbolic orthogonality, in the diagram, axes x′ and t′ are hyperbolic-orthogonal for any given ϕ. In 2-D or higher-dimensional Euclidean space, two vectors are orthogonal if and only if their dot product is zero, i. e. they make an angle of 90°, hence orthogonality of vectors is an extension of the concept of perpendicular vectors into higher-dimensional spaces
23.
Perpendicular
–
In elementary geometry, the property of being perpendicular is the relationship between two lines which meet at a right angle. The property extends to other related geometric objects, a line is said to be perpendicular to another line if the two lines intersect at a right angle. Perpendicularity can be shown to be symmetric, meaning if a first line is perpendicular to a second line, for this reason, we may speak of two lines as being perpendicular without specifying an order. Perpendicularity easily extends to segments and rays, in symbols, A B ¯ ⊥ C D ¯ means line segment AB is perpendicular to line segment CD. A line is said to be perpendicular to an if it is perpendicular to every line in the plane that it intersects. This definition depends on the definition of perpendicularity between lines, two planes in space are said to be perpendicular if the dihedral angle at which they meet is a right angle. Perpendicularity is one instance of the more general mathematical concept of orthogonality, perpendicularity is the orthogonality of classical geometric objects. Thus, in advanced mathematics, the perpendicular is sometimes used to describe much more complicated geometric orthogonality conditions. The word foot is used in connection with perpendiculars. This usage is exemplified in the top diagram, above, the diagram can be in any orientation. The foot is not necessarily at the bottom, step 2, construct circles centered at A and B having equal radius. Let Q and R be the points of intersection of two circles. Step 3, connect Q and R to construct the desired perpendicular PQ, to prove that the PQ is perpendicular to AB, use the SSS congruence theorem for and QPB to conclude that angles OPA and OPB are equal. Then use the SAS congruence theorem for triangles OPA and OPB to conclude that angles POA, to make the perpendicular to the line g at or through the point P using Thales theorem, see the animation at right. The Pythagorean Theorem can be used as the basis of methods of constructing right angles, for example, by counting links, three pieces of chain can be made with lengths in the ratio 3,4,5. These can be out to form a triangle, which will have a right angle opposite its longest side. This method is useful for laying out gardens and fields, where the dimensions are large, the chains can be used repeatedly whenever required. If two lines are perpendicular to a third line, all of the angles formed along the third line are right angles
24.
Parallel (geometry)
–
In geometry, parallel lines are lines in a plane which do not meet, that is, two lines in a plane that do not intersect or touch each other at any point are said to be parallel. By extension, a line and a plane, or two planes, in three-dimensional Euclidean space that do not share a point are said to be parallel. However, two lines in space which do not meet must be in a common plane to be considered parallel. Parallel planes are planes in the same space that never meet. Parallel lines are the subject of Euclids parallel postulate, parallelism is primarily a property of affine geometries and Euclidean space is a special instance of this type of geometry. Some other spaces, such as space, have analogous properties that are sometimes referred to as parallelism. For example, A B ∥ C D indicates that line AB is parallel to line CD, in the Unicode character set, the parallel and not parallel signs have codepoints U+2225 and U+2226, respectively. In addition, U+22D5 represents the relation equal and parallel to, given parallel straight lines l and m in Euclidean space, the following properties are equivalent, Every point on line m is located at exactly the same distance from line l. Line m is in the plane as line l but does not intersect l. When lines m and l are both intersected by a straight line in the same plane, the corresponding angles of intersection with the transversal are congruent. Thus, the property is the one usually chosen as the defining property of parallel lines in Euclidean geometry. The other properties are consequences of Euclids Parallel Postulate. Another property that also involves measurement is that parallel to each other have the same gradient. The definition of parallel lines as a pair of lines in a plane which do not meet appears as Definition 23 in Book I of Euclids Elements. Alternative definitions were discussed by other Greeks, often as part of an attempt to prove the parallel postulate, proclus attributes a definition of parallel lines as equidistant lines to Posidonius and quotes Geminus in a similar vein. Simplicius also mentions Posidonius definition as well as its modification by the philosopher Aganis, at the end of the nineteenth century, in England, Euclids Elements was still the standard textbook in secondary schools. A major difference between these texts, both between themselves and between them and Euclid, is the treatment of parallel lines. These reform texts were not without their critics and one of them, Charles Dodgson, wrote a play, Euclid and His Modern Rivals, one of the early reform textbooks was James Maurice Wilsons Elementary Geometry of 1868
25.
Vertex (geometry)
–
In geometry, a vertex is a point where two or more curves, lines, or edges meet. As a consequence of this definition, the point where two lines meet to form an angle and the corners of polygons and polyhedra are vertices. A vertex is a point of a polygon, polyhedron, or other higher-dimensional polytope. However, in theory, vertices may have fewer than two incident edges, which is usually not allowed for geometric vertices. However, a smooth approximation to a polygon will also have additional vertices. A polygon vertex xi of a simple polygon P is a principal polygon vertex if the diagonal intersects the boundary of P only at x and x, there are two types of principal vertices, ears and mouths. A principal vertex xi of a simple polygon P is called an ear if the diagonal that bridges xi lies entirely in P, according to the two ears theorem, every simple polygon has at least two ears. A principal vertex xi of a simple polygon P is called a mouth if the diagonal lies outside the boundary of P. Any convex polyhedrons surface has Euler characteristic V − E + F =2, where V is the number of vertices, E is the number of edges and this equation is known as Eulers polyhedron formula. Thus the number of vertices is 2 more than the excess of the number of edges over the number of faces, for example, a cube has 12 edges and 6 faces, and hence 8 vertices
26.
Congruence (geometry)
–
In geometry, two figures or objects are congruent if they have the same shape and size, or if one has the same shape and size as the mirror image of the other. This means that either object can be repositioned and reflected so as to coincide precisely with the other object, so two distinct plane figures on a piece of paper are congruent if we can cut them out and then match them up completely. Turning the paper over is permitted, in elementary geometry the word congruent is often used as follows. The word equal is often used in place of congruent for these objects, two line segments are congruent if they have the same length. Two angles are congruent if they have the same measure, two circles are congruent if they have the same diameter. The related concept of similarity applies if the objects differ in size, for two polygons to be congruent, they must have an equal number of sides. Two polygons with n sides are congruent if and only if they each have identical sequences side-angle-side-angle-. for n sides. Congruence of polygons can be established graphically as follows, First, match, second, draw a vector from one of the vertices of the one of the figures to the corresponding vertex of the other figure. Translate the first figure by this vector so that two vertices match. Third, rotate the translated figure about the matched vertex until one pair of corresponding sides matches, fourth, reflect the rotated figure about this matched side until the figures match. If at any time the step cannot be completed, the polygons are not congruent, two triangles are congruent if their corresponding sides are equal in length, in which case their corresponding angles are equal in measure. SSS, If three pairs of sides of two triangles are equal in length, then the triangles are congruent, ASA, If two pairs of angles of two triangles are equal in measurement, and the included sides are equal in length, then the triangles are congruent. The ASA Postulate was contributed by Thales of Miletus, in most systems of axioms, the three criteria—SAS, SSS and ASA—are established as theorems. In the School Mathematics Study Group system SAS is taken as one of 22 postulates, AAS, If two pairs of angles of two triangles are equal in measurement, and a pair of corresponding non-included sides are equal in length, then the triangles are congruent. For American usage, AAS is equivalent to an ASA condition, RHS, also known as HL, If two right-angled triangles have their hypotenuses equal in length, and a pair of shorter sides are equal in length, then the triangles are congruent. The SSA condition which specifies two sides and a non-included angle does not by itself prove congruence, in order to show congruence, additional information is required such as the measure of the corresponding angles and in some cases the lengths of the two pairs of corresponding sides. The opposite side is longer when the corresponding angles are acute. This is the case and two different triangles can be formed from the given information, but further information distinguishing them can lead to a proof of congruence
27.
Similarity (geometry)
–
Two geometrical objects are called similar if they both have the same shape, or one has the same shape as the mirror image of the other. More precisely, one can be obtained from the other by uniformly scaling and this means that either object can be rescaled, repositioned, and reflected, so as to coincide precisely with the other object. If two objects are similar, each is congruent to the result of a uniform scaling of the other. A modern and novel perspective of similarity is to consider geometrical objects similar if one appears congruent to the other zoomed in or out at some level. For example, all circles are similar to other, all squares are similar to each other. On the other hand, ellipses are not all similar to other, rectangles are not all similar to each other. If two angles of a triangle have measures equal to the measures of two angles of triangle, then the triangles are similar. Corresponding sides of similar polygons are in proportion, and corresponding angles of similar polygons have the same measure and it can be shown that two triangles having congruent angles are similar, that is, the corresponding sides can be proved to be proportional. This is known as the AAA similarity theorem, due to this theorem, several authors simplify the definition of similar triangles to only require that the corresponding three angles are congruent. There are several statements each of which is necessary and sufficient for two triangles to be similar,1, the triangles have two congruent angles, which in Euclidean geometry implies that all their angles are congruent. That is, If ∠BAC is equal in measure to ∠B′A′C′, and ∠ABC is equal in measure to ∠A′B′C′, then this implies that ∠ACB is equal in measure to ∠A′C′B′, all the corresponding sides have lengths in the same ratio, AB/A′B′ = BC/B′C′ = AC/A′C′. This is equivalent to saying that one triangle is an enlargement of the other, two sides have lengths in the same ratio, and the angles included between these sides have the same measure. For instance, AB/A′B′ = BC/B′C′ and ∠ABC is equal in measure to ∠A′B′C′ and this is known as the SAS Similarity Criterion. When two triangles △ABC and △A′B′C′ are similar, one writes △ABC ∼ △A′B′C′, there are several elementary results concerning similar triangles in Euclidean geometry, Any two equilateral triangles are similar. Two triangles, both similar to a triangle, are similar to each other. Corresponding altitudes of similar triangles have the ratio as the corresponding sides. Two right triangles are similar if the hypotenuse and one side have lengths in the same ratio. Given a triangle △ABC and a line segment DE one can, with ruler and compass, the statement that the point F satisfying this condition exists is Walliss Postulate and is logically equivalent to Euclids Parallel Postulate
28.
Symmetry
–
Symmetry in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, symmetry has a precise definition, that an object is invariant to any of various transformations. Although these two meanings of symmetry can sometimes be told apart, they are related, so they are discussed together. The opposite of symmetry is asymmetry, a geometric shape or object is symmetric if it can be divided into two or more identical pieces that are arranged in an organized fashion. This means that an object is symmetric if there is a transformation that moves individual pieces of the object, an object has rotational symmetry if the object can be rotated about a fixed point without changing the overall shape. An object has symmetry if it can be translated without changing its overall shape. An object has symmetry if it can be simultaneously translated and rotated in three-dimensional space along a line known as a screw axis. An object has symmetry if it does not change shape when it is expanded or contracted. Fractals also exhibit a form of symmetry, where small portions of the fractal are similar in shape to large portions. Other symmetries include glide reflection symmetry and rotoreflection symmetry, a dyadic relation R is symmetric if and only if, whenever its true that Rab, its true that Rba. Thus, is the age as is symmetrical, for if Paul is the same age as Mary. Symmetric binary logical connectives are and, or, biconditional, nand, xor, the set of operations that preserve a given property of the object form a group. In general, every kind of structure in mathematics will have its own kind of symmetry, examples include even and odd functions in calculus, the symmetric group in abstract algebra, symmetric matrices in linear algebra, and the Galois group in Galois theory. In statistics, it appears as symmetric probability distributions, and as skewness, symmetry in physics has been generalized to mean invariance—that is, lack of change—under any kind of transformation, for example arbitrary coordinate transformations. This concept has one of the most powerful tools of theoretical physics. See Noethers theorem, and also, Wigners classification, which says that the symmetries of the laws of physics determine the properties of the found in nature. Important symmetries in physics include continuous symmetries and discrete symmetries of spacetime, internal symmetries of particles, in biology, the notion of symmetry is mostly used explicitly to describe body shapes. Bilateral animals, including humans, are more or less symmetric with respect to the plane which divides the body into left
29.
One-dimensional space
–
In physics and mathematics, a sequence of n numbers can be understood as a location in n-dimensional space. When n =1, the set of all locations is called a one-dimensional space. An example of a space is the number line, where the position of each point on it can be described by a single number. In algebraic geometry there are structures which are technically one-dimensional spaces. For a field k, it is a vector space over itself. Similarly, the line over k is a one-dimensional space. In particular, if k = ℂ, the complex plane, then the complex projective line P1 is one-dimensional with respect to ℂ. More generally, a ring is a module over itself. Similarly, the line over a ring is a one-dimensional space over the ring. In case the ring is an algebra over a field, these spaces are one-dimensional with respect to the algebra, the only regular polytope in one dimension is the line segment, with the Schläfli symbol. The hypersphere in 1 dimension is a pair of points, sometimes called a 0-sphere as its surface is zero-dimensional and its length is L =2 r where r is the radius. The most popular systems are the number line and the angle
30.
Point (geometry)
–
In modern mathematics, a point refers usually to an element of some set called a space. More specifically, in Euclidean geometry, a point is a primitive notion upon which the geometry is built, being a primitive notion means that a point cannot be defined in terms of previously defined objects. That is, a point is defined only by some properties, called axioms, in particular, the geometric points do not have any length, area, volume, or any other dimensional attribute. A common interpretation is that the concept of a point is meant to capture the notion of a location in Euclidean space. Points, considered within the framework of Euclidean geometry, are one of the most fundamental objects, Euclid originally defined the point as that which has no part. This idea is easily generalized to three-dimensional Euclidean space, where a point is represented by a triplet with the additional third number representing depth. Further generalizations are represented by an ordered tuplet of n terms, many constructs within Euclidean geometry consist of an infinite collection of points that conform to certain axioms. This is usually represented by a set of points, As an example, a line is a set of points of the form L =. Similar constructions exist that define the plane, line segment and other related concepts, a line segment consisting of only a single point is called a degenerate line segment. In addition to defining points and constructs related to points, Euclid also postulated a key idea about points, in spite of this, modern expansions of the system serve to remove these assumptions. There are several inequivalent definitions of dimension in mathematics, in all of the common definitions, a point is 0-dimensional. The dimension of a space is the maximum size of a linearly independent subset. In a vector space consisting of a point, there is no linearly independent subset. The zero vector is not itself linearly independent, because there is a non trivial linear combination making it zero,1 ⋅0 =0, if no such minimal n exists, the space is said to be of infinite covering dimension. A point is zero-dimensional with respect to the covering dimension because every open cover of the space has a refinement consisting of a open set. The Hausdorff dimension of X is defined by dim H , = inf, a point has Hausdorff dimension 0 because it can be covered by a single ball of arbitrarily small radius. Although the notion of a point is considered fundamental in mainstream geometry and topology, there are some systems that forgo it, e. g. noncommutative geometry. More precisely, such structures generalize well-known spaces of functions in a way that the operation take a value at this point may not be defined
31.
Line (geometry)
–
The notion of line or straight line was introduced by ancient mathematicians to represent straight objects with negligible width and depth. Lines are an idealization of such objects, the straight line is that which is equally extended between its points. In modern mathematics, given the multitude of geometries, the concept of a line is tied to the way the geometry is described. When a geometry is described by a set of axioms, the notion of a line is left undefined. The properties of lines are determined by the axioms which refer to them. One advantage to this approach is the flexibility it gives to users of the geometry, thus in differential geometry a line may be interpreted as a geodesic, while in some projective geometries a line is a 2-dimensional vector space. This flexibility also extends beyond mathematics and, for example, permits physicists to think of the path of a light ray as being a line, to avoid this vicious circle certain concepts must be taken as primitive concepts, terms which are given no definition. In geometry, it is frequently the case that the concept of line is taken as a primitive, in those situations where a line is a defined concept, as in coordinate geometry, some other fundamental ideas are taken as primitives. When the line concept is a primitive, the behaviour and properties of lines are dictated by the axioms which they must satisfy, in a non-axiomatic or simplified axiomatic treatment of geometry, the concept of a primitive notion may be too abstract to be dealt with. In this circumstance it is possible that a description or mental image of a notion is provided to give a foundation to build the notion on which would formally be based on the axioms. Descriptions of this type may be referred to, by some authors and these are not true definitions and could not be used in formal proofs of statements. The definition of line in Euclids Elements falls into this category, when geometry was first formalised by Euclid in the Elements, he defined a general line to be breadthless length with a straight line being a line which lies evenly with the points on itself. These definitions serve little purpose since they use terms which are not, themselves, in fact, Euclid did not use these definitions in this work and probably included them just to make it clear to the reader what was being discussed. In an axiomatic formulation of Euclidean geometry, such as that of Hilbert, for example, for any two distinct points, there is a unique line containing them, and any two distinct lines intersect in at most one point. In two dimensions, i. e. the Euclidean plane, two lines which do not intersect are called parallel, in higher dimensions, two lines that do not intersect are parallel if they are contained in a plane, or skew if they are not. Any collection of many lines partitions the plane into convex polygons. Lines in a Cartesian plane or, more generally, in affine coordinates, in two dimensions, the equation for non-vertical lines is often given in the slope-intercept form, y = m x + b where, m is the slope or gradient of the line. B is the y-intercept of the line, X is the independent variable of the function y = f
32.
Line segment
–
In geometry, a line segment is a part of a line that is bounded by two distinct end points, and contains every point on the line between its endpoints. A closed line segment includes both endpoints, while a line segment excludes both endpoints, a half-open line segment includes exactly one of the endpoints. Examples of line include the sides of a triangle or square. More generally, when both of the end points are vertices of a polygon or polyhedron, the line segment is either an edge if they are adjacent vertices. When the end points both lie on a such as a circle, a line segment is called a chord. Sometimes one needs to distinguish between open and closed line segments, thus, the line segment can be expressed as a convex combination of the segments two end points. In geometry, it is defined that a point B is between two other points A and C, if the distance AB added to the distance BC is equal to the distance AC. Thus in R2 the line segment with endpoints A = and C = is the collection of points. A line segment is a connected, non-empty set, if V is a topological vector space, then a closed line segment is a closed set in V. However, an open line segment is an open set in V if and only if V is one-dimensional. More generally than above, the concept of a segment can be defined in an ordered geometry. A pair of segments can be any one of the following, intersecting, parallel, skew. The last possibility is a way that line segments differ from lines, in an axiomatic treatment of geometry, the notion of betweenness is either assumed to satisfy a certain number of axioms, or else be defined in terms of an isometry of a line. Segments play an important role in other theories, for example, a set is convex if the segment that joins any two points of the set is contained in the set. This is important because it transforms some of the analysis of sets to the analysis of a line segment. The Segment Addition Postulate can be used to add congruent segment or segments with equal lengths and consequently substitute other segments into another statement to make segments congruent. A line segment can be viewed as a case of an ellipse in which the semiminor axis goes to zero, the foci go to the endpoints. A complete orbit of this ellipse traverses the line segment twice, as a degenerate orbit this is a radial elliptic trajectory. In addition to appearing as the edges and diagonals of polygons and polyhedra, some very frequently considered segments in a triangle include the three altitudes, the three medians, the perpendicular bisectors of the sides, and the internal angle bisectors
33.
Ray (geometry)
–
The notion of line or straight line was introduced by ancient mathematicians to represent straight objects with negligible width and depth. Lines are an idealization of such objects, the straight line is that which is equally extended between its points. In modern mathematics, given the multitude of geometries, the concept of a line is tied to the way the geometry is described. When a geometry is described by a set of axioms, the notion of a line is left undefined. The properties of lines are determined by the axioms which refer to them. One advantage to this approach is the flexibility it gives to users of the geometry, thus in differential geometry a line may be interpreted as a geodesic, while in some projective geometries a line is a 2-dimensional vector space. This flexibility also extends beyond mathematics and, for example, permits physicists to think of the path of a light ray as being a line, to avoid this vicious circle certain concepts must be taken as primitive concepts, terms which are given no definition. In geometry, it is frequently the case that the concept of line is taken as a primitive, in those situations where a line is a defined concept, as in coordinate geometry, some other fundamental ideas are taken as primitives. When the line concept is a primitive, the behaviour and properties of lines are dictated by the axioms which they must satisfy, in a non-axiomatic or simplified axiomatic treatment of geometry, the concept of a primitive notion may be too abstract to be dealt with. In this circumstance it is possible that a description or mental image of a notion is provided to give a foundation to build the notion on which would formally be based on the axioms. Descriptions of this type may be referred to, by some authors and these are not true definitions and could not be used in formal proofs of statements. The definition of line in Euclids Elements falls into this category, when geometry was first formalised by Euclid in the Elements, he defined a general line to be breadthless length with a straight line being a line which lies evenly with the points on itself. These definitions serve little purpose since they use terms which are not, themselves, in fact, Euclid did not use these definitions in this work and probably included them just to make it clear to the reader what was being discussed. In an axiomatic formulation of Euclidean geometry, such as that of Hilbert, for example, for any two distinct points, there is a unique line containing them, and any two distinct lines intersect in at most one point. In two dimensions, i. e. the Euclidean plane, two lines which do not intersect are called parallel, in higher dimensions, two lines that do not intersect are parallel if they are contained in a plane, or skew if they are not. Any collection of many lines partitions the plane into convex polygons. Lines in a Cartesian plane or, more generally, in affine coordinates, in two dimensions, the equation for non-vertical lines is often given in the slope-intercept form, y = m x + b where, m is the slope or gradient of the line. B is the y-intercept of the line, X is the independent variable of the function y = f
34.
Length
–
In geometric measurements, length is the most extended dimension of an object. In the International System of Quantities, length is any quantity with dimension distance, in other contexts length is the measured dimension of an object. For example, it is possible to cut a length of a wire which is shorter than wire thickness. Length may be distinguished from height, which is vertical extent, and width or breadth, length is a measure of one dimension, whereas area is a measure of two dimensions and volume is a measure of three dimensions. In most systems of measurement, the unit of length is a base unit, measurement has been important ever since humans settled from nomadic lifestyles and started using building materials, occupying land and trading with neighbours. As society has become more technologically oriented, much higher accuracies of measurement are required in a diverse set of fields. One of the oldest units of measurement used in the ancient world was the cubit which was the length of the arm from the tip of the finger to the elbow. This could then be subdivided into shorter units like the foot, hand or finger, the cubit could vary considerably due to the different sizes of people. After Albert Einsteins special relativity, length can no longer be thought of being constant in all reference frames. Thus a ruler that is one meter long in one frame of reference will not be one meter long in a frame that is travelling at a velocity relative to the first frame. This means length of an object is variable depending on the observer, in the physical sciences and engineering, when one speaks of units of length, the word length is synonymous with distance. There are several units that are used to measure length, in the International System of Units, the basic unit of length is the metre and is now defined in terms of the speed of light. The centimetre and the kilometre, derived from the metre, are commonly used units. In U. S. customary units, English or Imperial system of units, commonly used units of length are the inch, the foot, the yard, and the mile. Units used to denote distances in the vastness of space, as in astronomy, are longer than those typically used on Earth and include the astronomical unit, the light-year. Dimension Distance Orders of magnitude Reciprocal length Smoot Unit of length
35.
Two-dimensional space
–
In physics and mathematics, two-dimensional space is a geometric model of the planar projection of the physical universe. The two dimensions are commonly called length and width, both directions lie in the same plane. A sequence of n numbers can be understood as a location in n-dimensional space. When n =2, the set of all locations is called two-dimensional space or bi-dimensional space. Each reference line is called an axis or just axis of the system. The coordinates can also be defined as the positions of the projections of the point onto the two axes, expressed as signed distances from the origin. The idea of system was developed in 1637 in writings by Descartes and independently by Pierre de Fermat. Both authors used a single axis in their treatments and have a length measured in reference to this axis. The concept of using a pair of axes was introduced later, after Descartes La Géométrie was translated into Latin in 1649 by Frans van Schooten and these commentators introduced several concepts while trying to clarify the ideas contained in Descartes work. Later, the plane was thought of as a field, where any two points could be multiplied and, except for 0, divided and this was known as the complex plane. The complex plane is called the Argand plane because it is used in Argand diagrams. These are named after Jean-Robert Argand, although they were first described by Norwegian-Danish land surveyor, Argand diagrams are frequently used to plot the positions of the poles and zeroes of a function in the complex plane. In mathematics, analytic geometry describes every point in space by means of two coordinates. Two perpendicular coordinate axes are given which cross each other at the origin and they are usually labeled x and y. Another widely used system is the polar coordinate system, which specifies a point in terms of its distance from the origin. In two dimensions, there are infinitely many polytopes, the polygons, the first few regular ones are shown below, The Schläfli symbol represents a regular p-gon. The regular henagon and regular digon can be considered degenerate regular polygons and they can exist nondegenerately in non-Euclidean spaces like on a 2-sphere or a 2-torus. There exist infinitely many non-convex regular polytopes in two dimensions, whose Schläfli symbols consist of rational numbers and they are called star polygons and share the same vertex arrangements of the convex regular polygons
36.
Area
–
Area is the quantity that expresses the extent of a two-dimensional figure or shape, or planar lamina, in the plane. Surface area is its analog on the surface of a three-dimensional object. It is the analog of the length of a curve or the volume of a solid. The area of a shape can be measured by comparing the shape to squares of a fixed size, in the International System of Units, the standard unit of area is the square metre, which is the area of a square whose sides are one metre long. A shape with an area of three square metres would have the area as three such squares. In mathematics, the square is defined to have area one. There are several formulas for the areas of simple shapes such as triangles, rectangles. Using these formulas, the area of any polygon can be found by dividing the polygon into triangles, for shapes with curved boundary, calculus is usually required to compute the area. Indeed, the problem of determining the area of plane figures was a motivation for the historical development of calculus. For a solid such as a sphere, cone, or cylinder. Formulas for the areas of simple shapes were computed by the ancient Greeks. Area plays an important role in modern mathematics, in addition to its obvious importance in geometry and calculus, area is related to the definition of determinants in linear algebra, and is a basic property of surfaces in differential geometry. In analysis, the area of a subset of the plane is defined using Lebesgue measure, in general, area in higher mathematics is seen as a special case of volume for two-dimensional regions. Area can be defined through the use of axioms, defining it as a function of a collection of certain plane figures to the set of real numbers and it can be proved that such a function exists. An approach to defining what is meant by area is through axioms, area can be defined as a function from a collection M of special kind of plane figures to the set of real numbers which satisfies the following properties, For all S in M, a ≥0. If S and T are in M then so are S ∪ T and S ∩ T, if S and T are in M with S ⊆ T then T − S is in M and a = a − a. If a set S is in M and S is congruent to T then T is also in M, every rectangle R is in M. If the rectangle has length h and breadth k then a = hk, let Q be a set enclosed between two step regions S and T
37.
Polygon
–
In elementary geometry, a polygon /ˈpɒlɪɡɒn/ is a plane figure that is bounded by a finite chain of straight line segments closing in a loop to form a closed polygonal chain or circuit. These segments are called its edges or sides, and the points where two edges meet are the vertices or corners. The interior of the polygon is called its body. An n-gon is a polygon with n sides, for example, a polygon is a 2-dimensional example of the more general polytope in any number of dimensions. The basic geometrical notion of a polygon has been adapted in various ways to suit particular purposes, mathematicians are often concerned only with the bounding closed polygonal chain and with simple polygons which do not self-intersect, and they often define a polygon accordingly. A polygonal boundary may be allowed to intersect itself, creating star polygons and these and other generalizations of polygons are described below. The word polygon derives from the Greek adjective πολύς much, many and it has been suggested that γόνυ knee may be the origin of “gon”. Polygons are primarily classified by the number of sides, Polygons may be characterized by their convexity or type of non-convexity, Convex, any line drawn through the polygon meets its boundary exactly twice. As a consequence, all its interior angles are less than 180°, equivalently, any line segment with endpoints on the boundary passes through only interior points between its endpoints. Non-convex, a line may be found which meets its boundary more than twice, equivalently, there exists a line segment between two boundary points that passes outside the polygon. Simple, the boundary of the polygon does not cross itself, there is at least one interior angle greater than 180°. Star-shaped, the interior is visible from at least one point. The polygon must be simple, and may be convex or concave, self-intersecting, the boundary of the polygon crosses itself. Branko Grünbaum calls these coptic, though this term does not seem to be widely used, star polygon, a polygon which self-intersects in a regular way. A polygon cannot be both a star and star-shaped, equiangular, all corner angles are equal. Cyclic, all lie on a single circle, called the circumcircle. Isogonal or vertex-transitive, all lie within the same symmetry orbit. The polygon is cyclic and equiangular
38.
Triangle
–
A triangle is a polygon with three edges and three vertices. It is one of the shapes in geometry. A triangle with vertices A, B, and C is denoted △ A B C, in Euclidean geometry any three points, when non-collinear, determine a unique triangle and a unique plane. This article is about triangles in Euclidean geometry except where otherwise noted, triangles can be classified according to the lengths of their sides, An equilateral triangle has all sides the same length. An equilateral triangle is also a polygon with all angles measuring 60°. An isosceles triangle has two sides of equal length, some mathematicians define an isosceles triangle to have exactly two equal sides, whereas others define an isosceles triangle as one with at least two equal sides. The latter definition would make all equilateral triangles isosceles triangles, the 45–45–90 right triangle, which appears in the tetrakis square tiling, is isosceles. A scalene triangle has all its sides of different lengths, equivalently, it has all angles of different measure. Hatch marks, also called tick marks, are used in diagrams of triangles, a side can be marked with a pattern of ticks, short line segments in the form of tally marks, two sides have equal lengths if they are both marked with the same pattern. In a triangle, the pattern is no more than 3 ticks. Similarly, patterns of 1,2, or 3 concentric arcs inside the angles are used to indicate equal angles, triangles can also be classified according to their internal angles, measured here in degrees. A right triangle has one of its interior angles measuring 90°, the side opposite to the right angle is the hypotenuse, the longest side of the triangle. The other two sides are called the legs or catheti of the triangle, special right triangles are right triangles with additional properties that make calculations involving them easier. One of the two most famous is the 3–4–5 right triangle, where 32 +42 =52, in this situation,3,4, and 5 are a Pythagorean triple. The other one is a triangle that has 2 angles that each measure 45 degrees. Triangles that do not have an angle measuring 90° are called oblique triangles, a triangle with all interior angles measuring less than 90° is an acute triangle or acute-angled triangle. If c is the length of the longest side, then a2 + b2 > c2, a triangle with one interior angle measuring more than 90° is an obtuse triangle or obtuse-angled triangle. If c is the length of the longest side, then a2 + b2 < c2, a triangle with an interior angle of 180° is degenerate
39.
Altitude (triangle)
–
In geometry, an altitude of a triangle is a line segment through a vertex and perpendicular to a line containing the base. This line containing the side is called the extended base of the altitude. The intersection between the base and the altitude is called the foot of the altitude. The length of the altitude, often called the altitude, is the distance between the extended base and the vertex. The process of drawing the altitude from the vertex to the foot is known as dropping the altitude of that vertex and it is a special case of orthogonal projection. Altitudes can be used to compute the area of a triangle, one half of the product of an altitudes length, thus the longest altitude is perpendicular to the shortest side of the triangle. The altitudes are also related to the sides of the triangle through the trigonometric functions, in an isosceles triangle, the altitude having the incongruent side as its base will have the midpoint of that side as its foot. Also the altitude having the incongruent side as its base will form the angle bisector of the vertex and it is common to mark the altitude with the letter h, often subscripted with the name of the side the altitude comes from. In a right triangle, the altitude with the hypotenuse c as base divides the hypotenuse into two lengths p and q. If we denote the length of the altitude by hc, we then have the relation h c = p q For acute, the three altitudes intersect in a single point, called the orthocenter of the triangle. The orthocenter lies inside the triangle if and only if the triangle is acute, if one angle is a right angle, the orthocenter coincides with the vertex of the right angle. The product of the distances from the orthocenter to a vertex and this product is the squared radius of the triangles polar circle. The orthocenter H, the centroid G, the circumcenter O, and the center N of the nine-point circle all lie on a single line, known as the Euler line. The orthocenter is closer to the incenter I than it is to the centroid, the isogonal conjugate and also the complement of the orthocenter is the circumcenter. Four points in the plane such that one of them is the orthocenter of the triangle formed by the three are called an orthocentric system or orthocentric quadrangle. Let A, B, C denote the angles of the reference triangle, and let a = |BC|, b = |CA|, c = |AB| be the sidelengths. In the complex plane, let the points A, B and C represent the numbers z A, z B and respectively z C and assume that the circumcenter of triangle A B C is located at the origin of the plane. Then, the number z H = z A + z B + z C is represented by the point H
40.
Hypotenuse
–
In geometry, a hypotenuse is the longest side of a right-angled triangle, the side opposite of the right angle. For example, if one of the sides has a length of 3. The length of the hypotenuse is the root of 25. The word ὑποτείνουσα was used for the hypotenuse of a triangle by Plato in the Timaeus 54d, a folk etymology says that tenuse means side, so hypotenuse means a support like a prop or buttress, but this is inaccurate. The length of the hypotenuse is calculated using the square root function implied by the Pythagorean theorem. Using the common notation that the length of the two legs of the triangle are a and b and that of the hypotenuse is c, many computer languages support the ISO C standard function hypot, which returns the value above. The function is designed not to fail where the straightforward calculation might overflow or underflow, some scientific calculators provide a function to convert from rectangular coordinates to polar coordinates. This gives both the length of the hypotenuse and the angle the hypotenuse makes with the line at the same time when given x and y. The angle returned will normally be given by atan2. Orthographic projections, The length of the hypotenuse equals the sum of the lengths of the projections of both catheti. And The square of the length of a cathetus equals the product of the lengths of its projection on the hypotenuse times the length of this. Given the length of the c and of a cathetus b. The adjacent angle of the b, will be α = 90° – β One may also obtain the value of the angle β by the equation. Cathetus Triangle Space diagonal Nonhypotenuse number Taxicab geometry Trigonometry Special right triangles Pythagoras Hypotenuse at Encyclopaedia of Mathematics Weisstein, Eric W. Hypotenuse
41.
Pythagorean theorem
–
In mathematics, the Pythagorean theorem, also known as Pythagorass theorem, is a fundamental relation in Euclidean geometry among the three sides of a right triangle. It states that the square of the hypotenuse is equal to the sum of the squares of the two sides. There is some evidence that Babylonian mathematicians understood the formula, although little of it indicates an application within a mathematical framework, Mesopotamian, Indian and Chinese mathematicians all discovered the theorem independently and, in some cases, provided proofs for special cases. The theorem has been given numerous proofs – possibly the most for any mathematical theorem and they are very diverse, including both geometric proofs and algebraic proofs, with some dating back thousands of years. The Pythagorean theorem was known long before Pythagoras, but he may well have been the first to prove it, in any event, the proof attributed to him is very simple, and is called a proof by rearrangement. The two large squares shown in the figure each contain four triangles, and the only difference between the two large squares is that the triangles are arranged differently. Therefore, the space within each of the two large squares must have equal area. Equating the area of the white space yields the Pythagorean theorem and that Pythagoras originated this very simple proof is sometimes inferred from the writings of the later Greek philosopher and mathematician Proclus. Several other proofs of this theorem are described below, but this is known as the Pythagorean one, If the length of both a and b are known, then c can be calculated as c = a 2 + b 2. If the length of the c and of one side are known. The Pythagorean equation relates the sides of a triangle in a simple way. Another corollary of the theorem is that in any triangle, the hypotenuse is greater than any one of the other sides. A generalization of this theorem is the law of cosines, which allows the computation of the length of any side of any triangle, If the angle between the other sides is a right angle, the law of cosines reduces to the Pythagorean equation. This theorem may have more known proofs than any other, the book The Pythagorean Proposition contains 370 proofs, Let ABC represent a right triangle, with the right angle located at C, as shown on the figure. Draw the altitude from point C, and call H its intersection with the side AB, point H divides the length of the hypotenuse c into parts d and e. By a similar reasoning, the triangle CBH is also similar to ABC, the proof of similarity of the triangles requires the triangle postulate, the sum of the angles in a triangle is two right angles, and is equivalent to the parallel postulate. Similarity of the leads to the equality of ratios of corresponding sides. The first result equates the cosines of the angles θ, whereas the second result equates their sines, the role of this proof in history is the subject of much speculation
42.
Parallelogram
–
In Euclidean geometry, a parallelogram is a simple quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length, by comparison, a quadrilateral with just one pair of parallel sides is a trapezoid in American English or a trapezium in British English. The three-dimensional counterpart of a parallelogram is a parallelepiped, rhomboid – A quadrilateral whose opposite sides are parallel and adjacent sides are unequal, and whose angles are not right angles Rectangle – A parallelogram with four angles of equal size. Rhombus – A parallelogram with four sides of equal length, square – A parallelogram with four sides of equal length and angles of equal size. A simple quadrilateral is a if and only if any one of the following statements is true. Two pairs of opposite angles are equal in measure, one pair of opposite sides are parallel and equal in length. Each diagonal divides the quadrilateral into two congruent triangles, the sum of the squares of the sides equals the sum of the squares of the diagonals. It has rotational symmetry of order 2, the sum of the distances from any interior point to the sides is independent of the location of the point. Thus all parallelograms have all the properties listed above, and conversely, if just one of statements is true in a simple quadrilateral. Opposite sides of a parallelogram are parallel and so will never intersect, the area of a parallelogram is twice the area of a triangle created by one of its diagonals. The area of a parallelogram is also equal to the magnitude of the cross product of two adjacent sides. Any line through the midpoint of a parallelogram bisects the area, any non-degenerate affine transformation takes a parallelogram to another parallelogram. A parallelogram has rotational symmetry of order 2, if it also has exactly two lines of reflectional symmetry then it must be a rhombus or an oblong. If it has four lines of symmetry, it is a square. The perimeter of a parallelogram is 2 where a and b are the lengths of adjacent sides, unlike any other convex polygon, a parallelogram cannot be inscribed in any triangle with less than twice its area. The centers of four squares all constructed either internally or externally on the sides of a parallelogram are the vertices of a square. If two lines parallel to sides of a parallelogram are constructed concurrent to a diagonal, then the parallelograms formed on opposite sides of that diagonal are equal in area, the diagonals of a parallelogram divide it into four triangles of equal area. All of the formulas for general convex quadrilaterals apply to parallelograms
43.
Square
–
In geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles. It can also be defined as a rectangle in which two adjacent sides have equal length, a square with vertices ABCD would be denoted ◻ ABCD. e. A rhombus with equal diagonals a convex quadrilateral with sides a, b, c, d whose area is A =12 =12. Opposite sides of a square are both parallel and equal in length, all four angles of a square are equal. All four sides of a square are equal, the diagonals of a square are equal. The square is the n=2 case of the families of n-hypercubes and n-orthoplexes, a truncated square, t, is an octagon. An alternated square, h, is a digon, the perimeter of a square whose four sides have length ℓ is P =4 ℓ and the area A is A = ℓ2. In classical times, the power was described in terms of the area of a square. This led to the use of the square to mean raising to the second power. The area can also be calculated using the diagonal d according to A = d 22. In terms of the circumradius R, the area of a square is A =2 R2, since the area of the circle is π R2, in terms of the inradius r, the area of the square is A =4 r 2. Because it is a polygon, a square is the quadrilateral of least perimeter enclosing a given area. Dually, a square is the quadrilateral containing the largest area within a given perimeter. Indeed, if A and P are the area and perimeter enclosed by a quadrilateral, then the isoperimetric inequality holds,16 A ≤ P2 with equality if. The diagonals of a square are 2 times the length of a side of the square and this value, known as the square root of 2 or Pythagoras constant, was the first number proven to be irrational. A square can also be defined as a parallelogram with equal diagonals that bisect the angles, if a figure is both a rectangle and a rhombus, then it is a square. If a circle is circumscribed around a square, the area of the circle is π /2 times the area of the square, if a circle is inscribed in the square, the area of the circle is π /4 times the area of the square. A square has an area than any other quadrilateral with the same perimeter
44.
Rectangle
–
In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as a quadrilateral, since equiangular means that all of its angles are equal. It can also be defined as a parallelogram containing a right angle, a rectangle with four sides of equal length is a square. The term oblong is occasionally used to refer to a non-square rectangle, a rectangle with vertices ABCD would be denoted as ABCD. The word rectangle comes from the Latin rectangulus, which is a combination of rectus and angulus, a crossed rectangle is a crossed quadrilateral which consists of two opposite sides of a rectangle along with the two diagonals. It is a case of an antiparallelogram, and its angles are not right angles. Other geometries, such as spherical, elliptic, and hyperbolic, have so-called rectangles with sides equal in length. Rectangles are involved in many tiling problems, such as tiling the plane by rectangles or tiling a rectangle by polygons, a convex quadrilateral with successive sides a, b, c, d whose area is 12. A rectangle is a case of a parallelogram in which each pair of adjacent sides is perpendicular. A parallelogram is a case of a trapezium in which both pairs of opposite sides are parallel and equal in length. A trapezium is a quadrilateral which has at least one pair of parallel opposite sides. A convex quadrilateral is Simple, The boundary does not cross itself, star-shaped, The whole interior is visible from a single point, without crossing any edge. De Villiers defines a more generally as any quadrilateral with axes of symmetry through each pair of opposite sides. This definition includes both right-angled rectangles and crossed rectangles, quadrilaterals with two axes of symmetry, each through a pair of opposite sides, belong to the larger class of quadrilaterals with at least one axis of symmetry through a pair of opposite sides. These quadrilaterals comprise isosceles trapezia and crossed isosceles trapezia, a rectangle is cyclic, all corners lie on a single circle. It is equiangular, all its corner angles are equal and it is isogonal or vertex-transitive, all corners lie within the same symmetry orbit. It has two lines of symmetry and rotational symmetry of order 2. The dual polygon of a rectangle is a rhombus, as shown in the table below, the figure formed by joining, in order, the midpoints of the sides of a rectangle is a rhombus and vice versa
45.
Rhombus
–
In Euclidean geometry, a rhombus is a simple quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length, every rhombus is a parallelogram and a kite. A rhombus with right angles is a square, the word rhombus comes from Greek ῥόμβος, meaning something that spins, which derives from the verb ῥέμβω, meaning to turn round and round. The word was used both by Euclid and Archimedes, who used the term solid rhombus for two right circular cones sharing a common base, the surface we refer to as rhombus today is a cross section of this solid rhombus through the apex of each of the two cones. This is a case of the superellipse, with exponent 1. Every rhombus has two diagonals connecting pairs of vertices, and two pairs of parallel sides. Using congruent triangles, one can prove that the rhombus is symmetric across each of these diagonals and it follows that any rhombus has the following properties, Opposite angles of a rhombus have equal measure. The two diagonals of a rhombus are perpendicular, that is, a rhombus is an orthodiagonal quadrilateral, the first property implies that every rhombus is a parallelogram. Thus denoting the common side as a and the diagonals as p and q, not every parallelogram is a rhombus, though any parallelogram with perpendicular diagonals is a rhombus. In general, any quadrilateral with perpendicular diagonals, one of which is a line of symmetry, is a kite, every rhombus is a kite, and any quadrilateral that is both a kite and parallelogram is a rhombus. A rhombus is a tangential quadrilateral and that is, it has an inscribed circle that is tangent to all four sides. As for all parallelograms, the area K of a rhombus is the product of its base, the base is simply any side length a, K = a ⋅ h. The inradius, denoted by r, can be expressed in terms of the p and q as. The dual polygon of a rhombus is a rectangle, A rhombus has all sides equal, a rhombus has opposite angles equal, while a rectangle has opposite sides equal. A rhombus has a circle, while a rectangle has a circumcircle. A rhombus has an axis of symmetry through each pair of opposite vertex angles, the diagonals of a rhombus intersect at equal angles, while the diagonals of a rectangle are equal in length. The figure formed by joining the midpoints of the sides of a rhombus is a rectangle, a rhombohedron is a three-dimensional figure like a cube, except that its six faces are rhombi instead of squares. The rhombic dodecahedron is a polyhedron with 12 congruent rhombi as its faces
46.
Rhomboid
–
Traditionally, in two-dimensional geometry, a rhomboid is a parallelogram in which adjacent sides are of unequal lengths and angles are non-right angled. A parallelogram with sides of length is a rhombus but not a rhomboid. A parallelogram with right angled corners is a rectangle but not a rhomboid, the term rhomboid is now more often used for a parallelepiped, a solid figure with six faces in which each face is a parallelogram and pairs of opposite faces lie in parallel planes. Some crystals are formed in three-dimensional rhomboids and this solid is also sometimes called a rhombic prism. The term occurs frequently in science terminology referring to both its two- and three-dimensional meaning, and let quadrilaterals other than these be called trapezia. Heath suggests that rhomboid was a term already in use. The rhomboid has no line of symmetry, but it has symmetry of order 2. In biology, rhomboid may describe a geometric rhomboid or a bilaterally-symmetrical kite-shaped or diamond-shaped outline, in a type of arthritis called pseudogout, crystals of calcium pyrophosphate dihydrate accumulate in the joint, causing inflammation. Aspiration of the joint fluid reveals rhomboid-shaped crystals under a microscope
47.
Quadrilateral
–
In Euclidean plane geometry, a quadrilateral is a polygon with four edges and four vertices or corners. Sometimes, the quadrangle is used, by analogy with triangle. The origin of the quadrilateral is the two Latin words quadri, a variant of four, and latus, meaning side. Quadrilaterals are simple or complex, also called crossed, simple quadrilaterals are either convex or concave. The interior angles of a simple quadrilateral ABCD add up to 360 degrees of arc and this is a special case of the n-gon interior angle sum formula × 180°. All non-self-crossing quadrilaterals tile the plane by repeated rotation around the midpoints of their edges, any quadrilateral that is not self-intersecting is a simple quadrilateral. In a convex quadrilateral, all angles are less than 180°. Irregular quadrilateral or trapezium, no sides are parallel, trapezium or trapezoid, at least one pair of opposite sides are parallel. Isosceles trapezium or isosceles trapezoid, one pair of sides are parallel. Alternative definitions are a quadrilateral with an axis of symmetry bisecting one pair of opposite sides, parallelogram, a quadrilateral with two pairs of parallel sides. Equivalent conditions are that opposite sides are of length, that opposite angles are equal. In other words, parallelograms include all rhombi and all rhomboids, rhombus or rhomb, all four sides are of equal length. An equivalent condition is that the diagonals bisect each other. Rhomboid, a parallelogram in which adjacent sides are of unequal lengths, not all references agree, some define a rhomboid as a parallelogram which is not a rhombus. Rectangle, all four angles are right angles, an equivalent condition is that the diagonals bisect each other and are equal in length. Square, all four sides are of length, and all four angles are right angles. An equivalent condition is that opposite sides are parallel, that the diagonals bisect each other. A quadrilateral is a if and only if it is both a rhombus and a rectangle
48.
Trapezoid
–
The parallel sides are called the bases of the trapezoid and the other two sides are called the legs or the lateral sides. A scalene trapezoid is a trapezoid with no sides of equal measure, the first recorded use of the Greek word translated trapezoid was by Marinus Proclus in his Commentary on the first book of Euclids Elements. This article uses the term trapezoid in the sense that is current in the United States, in many other languages using a word derived from the Greek for this figure, the form closest to trapezium is used. A right trapezoid has two adjacent right angles, right trapezoids are used in the trapezoidal rule for estimating areas under a curve. An acute trapezoid has two adjacent acute angles on its longer base edge, while an obtuse trapezoid has one acute, an acute trapezoid is also an isosceles trapezoid, if its sides have the same length, and the base angles have the same measure. An obtuse trapezoid with two pairs of sides is a parallelogram. A parallelogram has central 2-fold rotational symmetry, a Saccheri quadrilateral is similar to a trapezoid in the hyperbolic plane, with two adjacent right angles, while it is a rectangle in the Euclidean plane. A Lambert quadrilateral in the plane has 3 right angles. A tangential trapezoid is a trapezoid that has an incircle, there is some disagreement whether parallelograms, which have two pairs of parallel sides, should be regarded as trapezoids. Some define a trapezoid as a quadrilateral having one pair of parallel sides. Others define a trapezoid as a quadrilateral with at least one pair of parallel sides, the latter definition is consistent with its uses in higher mathematics such as calculus. The former definition would make such concepts as the trapezoidal approximation to a definite integral ill-defined and this article uses the inclusive definition and considers parallelograms as special cases of a trapezoid. This is also advocated in the taxonomy of quadrilaterals, under the inclusive definition, all parallelograms are trapezoids. Rectangles have mirror symmetry on mid-edges, rhombuses have mirror symmetry on vertices, while squares have mirror symmetry on both mid-edges and vertices. Four lengths a, c, b, d can constitute the sides of a non-parallelogram trapezoid with a and b parallel only when | d − c | < | b − a | < d + c. The quadrilateral is a parallelogram when d − c = b − a =0, the angle between a side and a diagonal is equal to the angle between the opposite side and the same diagonal. The diagonals cut each other in mutually the same ratio, the diagonals cut the quadrilateral into four triangles of which one opposite pair are similar. The diagonals cut the quadrilateral into four triangles of which one pair have equal areas