Geometría analítica

La geometría analítica es la rama de las matemáticas que estudia las figuras geométricas mediante técnicas del álgebra y el cálculo. A diferencia de la geometría clásica, que se basa en construcciones con regla y compás, este enfoque utiliza un sistema de coordenadas para traducir problemas visuales en ecuaciones numéricas. Esta conexión permite resolver problemas complejos con mayor precisión y flexibilidad.

El desarrollo de esta disciplina revolucionó las ciencias exactas al unir dos mundos que antes parecían distintos: el espacio (geometría) y el número (álgebra). Gracias a ella, es posible describir la trayectoria de un proyectil, la forma de una antena parabólica o la curvatura de una lente con fórmulas precisas.

Definición y concepto

La geometría analítica es la rama de las matemáticas que establece un puente directo entre dos mundos que, durante siglos, parecieron habitar en dimensiones separadas: el álgebra y la geometría clásica. Su objetivo fundamental no es solo describir las figuras, sino traducir sus propiedades visuales en lenguajes numéricos. Esto permite resolver problemas geométricos mediante cálculos algebraicos y visualizar ecuaciones complejas como formas en un plano.

El motor de esta disciplina es el sistema de coordenadas cartesianas. Sin él, un punto sería simplemente una ubicación abstracta. Con él, ese punto se convierte en un par ordenado de números. Este mecanismo permite localizar cualquier posición en el plano bidimensional utilizando dos ejes perpendiculares: el eje horizontal (abscisas, o x) y el eje vertical (ordenadas, o y). La intersección de estos ejes define el origen del sistema, donde ambos valores son cero.

La traducción entre forma y número

Lo que hace poderosa a esta herramienta es su capacidad de conversión bidireccional. Una figura geométrica deja de ser solo una línea dibujada para convertirse en una regla de cálculo. Por ejemplo, la recta, la figura más simple, se define algebraicamente mediante una ecuación lineal de primer grado. Esta relación directa significa que si cambias un número en la ecuación, la línea se mueve, gira o cambia de pendiente de manera predecible.

Dato curioso: Aunque René Descartes es a menudo considerado el padre solitario de la geometría analítica, Pierre de Fermat desarrolló conceptos muy similares casi al mismo tiempo. La diferencia clave fue que Descartes publicó sus hallazgos en el La Géométrie, mientras que Fermat guardó muchos de sus descubrimientos en cartas, lo que influyó en cómo la historia registró el mérito.

La precisión es lo que distingue este enfoque de la geometría euclidiana tradicional. En lugar de depender únicamente de demostraciones visuales o de la superposición de figuras, se utilizan fórmulas para medir distancias, ángulos y áreas con exactitud numérica. La distancia entre dos puntos cualesquiera, por ejemplo, se calcula aplicando el teorema de Pitágoras a las diferencias de sus coordenadas.

Esta ecuación muestra cómo la distancia (d) depende directamente de las diferencias en los ejes x e y. Sin necesidad de una regla física, el cálculo revela la separación exacta. De manera similar, las circunferencias se representan mediante ecuaciones cuadráticas que relacionan el radio con las coordenadas del centro. Esta estructura algebraica permite analizar propiedades como la concavidad o la simetría sin dibujar la figura completa.

La consecuencia es directa: al convertir la geometría en álgebra, se gana flexibilidad. Los problemas que antes requerían construcciones complejas con compás y regla se reducen a sustituciones y operaciones aritméticas. Esto sentó las bases para el cálculo diferencial e integral, donde las curvas se analizan punto por punto a través de sus ecuaciones. La geometría analítica no solo unió dos ramas de las matemáticas; las hizo hablar el mismo idioma.

Historia y origen

El nacimiento de la geometría analítica marca un punto de inflexión en las matemáticas, ocurriendo principalmente durante el siglo XVII. Antes de esta innovación, la geometría y el álgebra eran vistas casi como dos lenguajes distintos. La gran aportación consistió en unir ambos mundos a través del sistema de coordenadas cartesianas. Esto permitió traducir problemas geométricos complejos en ecuaciones algebraicas más manejables. La consecuencia es directa: la precisión en el cálculo espacial aumentó exponencialmente.

Contribuciones de Descartes y Fermat

