# Geometría analítica

La geometría analítica es una rama de las matemáticas que estudia las figuras, sus distancias, sus áreas, puntos de intersección, ángulos de inclinación, puntos de división, volúmenes, etcétera. Analiza con detalle los datos de las figuras geométricas mediante técnicas básicas del análisis matemático y del álgebra en un determinado sistema de coordenadas. Su desarrollo histórico comienza con la geometría cartesiana, continúa con la aparición de la geometría diferencial de Carl Friedrich Gauss y más tarde con el desarrollo de la geometría algebraica. Tiene múltiples aplicaciones, más allá de las matemáticas y la ingeniería, pues forma parte ahora del trabajo de administradores para la planeación de estrategias y logística en la toma de decisiones.
Las dos cuestiones fundamentales de la geometría analítica son:
* Dado el lugar geométrico de un sistema de coordenadas, para obtener su ecuación.
* Dada la ecuación en un sistema de coordenadas, determinar la gráfica o lugar geométrico de los puntos que verifican dicha ecuación.
La geometría analítica representa las figuras geométricas mediante la ecuación $y=f(x)$, donde $f$ es una función u otro tipo. Así, las rectas se expresan mediante la ecuación general $ax+by=c$, las circunferencias y el resto de cónicas como ecuaciones polinómicas de grado 2 (la circunferencia, $x^{2}+y^{2}=4$; la hipérbola, $xy=1$).

## Historia
### Antigua Grecia

El matemático griego Menecmo resolvió problemas y demostró teoremas utilizando un método que tenía un gran parecido con el uso de coordenadas y, en ocasiones, se ha sostenido que había introducido la geometría analítica.
Apolonio de Perge, en Sobre la sección determinada, trató los problemas de una manera que puede llamarse geometría analítica de una dimensión; con la cuestión de encontrar puntos en una recta que estuvieran en proporción a los demás. Apolonio en las Cónicas desarrolló además un método que es tan similar a la geometría analítica que a veces se piensa que su trabajo se anticipó al trabajo de René Descartes por unos 1800 años. Su aplicación de líneas de referencia, un diámetro y una tangente no es esencialmente diferente de nuestro uso moderno de un marco de coordenadas, donde las distancias medidas a lo largo del diámetro desde el punto de tangencia son las abscisas, y los segmentos paralelos a la tangente e interceptados entre el eje y la curva son las ordenadas. Desarrolló además relaciones entre las abscisas y las ordenadas correspondientes que son equivalentes a ecuaciones retóricas (expresadas en palabras) de curvas. Sin embargo, aunque Apolonio estuvo cerca de desarrollar la geometría analítica, no lo logró ya que no tuvo en cuenta las magnitudes negativas y en todos los casos el sistema de coordenadas se superpuso a una curva dada a posteriori en lugar de a priori. Es decir, las ecuaciones estaban determinadas por curvas, pero las curvas no estaban determinadas por ecuaciones. Las coordenadas, las variables y las ecuaciones eran nociones subsidiarias aplicadas a una situación geométrica específica.

### Persia

El matemático persa del siglo XI Omar Jayam vio una fuerte relación entre la geometría y el álgebra y se estaba moviendo en la dirección correcta cuando ayudó a cerrar la brecha entre el álgebra numérica y geométrica con su solución geométrica de las ecuaciones cúbicas generales, pero el paso decisivo vino después con Descartes. A Omar Jayam se le atribuye la identificación de los fundamentos de la geometría algebraica, y su libro Tratado sobre demostraciones de problemas de álgebra (1070), que estableció los principios de la geometría analítica, es parte del cuerpo de matemáticas persas que finalmente se transmitió a Europa. Debido a su enfoque geométrico completo de las ecuaciones algebraicas, Jayampuede considerarse un precursor de Descartes en la invención de la geometría analítica.$^{:248}$

### Europa Occidental

