En geometría , la línea tangente (o simplemente tangente ) a una curva plana en un punto dado es, intuitivamente, la línea recta que "apenas toca" la curva en ese punto. Leibniz la definió como la línea que pasa por un par de puntos infinitamente cercanos en la curva. [1] [2] Más precisamente, una línea recta es tangente a la curva y = f ( x ) en un punto x = c si la línea pasa por el punto ( c , f ( c )) en la curva y tiene pendiente f ' ( c ) , donde f ' es la derivada de f . Una definición similar se aplica a las curvas espaciales y a las curvas en el espacio euclidiano n -dimensional .
El punto en el que la línea tangente y la curva se encuentran o se intersecan se denomina punto de tangencia . Se dice que la línea tangente "va en la misma dirección" que la curva y, por lo tanto, es la mejor aproximación en línea recta a la curva en ese punto. La línea tangente a un punto de una curva diferenciable también puede considerarse como una aproximación de línea tangente , el gráfico de la función afín que mejor se aproxima a la función original en el punto dado. [3]
De manera similar, el plano tangente a una superficie en un punto dado es el plano que "apenas toca" la superficie en ese punto. El concepto de tangente es una de las nociones más fundamentales en geometría diferencial y ha sido ampliamente generalizado; .
La palabra "tangente" viene del latín tangere , "tocar".
Euclides hace varias referencias a la tangente ( ἐφαπτομένη ephaptoménē ) a un círculo en el libro III de los Elementos (c. 300 a. C.). [4] En la obra Cónicas de Apolonio (c. 225 a. C.) define una tangente como una línea tal que ninguna otra línea recta podría caer entre ella y la curva . [5]
Arquímedes (c. 287 – c. 212 a. C.) encontró la tangente a una espiral de Arquímedes considerando la trayectoria de un punto que se movía a lo largo de la curva. [5]
En la década de 1630, Fermat desarrolló la técnica de la adecuación para calcular tangentes y otros problemas de análisis y la utilizó para calcular tangentes a la parábola. La técnica de la adecuación es similar a tomar la diferencia entre y y dividirla por una potencia de . De forma independiente, Descartes utilizó su método de normales basado en la observación de que el radio de un círculo siempre es normal al círculo mismo. [6]
Estos métodos llevaron al desarrollo del cálculo diferencial en el siglo XVII. Muchas personas contribuyeron. Roberval descubrió un método general para dibujar tangentes, al considerar una curva como la descrita por un punto en movimiento cuyo movimiento es el resultado de varios movimientos más simples. [7] René-François de Sluse y Johannes Hudde encontraron algoritmos algebraicos para encontrar tangentes. [8] Otros desarrollos incluyeron los de John Wallis e Isaac Barrow , que llevaron a la teoría de Isaac Newton y Gottfried Leibniz .
Una definición de 1828 de una tangente era "una línea recta que toca una curva, pero que cuando se traza, no la corta". [9] Esta antigua definición impide que los puntos de inflexión tengan tangente. Ha sido descartada y las definiciones modernas son equivalentes a las de Leibniz , quien definió la línea tangente como la línea que pasa por un par de puntos infinitamente cercanos en la curva; en la terminología moderna, esto se expresa como: la tangente a una curva en un punto P en la curva es el límite de la línea que pasa por dos puntos de la curva cuando estos dos puntos tienden a P.
La noción intuitiva de que una línea tangente "toca" una curva se puede hacer más explícita al considerar la secuencia de líneas rectas ( líneas secantes ) que pasan por dos puntos, A y B , los que se encuentran en la curva de la función. La tangente en A es el límite cuando el punto B se aproxima o tiende a A. La existencia y unicidad de la línea tangente depende de un cierto tipo de suavidad matemática, conocida como "diferenciabilidad". Por ejemplo, si dos arcos circulares se encuentran en un punto agudo (un vértice), entonces no hay una tangente definida de manera única en el vértice porque el límite de la progresión de las líneas secantes depende de la dirección en la que el "punto B " se aproxima al vértice.
En la mayoría de los puntos, la tangente toca la curva sin cruzarla (aunque puede, al continuar, cruzar la curva en otros lugares alejados del punto de la tangente). Un punto donde la tangente (en este punto) cruza la curva se llama punto de inflexión . Los círculos , parábolas , hipérbolas y elipses no tienen ningún punto de inflexión, pero las curvas más complicadas sí lo tienen, como el gráfico de una función cúbica , que tiene exactamente un punto de inflexión, o una senoide, que tiene dos puntos de inflexión por cada período del seno .
Por el contrario, puede ocurrir que la curva se encuentre completamente a un lado de una línea recta que pasa por un punto de ella, y sin embargo esta línea recta no sea una línea tangente. Este es el caso, por ejemplo, de una línea que pasa por el vértice de un triángulo y no lo corta de otro modo, donde la línea tangente no existe por las razones explicadas anteriormente. En geometría convexa , tales líneas se llaman líneas de apoyo .
La idea geométrica de la línea tangente como límite de las líneas secantes sirve como motivación para los métodos analíticos que se utilizan para encontrar líneas tangentes explícitamente. La cuestión de encontrar la línea tangente a un gráfico, o el problema de la línea tangente, fue una de las cuestiones centrales que llevaron al desarrollo del cálculo en el siglo XVII. En el segundo libro de su Geometría , René Descartes [10] dijo sobre el problema de construir la tangente a una curva: "Y me atrevo a decir que este no es sólo el problema más útil y más general en geometría que conozco, sino incluso el que he deseado conocer". [11]
Supongamos que se da una curva como gráfica de una función , y = f ( x ). Para hallar la recta tangente en el punto p = ( a , f ( a )), consideremos otro punto cercano q = ( a + h , f ( a + h )) en la curva. La pendiente de la recta secante que pasa por p y q es igual al cociente de diferencias
A medida que el punto q se acerca a p , lo que corresponde a hacer h cada vez más pequeño, el cociente de diferencias debe acercarse a un cierto valor límite k , que es la pendiente de la línea tangente en el punto p . Si se conoce k , la ecuación de la línea tangente se puede encontrar en la forma punto-pendiente:
Para que el razonamiento precedente sea riguroso, hay que explicar qué se entiende por cociente de diferencias que se aproxima a un cierto valor límite k . La formulación matemática precisa fue dada por Cauchy en el siglo XIX y se basa en la noción de límite . Supóngase que el grafo no tiene una ruptura o un borde agudo en p y no está ni vertical ni demasiado ondulado cerca de p . Entonces hay un valor único de k tal que, a medida que h se acerca a 0, el cociente de diferencias se acerca cada vez más a k , y la distancia entre ellos se vuelve insignificante en comparación con el tamaño de h , si h es suficientemente pequeño. Esto lleva a la definición de la pendiente de la línea tangente al grafo como el límite de los cocientes de diferencias para la función f . Este límite es la derivada de la función f en x = a , denotada f ′( a ). Usando derivadas, la ecuación de la línea tangente puede enunciarse de la siguiente manera:
El cálculo proporciona reglas para calcular las derivadas de funciones dadas por fórmulas, como la función potencia , las funciones trigonométricas , la función exponencial , la logaritmo y sus diversas combinaciones. Por lo tanto, las ecuaciones de las tangentes a los gráficos de todas estas funciones, así como muchas otras, se pueden encontrar mediante los métodos del cálculo.
El cálculo también demuestra que hay funciones y puntos en sus gráficas para los cuales no existe el límite que determina la pendiente de la recta tangente. Para estos puntos la función f no es diferenciable . Hay dos posibles razones para que el método de hallar las tangentes basado en los límites y las derivadas falle: o bien la tangente geométrica existe, pero es una recta vertical, que no puede darse en la forma punto-pendiente ya que no tiene pendiente, o bien la gráfica exhibe uno de los tres comportamientos que impiden una tangente geométrica.
La gráfica y = x 1/3 ilustra la primera posibilidad: aquí el cociente de diferencias en a = 0 es igual a h 1/3 / h = h −2/3 , que se vuelve muy grande a medida que h se acerca a 0. Esta curva tiene una línea tangente en el origen que es vertical.
El gráfico y = x 2/3 ilustra otra posibilidad: este gráfico tiene una cúspide en el origen. Esto significa que, cuando h tiende a 0, el cociente de diferencias en a = 0 tiende a más o menos infinito dependiendo del signo de x . Por lo tanto, ambas ramas de la curva están cerca de la semilínea vertical para la que y = 0, pero ninguna está cerca de la parte negativa de esta línea. Básicamente, no hay tangente en el origen en este caso, pero en algún contexto se puede considerar esta línea como una tangente, e incluso, en geometría algebraica , como una doble tangente .
La gráfica y = | x | de la función valor absoluto consta de dos líneas rectas con diferentes pendientes unidas en el origen. Cuando un punto q se acerca al origen desde la derecha, la línea secante siempre tiene pendiente 1. Cuando un punto q se acerca al origen desde la izquierda, la línea secante siempre tiene pendiente −1. Por lo tanto, no hay una única tangente a la gráfica en el origen. Tener dos pendientes diferentes (pero finitas) se llama esquina .
Por último, dado que la diferenciabilidad implica continuidad, la discontinuidad de los estados contrapositivos implica no diferenciabilidad. Cualquier discontinuidad de salto o punto de este tipo no tendrá línea tangente. Esto incluye los casos en los que una pendiente se acerca al infinito positivo mientras que la otra se acerca al infinito negativo, lo que conduce a una discontinuidad de salto infinito.
Cuando la curva está dada por y = f ( x ) entonces la pendiente de la tangente es así que por la fórmula punto-pendiente la ecuación de la recta tangente en ( X , Y ) es
donde ( x , y ) son las coordenadas de cualquier punto en la línea tangente, y donde la derivada se evalúa en . [12]
Cuando la curva está dada por y = f ( x ), la ecuación de la línea tangente también se puede encontrar [13] usando la división polinomial para dividir por ; si el resto se denota por , entonces la ecuación de la línea tangente está dada por
Cuando la ecuación de la curva se da en la forma f ( x , y ) = 0 entonces el valor de la pendiente se puede encontrar por diferenciación implícita , dando
La ecuación de la recta tangente en un punto ( X , Y ) tal que f ( X , Y ) = 0 es entonces [12]
Esta ecuación sigue siendo cierta si
En cuyo caso la pendiente de la tangente es infinita. Sin embargo, si
La recta tangente no está definida y se dice que el punto ( X , Y ) es singular .
Para las curvas algebraicas , los cálculos se pueden simplificar un poco al convertirlas a coordenadas homogéneas . Específicamente, sea la ecuación homogénea de la curva g ( x , y , z ) = 0 donde g es una función homogénea de grado n . Entonces, si ( X , Y , Z ) se encuentra en la curva, el teorema de Euler implica que se deduce que la ecuación homogénea de la línea tangente es
La ecuación de la línea tangente en coordenadas cartesianas se puede encontrar estableciendo z = 1 en esta ecuación. [14]
Para aplicar esto a las curvas algebraicas, escriba f ( x , y ) como
donde cada u r es la suma de todos los términos de grado r . La ecuación homogénea de la curva es entonces
Aplicando la ecuación anterior y estableciendo z = 1 se obtiene
como la ecuación de la línea tangente. [15] La ecuación en esta forma suele ser más sencilla de utilizar en la práctica, ya que no se necesita ninguna simplificación adicional después de su aplicación. [14]
Si la curva se da paramétricamente por
entonces la pendiente de la tangente es
dando la ecuación para la línea tangente en como [16]
Si
La recta tangente no está definida. Sin embargo, puede ocurrir que exista y que se pueda calcular a partir de una ecuación implícita de la curva.
La línea perpendicular a la línea tangente a una curva en el punto de tangencia se llama línea normal a la curva en ese punto. Las pendientes de las líneas perpendiculares tienen producto −1, por lo que si la ecuación de la curva es y = f ( x ), entonces la pendiente de la línea normal es
y se deduce que la ecuación de la recta normal en (X, Y) es
De manera similar, si la ecuación de la curva tiene la forma f ( x , y ) = 0 entonces la ecuación de la línea normal está dada por [17]
Si la curva se da paramétricamente por
entonces la ecuación de la recta normal es [16]
El ángulo entre dos curvas en un punto donde se intersecan se define como el ángulo entre sus líneas tangentes en ese punto. Más específicamente, se dice que dos curvas son tangentes en un punto si tienen la misma tangente en un punto, y ortogonales si sus líneas tangentes son ortogonales. [18]
Las fórmulas anteriores fallan cuando el punto es un punto singular . En este caso, puede haber dos o más ramas de la curva que pasan por el punto, cada rama tiene su propia línea tangente. Cuando el punto es el origen, las ecuaciones de estas líneas se pueden encontrar para curvas algebraicas factorizando la ecuación formada al eliminar todos los términos de grado menos el más bajo de la ecuación original. Dado que cualquier punto puede convertirse en el origen mediante un cambio de variables (o trasladando la curva), esto proporciona un método para encontrar las líneas tangentes en cualquier punto singular.
Por ejemplo, la ecuación de la trisectriz de Limaçon que se muestra a la derecha es
Al expandir esto y eliminar todos los términos excepto los de grado 2, obtenemos
que, al factorizarse, se convierte en
Así que éstas son las ecuaciones de las dos líneas tangentes que pasan por el origen. [19]
Cuando la curva no se cruza consigo misma, la tangente en un punto de referencia puede no estar definida de forma única porque la curva no es diferenciable en ese punto aunque sí lo es en cualquier otro lugar. En este caso, las derivadas izquierda y derecha se definen como los límites de la derivada cuando el punto en el que se evalúa se aproxima al punto de referencia desde la izquierda (valores inferiores) o la derecha (valores superiores), respectivamente. Por ejemplo, la curva y = | x | no es diferenciable en x = 0: sus derivadas izquierda y derecha tienen pendientes respectivas −1 y 1; las tangentes en ese punto con esas pendientes se denominan tangentes izquierda y derecha. [20]
A veces, las pendientes de las rectas tangentes izquierda y derecha son iguales, por lo que las rectas tangentes coinciden. Esto es cierto, por ejemplo, para la curva y = x 2/3 , para la cual tanto la derivada izquierda como la derecha en x = 0 son infinitas; tanto la recta tangente izquierda como la recta tangente derecha tienen ecuación x = 0.
Se dice que dos círculos distintos que se encuentran en el mismo plano son tangentes entre sí si se encuentran exactamente en un punto.
Si los puntos en el plano se describen utilizando coordenadas cartesianas , entonces dos círculos , con radios y centros y son tangentes entre sí siempre que
Los dos círculos se llaman tangentes externamente si la distancia entre sus centros es igual a la suma de sus radios,
o internamente tangente si la distancia entre sus centros es igual a la diferencia entre sus radios: [21]
El plano tangente a una superficie en un punto dado p se define de forma análoga a la recta tangente en el caso de las curvas. Es la mejor aproximación de la superficie por un plano en p , y se puede obtener como la posición límite de los planos que pasan por 3 puntos distintos en la superficie cerca de p cuando estos puntos convergen a p . Matemáticamente, si la superficie está dada por una función , la ecuación del plano tangente en el punto se puede expresar como:
.
Aquí, y son las derivadas parciales de la función con respecto a y respectivamente, evaluadas en el punto . En esencia, el plano tangente captura el comportamiento local de la superficie en el punto específico p . Es un concepto fundamental utilizado en cálculo y geometría diferencial, crucial para comprender cómo cambian las funciones localmente en las superficies.
De manera más general, hay un espacio tangente de dimensión k en cada punto de una variedad de dimensión k en el espacio euclidiano de dimensión n .