René Descartes publicó su obra fundamental, La Géométrie, en 1637. Aunque inicialmente apareció como apéndice de Discurso del método, este texto sentó las bases del método analítico. Descartes introdujo la idea de representar puntos en el plano mediante pares ordenados (x, y). Esta representación permite ubicar cualquier punto en el espacio bidimensional. Las rectas se representan mediante ecuaciones lineales. Las circunferencias, por su parte, se describen mediante ecuaciones cuadráticas. Este enfoque transformó la forma en que los matemáticos visualizaban las figuras geométricas.

Dato curioso: Pierre de Fermat desarrolló ideas muy similares a las de Descartes casi al mismo tiempo. Sin embargo, su obra principal, Ad locos planos et solidos isagoge, no se publicó hasta después de su muerte. Esto generó un debate histórico sobre quién merecía el título de "padre" de la geometría analítica.

Fermat trabajó de manera independiente y llegó a conclusiones sorprendentemente parecidas. Su enfoque era ligeramente diferente al de Descartes, pero el resultado final era equivalente. Ambos matemáticos comprendieron que las curvas podían definirse por ecuaciones. Esta comprensión fue revolucionaria para la época. Permitió a los sucesores aplicar el cálculo diferencial e integral a las figuras geométricas. Sin este fundamento, el desarrollo del cálculo de Newton y Leibniz habría sido más lento.

Influencia de Apolonio de Perge

Las raíces de esta disciplina se remontan a la antigua Grecia, específicamente a las obras de Apolonio de Perge. Su tratado Las Cónicas estudiaba las secciones de un cono por un plano. Apolonio identificó las tres curvas principales: la elipse, la parábola y la hipérbola. Aunque su enfoque era puramente geométrico, sentó las bases para el análisis posterior. Los matemáticos del siglo XVII retomaron estas ideas y las enriquecieron con el álgebra.

La conexión entre Apolonio y Descartes no era inmediata. Había un vacío de casi dos mil años entre ambos. Durante este periodo, las curvas cónicas se estudiaban mediante construcciones geométricas complejas. La innovación de Descartes fue simplificar estas construcciones. Al asignar coordenadas a los puntos, las propiedades de las cónicas se volvieron más evidentes algebraicamente. Por ejemplo, la ecuación de una circunferencia centrada en el origen es:

Donde r representa el radio. Esta fórmula es simple pero poderosa. Resume todas las propiedades geométricas de la figura en una sola expresión. La geometría analítica no solo simplificó los cálculos, sino que también abrió nuevas vías para la exploración matemática. Su impacto se extiende desde la física clásica hasta la informática gráfica moderna.

¿Cómo se representan los puntos y distancias?

La geometría analítica transforma figuras estáticas en datos numéricos. El sistema de coordenadas cartesianas es la herramienta principal para lograr esta traducción. Consiste en dos rectas perpendiculares llamadas ejes. El eje horizontal se denomina eje de las X y el vertical es el eje de las Y. Ambos se cruzan en un punto llamado origen, con coordenadas (0, 0).

Este plano se divide en cuatro regiones conocidas como cuadrantes. Se numeran en sentido antihorario a partir del cuadrante superior derecho. La ubicación de cualquier punto depende del signo de sus coordenadas. Un par ordenado (x, y) indica la distancia desde el origen hacia la derecha o izquierda y hacia arriba o abajo respectivamente.

Ubicación de puntos en el plano

La posición exacta de un punto se determina mediante sus proyecciones sobre los ejes. A continuación se muestran ejemplos concretos de cómo las coordenadas definen la ubicación espacial.

La precisión en la lectura de estos pares es fundamental. Un error de signo cambia completamente la posición del punto. Por ejemplo, (3, 4) y (-3, 4) son simétricos respecto al eje Y. Esta simplicidad aparente oculta una gran potencia de cálculo.

Cálculo de distancias y puntos medios

Determinar la distancia entre dos puntos es una operación básica. Se basa directamente en el teorema de Pitágoras. Si tenemos dos puntos, llamémoslos P1 y P2, la distancia entre ellos es la hipotenusa de un triángulo rectángulo formado por las diferencias de sus coordenadas.

La fórmula de distancia se expresa matemáticamente de la siguiente manera:

Esta ecuación permite medir longitudes sin necesidad de una regla física. Solo se requieren las coordenadas. El resultado es siempre un número positivo o cero. La raíz cuadrada asegura que la distancia no sea negativa.

