Editing Analytic geometry

{{short description|Study of geometry using a coordinate system}}
{{About|coordinate geometry|the geometry of analytic varieties|Algebraic geometry#Analytic geometry}}
{{General geometry |branches}}
In [[mathematics]], '''analytic geometry''', also known as '''coordinate geometry''' or '''Cartesian geometry''', is the study of [[geometry]] using a [[coordinate system]]. This contrasts with [[synthetic geometry]].

Analytic geometry is used in [[physics]] and [[engineering]], and also in [[aviation]], [[Aerospace engineering|rocketry]], [[space science]], and [[spaceflight]]. It is the foundation of most modern fields of geometry, including [[Algebraic geometry|algebraic]], [[Differential geometry|differential]], [[Discrete geometry|discrete]] and [[computational geometry]].

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]].

==History==

===Ancient Greece===
The [[Ancient Greece|Greek]] mathematician [[Menaechmus]] 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.<ref>{{cite book |first=Carl B. |last=Boyer |author-link=Carl Benjamin Boyer |title=A History of Mathematics |edition=Second |publisher=John Wiley & Sons, Inc. |year=1991 |isbn=0-471-54397-7 |chapter=The Age of Plato and Aristotle |pages=[https://archive.org/details/historyofmathema00boye/page/94 94–95] |quote=Menaechmus apparently derived these properties of the conic sections and others as well. Since this material has a strong resemblance to the use of coordinates, as illustrated above, it has sometimes been maintained that Menaechmus had analytic geometry. Such a judgment is warranted only in part, for certainly Menaechmus was unaware that any equation in two unknown quantities determines a curve. In fact, the general concept of an equation in unknown quantities was alien to Greek thought. It was shortcomings in algebraic notations that, more than anything else, operated against the Greek achievement of a full-fledged coordinate geometry. |chapter-url=https://archive.org/details/historyofmathema00boye/page/94 }}</ref>

[[Apollonius of Perga]], in ''[[Apollonius of Perga#De Sectione Determinata|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.<ref>{{cite book |first=Carl B. |last=Boyer |author-link=Carl Benjamin Boyer |title=A History of Mathematics |edition=Second |publisher=John Wiley & Sons, Inc. |year=1991 |isbn=0-471-54397-7 |chapter=Apollonius of Perga |pages=[https://archive.org/details/historyofmathema00boye/page/142 142] |quote=The Apollonian treatise ''On Determinate Section'' dealt with what might be called an analytic geometry of one dimension. It considered the following general problem, using the typical Greek algebraic analysis in geometric form: Given four points A, B, C, D on a straight line, determine a fifth point P on it such that the rectangle on AP and CP is in a given ratio to the rectangle on BP and DP. Here, too, the problem reduces easily to the solution of a quadratic; and, as in other cases, Apollonius treated the question exhaustively, including the limits of possibility and the number of solutions. |chapter-url=https://archive.org/details/historyofmathema00boye/page/142 }}</ref> 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.<ref>{{cite book |first=Carl B. |last=Boyer |author-link=Carl Benjamin Boyer |title=A History of Mathematics |edition=Second |publisher=John Wiley & Sons, Inc. |year=1991 |isbn=0-471-54397-7 |chapter=Apollonius of Perga |pages=[https://archive.org/details/historyofmathema00boye/page/156 156] |quote=The method of Apollonius in the ''Conics'' in many respects are so similar to the modern approach that his work sometimes is judged to be an analytic geometry anticipating that of Descartes by 1800 years. The application of references lines in general, and of a diameter and a tangent at its extremity in particular, is, of course, not essentially different from the use of a coordinate frame, whether rectangular or, more generally, oblique. Distances measured along the diameter from the point of tangency are the abscissas, and segments parallel to the tangent and intercepted between the axis and the curve are the ordinates. The Apollonian relationship between these abscissas and the corresponding ordinates are nothing more nor less than rhetorical forms of the equations of the curves. However, Greek geometric algebra did not provide for negative magnitudes; moreover, the coordinate system was in every case superimposed ''a posteriori'' upon a given curve in order to study its properties. There appear to be no cases in ancient geometry in which a coordinate frame of reference was laid down ''a priori'' for purposes of graphical representation of an equation or relationship, whether symbolically or rhetorically expressed. Of Greek geometry we may say that equations are determined by curves, but not that curves are determined by equations. Coordinates, variables, and equations were subsidiary notions derived from a specific geometric situation; [...] That Apollonius, the greatest geometer of antiquity, failed to develop analytic geometry, was probably the result of a poverty of curves rather than of thought. General methods are not necessary when problems concern always one of a limited number of particular cases. |chapter-url=https://archive.org/details/historyofmathema00boye/page/156 }}</ref>

===Persia===
The 11th-century Persian mathematician [[Omar Khayyam]] 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]]<ref name="Boyer Omar Khayyam positive roots"/> with his geometric solution of the general [[cubic equation]]s,<ref>{{cite journal
| last1=Cooper | first1=Glen M.
| date=2003
| title=Review: Omar Khayyam, the Mathmetician by R. Rashed, B. Vahabzadeh
| journal=[[The Journal of the American Oriental Society]]
| volume=123
| issue=1
| pages=248–249
| doi=10.2307/3217882
| jstor=3217882}}</ref> but the decisive step came later with Descartes.<ref name="Boyer Omar Khayyam positive roots">{{cite book|last=Boyer|author-link=Carl Benjamin Boyer|title=A History of Mathematics|chapter-url=https://archive.org/details/historyofmathema00boye|chapter-url-access=registration|year=1991|chapter=The Arabic Hegemony|pages=[https://archive.org/details/historyofmathema00boye/page/241 241–242]|isbn=9780471543978 |quote=Omar Khayyam (ca. 1050–1123), the "tent-maker," wrote an ''Algebra'' that went beyond that of al-Khwarizmi to include equations of third degree. Like his Arab predecessors, Omar Khayyam provided for quadratic equations both arithmetic and geometric solutions; for general cubic equations, he believed (mistakenly, as the sixteenth century later showed), arithmetic solutions were impossible; hence he gave only geometric solutions. The scheme of using intersecting conics to solve cubics had been used earlier by Menaechmus, Archimedes, and Alhazan, but Omar Khayyam took the praiseworthy step of generalizing the method to cover all third-degree equations (having positive roots). For equations of higher degree than three, Omar Khayyam evidently did not envision similar geometric methods, for space does not contain more than three dimensions, ... One of the most fruitful contributions of Arabic eclecticism was the tendency to close the gap between numerical and geometric algebra. The decisive step in this direction came much later with Descartes, but Omar Khayyam was moving in this direction when he wrote, "Whoever thinks algebra is a trick in obtaining unknowns has thought it in vain. No attention should be paid to the fact that algebra and geometry are different in appearance. Algebras are geometric facts which are proved."}}</ref> Omar Khayyam is credited with identifying the foundations of [[algebraic geometry]], 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.<ref>[[#refmathmaster|Mathematical Masterpieces: Further Chronicles by the Explorers]], p. 92</ref> Because of his thoroughgoing geometrical approach to algebraic equations, Khayyam can be considered a precursor to Descartes in the invention of analytic geometry.<ref name ="Cooper">Cooper, G. (2003). Journal of the American Oriental Society,123(1), 248-249.</ref>{{rp|248}}

===Western Europe===
{{Descartes}}{{See also|René Descartes#Analytic geometry}}
Analytic geometry was independently invented by [[René Descartes]] and [[Pierre de Fermat]],<ref>{{cite book|first=John|last=Stillwell|author-link=John Stillwell|title=Mathematics and its History |edition=Second |publisher=Springer Science + Business Media Inc.|year=2004|chapter=Analytic Geometry|pages=105|isbn=0-387-95336-1|quote=the two founders of analytic geometry, Fermat and Descartes, were both strongly influenced by these developments.}}</ref><ref>{{harvnb|Boyer|2004|page=74}}</ref> although Descartes is sometimes given sole credit.<ref>{{cite book |first=Roger |last=Cooke |author-link=Roger Cooke (mathematician) |title=The History of Mathematics: A Brief Course |publisher=Wiley-Interscience |year=1997 |chapter=The Calculus |pages=[https://archive.org/details/historyofmathema0000cook/page/326 326] |isbn=0-471-18082-3 |quote=The person who is popularly credited with being the discoverer of analytic geometry was the philosopher René Descartes (1596–1650), one of the most influential thinkers of the modern era. |chapter-url=https://archive.org/details/historyofmathema0000cook/page/326 }}</ref><ref>{{harvnb|Boyer|2004|page=82}}</ref> ''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]] (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]]''.
<!-- This is a mistranslation of the meaning of that passage, Descartes did not use a pair of axes in his descriptions. Perhaps this can be used elsewhere.<ref>On pages 319-322 of the ''Livre second:  La Geometrie'' (Book 2:  Geometry) of his ''Discourse on Method'', Descartes imposes a pair of perpendicular axes on a plot of a curve and shows how to measure the distances from an arbitrary point C on the curve to the axes.  From p. 321:  ''" … je tire de ce point C la ligne CB parallele a GA, & pourceque CB & BA sont deux quantités indeterminées & inconnuës, je les nomme l'une y & l'autre x."'' ( … I draw from this point C the line CB parallel to GA, and because CB and BA are two undetermined and unknown quantities, I call the one y and the other x.)  Descartes then shows that the curve is described by an equation for a hyperbola, thereby illustrating how analytic geometry can be used to prove that a given curve is an instance of a general class.  See:  René Descartes, ''Discours de la Méthode'' … (Leiden, (Netherlands): Jan Maire, 1637), [http://gallica.bnf.fr/ark:/12148/btv1b86069594/f405.image pp.&nbsp;319–322.]</ref> -->
''La Geometrie'', written in his native [[French language|French]] tongue, and its philosophical principles, provided a foundation for [[calculus]] 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]] and the addition of commentary by [[Frans van Schooten|van Schooten]] in 1649 (and further work thereafter) did Descartes's masterpiece receive due recognition.<ref name="Katz 1998 loc=pg. 442">{{harvnb|Katz|1998|loc=pg. 442}}</ref>

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''.<ref>{{harvnb|Katz|1998|loc=pg. 436}}</ref><ref>Pierre de Fermat, ''Varia Opera Mathematica d. Petri de Fermat, Senatoris Tolosani'' (Toulouse, France:  Jean Pech, 1679), "Ad locos planos et solidos isagoge," [http://gallica.bnf.fr/ark:/12148/bpt6k6213144d/f147.image.langEN pp.&nbsp;91–103.] {{Webarchive|url=https://web.archive.org/web/20150804051846/http://gallica.bnf.fr/ark:/12148/bpt6k6213144d/f147.image.langEN |date=2015-08-04 }}</ref><ref>[http://gallica.bnf.fr/ark:/12148/bpt6k56523g/f73.image.langEN "Eloge de Monsieur de Fermat"] {{Webarchive|url=https://web.archive.org/web/20150804051849/http://gallica.bnf.fr/ark:/12148/bpt6k56523g/f73.image.langEN |date=2015-08-04 }} (Eulogy of Mr. de Fermat), ''Le Journal des Scavans'', 9 February 1665, pp.&nbsp;69–72.  From p. 70:  ''"Une introduction aux lieux, plans & solides; qui est un traité analytique concernant la solution des problemes plans & solides, qui avoit esté veu devant que M. des Cartes eut rien publié sur ce sujet."''  (An introduction to loci, plane and solid; which is an analytical treatise concerning the solution of plane and solid problems, which was seen before Mr. des Cartes had published anything on this subject.)</ref> 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.<ref name="Katz 1998 loc=pg. 442"/> 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]] who first applied the coordinate method in a systematic study of space curves and surfaces.

==Coordinates==
{{Main|Coordinate system}}
[[File:Cartesian-coordinate-system.svg|thumb|right|250px|Illustration of a Cartesian coordinate plane. Four points are marked and labeled with their coordinates: (2,3) in green, (−3,1) in red, (−1.5,−2.5) in blue, and the origin (0,0) in purple.]]

In analytic geometry, the [[Euclidean plane|plane]] is given a coordinate system, by which every [[point (geometry)|point]] has a pair of [[real number]] coordinates. Similarly, [[Euclidean space]] 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:<ref name=stewart>[[James Stewart (mathematician)|Stewart, James]] (2008). ''Calculus: Early Transcendentals'', 6th ed., Brooks Cole Cengage Learning. {{ISBN|978-0-495-01166-8}}</ref>

===Cartesian coordinates (in a plane or space)===
{{main|Cartesian coordinate system}}
The most common coordinate system to use is the [[Cartesian coordinate system]], 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]] (''x'',&nbsp;''y'').  This system can also be used for three-dimensional geometry, where every point in [[Euclidean space]] is represented by an [[Tuple|ordered triple]] of coordinates (''x'',&nbsp;''y'',&nbsp;''z'').

===Polar coordinates (in a plane)===
{{main|Polar coordinate system}}
In [[polar coordinates]], every point of the plane is represented by its distance ''r'' from the origin and its [[angle]] ''θ'', 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: <math display="block">x = r\, \cos\theta,\, y = r\, \sin\theta; \, r = \sqrt{x^2+y^2},\, \theta = \arctan(y/x).</math> This system may be generalized to three-dimensional space through the use of [[Cylindrical coordinates|cylindrical]] or [[Spherical coordinates|spherical]] coordinates.

===Cylindrical coordinates (in a space)===
{{main|Cylindrical coordinate system}}
In [[cylindrical coordinates]], every point of space is represented by its height ''z'', its [[radius]] ''r'' from the ''z''-axis and the [[angle]] ''θ'' its projection on the ''xy''-plane makes with respect to the horizontal axis.

===Spherical coordinates (in a space)===
{{main|Spherical coordinate system}}
In spherical coordinates, every point in space is represented by its distance ''ρ'' from the origin, the [[angle]] ''θ'' 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.<ref name=stewart/>

==Equations and curves==
{{main|Solution set|Locus (mathematics)}}
In analytic geometry, any [[equation]] involving the coordinates specifies a [[subset]] of the plane, namely the [[solution set]] for the equation, or [[locus (mathematics)|locus]].  For example, the equation ''y''&nbsp;=&nbsp;''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 (geometry)|line]], and ''y''&nbsp;=&nbsp;''x'' is said to be the equation for this line.  In general, linear equations involving ''x'' and ''y'' specify lines, [[quadratic equation]]s specify [[conic section]]s, and more complicated equations describe more complicated figures.<ref name=intro>Percey Franklyn Smith, Arthur Sullivan Gale (1905)''Introduction to Analytic Geometry'', Athaeneum Press
</ref>

Usually, a single equation corresponds to a [[curve]] on the plane.  This is not always the case: the trivial equation ''x''&nbsp;=&nbsp;''x'' specifies the entire plane, and the equation ''x''<sup>2</sup>&nbsp;+&nbsp;''y''<sup>2</sup>&nbsp;=&nbsp;0 specifies only the single point (0,&nbsp;0).  In three dimensions, a single equation usually gives a [[Surface (mathematics)|surface]], and a curve must be specified as the [[Intersection (set theory)|intersection]] of two surfaces (see below), or as a system of [[parametric equation]]s.<ref>William H. McCrea, ''Analytic Geometry of Three Dimensions''
Courier Dover Publications, Jan 27, 2012</ref> The equation ''x''<sup>2</sup>&nbsp;+&nbsp;''y''<sup>2</sup>&nbsp;=&nbsp;''r''<sup>2</sup> is the equation for any circle centered at the origin (0, 0) with a radius of r.

===Lines and planes===
{{main|Line (geometry)|Plane (geometry)}}
Lines in a [[Cartesian plane]], or more generally, in [[affine coordinates]], can be described algebraically by ''linear'' equations. In two dimensions, the equation for non-vertical lines is often given in the ''[[slope-intercept form]]'':
<math display="block"> y = mx + b </math>
where:
* ''m'' is the [[slope]] or [[slope|gradient]] of the line.
* ''b'' is the [[y-intercept]] of the line.
* ''x'' is the [[independent variable]] 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]]) to indicate its "inclination".

Specifically, let <math>\mathbf{r}_0</math> be the position vector of some point <math>P_0 = (x_0,y_0,z_0)</math>, and let <math>\mathbf{n} = (a,b,c)</math> be a nonzero vector. The plane determined by this point and vector consists of those points <math>P</math>, with position vector <math>\mathbf{r}</math>, such that the vector drawn from <math>P_0</math> to <math>P</math> is perpendicular to <math>\mathbf{n}</math>. 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 <math>\mathbf{r}</math> such that
<math display="block">\mathbf{n} \cdot (\mathbf{r}-\mathbf{r}_0) =0.</math>
(The dot here means a [[dot product]], not scalar multiplication.)
Expanded this becomes
<math display="block"> a (x-x_0)+ b(y-y_0)+ c(z-z_0)=0,</math>
{{cn span|text=which is the ''point-normal'' form of the equation of a plane. |date=April 2022}} This is just a [[linear equation]]:
<math display="block"> ax + by + cz + d = 0, \text{ where } d = -(ax_0 + by_0 + cz_0).</math>
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
<math display="block"> ax + by + cz + d = 0,</math>
{{cn span|text=is a plane having the vector <math>\mathbf{n} = (a,b,c)</math> as a normal.|date=April 2022}} This familiar equation for a plane is called the ''general form'' of the equation of the plane.<ref>{{citation
 | last1 = Vujičić | first1 = Milan
 | last2 = Sanderson | first2 = Jeffrey
 | editor-first1 = Milan
 | editor-first2 = Jeffrey
 | editor-last1 = Vujičić
 | editor-last2 = Sanderson
 | doi = 10.1007/978-3-540-74639-3
 | page = 27
 | publisher = Springer
 | title = Linear Algebra Thoroughly Explained
 | year = 2008| isbn = 978-3-540-74637-9
 }}</ref>

In three dimensions, lines can ''not'' be described by a single linear equation, so they are frequently described by [[parametric equation]]s:
<math display="block"> x = x_0 + at </math>
<math display="block"> y = y_0 + bt </math>
<math display="block"> z = z_0 + ct </math>
where:
* ''x'', ''y'', and ''z'' are all functions of the independent variable ''t'' which ranges over the real numbers.
* (''x''<sub>0</sub>, ''y''<sub>0</sub>, ''z''<sub>0</sub>) is any point on the line.
* ''a'', ''b'', and ''c'' are related to the slope of the line, such that the [[vector (geometric)|vector]] (''a'', ''b'', ''c'') is parallel to the line.

===Conic sections===
{{main|Conic section}}
[[File:Hyperbler_konjugerte.png|thumb|right|250px|A hyperbola and its [[conjugate hyperbola]] ]]
In the [[Cartesian coordinate system]], the [[Graph of a function|graph]] of a [[quadratic equation]] 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
<math display="block">Ax^2 + Bxy + Cy^2 +Dx + Ey + F = 0\text{ with }A, B, C\text{ not all zero.}  </math>
As scaling all six constants yields the same locus of zeros, one can consider conics as points in the five-dimensional [[projective space]] <math>\mathbf{P}^5.</math>

The conic sections described by this equation can be classified using the [[discriminant]]<ref>{{citation | title=Math refresher for scientists and engineers | first1=John R. | last1=Fanchi | publisher=John Wiley and Sons | year=2006 | isbn=0-471-75715-2 | pages=44–45 | url=https://books.google.com/books?id=75mAJPcAWT8C}}, [https://books.google.com/books?id=75mAJPcAWT8C&pg=PA45 Section 3.2, page 45]</ref>

<math display="block">B^2 - 4AC .</math>
If the conic is non-degenerate, then:
* if <math>B^2 - 4AC < 0 </math>, the equation represents an [[ellipse]];
** if <math>A = C </math> and <math>B = 0 </math>, the equation represents a [[circle]], which is a special case of an ellipse;
* if <math>B^2 - 4AC = 0 </math>, the equation represents a [[parabola]];
* if <math>B^2 - 4AC > 0 </math>, the equation represents a [[hyperbola]];
** if we also have <math>A + C = 0 </math>, the equation represents a [[hyperbola|rectangular hyperbola]].

===Quadric surfaces===
{{main|Quadric surface}}
A '''quadric''', or '''quadric surface''', is a ''2''-dimensional [[Surface (mathematics)|surface]] in 3-dimensional space defined as the [[locus (mathematics)|locus]] of [[root of a function|zeros]] of a [[quadratic polynomial]]. In coordinates {{nowrap|''x''<sub>1</sub>, ''x''<sub>2</sub>,''x''<sub>3</sub>}}, the general quadric is defined by the [[algebraic equation]]<ref name="geom">Silvio Levy [http://www.geom.uiuc.edu/docs/reference/CRC-formulas/node61.html Quadrics] {{Webarchive|url=https://web.archive.org/web/20180718165310/http://www.geom.uiuc.edu/docs/reference/CRC-formulas/node61.html |date=2018-07-18 }} in "Geometry Formulas and Facts", excerpted from 30th Edition of ''CRC Standard Mathematical Tables and Formulas'', [[CRC Press]], from [[The Geometry Center]] at [[University of Minnesota]]</ref>

<math display="block">\sum_{i,j=1}^{3} x_i Q_{ij} x_j + \sum_{i=1}^{3} P_i  x_i + R = 0.</math>

Quadric surfaces include [[ellipsoid]]s (including the [[sphere]]), [[paraboloid]]s, [[hyperboloid]]s, [[cylinder (geometry)|cylinder]]s, [[cones]], and [[plane (geometry)|planes]].

==Distance and angle==
{{main|Distance|Angle}}
[[File:Distance Formula.svg|thumb|right|250px|The distance formula on the plane follows from the Pythagorean theorem.]]

In analytic geometry, geometric notions such as [[distance]] and [[angle]] measure are defined using [[formula]]s.  These definitions are designed to be consistent with the underlying [[Euclidean geometry]].  For example, using [[Cartesian coordinates]] on the plane, the distance between two points (''x''<sub>1</sub>,&nbsp;''y''<sub>1</sub>) and (''x''<sub>2</sub>,&nbsp;''y''<sub>2</sub>) is defined by the formula
<math display="block">d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2},</math>
which can be viewed as a version of the [[Pythagorean theorem]].  Similarly, the angle that a line makes with the horizontal can be defined by the formula
<math display="block">\theta = \arctan(m),</math>
where ''m'' is the [[slope]] of the line.

In three dimensions, distance is given by the generalization of the Pythagorean theorem:
<math display="block">d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2+ (z_2 - z_1)^2},</math>
while the angle between two vectors is given by the [[dot product]]. The dot product of two Euclidean vectors '''A''' and '''B''' is defined by<ref name="Spiegel2009">{{cite book |author1=M.R. Spiegel |author2=S. Lipschutz |author3=D. Spellman |title= Vector Analysis (Schaum's Outlines)|edition= 2nd |year= 2009|publisher= McGraw Hill|isbn=978-0-07-161545-7}}</ref>
<math display="block">\mathbf A\cdot\mathbf B \stackrel{\mathrm{def}}{=} \left\|\mathbf A\right\| \left\|\mathbf B\right\| \cos\theta,</math>
where ''θ'' is the [[angle]] between '''A''' and '''B'''.

==Transformations==
[[File:FourGeometryTransformations.svg|thumb|400px|<div class="center">a) y = f(x) = <nowiki>|</nowiki>x<nowiki>|</nowiki> {{spaces|5}}  b) y = f(x+3) {{spaces|5}} c) y = f(x)-3 {{spaces|5}} d) y = 1/2 f(x)</div>]]

Transformations are applied to a parent function to turn it into a new function with similar characteristics.

The graph of <math>R(x,y)</math> is changed by standard transformations as follows:
* Changing <math>x</math> to <math>x-h</math> moves the graph to the right <math>h</math> units.
* Changing <math>y</math> to <math>y-k</math> moves the graph up <math>k</math> units.
* Changing <math>x</math> to <math>x/b</math> stretches the graph horizontally by a factor of <math>b</math>.  (think of the <math>x</math> as being dilated)
* Changing <math>y</math> to <math>y/a</math> stretches the graph vertically.
* Changing <math>x</math> to <math>x\cos A+ y\sin A</math> and changing <math>y</math> to <math>-x\sin A + y\cos A</math> rotates the graph by an angle <math>A</math>.

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]].

For example, the parent function <math>y=1/x</math> 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 <math>y=f(x)</math>, then it can be transformed into <math>y=af(b(x-k))+h</math>. In the new transformed function, <math>a</math> 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 <math>a</math> values, the function is reflected in the <math>x</math>-axis. The <math>b</math> value compresses the graph of the function horizontally if greater than 1 and stretches the function horizontally if less than 1, and like <math>a</math>, reflects the function in the <math>y</math>-axis when it is negative. The <math>k</math> and <math>h</math> values introduce translations, <math>h</math>, vertical, and <math>k</math> horizontal. Positive <math>h</math> and <math>k</math> 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 <math>R(x,y)</math> is a relation in the <math>xy</math> plane.  For example,
<math display="block">x^2+y^2-1=0</math>
is the relation that describes the unit circle.

==Finding intersections of geometric objects {{anchor|Intersections}}==
{{main|Intersection (geometry)}}
For two geometric objects P and Q represented by the relations <math>P(x,y)</math> and <math>Q(x,y)</math> the intersection is the collection of all points <math>(x,y)</math> which are in both relations.<ref>While this discussion is limited to the xy-plane, it can easily be extended to higher dimensions.</ref>

For example, <math>P</math> might be the circle with radius 1 and center <math>(0,0)</math>:  <math>P = \{(x,y) | x^2+y^2=1\}</math> and <math>Q</math> might be the circle with radius 1 and center <math>(1,0): Q = \{(x,y) | (x-1)^2+y^2=1\}</math>.  The intersection of these two circles is the collection of points which make both equations true.  Does the point <math>(0,0)</math> make both equations true?   Using <math>(0,0)</math> for <math>(x,y)</math>, the equation for <math>Q</math> becomes <math>(0-1)^2+0^2=1</math> or <math>(-1)^2=1</math> which is true, so <math>(0,0)</math> is in the relation <math>Q</math>.  On the other hand, still using <math>(0,0)</math> for <math>(x,y)</math> the equation for <math>P</math> becomes <math>0^2+0^2=1</math> or <math>0=1</math> which is false.  <math>(0,0)</math> is not in <math>P</math> so it is not in the intersection.

The intersection of <math>P</math> and <math>Q</math> can be found by solving the simultaneous equations:

<math display="block">x^2+y^2 = 1</math>
<math display="block">(x-1)^2+y^2 = 1.</math>

Traditional methods for finding intersections include substitution and elimination.

'''Substitution:'''  Solve the first equation for <math>y</math> in terms of <math>x</math> and then substitute the expression for <math>y</math> into the second equation:

<math display="block">x^2+y^2 = 1</math>
<math display="block">y^2=1-x^2.</math>

We then substitute this value for <math>y^2</math> into the other equation and proceed to solve for <math>x</math>:
<math display="block">(x-1)^2+(1-x^2)=1</math>
<math display="block">x^2 -2x +1 +1 -x^2 =1</math>
<math display="block">-2x = -1</math>
<math display="block">x=1/2.</math>

Next, we place this value of <math>x</math> in either of the original equations and solve for <math>y</math>:

<math display="block">(1/2)^2+y^2 = 1</math>
<math display="block">y^2 =3/4</math>
<math display="block">y = \frac{\pm \sqrt{3}}{2}.</math>

So our intersection has two points:
<math display="block"> \left(1/2,\frac{+ \sqrt{3}}{2}\right) \;\;  \text{and} \;\;  \left(1/2,\frac{-\sqrt{3}}{2}\right). </math>

'''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 <math>(x-1)^2-x^2=0</math>. The <math>y^2</math> in the first equation is subtracted from the <math>y^2</math> in the second equation leaving no <math>y</math> term. The variable <math>y</math> has been eliminated. We then solve the remaining equation for <math>x</math>, in the same way as in the substitution method:

<math display="block">x^2 -2x +1 -x^2 =0 </math>
<math display="block">-2x = -1</math>
<math display="block">x=1/2.</math>

We then place this value of <math>x</math> in either of the original equations and solve for <math>y</math>:
<math display="block">(1/2)^2+y^2 = 1</math>
<math display="block">y^2 = 3/4</math>
<math display="block">y = \frac{\pm \sqrt{3}}{2}.</math>

So our intersection has two points:
<math display="block"> \left(1/2,\frac{+ \sqrt{3}}{2}\right) \;\;  \text{and} \;\; \left(1/2,\frac{-\sqrt{3}}{2}\right). </math>

For conic sections, as many as 4 points might be in the intersection.

===Finding intercepts===
{{main|x-intercept|y-intercept}}
One type of intersection which is widely studied is the intersection of a geometric object with the <math>x</math> and <math>y</math> coordinate axes.

The intersection of a geometric object and the <math>y</math>-axis is called the <math>y</math>-intercept of the object.
The intersection of a geometric object and the <math>x</math>-axis is called the <math>x</math>-intercept of the object.

For the line <math>y=mx+b</math>, the parameter <math>b</math> specifies the point where the line crosses the <math>y</math> axis. Depending on the context, either <math>b</math> or the point <math>(0,b)</math> is called the <math>y</math>-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 (perpendicular) line, otherwise in engineering as ''axial line''.

In [[geometry]], a '''normal''' is an object such as a line or vector that is [[perpendicular]] 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]] to the curve at the point.

In the three-dimensional case a '''surface normal''', or simply '''normal''', to a [[Surface (mathematics)|surface]] at a point ''P'' is a [[vector (geometry)|vector]] that is [[perpendicular]] to the [[Tangent space|tangent plane]] to that surface at ''P''. The word "normal" is also used as an adjective: a [[line (geometry)|line]] normal to a [[plane (geometry)|plane]], the normal component of a [[force]], the '''normal vector''', etc. The concept of '''normality''' generalizes to [[orthogonality]].

==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===
{{main|Tangent}}
In [[geometry]], the '''tangent line''' (or simply '''tangent''') to a plane [[curve]] at a given [[Point (geometry)|point]] is the [[straight line]] that "just touches" the curve at that point. Informally, it is a line through a pair of [[infinitesimal|infinitely close]] points on the curve. More precisely, a straight line is said to be a tangent of a curve {{nowrap|1=''y'' = ''f''(''x'')}} at a point {{nowrap|1=''x'' = ''c''}} on the curve if the line passes through the point {{nowrap|(''c'', ''f''(''c''))}} on the curve and has slope {{nowrap|''f''{{'}}(''c'')}} where ''f''{{'}} is the [[derivative]] of ''f''. A similar definition applies to [[space curve]]s and curves in ''n''-dimensional [[Euclidean space]].

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 (mathematics)|surface]] at a given point is the [[Plane (mathematics)|plane]] that "just touches" the surface at that point. The concept of a tangent is one of the most fundamental notions in [[differential geometry]] and has been extensively generalized; see [[Tangent space]].

==See also==
* [[Applied geometry]]
* [[Cross product]]
* [[Rotation of axes]]
* [[Translation of axes]]
* [[Vector space]]

==Notes==
{{Reflist}}

==References==

===Books===
* {{citation|last=Boyer|first=Carl B.|title=History of Analytic Geometry|year=2004|orig-year=1956|publisher=Dover Publications |isbn=978-0486438320}}
* {{citation|last=Cajori|first=Florian|title=A History of Mathematics|publisher=AMS|isbn=978-0821821022|year=1999}}
* [[John Casey (mathematician)|John Casey]] (1885) [https://archive.org/details/cu31924001520455 Analytic Geometry of the Point, Line, Circle, and Conic Sections], link from [[Internet Archive]].
* {{citation|last=Katz|first=Victor J.|title=A History of Mathematics: An Introduction (2nd Ed.)|publisher=Addison Wesley Longman |place=Reading|year=1998|isbn=0-321-01618-1|url=https://archive.org/details/historyofmathema00katz}}
* [[Mikhail Postnikov]] (1982) [https://archive.org/details/postnikov-lectures-in-geometry-semester-i Lectures in Geometry Semester I Analytic Geometry] via Internet Archive
* {{citation|last=Struik|first=D. J.|title=A Source Book in Mathematics, 1200-1800|publisher=Harvard University Press |isbn=978-0674823556|year=1969}}

===Articles===
* {{citation|last=Bissell|first=Christopher C.|title=Cartesian geometry: The Dutch contribution|journal=[[The Mathematical Intelligencer]] | volume=9|pages=38–44|year=1987|issue=4 |doi=10.1007/BF03023730|doi-access=}}
* {{citation|last=Boyer|first=Carl B.|title=Analytic Geometry: The Discovery of Fermat and Descartes|journal=[[Mathematics Teacher]] |volume=37|issue=3|year=1944|pages=99–105|doi=10.5951/MT.37.3.0099}}
* {{citation|last=Boyer|first=Carl B.|title=Johann Hudde and space coordinates|journal=[[Mathematics Teacher]] |volume=58 |issue=1 |year=1965|pages=33–36|doi=10.5951/MT.58.1.0033}}
* {{citation|last=Coolidge|first=J. L.|title=The Beginnings of Analytic Geometry in Three Dimensions|journal=[[American Mathematical Monthly]]|year=1948|volume=55|issue=2|pages=76–86|doi=10.2307/2305740|jstor=2305740}}
* {{citation|last=Pecl|first=J.|title=Newton and analytic geometry}}

==External links==
* [http://www.mathopenref.com/tocs/coordpointstoc.html Coordinate Geometry topics] with interactive animations
{{Areas of mathematics}}
{{Authority control}}

[[Category:Analytic geometry| ]]