In
classical mathematics In the foundations of mathematics, classical mathematics refers generally to the mainstream approach to mathematics, which is based on classical logic and ZFC set theory. It stands in contrast to other types of mathematics such as constructive m ...
, analytic geometry, also known as coordinate geometry or Cartesian geometry, is the study of
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
using a
coordinate system
In geometry, a coordinate system is a system that uses one or more numbers, or coordinates, to uniquely determine the position of the points or other geometric elements on a manifold such as Euclidean space. The order of the coordinates is sig ...
. This contrasts with
synthetic geometry
Synthetic geometry (sometimes referred to as axiomatic geometry or even pure geometry) is the study of geometry without the use of coordinates or formulae. It relies on the axiomatic method and the tools directly related to them, that is, compa ...
.
Analytic geometry is used in
physics
Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which r ...
and
engineering
Engineering is the use of scientific method, scientific principles to design and build machines, structures, and other items, including bridges, tunnels, roads, vehicles, and buildings. The discipline of engineering encompasses a broad rang ...
, and also in
aviation
Aviation includes the activities surrounding mechanical flight and the aircraft industry. ''Aircraft'' includes fixed-wing and rotary-wing types, morphable wings, wing-less lifting bodies, as well as lighter-than-air craft such as hot air ...
,
rocketry
Rocketry may refer to:
Science and technology
* The design and construction of rockets
** The hobbyist or (semi-)professional use of model rockets
* Aerospace engineering, also known as rocket science
* Amateur rocketry, a hobby in which parti ...
,
space science
Space is the boundless three-dimensional extent in which objects and events have relative position and direction. In classical physics, physical space is often conceived in three linear dimensions, although modern physicists usually consider ...
, and
spaceflight
Spaceflight (or space flight) is an application of astronautics to fly spacecraft into or through outer space, either with or without humans on board. Most spaceflight is uncrewed and conducted mainly with spacecraft such as satellites in or ...
. It is the foundation of most modern fields of geometry, including
algebraic,
differential,
discrete
Discrete may refer to:
*Discrete particle or quantum in physics, for example in quantum theory
* Discrete device, an electronic component with just one circuit element, either passive or active, other than an integrated circuit
*Discrete group, a ...
and
computational geometry
Computational geometry is a branch of computer science devoted to the study of algorithms which can be stated in terms of geometry. Some purely geometrical problems arise out of the study of computational geometric algorithms, and such problems ar ...
.
Usually the Cartesian coordinate system is applied to manipulate equations for planes, straight lines, and circles, often in two and sometimes three dimensions. Geometrically, one studies the Euclidean plane (two dimensions) and Euclidean space. As taught in school books, analytic geometry can be explained more simply: it is concerned with defining and representing geometric shapes in a numerical way and extracting numerical information from shapes' numerical definitions and representations. That the algebra of the real numbers can be employed to yield results about the linear continuum of geometry relies on the
Cantor–Dedekind axiom In mathematical logic, the Cantor–Dedekind axiom is the thesis that the real numbers are order-isomorphic to the linear continuum of geometry. In other words, the axiom states that there is a one-to-one correspondence between real numbers and poin ...
.
History
Ancient Greece
The
Greek
Greek may refer to:
Greece
Anything of, from, or related to Greece, a country in Southern Europe:
*Greeks, an ethnic group.
*Greek language, a branch of the Indo-European language family.
**Proto-Greek language, the assumed last common ancestor ...
mathematician
Menaechmus :''There is also a Menaechmus in Plautus' play, ''The Menaechmi''.''
Menaechmus ( el, Μέναιχμος, 380–320 BC) was an ancient Greek mathematician, geometer and philosopher born in Alopeconnesus or Prokonnesos in the Thracian Chersonese, w ...
solved problems and proved theorems by using a method that had a strong resemblance to the use of coordinates and it has sometimes been maintained that he had introduced analytic geometry.
Apollonius of Perga
Apollonius of Perga ( grc-gre, Ἀπολλώνιος ὁ Περγαῖος, Apollṓnios ho Pergaîos; la, Apollonius Pergaeus; ) was an Ancient Greek geometer and astronomer known for his work on conic sections. Beginning from the contribution ...
, in ''
On Determinate Section'', dealt with problems in a manner that may be called an analytic geometry of one dimension; with the question of finding points on a line that were in a ratio to the others. Apollonius in the ''Conics'' further developed a method that is so similar to analytic geometry that his work is sometimes thought to have anticipated the work of
Descartes by some 1800 years. His application of reference lines, a diameter and a tangent is essentially no different from our modern use of a coordinate frame, where the distances measured along the diameter from the point of tangency are the abscissas, and the segments parallel to the tangent and intercepted between the axis and the curve are the ordinates. He further developed relations between the abscissas and the corresponding ordinates that are equivalent to rhetorical equations (expressed in words) of curves. However, although Apollonius came close to developing analytic geometry, he did not manage to do so since he did not take into account negative magnitudes and in every case the coordinate system was superimposed upon a given curve ''a posteriori'' instead of ''a priori''. That is, equations were determined by curves, but curves were not determined by equations. Coordinates, variables, and equations were subsidiary notions applied to a specific geometric situation.
Persia
The 11th-century Persian mathematician
Omar Khayyam
Ghiyāth al-Dīn Abū al-Fatḥ ʿUmar ibn Ibrāhīm Nīsābūrī (18 May 1048 – 4 December 1131), commonly known as Omar Khayyam ( fa, عمر خیّام), was a polymath, known for his contributions to mathematics, astronomy, philosophy, an ...
saw a strong relationship between geometry and algebra and was moving in the right direction when he helped close the gap between numerical and
geometric algebra
In mathematics, a geometric algebra (also known as a real Clifford algebra) is an extension of elementary algebra to work with geometrical objects such as vectors. Geometric algebra is built out of two fundamental operations, addition and the ge ...
with his geometric solution of the general
cubic equation
In algebra, a cubic equation in one variable is an equation of the form
:ax^3+bx^2+cx+d=0
in which is nonzero.
The solutions of this equation are called roots of the cubic function defined by the left-hand side of the equation. If all of the ...
s, but the decisive step came later with Descartes.
Omar Khayyam is credited with identifying the foundations of
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, for solving geometrical ...
, and his book ''Treatise on Demonstrations of Problems of Algebra'' (1070), which laid down the principles of analytic geometry, is part of the body of Persian mathematics that was eventually transmitted to Europe. Because of his thoroughgoing geometrical approach to algebraic equations, Khayyam can be considered a precursor to Descartes in the invention of analytic geometry.
[Cooper, G. (2003). Journal of the American Oriental Society,123(1), 248-249.]
Western Europe
Analytic geometry was independently invented by
René Descartes
René Descartes ( or ; ; Latinized: Renatus Cartesius; 31 March 1596 – 11 February 1650) was a French philosopher, scientist, and mathematician, widely considered a seminal figure in the emergence of modern philosophy and science. Mathem ...
and
Pierre de Fermat
Pierre de Fermat (; between 31 October and 6 December 1607 – 12 January 1665) was a French mathematician who is given credit for early developments that led to infinitesimal calculus, including his technique of adequality. In particular, he ...
, although Descartes is sometimes given sole credit. ''Cartesian geometry'', the alternative term used for analytic geometry, is named after Descartes.
Descartes made significant progress with the methods in an essay titled ''
La Géométrie
''La Géométrie'' was published in 1637 as an appendix to ''Discours de la méthode'' (''Discourse on the Method''), written by René Descartes. In the ''Discourse'', he presents his method for obtaining clarity on any subject. ''La Géométrie ...
(Geometry)'', one of the three accompanying essays (appendices) published in 1637 together with his ''Discourse on the Method for Rightly Directing One's Reason and Searching for Truth in the Sciences'', commonly referred to as ''
Discourse on Method
''Discourse on the Method of Rightly Conducting One's Reason and of Seeking Truth in the Sciences'' (french: Discours de la Méthode Pour bien conduire sa raison, et chercher la vérité dans les sciences) is a philosophical and autobiographical ...
''.
''La Geometrie'', written in his native
French tongue, and its philosophical principles, provided a foundation for
calculus
Calculus, originally called infinitesimal calculus or "the calculus of infinitesimals", is the mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizations of arithm ...
in Europe. Initially the work was not well received, due, in part, to the many gaps in arguments and complicated equations. Only after the translation into
Latin
Latin (, or , ) is a classical language belonging to the Italic branch of the Indo-European languages. Latin was originally a dialect spoken in the lower Tiber area (then known as Latium) around present-day Rome, but through the power of the ...
and the addition of commentary by
van Schooten in 1649 (and further work thereafter) did Descartes's masterpiece receive due recognition.
Pierre de Fermat also pioneered the development of analytic geometry. Although not published in his lifetime, a manuscript form of ''Ad locos planos et solidos isagoge'' (Introduction to Plane and Solid Loci) was circulating in Paris in 1637, just prior to the publication of Descartes' ''Discourse''. Clearly written and well received, the ''Introduction'' also laid the groundwork for analytical geometry. The key difference between Fermat's and Descartes' treatments is a matter of viewpoint: Fermat always started with an algebraic equation and then described the geometric curve that satisfied it, whereas Descartes started with geometric curves and produced their equations as one of several properties of the curves.
As a consequence of this approach, Descartes had to deal with more complicated equations and he had to develop the methods to work with polynomial equations of higher degree. It was
Leonhard Euler
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
who first applied the coordinate method in a systematic study of space curves and surfaces.
Coordinates
![Cartesian-coordinate-system](https://upload.wikimedia.org/wikipedia/commons/0/0e/Cartesian-coordinate-system.svg)
In analytic geometry, the
plane
Plane(s) most often refers to:
* Aero- or airplane, a powered, fixed-wing aircraft
* Plane (geometry), a flat, 2-dimensional surface
Plane or planes may also refer to:
Biology
* Plane (tree) or ''Platanus'', wetland native plant
* ''Planes' ...
is given a coordinate system, by which every
point
Point or points may refer to:
Places
* Point, Lewis, a peninsula in the Outer Hebrides, Scotland
* Point, Texas, a city in Rains County, Texas, United States
* Point, the NE tip and a ferry terminal of Lismore, Inner Hebrides, Scotland
* Point ...
has a pair of
real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
coordinates. Similarly,
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
is given coordinates where every point has three coordinates. The value of the coordinates depends on the choice of the initial point of origin. There are a variety of coordinate systems used, but the most common are the following:
[ Stewart, James (2008). ''Calculus: Early Transcendentals'', 6th ed., Brooks Cole Cengage Learning. ]
Cartesian coordinates (in a plane or space)
The most common coordinate system to use is the
Cartesian coordinate system
A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in t ...
, where each point has an ''x''-coordinate representing its horizontal position, and a ''y''-coordinate representing its vertical position. These are typically written as an
ordered pair
In mathematics, an ordered pair (''a'', ''b'') is a pair of objects. The order in which the objects appear in the pair is significant: the ordered pair (''a'', ''b'') is different from the ordered pair (''b'', ''a'') unless ''a'' = ''b''. (In con ...
(''x'', ''y''). This system can also be used for three-dimensional geometry, where every point in
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
is represented by an
ordered triple of coordinates (''x'', ''y'', ''z'').
Polar coordinates (in a plane)
In
polar coordinates
In mathematics, the polar coordinate system is a two-dimensional coordinate system in which each point on a plane is determined by a distance from a reference point and an angle from a reference direction. The reference point (analogous to the or ...
, every point of the plane is represented by its distance ''r'' from the origin and its
angle
In Euclidean geometry, an angle is the figure formed by two Ray (geometry), rays, called the ''Side (plane geometry), sides'' of the angle, sharing a common endpoint, called the ''vertex (geometry), vertex'' of the angle.
Angles formed by two ...
''θ'', with ''θ'' normally measured counterclockwise from the positive ''x''-axis. Using this notation, points are typically written as an ordered pair (''r'', ''θ''). One may transform back and forth between two-dimensional Cartesian and polar coordinates by using these formulae:
This system may be generalized to three-dimensional space through the use of
cylindrical
A cylinder (from ) has traditionally been a three-dimensional solid, one of the most basic of curvilinear geometric shapes. In elementary geometry, it is considered a prism with a circle as its base.
A cylinder may also be defined as an infini ...
or
spherical
A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the ce ...
coordinates.
Cylindrical coordinates (in a space)
In
cylindrical coordinates
A cylindrical coordinate system is a three-dimensional coordinate system that specifies point positions by the distance from a chosen reference axis ''(axis L in the image opposite)'', the direction from the axis relative to a chosen reference di ...
, every point of space is represented by its height ''z'', its
radius
In classical geometry, a radius ( : radii) of a circle or sphere is any of the line segments from its center to its perimeter, and in more modern usage, it is also their length. The name comes from the latin ''radius'', meaning ray but also the ...
''r'' from the ''z''-axis and the
angle
In Euclidean geometry, an angle is the figure formed by two Ray (geometry), rays, called the ''Side (plane geometry), sides'' of the angle, sharing a common endpoint, called the ''vertex (geometry), vertex'' of the angle.
Angles formed by two ...
''θ'' its projection on the ''xy''-plane makes with respect to the horizontal axis.
Spherical coordinates (in a space)
In spherical coordinates, every point in space is represented by its distance ''ρ'' from the origin, the
angle
In Euclidean geometry, an angle is the figure formed by two Ray (geometry), rays, called the ''Side (plane geometry), sides'' of the angle, sharing a common endpoint, called the ''vertex (geometry), vertex'' of the angle.
Angles formed by two ...
''θ'' its projection on the ''xy''-plane makes with respect to the horizontal axis, and the angle ''φ'' that it makes with respect to the ''z''-axis. The names of the angles are often reversed in physics.
[
]
Equations and curves
In analytic geometry, any equation
In mathematics, an equation is a formula that expresses the equality of two expressions, by connecting them with the equals sign . The word ''equation'' and its cognates in other languages may have subtly different meanings; for example, in ...
involving the coordinates specifies a subset
In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are ...
of the plane, namely the solution set for the equation, or locus
Locus (plural loci) is Latin for "place". It may refer to:
Entertainment
* Locus (comics), a Marvel Comics mutant villainess, a member of the Mutant Liberation Front
* ''Locus'' (magazine), science fiction and fantasy magazine
** ''Locus Award' ...
. For example, the equation ''y'' = ''x'' corresponds to the set of all the points on the plane whose ''x''-coordinate and ''y''-coordinate are equal. These points form a line
Line most often refers to:
* Line (geometry), object with zero thickness and curvature that stretches to infinity
* Telephone line, a single-user circuit on a telephone communication system
Line, lines, The Line, or LINE may also refer to:
Arts ...
, and ''y'' = ''x'' is said to be the equation for this line. In general, linear equations involving ''x'' and ''y'' specify lines, quadratic equation
In algebra, a quadratic equation () is any equation that can be rearranged in standard form as
ax^2 + bx + c = 0\,,
where represents an unknown (mathematics), unknown value, and , , and represent known numbers, where . (If and then the equati ...
s specify conic section
In mathematics, a conic section, quadratic curve or conic is a curve obtained as the intersection of the surface of a cone with a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a specia ...
s, and more complicated equations describe more complicated figures.[Percey Franklyn Smith, Arthur Sullivan Gale (1905)''Introduction to Analytic Geometry'', Athaeneum Press
]
Usually, a single equation corresponds to a curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line (geometry), line, but that does not have to be Linearity, straight.
Intuitively, a curve may be thought of as the trace left by a moving point (ge ...
on the plane. This is not always the case: the trivial equation ''x'' = ''x'' specifies the entire plane, and the equation ''x''2 + ''y''2 = 0 specifies only the single point (0, 0). In three dimensions, a single equation usually gives a surface
A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is ...
, and a curve must be specified as the intersection
In mathematics, the intersection of two or more objects is another object consisting of everything that is contained in all of the objects simultaneously. For example, in Euclidean geometry, when two lines in a plane are not parallel, their i ...
of two surfaces (see below), or as a system of parametric equation
In mathematics, a parametric equation defines a group of quantities as functions of one or more independent variables called parameters. Parametric equations are commonly used to express the coordinates of the points that make up a geometric obj ...
s. The equation ''x''2 + ''y''2 = ''r''2 is the equation for any circle centered at the origin (0, 0) with a radius of r.
Lines and planes
Lines in a Cartesian plane
A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in t ...
, or more generally, in affine coordinates
In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties related ...
, can be described algebraically by ''linear'' equations. In two dimensions, the equation for non-vertical lines is often given in the ''slope-intercept form
In mathematics, a linear equation is an equation that may be put in the form
a_1x_1+\ldots+a_nx_n+b=0, where x_1,\ldots,x_n are the variables (or unknowns), and b,a_1,\ldots,a_n are the coefficients, which are often real numbers. The coefficien ...
'':
where:
* ''m'' is the slope
In mathematics, the slope or gradient of a line is a number that describes both the ''direction'' and the ''steepness'' of the line. Slope is often denoted by the letter ''m''; there is no clear answer to the question why the letter ''m'' is use ...
or gradient
In vector calculus, the gradient of a scalar-valued differentiable function of several variables is the vector field (or vector-valued function) \nabla f whose value at a point p is the "direction and rate of fastest increase". If the gradi ...
of the line.
* ''b'' is the y-intercept
In analytic geometry, using the common convention that the horizontal axis represents a variable ''x'' and the vertical axis represents a variable ''y'', a ''y''-intercept or vertical intercept is a point where the graph of a function or relatio ...
of the line.
* ''x'' is the independent variable
Dependent and independent variables are variables in mathematical modeling, statistical modeling and experimental sciences. Dependent variables receive this name because, in an experiment, their values are studied under the supposition or demand ...
of the function ''y'' = ''f''(''x'').
In a manner analogous to the way lines in a two-dimensional space are described using a point-slope form for their equations, planes in a three dimensional space have a natural description using a point in the plane and a vector orthogonal to it (the normal vector
In geometry, a normal is an object such as a line, ray, or vector that is perpendicular to a given object. For example, the normal line to a plane curve at a given point is the (infinite) line perpendicular to the tangent line to the curve at ...
) to indicate its "inclination".
Specifically, let be the position vector of some point , and let be a nonzero vector. The plane determined by this point and vector consists of those points , with position vector , such that the vector drawn from to is perpendicular to . Recalling that two vectors are perpendicular if and only if their dot product is zero, it follows that the desired plane can be described as the set of all points such that
(The dot here means a dot product
In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a scalar as a result". It is also used sometimes for other symmetric bilinear forms, for example in a pseudo-Euclidean space. is an algebra ...
, not scalar multiplication.)
Expanded this becomes
This is just a linear equation
In mathematics, a linear equation is an equation that may be put in the form
a_1x_1+\ldots+a_nx_n+b=0, where x_1,\ldots,x_n are the variables (or unknowns), and b,a_1,\ldots,a_n are the coefficients, which are often real numbers. The coefficien ...
:
Conversely, it is easily shown that if ''a'', ''b'', ''c'' and ''d'' are constants and ''a'', ''b'', and ''c'' are not all zero, then the graph of the equation
This familiar equation for a plane is called the ''general form'' of the equation of the plane.
In three dimensions, lines can ''not'' be described by a single linear equation, so they are frequently described by parametric equation
In mathematics, a parametric equation defines a group of quantities as functions of one or more independent variables called parameters. Parametric equations are commonly used to express the coordinates of the points that make up a geometric obj ...
s:
where:
* ''x'', ''y'', and ''z'' are all functions of the independent variable ''t'' which ranges over the real numbers.
* (''x''0, ''y''0, ''z''0) is any point on the line.
* ''a'', ''b'', and ''c'' are related to the slope of the line, such that the vector
Vector most often refers to:
*Euclidean vector, a quantity with a magnitude and a direction
*Vector (epidemiology), an agent that carries and transmits an infectious pathogen into another living organism
Vector may also refer to:
Mathematic ...
(''a'', ''b'', ''c'') is parallel to the line.
Conic sections
In the Cartesian coordinate system
A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in t ...
, the graph
Graph may refer to:
Mathematics
*Graph (discrete mathematics), a structure made of vertices and edges
**Graph theory, the study of such graphs and their properties
*Graph (topology), a topological space resembling a graph in the sense of discre ...
of a quadratic equation
In algebra, a quadratic equation () is any equation that can be rearranged in standard form as
ax^2 + bx + c = 0\,,
where represents an unknown (mathematics), unknown value, and , , and represent known numbers, where . (If and then the equati ...
in two variables is always a conic section – though it may be degenerate, and all conic sections arise in this way. The equation will be of the form
As scaling all six constants yields the same locus of zeros, one can consider conics as points in the five-dimensional projective space
In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet ''at infinity''. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally ...
The conic sections described by this equation can be classified using the discriminant
In mathematics, the discriminant of a polynomial is a quantity that depends on the coefficients and allows deducing some properties of the roots without computing them. More precisely, it is a polynomial function of the coefficients of the origi ...
If the conic is non-degenerate, then:
* if , the equation represents an ellipse
In mathematics, an ellipse is a plane curve surrounding two focus (geometry), focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. It generalizes a circle, which is the special ty ...
;
** if and , the equation represents a circle
A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is const ...
, which is a special case of an ellipse;
* if , the equation represents a parabola
In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.
One descript ...
;
* if , the equation represents a hyperbola
In mathematics, a hyperbola (; pl. hyperbolas or hyperbolae ; adj. hyperbolic ) is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, cal ...
;
** if we also have , the equation represents a rectangular hyperbola
In mathematics, a hyperbola (; pl. hyperbolas or hyperbolae ; adj. hyperbolic ) is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, cal ...
.
Quadric surfaces
A quadric, or quadric surface, is a ''2''-dimensional surface
A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is ...
in 3-dimensional space defined as the locus
Locus (plural loci) is Latin for "place". It may refer to:
Entertainment
* Locus (comics), a Marvel Comics mutant villainess, a member of the Mutant Liberation Front
* ''Locus'' (magazine), science fiction and fantasy magazine
** ''Locus Award' ...
of zeros of a quadratic polynomial
In mathematics, a quadratic polynomial is a polynomial of degree two in one or more variables. A quadratic function is the polynomial function defined by a quadratic polynomial. Before 20th century, the distinction was unclear between a polynomia ...
. In coordinates , the general quadric is defined by the algebraic equation
In mathematics, an algebraic equation or polynomial equation is an equation of the form
:P = 0
where ''P'' is a polynomial with coefficients in some field, often the field of the rational numbers. For many authors, the term ''algebraic equation'' ...
[Silvio Lev]
Quadrics
in "Geometry Formulas and Facts", excerpted from 30th Edition of ''CRC Standard Mathematical Tables and Formulas'', CRC Press
The CRC Press, LLC is an American publishing group that specializes in producing technical books. Many of their books relate to engineering, science and mathematics. Their scope also includes books on business, forensics and information tec ...
, from The Geometry Center
The Geometry Center was a mathematics research and education center at the University of Minnesota. It was established by the National Science Foundation in the late 1980s and closed in 1998. The focus of the center's work was the use of computer ...
at University of Minnesota
The University of Minnesota, formally the University of Minnesota, Twin Cities, (UMN Twin Cities, the U of M, or Minnesota) is a public university, public Land-grant university, land-grant research university in the Minneapolis–Saint Paul, Tw ...
Quadric surfaces include ellipsoid
An ellipsoid is a surface that may be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.
An ellipsoid is a quadric surface; that is, a surface that may be defined as the ...
s (including the sphere
A sphere () is a Geometry, geometrical object that is a solid geometry, three-dimensional analogue to a two-dimensional circle. A sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...
), paraboloid
In geometry, a paraboloid is a quadric surface that has exactly one axis of symmetry and no center of symmetry. The term "paraboloid" is derived from parabola, which refers to a conic section that has a similar property of symmetry.
Every plane ...
s, hyperboloid
In geometry, a hyperboloid of revolution, sometimes called a circular hyperboloid, is the surface generated by rotating a hyperbola around one of its principal axes. A hyperboloid is the surface obtained from a hyperboloid of revolution by defo ...
s, cylinder
A cylinder (from ) has traditionally been a three-dimensional solid, one of the most basic of curvilinear geometric shapes. In elementary geometry, it is considered a prism with a circle as its base.
A cylinder may also be defined as an infin ...
s, cones
A cone is a three-dimensional geometric shape that tapers smoothly from a flat base (frequently, though not necessarily, circular) to a point called the apex or vertex.
A cone is formed by a set of line segments, half-lines, or lines conn ...
, and planes.
Distance and angle
In analytic geometry, geometric notions such as distance
Distance is a numerical or occasionally qualitative measurement of how far apart objects or points are. In physics or everyday usage, distance may refer to a physical length or an estimation based on other criteria (e.g. "two counties over"). ...
and angle
In Euclidean geometry, an angle is the figure formed by two Ray (geometry), rays, called the ''Side (plane geometry), sides'' of the angle, sharing a common endpoint, called the ''vertex (geometry), vertex'' of the angle.
Angles formed by two ...
measure are defined using formula
In science, a formula is a concise way of expressing information symbolically, as in a mathematical formula or a ''chemical formula''. The informal use of the term ''formula'' in science refers to the general construct of a relationship betwee ...
s. These definitions are designed to be consistent with the underlying Euclidean geometry
Euclidean geometry is a mathematical system attributed to ancient Greek mathematics, Greek mathematician Euclid, which he described in his textbook on geometry: the ''Euclid's Elements, Elements''. Euclid's approach consists in assuming a small ...
. For example, using Cartesian coordinates
A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in t ...
on the plane, the distance between two points (''x''1, ''y''1) and (''x''2, ''y''2) is defined by the formula
which can be viewed as a version of the Pythagorean theorem
In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse (the side opposite t ...
. Similarly, the angle that a line makes with the horizontal can be defined by the formula
where ''m'' is the slope
In mathematics, the slope or gradient of a line is a number that describes both the ''direction'' and the ''steepness'' of the line. Slope is often denoted by the letter ''m''; there is no clear answer to the question why the letter ''m'' is use ...
of the line.
In three dimensions, distance is given by the generalization of the Pythagorean theorem:
while the angle between two vectors is given by the dot product
In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a scalar as a result". It is also used sometimes for other symmetric bilinear forms, for example in a pseudo-Euclidean space. is an algebra ...
. The dot product of two Euclidean vectors A and B is defined by
where ''θ'' is the angle
In Euclidean geometry, an angle is the figure formed by two Ray (geometry), rays, called the ''Side (plane geometry), sides'' of the angle, sharing a common endpoint, called the ''vertex (geometry), vertex'' of the angle.
Angles formed by two ...
between A and B.
Transformations
Transformations are applied to a parent function to turn it into a new function with similar characteristics.
The graph of is changed by standard transformations as follows:
*Changing to moves the graph to the right units.
*Changing to moves the graph up units.
*Changing to stretches the graph horizontally by a factor of . (think of the as being dilated)
*Changing to stretches the graph vertically.
*Changing to and changing to rotates the graph by an angle .
There are other standard transformation not typically studied in elementary analytic geometry because the transformations change the shape of objects in ways not usually considered. Skewing is an example of a transformation not usually considered.
For more information, consult the Wikipedia article on affine transformations
In Euclidean geometry, an affine transformation or affinity (from the Latin, ''affinis'', "connected with") is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.
More generally, ...
.
For example, the parent function has a horizontal and a vertical asymptote, and occupies the first and third quadrant, and all of its transformed forms have one horizontal and vertical asymptote, and occupies either the 1st and 3rd or 2nd and 4th quadrant. In general, if , then it can be transformed into . In the new transformed function, is the factor that vertically stretches the function if it is greater than 1 or vertically compresses the function if it is less than 1, and for negative values, the function is reflected in the -axis. The value compresses the graph of the function horizontally if greater than 1 and stretches the function horizontally if less than 1, and like , reflects the function in the -axis when it is negative. The and values introduce translations, , vertical, and horizontal. Positive and values mean the function is translated to the positive end of its axis and negative meaning translation towards the negative end.
Transformations can be applied to any geometric equation whether or not the equation represents a function.
Transformations can be considered as individual transactions or in combinations.
Suppose that is a relation in the plane. For example,
is the relation that describes the unit circle.
Finding intersections of geometric objects
For two geometric objects P and Q represented by the relations and the intersection is the collection of all points which are in both relations.[While this discussion is limited to the xy-plane, it can easily be extended to higher dimensions.]
For example, might be the circle with radius 1 and center : and might be the circle with radius 1 and center . The intersection of these two circles is the collection of points which make both equations true. Does the point make both equations true? Using for , the equation for becomes or which is true, so is in the relation . On the other hand, still using for the equation for becomes or which is false. is not in so it is not in the intersection.
The intersection of and can be found by solving the simultaneous equations:
Traditional methods for finding intersections include substitution and elimination.
Substitution: Solve the first equation for in terms of and then substitute the expression for into the second equation:
We then substitute this value for into the other equation and proceed to solve for :
Next, we place this value of in either of the original equations and solve for :
So our intersection has two points:
Elimination: Add (or subtract) a multiple of one equation to the other equation so that one of the variables is eliminated. For our current example, if we subtract the first equation from the second we get . The in the first equation is subtracted from the in the second equation leaving no term. The variable has been eliminated. We then solve the remaining equation for , in the same way as in the substitution method:
We then place this value of in either of the original equations and solve for :
So our intersection has two points:
For conic sections, as many as 4 points might be in the intersection.
Finding intercepts
One type of intersection which is widely studied is the intersection of a geometric object with the and coordinate axes.
The intersection of a geometric object and the -axis is called the -intercept of the object.
The intersection of a geometric object and the -axis is called the -intercept of the object.
For the line , the parameter specifies the point where the line crosses the axis. Depending on the context, either or the point is called the -intercept.
Geometric axis
Axis in geometry is the perpendicular line to any line, object or a surface.
Also for this may be used the common language use as a: normal (prependicular) line, otherwise in engineering as ''axial line''.
In geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, a normal is an object such as a line or vector that is perpendicular
In elementary geometry, two geometric objects are perpendicular if they intersect at a right angle (90 degrees or π/2 radians). The condition of perpendicularity may be represented graphically using the ''perpendicular symbol'', ⟂. It can ...
to a given object. For example, in the two-dimensional case, the normal line to a curve at a given point is the line perpendicular to the tangent line
In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. More ...
to the curve at the point.
In the three-dimensional case a surface normal, or simply normal, to a surface
A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is ...
at a point ''P'' is a vector
Vector most often refers to:
*Euclidean vector, a quantity with a magnitude and a direction
*Vector (epidemiology), an agent that carries and transmits an infectious pathogen into another living organism
Vector may also refer to:
Mathematic ...
that is perpendicular
In elementary geometry, two geometric objects are perpendicular if they intersect at a right angle (90 degrees or π/2 radians). The condition of perpendicularity may be represented graphically using the ''perpendicular symbol'', ⟂. It can ...
to the tangent plane
In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. More ...
to that surface at ''P''. The word "normal" is also used as an adjective: a line
Line most often refers to:
* Line (geometry), object with zero thickness and curvature that stretches to infinity
* Telephone line, a single-user circuit on a telephone communication system
Line, lines, The Line, or LINE may also refer to:
Arts ...
normal to a plane
Plane(s) most often refers to:
* Aero- or airplane, a powered, fixed-wing aircraft
* Plane (geometry), a flat, 2-dimensional surface
Plane or planes may also refer to:
Biology
* Plane (tree) or ''Platanus'', wetland native plant
* ''Planes' ...
, the normal component of a force
In physics, a force is an influence that can change the motion of an object. A force can cause an object with mass to change its velocity (e.g. moving from a state of rest), i.e., to accelerate. Force can also be described intuitively as a p ...
, the normal vector, etc. The concept of normality generalizes to orthogonality
In mathematics, orthogonality is the generalization of the geometric notion of ''perpendicularity''.
By extension, orthogonality is also used to refer to the separation of specific features of a system. The term also has specialized meanings in ...
.
Spherical and nonlinear planes and their tangents
Tangent is the linear approximation of a spherical or other curved or twisted line of a function.
Tangent lines and planes
In geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, the tangent line (or simply tangent) to a plane curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line (geometry), line, but that does not have to be Linearity, straight.
Intuitively, a curve may be thought of as the trace left by a moving point (ge ...
at a given point
Point or points may refer to:
Places
* Point, Lewis, a peninsula in the Outer Hebrides, Scotland
* Point, Texas, a city in Rains County, Texas, United States
* Point, the NE tip and a ferry terminal of Lismore, Inner Hebrides, Scotland
* Point ...
is the straight line
In geometry, a line is an infinitely long object with no width, depth, or curvature. Thus, lines are One-dimensional space, one-dimensional objects, though they may exist in Two-dimensional Euclidean space, two, Three-dimensional space, three, ...
that "just touches" the curve at that point. Informally, it is a line through a pair of infinitely close points on the curve. More precisely, a straight line is said to be a tangent of a curve at a point on the curve if the line passes through the point on the curve and has slope where ''f'' is the derivative
In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. F ...
of ''f''. A similar definition applies to space curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight.
Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that a ...
s and curves in ''n''-dimensional Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
.
As it passes through the point where the tangent line and the curve meet, called the point of tangency, the tangent line is "going in the same direction" as the curve, and is thus the best straight-line approximation to the curve at that point.
Similarly, the tangent plane to a surface
A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is ...
at a given point is the plane
Plane(s) most often refers to:
* Aero- or airplane, a powered, fixed-wing aircraft
* Plane (geometry), a flat, 2-dimensional surface
Plane or planes may also refer to:
Biology
* Plane (tree) or ''Platanus'', wetland native plant
* ''Planes' ...
that "just touches" the surface at that point. The concept of a tangent is one of the most fundamental notions in differential geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multili ...
and has been extensively generalized; see Tangent space
In mathematics, the tangent space of a manifold generalizes to higher dimensions the notion of '' tangent planes'' to surfaces in three dimensions and ''tangent lines'' to curves in two dimensions. In the context of physics the tangent space to a ...
.
See also
* Applied geometry
*Cross product
In mathematics, the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a binary operation on two vectors in a three-dimensional oriented Euclidean vector space (named here E), and is ...
*Rotation of axes
In mathematics, a rotation of axes in two dimensions is a mapping from an ''xy''-Cartesian coordinate system to an ''x′y′''-Cartesian coordinate system in which the origin is kept fixed and the ''x′'' and ''y′'' axes are ...
*Translation of axes
In mathematics, a translation of axes in two dimensions is a mapping from an ''xy''-Cartesian coordinate system to an ''x'y-Cartesian coordinate system in which the ''x axis is parallel to the ''x'' axis and ''k'' units away, and the ''y ...
*Vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
Notes
References
Books
*
*
* John Casey (1885
Analytic Geometry of the Point, Line, Circle, and Conic Sections
link from Internet Archive
The Internet Archive is an American digital library with the stated mission of "universal access to all knowledge". It provides free public access to collections of digitized materials, including websites, software applications/games, music, ...
.
*
*
Articles
*
*
*
*
*
External links
Coordinate Geometry topics
with interactive animations
{{Authority control