El punto medio es otro concepto esencial. Es el punto que divide exactamente a la mitad el segmento que une dos puntos dados. Su cálculo es más sencillo que el de la distancia. Se obtiene promediando las coordenadas correspondientes de ambos extremos.

La fórmula para encontrar el punto medio M es:

Este cálculo es útil en física y arquitectura para encontrar centros de gravedad o puntos de equilibrio. La aplicación práctica es inmediata. No requiere gráficos complejos, solo aritmética básica.

Dato curioso: Aunque se atribuye principalmente a Descartes, Pierre de Fermat desarrolló ideas similares casi al mismo tiempo. Sin embargo, Descartes publicó primero sus hallazgos en el apéndice de su obra "La Géométrica", lo que le dio la prioridad histórica. La competencia entre ambos matemáticos definió gran parte del cálculo moderno.

Estas herramientas básicas forman la base para entender figuras más complejas. Las rectas, circunferencias y parábolas se definen usando estas mismas coordenadas. Dominar la distancia y el punto medio es el primer paso para analizar cualquier forma geométrica en el plano. La abstracción numérica permite resolver problemas que la vista sola no puede cuantificar con precisión.

Ecuaciones de la recta

La representación algebraica de las rectas constituye el núcleo de la geometría analítica. Al traducir la intuición espacial a símbolos, se logra calcular distancias, ángulos y puntos de corte con precisión. Este proceso depende fundamentalmente de la pendiente, un valor numérico que mide la inclinación de la línea respecto al eje horizontal. Sin este concepto, las ecuaciones serían meros conjuntos de letras sin significado geométrico claro.

La pendiente como medida de inclinación

La pendiente, comúnmente denotada como m, indica cuánto sube o baja una recta al avanzar una unidad en el eje x. Se calcula dividiendo el cambio vertical entre el cambio horizontal entre dos puntos cualesquiera de la línea. Una pendiente positiva significa que la recta asciende de izquierda a derecha; una negativa indica descenso. Si la pendiente es cero, la recta es horizontal. En el caso de una recta vertical, la pendiente se considera infinita o indefinida, ya que el cambio horizontal es cero.

Dato curioso: La palabra "pendiente" proviene del latín pendens (colgante). En inglés se usa slope, que evoca la imagen de una pendiente de montaña. Esta conexión lingüística ayuda a visualizar la inclinación física.

Formas de expresar una recta

Existen varias formas de escribir la ecuación de una recta, cada una útil según la información disponible. Ninguna es intrínsecamente mejor; la elección depende del contexto del problema. Conocer todas permite pasar de una a otra según sea necesario.

Ecuación pendiente-intersección

Esta es quizás la forma más intuitiva. Se utiliza cuando se conoce la pendiente y el punto donde la recta corta al eje vertical (ordenada en el origen). La estructura es directa:

Aquí, m es la pendiente y b es la intersección con el eje y. Esta forma facilita graficar rápidamente la línea: se marca b en el eje vertical y se usa m para subir o bajar.

Ecuación punto-pendiente

Cuando se conoce un punto específico de la recta y su pendiente, esta forma es la más eficiente. No requiere calcular la intersección con el eje y inmediatamente:

Los valores x1 y y1 son las coordenadas de un punto conocido. Esta ecuación muestra cómo cambia y en relación con x a partir de ese punto fijo.

Ecuación general

La forma general es la más versátil porque abarca todas las rectas, incluidas las verticales. Se escribe como:

Los coeficientes A, B y C son números reales. Esta forma es útil para sistemas de ecuaciones y para calcular distancias desde un punto a la recta. La pendiente se obtiene despejando y, resultando en m = -A/B.

Ecuación simétrica o continua

En el plano, esta forma es menos común pero aparece en contextos específicos. Se basa en los vectores directores. Para una recta que pasa por (x1, y1) con vector director (a, b):

Esta representación destaca la proporcionalidad entre los cambios en x y y. Es especialmente útil cuando se trabaja con rectas definidas por dos puntos o por un punto y un vector.

La elección de la forma adecuada simplifica los cálculos. Dominar estas ecuaciones permite resolver problemas geométricos complejos con herramientas algebraicas básicas. La clave está en identificar qué datos se tienen y qué se busca encontrar.