La geometría analítica fue inventada de forma independiente por René Descartes y Pierre de Fermat, aunque a Descartes a veces se le da el crédito exclusivo. La geometría cartesiana, el término alternativo utilizado para la geometría analítica, lleva el nombre de Descartes.
Descartes hizo un progreso significativo con los métodos en un ensayo titulado La Géométrie (La Geometría), uno de los tres ensayos adjuntos (apéndices) publicados en 1637 junto con su Discurso sobre el método para dirigir correctamente la razón y buscar la verdad en las ciencias, comúnmente denominado Discurso del método. La Géométrie, escrita en su lengua materna francesa, y sus principios filosóficos, sirvieron de base para el cálculo en Europa. Inicialmente, el trabajo no fue bien recibido debido, en parte, a las muchas lagunas en los argumentos y ecuaciones complicadas. Solo después de la traducción al latín y la adición de comentarios por Frans van Schooten en 1649 (y otros trabajos posteriores) hizo que la obra maestra de Descartes recibiera el debido reconocimiento.
Pierre de Fermat también fue pionero en el desarrollo de la geometría analítica. Aunque no se publicó durante su vida, una forma manuscrita de Ad locos planos et solidos isagoge (Introducción a los lugares planos y sólidos) circulaba en París en 1637, justo antes de la publicación del Discurso de Descartes. Claramente escrita y bien recibida, la Introducción También sentó las bases para la geometría analítica. La diferencia clave entre los tratamientos de Fermat y Descartes es una cuestión de punto de vista: Fermat siempre comenzaba con una ecuación algebraica y luego describía la curva geométrica que la satisfacía, mientras que Descartes comenzaba con curvas geométricas y producía sus ecuaciones como una de varias propiedades de las curvas. Como consecuencia de este enfoque, Descartes tuvo que lidiar con ecuaciones más complicadas y tuvo que desarrollar los métodos para trabajar con ecuaciones polinómicas de mayor grado. Fue Leonhard Euler quien aplicó por primera vez el método de coordenadas en un estudio sistemático de superficies y curvas espaciales.

## Construcciones fundamentales

En un sistema de coordenadas cartesianas, un punto del plano queda determinado por dos números, llamados abscisa y ordenada del punto. Mediante ese procedimiento a todo punto del plano corresponden siempre dos números reales ordenados (abscisa y ordenada), y recíprocamente, a un par ordenado de números corresponde un único punto del plano. Consecuentemente el sistema cartesiano establece una correspondencia biunívoca entre un concepto geométrico como es el de los puntos del plano y un concepto algebraico como son los pares ordenados de números. Esta correspondencia constituye el fundamento de la geometría analítica.
Con la geometría analítica se puede determinar figuras geométricas planas por medio de ecuaciones e inecuaciones con dos incógnitas. Este es un método alternativo de resolución de problemas, o cuando menos nos proporciona un nuevo punto de vista con el cual poder atacar el problema.

### Localización de un punto en el plano cartesiano
#### Como distancia a los ejes

En un plano (v.g. papel milimetrado) se traza dos rectas orientadas perpendiculares entre sí (ejes) —que por convenio se trazan de manera que una de ellas sea horizontal y la otra vertical—, y cada punto del plano queda unívocamente determinado por las distancias de dicho punto a cada uno de los ejes, siempre y cuando se dé también un criterio para determinar sobre qué semiplano determinado por cada una de las rectas hay que tomar esa distancia, criterio que viene dado por un signo. Ese par de números, las coordenadas, quedará representado por un par ordenado $(x,y)$, siendo $x$ la distancia a uno de los ejes (por convenio será la distancia al eje vertical) e $y$ la distancia al otro eje (al horizontal).
En la coordenada $x$, el signo positivo (que suele omitirse) significa que la distancia se toma hacia la derecha sobre el eje horizontal (eje de las abscisas), y el signo negativo (nunca se omite) indica que la distancia se toma hacia la izquierda. Para la coordenada $y$, el signo positivo (también se omite) indica que la distancia se toma hacia arriba sobre el eje vertical (eje de ordenadas), tomándose hacia abajo si el signo es negativo (en ningún caso se omiten los signos negativos).
A la coordenada $x$ se la suele denominar abscisa del punto, mientras que a la $y$ se la denomina ordenada del punto.
Los puntos del eje de abscisas tienen por lo tanto ordenada igual a $0$, así que serán de la forma $(x,0)$, mientras que los del eje de ordenadas tendrán abscisa igual a $0$, por lo que serán de la forma $(0,y)$.
El punto donde ambos ejes se cruzan tendrá por lo tanto distancia $0$ a cada uno de los ejes, luego su abscisa será $0$ y su ordenada también será $0$. A este punto —el $(0,0)$— se le denomina origen de coordenadas.

#### Como proyección sobre los ejes

