Geometry
Projecting a sphere to a plane
Outline History (Timeline)
Branches Euclidean Non-Euclidean Elliptic Spherical Hyperbolic Non-Archimedean geometry Projective Affine Synthetic Analytic Algebraic Arithmetic Diophantine Differential Riemannian Symplectic Discrete differential Complex Finite Discrete/Combinatorial Digital Convex Computational Fractal Incidence Noncommutative geometry Noncommutative algebraic geometry
Concepts Features Dimension Straightedge and compass constructions Angle Curve Diagonal Orthogonality (Perpendicular) Parallel Vertex Congruence Similarity Symmetry
Zero-dimensional Point
One-dimensional Line segment ray Length
Two-dimensional Plane Area Polygon Triangle Altitude Hypotenuse Pythagorean theorem Parallelogram Square Rectangle Rhombus Rhomboid Quadrilateral Trapezoid Kite Circle Diameter Circumference Area
Three-dimensional Volume Cube cuboid Cylinder Dodecahedron Icosahedron Octahedron Pyramid Platonic Solid Sphere Tetrahedron
Four- / other-dimensional Tesseract Hypersphere
Geometers
by name Aida Aryabhata Ahmes Alhazen Apollonius Archimedes Atiyah Baudhayana Bolyai Brahmagupta Cartan Coxeter Descartes Euclid Euler Gauss Gromov Hilbert Huygens Jyeṣṭhadeva Kātyāyana Khayyám Klein Lobachevsky Manava Minkowski Minggatu Pascal Pythagoras Parameshvara Poincaré Riemann Sakabe Sijzi al-Tusi Veblen Virasena Yang Hui al-Yasamin Zhang List of geometers
by period BCE Ahmes Baudhayana Manava Pythagoras Euclid Archimedes Apollonius 1–1400s Zhang Kātyāyana Aryabhata Brahmagupta Virasena Alhazen Sijzi Khayyám al-Yasamin al-Tusi Yang Hui Parameshvara 1400s–1700s Jyeṣṭhadeva Descartes Pascal Huygens Minggatu Euler Sakabe Aida 1700s–1900s Gauss Lobachevsky Bolyai Riemann Klein Poincaré Hilbert Minkowski Cartan Veblen Coxeter Present day Atiyah Gromov

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, rocketry, space science, and spaceflight. It 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 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

Western Europe

Part of a series on
René Descartes
Philosophy Cartesianism Rationalism Foundationalism Mechanism Doubt and certainty Dream argument Cogito, ergo sum Evil demon Trademark argument Causal adequacy principle Mind–body dichotomy Analytic geometry Coordinate system Cartesian circle Folium Rule of signs Cartesian diver Balloonist theory Wax argument Res cogitans Res extensa
Works Rules for the Direction of the Mind The Search for Truth The World Discourse on the Method La Géométrie Meditations on First Philosophy Principles of Philosophy Passions of the Soul
People Christina, Queen of Sweden Nicolas Malebranche Baruch Spinoza Gottfried Wilhelm Leibniz Francine Descartes

See also: René Descartes § Analytic geometry

Analytic geometry was independently invented by René Descartes and Pierre de Fermat,^[8][9] although Descartes is sometimes given sole credit.^[10][11] 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. La Geometrie, written in his native 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 van Schooten in 1649 (and further work thereafter) did Descartes's masterpiece receive due recognition.^[12]

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.^[13][14][15] 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.^[12] 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

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 plane is given a coordinate system, by which every 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:^[16]

Polar coordinates (in a plane)

Main article: Polar coordinates

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:

$${\displaystyle x=r\,\cos \theta ,\,y=r\,\sin \theta$$ ;\,r={\sqrt {x^{2}+y^{2}}},\,\theta =\arctan(y/x).}

This system may be generalized to three-dimensional space through the use of cylindrical or spherical coordinates.

Equations and curves

In analytic geometry, any equation involving the coordinates specifies a subset of the plane, namely the solution set for the equation, or locus. 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.^[17]

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² + y² = 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.^[18] The equation x² + y² = r² is the equation for any circle centered at the origin (0, 0) with a radius of r.

Lines and planes

Main articles: Line (geometry) and 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:

$${\displaystyle y=mx+b}$$

where:

• m is the slope or gradient of the line.
• b is the y-intercept of the line.
• x is the independent variable of the function y = f(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 ${\displaystyle \mathbf {r} _{0}}$ be the position vector of some point ${\displaystyle P_{0}=(x_{0},y_{0},z_{0})}$, and let ${\displaystyle \mathbf {n} =(a,b,c)}$ be a nonzero vector. The plane determined by this point and vector consists of those points ${\displaystyle P}$, with position vector ${\displaystyle \mathbf {r} }$, such that the vector drawn from ${\displaystyle P_{0}}$ to ${\displaystyle P}$ is perpendicular to ${\displaystyle \mathbf {n} }$. 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 ${\displaystyle \mathbf {r} }$ such that

$${\displaystyle \mathbf {n} \cdot (\mathbf {r} -\mathbf {r} _{0})=0.}$$

(The dot here means a dot product, not scalar multiplication.) Expanded this becomes

$${\displaystyle a(x-x_{0})+b(y-y_{0})+c(z-z_{0})=0,}$$

which is the point-normal form of the equation of a plane. This is just a linear equation:

$${\displaystyle ax+by+cz+d=0,{\text{ where }}d=-(ax_{0}+by_{0}+cz_{0}).}$$

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

$${\displaystyle ax+by+cz+d=0,}$$

is a plane having the vector ${\displaystyle \mathbf {n} =(a,b,c)}$ as a normal. This familiar equation for a plane is called the general form of the equation of the plane.^[19]

In three dimensions, lines can not be described by a single linear equation, so they are frequently described by parametric equations:

$${\displaystyle x=x_{0}+at}$$

$${\displaystyle y=y_{0}+bt}$$

$${\displaystyle z=z_{0}+ct}$$

where:

• x, y, and z are all functions of the independent variable t which ranges over the real numbers.
• (x₀, y₀, z₀) is any point on the line.
• a, b, and c are related to the slope of the line, such that the vector (a, b, c) is parallel to the line.

Conic sections

Main article: Conic section

In the Cartesian coordinate system, the 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

$${\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0{\text{ with }}A,B,C{\text{ not all zero.}}}$$

As scaling all six constants yields the same locus of zeros, one can consider conics as points in the five-dimensional projective space ${\displaystyle \mathbf {P} ^{5}.}$

The conic sections described by this equation can be classified using the discriminant^[20]

$${\displaystyle B^{2}-4AC.}$$

If the conic is non-degenerate, then:

• if ${\displaystyle B^{2}-4AC<0}$, the equation represents an ellipse;
  • if ${\displaystyle A=C}$ and ${\displaystyle B=0}$, the equation represents a circle, which is a special case of an ellipse;
• if ${\displaystyle B^{2}-4AC=0}$, the equation represents a parabola;
• if ${\displaystyle B^{2}-4AC>0}$, the equation represents a hyperbola;
  • if we also have ${\displaystyle A+C=0}$, the equation represents a rectangular hyperbola.

Quadric surfaces

Main article: Quadric surface

A quadric, or quadric surface, is a 2-dimensional surface in 3-dimensional space defined as the locus of zeros of a quadratic polynomial. In coordinates x₁, x₂,x₃, the general quadric is defined by the algebraic equation^[21]

$${\displaystyle \sum _{i,j=1}^{3}x_{i}Q_{ij}x_{j}+\sum _{i=1}^{3}P_{i}x_{i}+R=0.}$$

Quadric surfaces include ellipsoids (including the sphere), paraboloids, hyperboloids, cylinders, cones, and planes.

Distance and angle

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 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₁, y₁) and (x₂, y₂) is defined by the formula

$${\displaystyle d={\sqrt {(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}}},}$$

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

$${\displaystyle \theta =\arctan(m),}$$

where m is the slope of the line.

In three dimensions, distance is given by the generalization of the Pythagorean theorem:

$${\displaystyle d={\sqrt {(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}+(z_{2}-z_{1})^{2}}},}$$

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^[22]

$${\displaystyle \mathbf {A} \cdot \mathbf {B} {\stackrel {\mathrm {def} }{=}}\left\|\mathbf {A} \right\|\left\|\mathbf {B} \right\|\cos \theta ,}$$

where θ is the angle between A and B.

Transformations

a) y = f(x) = |x|       b) y = f(x+3)       c) y = f(x)-3       d) y = 1/2 f(x)

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

The graph of ${\displaystyle R(x,y)}$ is changed by standard transformations as follows:

• Changing ${\displaystyle x}$ to ${\displaystyle x-h}$ moves the graph to the right ${\displaystyle h}$ units.
• Changing ${\displaystyle y}$ to ${\displaystyle y-k}$ moves the graph up ${\displaystyle k}$ units.
• Changing ${\displaystyle x}$ to ${\displaystyle x/b}$ stretches the graph horizontally by a factor of ${\displaystyle b}$. (think of the ${\displaystyle x}$ as being dilated)
• Changing ${\displaystyle y}$ to ${\displaystyle y/a}$ stretches the graph vertically.
• Changing ${\displaystyle x}$ to ${\displaystyle x\cos A+y\sin A}$ and changing ${\displaystyle y}$ to ${\displaystyle -x\sin A+y\cos A}$ rotates the graph by an angle ${\displaystyle A}$.

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 ${\displaystyle y=1/x}$ 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 ${\displaystyle y=f(x)}$, then it can be transformed into ${\displaystyle y=af(b(x-k))+h}$. In the new transformed function, ${\displaystyle a}$ 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 ${\displaystyle a}$ values, the function is reflected in the ${\displaystyle x}$-axis. The ${\displaystyle b}$ value compresses the graph of the function horizontally if greater than 1 and stretches the function horizontally if less than 1, and like ${\displaystyle a}$, reflects the function in the ${\displaystyle y}$-axis when it is negative. The ${\displaystyle k}$ and ${\displaystyle h}$ values introduce translations, ${\displaystyle h}$, vertical, and ${\displaystyle k}$ horizontal. Positive ${\displaystyle h}$ and ${\displaystyle k}$ 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 ${\displaystyle R(x,y)}$ is a relation in the ${\displaystyle xy}$ plane. For example,

$${\displaystyle x^{2}+y^{2}-1=0}$$

is the relation that describes the unit circle.

Finding intersections of geometric objects

For two geometric objects P and Q represented by the relations ${\displaystyle P(x,y)}$ and ${\displaystyle Q(x,y)}$ the intersection is the collection of all points ${\displaystyle (x,y)}$ which are in both relations.^[23]

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

The intersection of ${\displaystyle P}$ and ${\displaystyle Q}$ can be found by solving the simultaneous equations:

$${\displaystyle x^{2}+y^{2}=1}$$

$${\displaystyle (x-1)^{2}+y^{2}=1.}$$

Traditional methods for finding intersections include substitution and elimination.

Substitution: Solve the first equation for ${\displaystyle y}$ in terms of ${\displaystyle x}$ and then substitute the expression for ${\displaystyle y}$ into the second equation:

$${\displaystyle x^{2}+y^{2}=1}$$

$${\displaystyle y^{2}=1-x^{2}.}$$

We then substitute this value for ${\displaystyle y^{2}}$ into the other equation and proceed to solve for ${\displaystyle x}$:

$${\displaystyle (x-1)^{2}+(1-x^{2})=1}$$

$${\displaystyle x^{2}-2x+1+1-x^{2}=1}$$

$${\displaystyle -2x=-1}$$

$${\displaystyle x=1/2.}$$

Next, we place this value of ${\displaystyle x}$ in either of the original equations and solve for ${\displaystyle y}$:

$${\displaystyle (1/2)^{2}+y^{2}=1}$$

$${\displaystyle y^{2}=3/4}$$

$${\displaystyle y={\frac {\pm {\sqrt {3}}}{2}}.}$$

So our intersection has two points:

$${\displaystyle \left(1/2,{\frac {+{\sqrt {3}}}{2}}\right)\;\;{\text{and}}\;\;\left(1/2,{\frac {-{\sqrt {3}}}{2}}\right).}$$

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

$${\displaystyle x^{2}-2x+1+1-x^{2}=1}$$

$${\displaystyle -2x=-1}$$

$${\displaystyle x=1/2.}$$

We then place this value of ${\displaystyle x}$ in either of the original equations and solve for ${\displaystyle y}$:

$${\displaystyle (1/2)^{2}+y^{2}=1}$$

$${\displaystyle y^{2}=3/4}$$

$${\displaystyle y={\frac {\pm {\sqrt {3}}}{2}}.}$$

So our intersection has two points:

$${\displaystyle \left(1/2,{\frac {+{\sqrt {3}}}{2}}\right)\;\;{\text{and}}\;\;\left(1/2,{\frac {-{\sqrt {3}}}{2}}\right).}$$

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

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, 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 at a point P is a vector that is perpendicular to the tangent plane to that surface at P. The word "normal" is also used as an adjective: a line normal to a 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.

See also

• Applied geometry
• Cross product
• Rotation of axes
• Translation of axes
• Vector space

Notes

References

External links

• Coordinate Geometry topics with interactive animations