¿Qué son las cónicas y cómo se clasifican?

Las cónicas, o secciones cónicas, son curvas planas que resultan de interseccionar un cono circular recto con un plano. Este enfoque geométrico clásico permite clasificar las curvas según el ángulo de corte. En la geometría analítica, estas figuras se definen mediante ecuaciones de segundo grado en dos variables. Esta dualidad entre la forma visual y la expresión algebraica es fundamental para resolver problemas en física e ingeniería.

Clasificación y propiedades

Existen cuatro tipos principales de cónicas no degeneradas: la parábola, la elipse, la circunferencia y la hipérbola. Cada una posee características únicas que determinan su forma y comportamiento. La parábola surge cuando el plano es paralelo a una generatriz del cono. Es la trayectoria típica de un proyectil bajo gravedad constante, sin resistencia del aire. Su ecuación estándar es y=ax2+bx+c. La elipse se forma al cortar el cono con un plano que no es paralelo a la base ni a una generatriz. Los planetas describen órbitas elípticas alrededor del Sol. Su ecuación canónica es a2x2​+b2y2​=1. La circunferencia es un caso especial de elipse donde los ejes son iguales. Se obtiene al cortar el cono con un plano perpendicular al eje. Su ecuación es x2+y2=r2. La hipérbola aparece cuando el plano corta ambas partes del cono doble. Se utiliza en sistemas de navegación por diferencia de tiempos. Su ecuación es a2x2​−b2y2​=1.

Dato curioso: La forma de los espejos parabólicos en telescopios y antenas se debe a que todos los rayos paralelos al eje se reflejan hacia un único punto, el foco. Esto concentra la señal o la luz con gran eficiencia.

La distinción entre estas curvas no es solo estética. Determina el comportamiento físico de los sistemas que las modelan. Por ejemplo, la diferencia entre una órbita elíptica y una parábola define si un satélite vuelve o escapa al espacio profundo. Comprender estas diferencias es esencial para aplicar la geometría analítica en contextos reales.

Ejercicios resueltos

La resolución de problemas en geometría analítica requiere traducir la información geométrica a expresiones algebraicas y viceversa. A continuación, se presentan tres ejercicios fundamentales que ilustran este proceso paso a paso.

Distancia entre dos puntos

Calcular la distancia entre los puntos A(1, 2) y B(4, 6). La fórmula de distancia se deriva del teorema de Pitágoras aplicado al plano cartesiano. La distancia d entre dos puntos (x₁, y₁) y (x₂, y₂) se expresa como:

Al sustituir las coordenadas dadas en la ecuación, se obtiene:

Resolviendo las restas dentro de los paréntesis:

Dato curioso: El triángulo 3-4-5 es uno de los triángulos pitagóricos más antiguos conocidos por los babilonios, mucho antes de que Descartes formalizara el plano.

Elevando al cuadrado los valores:

Sumando los términos bajo la raíz cuadrada:

La distancia final es exactamente 5 unidades. La precisión en la sustitución de signos es crítica para evitar errores comunes.

Ecuación de una recta por dos puntos

Determinar la ecuación de la recta que pasa por P(0, 1) y Q(2, 5). Primero se calcula la pendiente m, que mide la inclinación de la recta. La fórmula es:

Sustituyendo las coordenadas:

La pendiente es 2. Ahora se usa la forma punto-pendiente de la ecuación de la recta:

Usando el punto P(0, 1) y la pendiente calculada:

Despejando y para obtener la forma pendiente-intersección:

Esta ecuación permite predecir el valor de y para cualquier x dado. El término constante 1 indica que la recta cruza el eje Y en ese punto.

Centro y radio de una circunferencia

Identificar el centro y el radio de la circunferencia cuya ecuación general es:

Para extraer los elementos geométricos, se completa el cuadrado para x y para y. Agrupando términos:

Se añade el cuadrado de la mitad del coeficiente lineal a ambos lados. Para x, es (−6/2)² = 9. Para y, es (4/2)² = 4:

Factorizando los trinomios cuadrados perfectos:

La forma estándar de la circunferencia es (x − h)² + (y − k)² = r². Por comparación directa:

• El centro es (h, k) = (3, −2).
• El radio es r = √16 = 4 unidades.

Este método algebraico revela propiedades geométricas ocultas en la ecuación original. La verificación sustituyendo el centro en la ecuación original confirma la consistencia de los cálculos.