Se consideran dos rectas orientadas, (ejes), perpendiculares entre sí, "x" e "y", con un origen común, el punto O de intersección de ambas rectas.
Teniendo un punto a, al cual se desea determinar las coordenadas, se procede de la siguiente forma:
Por el punto P se trazan rectas perpendiculares a los ejes, éstas determinan en la intersección con los mismos dos puntos, P' (el punto ubicado sobre el eje x) y el punto P'' ( el punto ubicado sobre el eje y).
Dichos puntos son las proyecciones ortogonales sobre los ejes x e y del punto P.
A los Puntos P' y P'' le corresponden por número la distancia desde ellos al origen, teniendo en cuenta que si el punto P' se encuentra a la izquierda de O, dicho número será negativo, y si el punto P'' se encuentra por debajo del punto O, dicho número será negativo.
Los números relacionados con P' y P'', en ese orden son los valores de las coordenadas del punto P.
Ejemplo 1: P' se encuentra a la derecha de O una distancia igual a 2 unidades. P'' se encuentra hacia arriba de O, una distancia igual a 3 unidades. Por lo que las coordenadas de P son (2, 3).
Ejemplo 2: P' se encuentra a la derecha de O una distancia igual a 4 unidades. P'' se encuentra hacia abajo de O, una distancia igual a 5 unidades. Por lo que las coordenadas de P son (4, -5).
Ejemplo 3: P' se encuentra a la izquierda de O una distancia igual a 3 unidades. P'' se encuentra hacia abajo de O, una distancia igual a 2 unidades. Por lo que las coordenadas de P son (-3, -2).
Ejemplo 4: P' se encuentra a la izquierda de O una distancia igual a 6 unidades. P'' se encuentra hacia arriba de O, una distancia igual a 4 unidades. Por lo que las coordenadas de P son (-6, 4).

### Ecuaciones de la recta en el plano

Una recta es el lugar geométrico de todos los puntos en el plano tales que, tomados dos cualesquiera de ellos, el cálculo de la pendiente resulta siempre igual a una constante.
La ecuación general de la recta es de la forma:
$Ax+By+C=0\,$
cuya pendiente es m = -A/B y cuya ordenada al origen es b = -C/B.
Una recta en el plano se representa con la función lineal de la forma:
   $y=mx+b\,$
Como expresión general, ésta es conocida con el nombre de ecuación pendiente-ordenada al origen y podemos distinguir dos casos particulares. Si una recta no corta a uno de los ejes, será porque es paralela a él. Como los dos ejes son perpendiculares, si no corta a uno de ellos forzosamente ha de cortar al otro (siempre y cuando la función sea continua para todos los reales). Tenemos pues tres casos:
    Rectas oblicuas. Rectas horizontales. Rectas verticales.
* Las rectas verticales no cortan al eje de ordenadas y son paralelas a dicho eje y se denominan rectas verticales. El punto de corte con el eje de abscisas es el punto $(x_{0},0)$. La ecuación de dichas rectas es:
    $x=x_{0}\,$
* Las rectas horizontales no cortan al eje de las abscisas y, por tanto, son paralelas a dicho eje y se denominan rectas horizontales. El punto de corte con el eje de ordenadas es el punto $(0,y_{0})$. La ecuación de dichas rectas es:
    $y=y_{0}\,$
* Cualquier otro tipo de recta recibe el nombre de recta oblicua. En ellas hay un punto de corte con el eje de abscisas $(a,0)$ y otro punto de corte con el eje de ordenadas $(0,b)$. El valor $a$ recibe el nombre de abscisa en el origen, mientras que el $b$ se denomina ordenada en el origen.

### Secciones cónicas

El resultado de la intersección de la superficie de un cono, con un plano, da lugar a lo que se denominan secciones cónicas, que son: la parábola, la elipse (la circunferencia es un caso particular de elipse) y la hipérbola.
* La parábola es el lugar geométrico de todos los puntos que equidistan de un punto fijo llamado foco y de una recta fija llamada directriz.
Una parábola (figura A) cuyo eje de simetría sea paralelo al eje de abcisas se expresa mediante la ecuación:
   $y=ax^{2}+bx+c\,$
