# Difference between revisions of "Analytic geometry"

(All revisions contained links to *.com, blanking) |
m (Reverted edits by MediaWiki spam cleanup (talk) to last revision by 177.0.162.23) |
||

Line 1: | Line 1: | ||

+ | [[File:Punktkoordinaten.svg|thumb|350px|Cartesian coordinates]] | ||

+ | {{General geometry}} | ||

+ | '''Analytic geometry''', or '''analytical geometry''', has two different meanings in mathematics. The [[Analytic geometry#Modern analytic geometry|modern and advanced meaning]] refers to the geometry of [[analytic variety|analytic varieties]]. This article focuses on the classical and elementary meaning. | ||

+ | |||

+ | In classical mathematics, ''analytic geometry'', also known as '''coordinate geometry''', or '''Cartesian geometry''', is the study of [[geometry]] using a [[coordinate system]] and the principles of [[algebra]] and [[Mathematical analysis|analysis]]. This contrasts with the [[synthetic geometry|synthetic]] approach of [[Euclidean geometry]], which treats certain geometric notions as [[Primitive notion|primitive]], and uses [[deductive reasoning]] based on [[axiom]]s and [[theorem]]s to derive truth. Analytic geometry is widely used in [[physics]] and [[engineering]], and is the foundation of most modern fields of geometry, including [[algebraic geometry|algebraic]], [[differential geometry|differential]], [[discrete geometry|discrete]], and [[computational geometry|computational]] geometry. | ||

+ | |||

+ | Usually the [[Cartesian coordinate system]] is applied to manipulate [[equation]]s for [[Plane (mathematics)|plane]]s, [[Line (geometry)|straight line]]s, and [[Square (geometry)|square]]s, often in two and sometimes in three dimensions. Geometrically, one studies the [[Euclidean plane]] (2 dimensions) and [[Euclidean space]] (3 dimensions). As taught in school books, analytic geometry can be explained more simply: it is concerned with defining and representing geometrical shapes in a numerical way and extracting numerical information from shapes' numerical definitions and representations. The numerical output, however, might also be a [[Vector (geometric)|vector]] or a [[geometric shape|shape]]. 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== | ||

+ | 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 |authorlink=Carl Benjamin Boyer |title=A History of Mathematics |edition=Second Edition |publisher=John Wiley & Sons, Inc. |year=1991 |isbn=0-471-54397-7|chapter=The Age of Plato and Aristotle|pages=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.}}</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 |authorlink=Carl Benjamin Boyer |title=A History of Mathematics |edition=Second Edition |publisher=John Wiley & Sons, Inc. |year=1991 |isbn=0-471-54397-7|chapter=Apollonius of Perga |pages=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.}}</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 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 |authorlink=Carl Benjamin Boyer |title=A History of Mathematics |edition=Second Edition |publisher=John Wiley & Sons, Inc. |year=1991 |isbn=0-471-54397-7|chapter=Apollonius of Perga |pages=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.}}</ref> | ||

+ | |||