Aplicaciones prácticas

Modelado de trayectorias en física

La física clásica depende de la geometría analítica para predecir el movimiento de los cuerpos. Al proyectar vectores de velocidad y aceleración sobre ejes ortogonales, los problemas dinámicos se simplifican en ecuaciones algebraicas resolubles. Este enfoque permite analizar cómo cambia la posición de un objeto en función del tiempo.

Un ejemplo fundamental es el tiro parabólico. Al lanzar un proyectil con una velocidad inicial y un ángulo determinado, su trayectoria en el plano vertical sigue una curva específica. La ecuación que describe esta ruta combina los componentes horizontal y vertical del movimiento, permitiendo calcular el alcance máximo y la altura alcanzada con precisión matemática.

La consecuencia es directa: sin esta traducción geométrica, calcular órbitas o trayectorias requeriría mediciones empíricas constantes en lugar de predicciones precisas.

Ingeniería y diseño de superficies

En ingeniería, las propiedades geométricas se traducen en eficiencia funcional. Las antenas parabólicas y los reflectores de faros utilizan la forma de la parábola para concentrar o dispersar ondas electromagnéticas y luminosas. Esta forma asegura que los rayos incidentes paralelos al eje converjan en un único punto llamado foco, o viceversa.

La ecuación estándar de una parábola con vértice en el origen y eje vertical es:

Donde f representa la distancia focal. Este parámetro es crítico en el diseño de telescopios y antenas de comunicación, ya que determina la sensibilidad del receptor al definir dónde se coloca el detector de señales.

Dato curioso: La misma propiedad geométrica que concentra la luz en los faros de los automóviles se utiliza en los hornos solares para alcanzar temperaturas extremas en un punto específico.

Representación en informática gráfica

La pantalla de cualquier dispositivo digital es una aplicación directa del sistema de coordenadas cartesianas. Cada píxel ocupa una posición única identificada por un par ordenado (x, y) que indica su ubicación horizontal y vertical en la cuadrícula de la pantalla.

Los motores gráficos utilizan estas coordenadas para renderizar imágenes. Al asignar colores y valores de intensidad a cada punto, se construyen las escenas visuales que observamos. La transformación de figuras geométricas, como rotaciones o escalados, se realiza mediante operaciones matriciales aplicadas a estas coordenadas base, permitiendo la animación fluida en tiempo real.

Análisis económico y curvas de mercado

La economía emplea la geometría analítica para visualizar relaciones entre variables de mercado. Las curvas de oferta y demanda se grafican en un plano cartesiano donde los ejes representan generalmente el precio y la cantidad de un bien.

El punto de intersección de estas dos curvas determina el precio de equilibrio del mercado. Este modelo simplificado permite a los economistas predecir cómo cambios en los costos de producción o en las preferencias de los consumidores afectan el precio final. La claridad visual de estas representaciones facilita la toma de decisiones en entornos económicos complejos.

Diferencias con la geometría euclidía

Enfoques divergentes: lo sintético frente a lo analítico

La distinción fundamental radica en la metodología de demostración. La geometría euclidía clásica opera mediante un enfoque sintético, donde las figuras se definen por sus propiedades intrínsecas y las relaciones se establecen a través de una cadena lógica de axiomas. No se requiere un sistema de referencia externo; la verdad de una proposición surge de la deducción pura. Por el contrario, la geometría analítica introduce un marco de referencia externo: el sistema de coordenadas. Al asignar pares ordenados (x, y) a los puntos del plano, se transforma la figura geométrica en un objeto algebraico manipulable. Esta traducción permite intercambiar información entre el mundo visual y el mundo numérico con precisión quirúrgica.

Debate actual: Aunque la geometría analítica suele considerarse más "poderosa" por su capacidad de cálculo, muchos puristas argumentan que la geometría sintética ofrece una mayor "elegancia" conceptual, revelando relaciones ocultas que los cálculos extensos a veces enmascaran.

La potencia del cálculo y la pérdida de la intuición

