FUNCION INVERSA
Andrés L. Granados M., Mayo, 2024.
UNIVERSIDAD SIMON BOLIVAR
Departamento de Mecánica
La función inversa se denomina ası́ por ser la la inversa de la operación multiplicación. Su formulación
es sencilla por ser simplemente
1 1 1 1
f (x) = f (x) = − f (x) = ··· f (n) (x) = (−1)n (1)
x x2 x3 xn+1
La función es simétrica con respecto al eje y = x, es decir que su inversa, en el sentido de x = g(y), es ella
misma. Sus derivadas, con signos alternantes, son decrecientes monótonamente, y cada vez con mayor grado.
Su ası́ntota es el eje x y su cercan´ a se logra rápidamente, como podrá observarse en la figura 1.
Figura 1. Función inversa y su opuesta.
También se muestra su opuesta y enter las dos se perfila una forma como de trompeta o cuerno.
Cuerno de Gabriel
El Cuerno de Gabriel (también llamado Trompeta de Torricelli) es una figura geométrica que tiene la
caracterı́stica de poseer un área infinita pero un volumen finito. Es la superficie de revolución que se obtiene
al girar, alrededor del eje x, el gráfico de la función f(x)=1/x, con dominio x ≥ 1.
Fue ideada por Evangelista Torricelli hacia 1641, que la bautizó como sólido hiperbólico agudo (solide
hyperbolique aigu).
El nombre se refiere a la tradición abrahámica que identifica al Arcángel Gabriel como el ángel que
toca la bocina para anunciar el Dı́a del Juicio.
El Cuerno de Gabriel se muestra en la figura 2, donde se ha representado en la esquina inferior izquierda
una sección del mismo.
Paradoja Aparente
En el momento de su descubrimiento, fue considerado una paradoja. Esta paradoja aparente ha sido
descrita de modo informal señalando que serı́a necesaria una cantidad infinita de pintura para cubrir la
superficie exterior, mientras que serı́a posible rellenar toda la figura con una cantidad finita de pintura y as
cubrir esa superficie.
1
La solución de la paradoja es que un área infinita requiere una cantidad infinita de pintura si la capa
de pintura tiene un grosor constante. Esto no se cumple en el interior del cuerno, ya que la mayor parte de la
longitud de la figura no es accesible a la pintura, especialmente cuando su diámetro es menor que el de una
molécula de pintura. Si se considera una pintura sin grosor, serı́a necesaria una cantidad infinita de tiempo
para que esta llegase hasta el final del cuerno.
Figura 2. El Cuerno de Gabriel en perspectiva y una sección del mismo.
En otras palabras, llegarı́a un momento en el que el espesor de la trompeta serı́a más pequeño que una
molécula de pintura con lo que, digamos, una gota de pintura cubrirı́a el resto de la superficie de la trompeta
(aunque fuera infinito). Ası́, que la superficie de la trompeta sea infinita no implicarı́a que la cantidad de
pintura tenga que ser infinita.
Pero la paradoja también tiene solución incluso si suponemos una materia divisible indefinidamente (o
sea, si no existiesen los átomos). Si el grosor de la capa de pintura es variable y disminuye indefinidamente
(tendiendo a cero), la cantidad de pintura se calcularí a por una integral impropia que podrı́a ser convergente.
En este caso, el espesor de la capa de pintura forzosamente deberı́a ser igual o menor al valor de y, lo que hace
que la integral impropia, en este caso, sea convergente, es decir, se necesita una cantidad finita de pintura.
Es posible plantear otra forma de respuesta al pensar en la distancia numérica presente entre dos
números consecutivos: Como bien sabemos, podemos obtener infinitos decimales si dividimos infinitas veces
el espacio posible acotado entre esos dos números, lo cual no significa que la distancia entre ambos sea infinita.
Formulación Matemática
El cuerno de Gabriel se forma utilizando la gráfica de (1.a) con dominio x ≥ 1 (al poseer la ası́ntota
vertical en x = 0), y girándola en tres dimensiones alrededor del eje x. Su descubrimiento es anterior al
cálculo y fue posible gracias al principio de Cavalieri. Es posible calcular tanto el volumen V como el área
superficial S del cuerno entre x = 1 y x = a, donde a 1, mediante integración (véase sólido de revolución
y superficie de revolución en [1]). Entonces obtenemos [2]
a 2
1 1
V=π dx = π 1 − (2)
1 x a
a 1 a
√
1+ x4 1
S = 2π dx > 2π dx = 2π ln a (3)
1 x 1 x
Aunque la integral de S se puede calcular más precisa si se realiza de la forma
a√ a2 √
1 + x4 1 + u2
S = 2π 3
dx = π du (4)
1 x 1 u2
donde se ha implementado el cambio de variables x2 = u, con 2x dx = du. La función primitiva de la integral
en (4) es
√
1 + u2
− + ln(u + 1 + u2 ) + C (5)
u
2
por lo que
√
√ √ 1 + a4
S =π 2 − ln(1 + 2) − + ln(a2 + 1 + a4 ) (6)
a2
Un resultado más preciso.
La cota a puede ser tan grande como se desee, pero en la ecuación (2) se puede observar que el volumen
del cuerno entre x = 1 y x = a nunca ser igual a π; sin embargo, se acercar ms y ms a π conforme a crece.
Matemáticamente, el volumen tiende a π conforme a tiende a infinito. Empleando lı́mites, el volumen puede
expresarse de la siguiente forma
1 1
lim V = lim π 1 − = π · lim 1 − =π (7)
a→∞ a→∞ a a→∞ a
Esto es ası́ porque conformen a tiende a infinito, 1/a tiende a cero, lo cual implica que el volumen tienda a
π.
Con respecto al área de la superficie S, la fórmula anterior muestra que esta es mayor que 2π veces el
logaritmo neperiano de a. No existe una cota superior para el logaritmo neperiano de a conforme tiende a
infinito, lo cual quiere decir que, en este lı́mite, el cuerno tiene un área superficial infinita. Matemáticamente,
esto es expresado de la siguiente forma
lim S ≥ lim 2π ln(a) = ∞ (8)
a→∞ a→∞
En cuanto al área A de la sección bajo la curva de la función inversa y a la longitud L de la curva se obtiene
a
1
A= dx = ln(x)]a1 = ln a (9)
1 x
a a
√ 2
1 1 + x4 1 a 1 + u2
L= 1+ dx = dx = du (10)
1 x4 1 x2 2 1 u3
con el mismo cambio de variable anterior y con la función primitiva de la integral en (10)
2
− √ 2 F1 (− 12 , − 41 ; 34 ; −u2 ) + C (11)
u
se obtiene
1
L =2 F1 (− 12 , − 14 ; 34 ; −1) − √ 2 F1 (− 12 , − 14 ; 34 ; −a4 ) (12)
a
donde 2 F1 es la función hipergeométrica.
El resultado (6) para S y el resultado (12) para L están graficados en la figura 3.
Figura 3. Superficie S de revolución y longitud L de la curva.
3
Como se puede observar, cuando a → ∞, L crece hacia el infinito más rápidamente que S, la cual se tiende
a atenuar en su indetenible crecimiento, como es obvio (el crecimiento de la superficie de revolución nunca
se detiene pero desacelera su crecimiento en la cúspide asintótica del infinito. En cambio la longitud de la
curva siempre crece cuando x → ∞, pero al final lo hace linealmente con x). Ahora observando el Teorema
de Pappus para cuerpos de revolución se tiene que
S = 2πLȳ V = 2πAȲ (13)
por lo que los centroides ȳ para la curva L de la función inversa y Ȳ para la sección A del área bajo la curva,
despejados de las relaciones (13), tienden a anularse con el crecimiento de a → ∞, lo cual parece también
paradójico. Esto hace pensar que la porción cercana a la boca de la trompeta es despreciable frente a la
asintótica prolongación del resto del pico hacia el infinito, en lo que se refiere a los centroides (curva & área).
Las diferencias entre el Cuerno de Gabriel y la mitad de la Pseudoesfera de Beltrami de radio 1
(obtenida de la tractriz), cuerpos de revolución en apariencia muy parecidos, es que S = 2π, al contrario es
finita, y V = π/3, es un tercio del anterior [3].
Referencias
[1] Granados M., A. L. Teoremas de Pappus, Universidad Simón Bolívar, Dpto. Mecánica, Abril, 2024.
[Link] de Pappus
[2] [Link] de Gabriel
[3] Granados M., A. L. Tractriz. Universidad Simón Bolı́var, Departamento de Mecánica, Nov., 2019.
Rev. Jun., 2023. [Link]