+ | The eleventh century [[Persian Empire|Persian]] mathematician [[Omar Khayyám]] saw a strong relationship between geometry and algebra, and was moving in the right direction when he helped to 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>Glen M. Cooper (2003). "Omar Khayyam, the Mathematician", ''The Journal of the American Oriental Society'' '''123'''.</ref> but the decisive step came later with Descartes.<ref name="Boyer Omar Khayyam positive roots">{{cite book|last=Boyer|authorlink=Carl Benjamin Boyer|title=|year=1991|chapter=The Arabic Hegemony|pages=241–242|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> | ||

+ | |||

+ | Analytic geometry has traditionally been attributed to [[René Descartes]].<ref name="Boyer Omar Khayyam positive roots"/><ref>{{cite book|first=John|last=Stillwell|authorlink=John Stillwell|title=Mathematics and its History |edition=Second Edition |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>{{cite book|first=Roger |last=Cooke |authorlink=Roger Cooke |title=The History of Mathematics: A Brief Course|publisher=Wiley-Interscience |year=1997 |chapter=The Calculus |pages=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.}}</ref> Descartes made significant progress with the methods in an essay entitled ''[[La Geometrie]] (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 work, written in his native [[French language|French]] tongue, and its philosophical principles, provided a foundation for [[Infinitesimal 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 van Schooten in 1649 (and further work thereafter) did Descarte's masterpiece receive due recognition.<ref name="Katz 1998 loc=pg. 442">{{harvnb|Katz|1998|loc=pg. 442}}</ref> | ||

+ | |||

+ | [[Pierre 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> 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 which satisfied it, while Descartes starts with geometric curves and produces 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. | ||

+ | |||

+ | ==Basic principles== | ||

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

+ | |||

+ | ===Coordinates=== | ||

+ | {{Main|Coordinate systems}} | ||

+ | 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. 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'', ''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'', ''y'', ''z''). | ||

+ | |||

+ | Other coordinate systems are possible. On the plane the most common alternative is [[polar coordinates]], where every point is represented by its [[radius]] ''r'' from the origin and its [[angle]] ''θ''. In three dimensions, common alternative coordinate systems include [[cylindrical coordinates]] and [[spherical coordinates]]. | ||

+ | |||

+ | ===Equations of curves=== | ||

+ | In analytic geometry, any [[equation]] involving the coordinates specifies a [[subset]] of the plane, namely the [[solution set]] for the equation. 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 (geometry)|line]], and ''y'' = ''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. | ||

+ | |||

+ | Usually, a single equation corresponds to a [[curve]] on the plane. This is not always the case: the trivial equation ''x'' = ''x'' specifies the entire plane, and the equation ''x''<sup>2</sup> + ''y''<sup>2</sup> = 0 specifies only the single point (0, 0). In three dimensions, a single equation usually gives a [[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. The equation ''x''<sup>2</sup> + ''y''<sup>2</sup> = ''r''<sup>2</sup> is the equation for any circle with a radius of r. | ||

+ | |||

+ | [[File:Distance Formula.svg|thumb|right|250px|The distance formula on the plane follows from the Pythagorean theorem.]] | ||

+ | |||

+ | ===Distance and angle=== | ||

+ | 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>, ''y''<sub>1</sub>) and (''x''<sub>2</sub>, ''y''<sub>2</sub>) is defined by the formula | ||

+ | :<math>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>\theta = \arctan(m)\!</math> | ||

+ | where ''m'' is the [[slope]] of the line. | ||

+ | |||

+ | ===Transformations=== | ||

+ | [[File:FourGeometryTransformations.svg|thumb|400px|<center>a) y = f(x) = <nowiki>|</nowiki>x<nowiki>|</nowiki> b) y = f(x+3) c) y = f(x)-3 d) y = 1/2 f(x)</center>]] | ||

+ | |||

+ | Transformations are applied to parent functions to turn it into a new function with similar characteristics. 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>x^2+y^2-1=0</math> | ||

+ | |||

+ | is the relation that describes the unit circle. | ||

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

+ | |||

+ | ===Intersections=== | ||

+ | While this discussion is limited to the xy-plane, it can easily be extended to higher dimensions. 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. | ||

+ | 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>x^2+y^2 = 1</math> | ||

+ | |||

+ | <math>(x-1)^2+y^2 = 1</math> | ||

+ | |||

+ | Traditional methods 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>x^2+y^2 = 1</math> | ||

+ | |||

+ | <math>y^2=1-x^2</math> | ||

+ | We then substitute this value for <math>y^2</math> into the other equation: | ||

+ | |||

+ | <math>(x-1)^2+(1-x^2)=1</math> and proceed to solve for <math>x</math>: | ||

+ | |||

+ | <math>x^2 -2x +1 +1 -x^2 =1</math> | ||

+ | |||

+ | <math>-2x = -1</math> | ||

+ | |||

+ | <math>x=1/2</math> | ||

+ | |||

+ | We next place this value of <math>x</math> in either of the original equations and solve for <math>y</math>: | ||

+ | |||

+ | <math>(1/2)^2+y^2 = 1</math> | ||

+ | |||

+ | <math>y^2 =3/4</math> | ||

+ | |||

+ | :<math>y = \frac{\pm \sqrt{3}}{2}</math> | ||

+ | |||

+ | So that our intersection has two points: | ||

+ | |||

+ | :<math> \left(1/2,\frac{+ \sqrt{3}}{2}\right) \;\; \mathrm{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>x^2 -2x +1 +1 -x^2 =1 </math> | ||

+ | <math>-2x = -1</math> | ||

+ | <math>x=1/2</math> | ||

+ | We next place this value of <math>x</math> in either of the original equations and solve for <math>y</math>: | ||

+ | <math>(1/2)^2+y^2 = 1</math> | ||

+ | |||

+ | <math>y^2 = 3/4</math> | ||

+ | |||

+ | :<math>y = \frac{\pm \sqrt{3}}{2}</math> | ||

+ | So that our intersection has two points: | ||

+ | |||

+ | :<math> \left(1/2,\frac{+ \sqrt{3}}{2}\right) \;\; \mathrm{and} \;\; \left(1/2,\frac{-\sqrt{3}}{2}\right) </math> | ||

+ | |||

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

+ | |||

+ | ===Intercepts=== | ||

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

+ | |||

+ | ==Themes== | ||

+ | Important themes of analytical geometry are | ||

+ | * [[vector space]] | ||

+ | * definition of the [[plane (mathematics)|plane]] | ||

+ | * [[distance]] problems | ||

+ | * the [[dot product]], to get the angle of two vectors | ||

+ | * the [[cross product]], to get a perpendicular vector of two known vectors (and also their spatial volume) | ||

+ | * [[intersection (set theory)|intersection]] problems | ||

+ | * [[conic sections]] depending on the class, this may include rotation of coordinates and the general quadratic problems | ||

+ | <math> Ax^2 + Bxy + Cy^2 +Dx + Ey + F = 0</math>. If the <math>Bxy</math> term is considered, rotations are generally used. | ||

+ | |||

+ | Many of these problems involve [[linear algebra]]. | ||

+ | |||

+ | ==Example== | ||

+ | Here an example of a problem from the [[United States of America Mathematical Talent Search]] that can be solved via analytic geometry: | ||

+ | |||

+ | '''Problem:''' In a convex pentagon <math>ABCDE</math>, the sides have lengths <math>1</math>, <math>2</math>, <math>3</math>, <math>4</math>, and <math>5</math>, though not necessarily in | ||

+ | that order. Let <math>F</math>, <math>G</math>, <math>H</math>, and <math>I</math> be the midpoints of the sides <math>AB</math>, <math>BC</math>, <math>CD</math>, and <math>DE</math>, respectively. | ||

+ | Let <math>X</math> be the midpoint of segment <math>FH</math>, and <math>Y</math> be the midpoint of segment <math>GI</math>. The length of | ||

+ | segment <math>XY</math> is an integer. Find all possible values for the length of side <math>AE</math>. | ||

+ | |||

+ | '''Solution:''' [[Without loss of generality]], let <math>A</math>, <math>B</math>, <math>C</math>, <math>D</math>, and <math>E</math> be located at <math>A=(0,0)</math>, <math>B=(a,0)</math>, <math>C=(b,e)</math>, <math>D=(c,f)</math>, and <math>E=(d,g)</math>. | ||

+ | |||

+ | Using the [[midpoint]] formula, the points <math>F</math>, <math>G</math>, <math>H</math>, <math>I</math>, <math>X</math>, and <math>Y</math> are located at | ||

+ | |||

+ | :<math>F\left(\frac{a}{2},0\right)</math>, <math>G\left(\frac{a+b}{2},\frac{e}{2}\right)</math>, <math>H\left(\frac{b+c}{2},\frac{e+f}{2}\right)</math>, <math>I\left(\frac{c+d}{2},\frac{f+g}{2}\right)</math>, <math>X\left(\frac{a+b+c}{4},\frac{e+f}{4}\right)</math>, and <math>Y\left(\frac{a+b+c+d}{4},\frac{e+f+g}{4}\right).</math> | ||

+ | |||

+ | Using the [[distance]] formula, | ||

+ | |||

+ | :<math>AE=\sqrt{d^2+g^2}</math> | ||

+ | |||

+ | and | ||

+ | |||

+ | :<math>XY=\sqrt{\frac{d^2}{16}+\frac{g^2}{16}}=\frac{\sqrt{d^2+g^2}}{4}.</math> | ||

+ | |||

+ | Since <math>XY</math> has to be an [[integer]], | ||

+ | :<math>AE\equiv 0\pmod{4}</math> | ||

+ | (see [[modular arithmetic]]) so <math>AE=4</math>. | ||

+ | |||

+ | ==Modern analytic geometry== | ||

+ | {{Main|Algebraic geometry}} | ||

+ | {{Further|Complex geometry}} | ||

+ | |||

+ | An '''[[analytic variety]]''' is defined locally as the set of common solutions of several equations involving [[analytic function]]s. It is analogous to the included concept of real or complex [[algebraic variety]]. Any [[complex manifold]] is an analytic variety. Since analytic varieties may have [[Mathematical singularity|singular points]], not all analytic varieties are manifolds. | ||

+ | |||

+ | Analytic geometry is essentially equivalent to real and complex [[Algebraic geometry]], as has been shown by [[Jean-Pierre Serre]] in his paper ''[[GAGA]]'', the name of which is French for ''Algebraic geometry and analytic geometry''. Nevertheless, the two fields remain distinct, as the methods of proof are quite different and algebraic geometry includes also geometry in finite [[Characteristic (algebra)|characteristic]]. | ||

+ | |||

+ | ==Notes== | ||

+ | {{Reflist}} | ||

+ | |||

+ | ==References== | ||

+ | ===Books=== | ||

+ | *{{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}} | ||

+ | *{{citation|last=Boyer|first=Carl B.|title=History of Analytic Geometry|publisher=Dover Publications|isbn=978-0486438320}} | ||

+ | *{{citation|last=Cajori|first=Florian|title=A History of Mathematics|publisher=AMS|isbn=978-0821821022}} | ||

+ | *{{citation|last=Struik|first=D. J.|title=A Source Book in Mathematics, 1200-1800|publisher=Harvard University Press|isbn=978-0674823556}} | ||

+ | ===Articles=== | ||

+ | *Boyer, Carl B. ''Analytic Geometry: The Discovery of Fermat and Descartes,'' Mathematics Teacher 37, no. 3 (1944): 99-105 | ||

+ | *{{citation|last=Boyer|first=Carl B.|title=Johann Hudde and space coordinates}} | ||

+ | *{{citation|last=Bissell|first=C. C.|title=Cartesian geometry: The Dutch contribution}} | ||

+ | *{{citation|last=Pecl|first=J.|title=Newton and analytic geometry}} | ||

+ | *{{citation|last=Coolidge|first=J. L.|title=The Beginnings of Analytic Geometry in Three Dimensions}} | ||

+ | |||

+ | ==External links== | ||

+ | *[http://www.mathopenref.com/tocs/coordpointstoc.html Coordinate Geometry topics] with interactive animations | ||

+ | |||

+ | {{DEFAULTSORT:Analytic Geometry}} | ||

+ | [[Category:Analytic geometry]] |

## Revision as of 13:35, 31 July 2014

**Analytic geometry**, or **analytical geometry**, has two different meanings in mathematics. The modern and advanced meaning refers to the geometry of analytic varieties. This article focuses on the classical and elementary meaning.

In classical mathematics, *analytic geometry*, also known as **coordinate geometry**, or **Cartesian geometry**, is the study of geometry using a coordinate system and the principles of algebra and analysis. This contrasts with the synthetic approach of Euclidean geometry, which treats certain geometric notions as primitive, and uses deductive reasoning based on axioms and theorems to derive truth. Analytic geometry is widely used in physics and engineering, and is the foundation of most modern fields of geometry, including algebraic, differential, discrete, and computational geometry.

Usually the Cartesian coordinate system is applied to manipulate equations for planes, straight lines, and squares, often in two and sometimes in three dimensions. Geometrically, one studies the Euclidean plane (2 dimensions) and Euclidean space (3 dimensions). As taught in school books, analytic geometry can be explained more simply: it is concerned with defining and representing geometrical shapes in a numerical way and extracting numerical information from shapes' numerical definitions and representations. The numerical output, however, might also be a vector or a shape. 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

The 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.^{[1]} Apollonius of Perga, 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.^{[2]} 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 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.^{[3]}

The eleventh century Persian mathematician Omar Khayyám saw a strong relationship between geometry and algebra, and was moving in the right direction when he helped to close the gap between numerical and geometric algebra^{[4]} with his geometric solution of the general cubic equations,^{[5]} but the decisive step came later with Descartes.^{[4]}

Analytic geometry has traditionally been attributed to René Descartes.^{[4]}^{[6]}^{[7]} Descartes made significant progress with the methods in an essay entitled *La Geometrie (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 work, written in his native French tongue, and its philosophical principles, provided a foundation for Infinitesimal 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 van Schooten in 1649 (and further work thereafter) did Descarte's masterpiece receive due recognition.^{[8]}

Pierre 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*.^{[9]} 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 which satisfied it, while Descartes starts with geometric curves and produces their equations as one of several properties of the curves.^{[8]} 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.

## Basic principles

### Coordinates

{{#invoke:main|main}}
In analytic geometry, the plane is given a coordinate system, by which every point has a pair of real number coordinates. 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*, *y*). This system can also be used for three-dimensional geometry, where every point in Euclidean space is represented by an ordered triple of coordinates (*x*, *y*, *z*).

Other coordinate systems are possible. On the plane the most common alternative is polar coordinates, where every point is represented by its radius *r* from the origin and its angle *θ*. In three dimensions, common alternative coordinate systems include cylindrical coordinates and spherical coordinates.

### Equations of curves

In analytic geometry, any equation involving the coordinates specifies a subset of the plane, namely the solution set for the equation. 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, and *y* = *x* is said to be the equation for this line. In general, linear equations involving *x* and *y* specify lines, quadratic equations specify conic sections, and more complicated equations describe more complicated figures.

Usually, a single equation corresponds to a curve 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, and a curve must be specified as the intersection of two surfaces (see below), or as a system of parametric equations. The equation *x*^{2} + *y*^{2} = *r*^{2} is the equation for any circle with a radius of r.

### Distance and angle

In analytic geometry, geometric notions such as distance and angle measure are defined using formulas. 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*_{1}, *y*_{1}) and (*x*_{2}, *y*_{2}) is defined by the formula

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

where *m* is the slope of the line.

### Transformations

Transformations are applied to parent functions to turn it into a new function with similar characteristics. 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. The graph of is changed by standard transformations as follows:

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.

### Intersections

While this discussion is limited to the xy-plane, it can easily be extended to higher dimensions. 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. 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 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:

We next place this value of in either of the original equations and solve for :

So that 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 next place this value of in either of the original equations and solve for :

So that our intersection has two points:

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

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

## Themes

Important themes of analytical geometry are

- vector space
- definition of the plane
- distance problems
- the dot product, to get the angle of two vectors
- the cross product, to get a perpendicular vector of two known vectors (and also their spatial volume)
- intersection problems
- conic sections depending on the class, this may include rotation of coordinates and the general quadratic problems

. If the term is considered, rotations are generally used.

Many of these problems involve linear algebra.

## Example

Here an example of a problem from the United States of America Mathematical Talent Search that can be solved via analytic geometry:

**Problem:** In a convex pentagon , the sides have lengths , , , , and , though not necessarily in
that order. Let , , , and be the midpoints of the sides , , , and , respectively.
Let be the midpoint of segment , and be the midpoint of segment . The length of
segment is an integer. Find all possible values for the length of side .

**Solution:** Without loss of generality, let , , , , and be located at , , , , and .

Using the midpoint formula, the points , , , , , and are located at

Using the distance formula,

and

Since has to be an integer,

(see modular arithmetic) so .

## Modern analytic geometry

{{#invoke:main|main}} Template:Rellink

An **analytic variety** is defined locally as the set of common solutions of several equations involving analytic functions. It is analogous to the included concept of real or complex algebraic variety. Any complex manifold is an analytic variety. Since analytic varieties may have singular points, not all analytic varieties are manifolds.

Analytic geometry is essentially equivalent to real and complex Algebraic geometry, as has been shown by Jean-Pierre Serre in his paper *GAGA*, the name of which is French for *Algebraic geometry and analytic geometry*. Nevertheless, the two fields remain distinct, as the methods of proof are quite different and algebraic geometry includes also geometry in finite characteristic.

## Notes

- ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑
^{4.0}^{4.1}^{4.2}{{#invoke:citation/CS1|citation |CitationClass=book }} - ↑ Glen M. Cooper (2003). "Omar Khayyam, the Mathematician",
*The Journal of the American Oriental Society***123**. - ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑
^{8.0}^{8.1}Template:Harvnb - ↑ Template:Harvnb

## References

### Books

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

### Articles

- Boyer, Carl B.
*Analytic Geometry: The Discovery of Fermat and Descartes,*Mathematics Teacher 37, no. 3 (1944): 99-105 - {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

## External links

- Coordinate Geometry topics with interactive animations