La principal ventaja de la geometría analítica es su capacidad para generalizar problemas complejos mediante ecuaciones. Mientras que demostrar que tres puntos son colineales en la geometría euclidía puede requerir la construcción de líneas auxiliares y la identificación de ángulos congruentes, en la geometría analítica se resuelve verificando si los vectores forman una proporción constante o si el determinante de sus coordenadas es nulo. La ecuación de la recta y=mx+b resume en una sola expresión la pendiente m y la ordenada en el origen b, ofreciendo información inmediata sobre la inclinación y la posición de la línea.

Sin embargo, este enfoque tiene un costo: la pérdida de la intuición visual directa. Un estudiante puede resolver correctamente que dos líneas son perpendiculares porque el producto de sus pendientes es -1, pero sin graficarlas, puede perder la noción espacial de cómo se cruzan. La geometría euclidía fuerza al observador a "ver" la figura, utilizando propiedades como la simetría o la congruencia de triángulos que resultan evidentes a simple vista pero que requieren varios pasos algebraicos para demostrarse analíticamente.

Complementariedad en la resolución de problemas

Ningún enfoque es intrínsecamente superior; su utilidad depende del problema específico. La geometría euclidía es a menudo más eficiente para problemas que implican relaciones angulares o de proporcionalidad en figuras simples, donde las demostraciones son breves y elegantes. La geometría analítica brilla cuando se trata de curvas complejas, como la circunferencia definida por la ecuación (x−a)2+(y−b)2=r2, donde calcular distancias e intersecciones mediante álgebra es más directo que construir tangentes y radios auxiliares. En la educación secundaria y universitaria, la maestría en ambas permite elegir la herramienta más eficiente: usar el álgebra para calcular y la geometría para entender. La integración de ambos métodos ofrece una visión completa del espacio.

Preguntas frecuentes

¿Cuál es la diferencia principal entre geometría euclidiana y analítica?

La geometría euclidiana se centra en propiedades intrínsecas de las figuras (ángulos, lados) usando demostraciones lógicas y construcciones. La geometría analítica, en cambio, sitúa las figuras en un plano de coordenadas para usar ecuaciones y cálculos numéricos para describirlas.

¿Quién inventó la geometría analítica?

Aunque Pierre de Fermat trabajó en ella casi simultáneamente, se atribuye principalmente a René Descartes. Su obra La Géométrie, publicada en 1637, estableció las bases del sistema de coordenadas cartesianas que se usa hoy.

¿Qué es el plano cartesiano?

Es una representación bidimensional del espacio formada por dos ejes perpendiculares: el eje horizontal (eje X) y el eje vertical (eje Y). Cualquier punto en este plano se identifica mediante un par de números ordenados (x, y).

¿Para qué sirve la distancia entre dos puntos?

La fórmula de distancia permite calcular la longitud exacta del segmento que une dos puntos en el plano. Es fundamental en física para medir desplazamientos y en ingeniería para determinar tamaños y escalas precisas.

¿Qué son las cónicas?

Las cónicas son curvas que resultan de cortar un cono con un plano. Incluyen la circunferencia, la elipse, la parábola y la hipérbola. En geometría analítica, cada una se define mediante una ecuación de segundo grado.

¿Se usa la geometría analítica fuera de las matemáticas?

Sí, es esencial en física (mecánica newtoniana), ingeniería (diseño de puentes y lentes), informática gráfica (renderizado de imágenes) y economía (curvas de oferta y demanda).

Resumen

La geometría analítica conecta el álgebra y la geometría mediante el uso de coordenadas, permitiendo describir figuras y relaciones espaciales con ecuaciones. Su desarrollo por Descartes y Fermat sentó las bases para el cálculo y la física moderna.

Este artículo explica cómo representar puntos y distancias, las distintas formas de escribir la ecuación de una recta, la clasificación de las cónicas y sus aplicaciones prácticas. Comprender estos conceptos es fundamental para avanzar en ciencias e ingeniería.

Véase también

• Cálculo y análisis matemático
• Teorema de Pitágoras: definición, demostraciones y aplicaciones
• Modelos de Lhermite
• Lema de Schwarz
• Qué es una ecuación y cómo se resuelve
• Eliminación de Gauss-Jordan
• Cómo funcionan los logaritmos
• Resta de vectores

Referencias

1. «geometría analítica» en Wikipedia en español
2. Analytic Geometry — Wolfram MathWorld
3. Analytic Geometry — Stanford Encyclopedia of Philosophy
4. Analytic Geometry — American Mathematical Society (MathSciNet)