* La elipse es el lugar geométrico de los puntos tales que la suma de sus distancias a dos puntos fijos llamados focos es siempre igual a una constante positiva, e igual a la distancia entre los vértices.
Una elipse (figura B) centrada en los ejes, con longitudes de semieje a y b viene dada por la expresión:
   ${\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1\,$
* Si los dos ejes son iguales y los llamamos c:
   ${\frac {x^{2}}{c^{2}}}+{\frac {y^{2}}{c^{2}}}=1\,$
    el resultado es una circunferencia:
   $x^{2}+y^{2}=c^{2}\,$
* La hipérbola es el lugar geométrico de los puntos tales que el valor absoluto de la diferencia (resta) de sus distancias a dos puntos fijos llamados focos es siempre igual a una constante positiva, e igual a la distancia entre los vértices.
La hipérbola (Figura C) tiene por expresión:
   ${\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1$

#### Expresión algebraica

En coordenadas cartesianas, las cónicas se expresan en forma algebraica mediante ecuaciones cuadráticas de dos variables (x,y) de la forma:
    $ax^{2}+2hxy+by^{2}+2gx+2fy+c=0\,$
en la que, en función de los valores de los parámetros, se tendrá:
    h² > ab: hipérbola.
    h² = ab: parábola.
    h² < ab: elipse.
    a = b y h = 0: circunferencia.

### Construcciones en el espacio tridimensional

Los razonamientos sobre la construcción de los ejes coordenados son igualmente válidos para un punto en el espacio y una terna ordenada de números, sin más que introducir una tercera recta perpendicular a los ejes X e Y: el eje Z.
Sin embargo no hay análogo al importantísimo concepto de pendiente de una recta. Una única ecuación lineal del tipo:
   $\,ax+by+cz=0$
Representa en el espacio un plano. Si se pretende representar mediante ecuaciones una recta en el espacio tridimensional necesitaremos especificar, no una, sino dos ecuaciones lineales como las anteriores. De hecho toda recta se puede escribir como intersección de dos planos. Así una recta en el espacio podría quedar representada como:
   ${\begin{cases}a_{1}x+b_{1}y+c_{1}z=d_{1}\\a_{2}x+b_{2}y+c_{2}z=d_{2}\end{cases}}$
Es importante notar que la representación anterior no es única, ya que una misma recta puede expresarse como la intersección de diferentes pares de planos. Por ejemplo los dos pares de ecuaciones:

## Clasificación de la geometría analítica dentro de la geometría

Desde el punto de vista de la clasificación de Klein de las geometrías (el Programa de Erlangen), la geometría analítica no es una geometría propiamente dicha.
Desde el punto de vista didáctico, la geometría analítica resulta un puente indispensable entre la geometría euclidiana y otras ramas de la matemática y de la propia geometría, como son el propio análisis matemático, el álgebra lineal, la geometría afín, la geometría diferencial o la geometría algebraica.
En física se utiliza los sistemas de coordenadas para la representación de movimientos y vectores entre otras magnitudes.

## Historia de la geometría analítica

El nacimiento de la geometría analítica se atribuye a Descartes, por el apéndice La Géométrie incluido en su Discurso del método, publicado en 1637, si bien se sabe que Pierre de Fermat conocía y utilizaba el método antes de su publicación por Descartes. Las ideas de Descartes eran algo oscuras y difíciles de entender, y se atribuye su ampliación, desarrollo y divulgación en el mundo matemático a Frans van Schooten y sus colaboradores. Sin embargo, existe una cierta controversia sobre la verdadera paternidad de este método. Omar Khayyam, ya en el siglo XI, utilizó un método muy parecido para determinar ciertas intersecciones entre curvas, aunque es imposible que Fermat y Descartes hayan tenido acceso a su obra.
El nombre de geometría analítica corrió parejo al de geometría cartesiana, y ambos son indistinguibles. Hoy en día, paradójicamente, se prefiere denominar geometría cartesiana al apéndice del Discurso del método, mientras que se entiende que geometría analítica comprende no solo a la geometría cartesiana (en el sentido mencionado, es decir, al texto apéndice del Discurso del método), sino también todo el desarrollo posterior de la geometría que se base en la construcción de ejes coordenados y la descripción de las figuras mediante funciones —algebraicas o no— hasta la aparición de la geometría diferencial de Gauss (el término "paradójicamente" se debe al hecho de que se usa precisamente el término "geometría cartesiana" para aquello que el propio Descartes bautizó como "geometría analítica"). El problema es que durante ese periodo no había una diferencia clara entre geometría analítica y análisis matemático —esta falta de diferencia se debe precisamente a la identificación hecha en la época entre los conceptos de función y curva—, por lo que resulta a veces muy difícil intentar determinar si el estudio que se está realizando corresponde a una u otra rama.
La geometría diferencial de curvas sí que permite un estudio mediante un sistema de coordenadas, ya sea en el plano o en el espacio tridimensional. Pero en el estudio de las superficies, en general, aparecen serios obstáculos. Gauss salvó dichos obstáculos creando la geometría diferencial, y marcando con ello el fin de la geometría analítica como disciplina. Con el desarrollo de la geometría algebraica, fue posible certificar totalmente la superación de la geometría analítica.
La denominación de analítica dada a esta forma de estudiar la geometría provocó que la anterior manera de estudiarla (es decir, la manera axiomático-deductiva, sin la intervención de coordenadas) se terminara denominando, por oposición, geometría sintética, debido a la dualidad análisis-síntesis.