La catenaria

Carlos Ivorra
http://www.uv.es/ivorra Introduccin La catenaria es la curva cuya forma es la o 1 que adopta una cuerda de densidad uniforme sujeta por sus dos extremos y sometida unicamente a la fuerza de la 0.8 gravedad. En sentido estricto, no es una curva, sino una familia de curvas, cada una de las cuales est determinada a 0.6 por las coordenadas de sus extremos (x0 , y0 ), (x1 , y1 ) y por 0.4 su longitud L. En principio, tambin podr depender de e a su densidad y de la intensidad del campo gravitatorio g, 0.2 pero lo cierto es que, segn veremos, no es as u . Por ejemplo, la gura muestra la catenaria de longitud 0.2 0.4 0.6 1 0.8 L = 2 sujeta por los puntos (0, 1) y (1, 1). Vemos que se parece mucho a una parbola. De hecho, Galileo crey que las catenarias eran parbolas, a o a pero veremos que no lo son. En primer lugar vamos a encontrar la expresin anal o tica de las catenarias. La expresin anal o tica Llamemos y(x) a la funcin que estamos buscando, denida o sobre un intervalo [x0 , x1 ] y sujeta a las condiciones iniciales y(x0 ) = y0 , y(x1 ) = y1 . Adems exigimos que su longitud sea igual a un valor prejado L, es decir, que a
x1 x0

1 + y (x)2 dx = L.

Ms en general, consideramos la longitud de arco s : [x0 , x1 ] [0, L] dada por a

x

s(x) =
x0

1 + y (x)2 dx,

que es una funcin creciente, derivable, con derivada o ds = dx 1 + y (x)2 > 0,

por lo que tiene inversa s(x), la cual nos da la parametrizacin por la longitud de arco, o 2 : [0, L] R , dada por (s) = (x(s), y(s)), donde y(s) = y(x(s)). De este modo, la longitud del arco comprendido entre (s) y (s + s) es exactamente |s|. Que la cuerda tenga densidad uniforme signica, por denicin, que la masa de un o arco de cuerda de longitud s es exactamente s. Llamaremos (s) al angulo que forma con la horizontal la tangente a la cuerda en (s). La interpretacin geomtrica de la derivada equivale a que o e y (x) = tan (s(x)). 1

1 Consideremos un punto cualquiera de la cuerda (es decir, un punto (s), para un cierto s [0, L]). La fuerza 0.8 de cohesin que mantiene unida la cuerda por dicho punto o la fuerza que desaparecer si cortramos la cuerda a a 0.6 est representada por dos vectores de tensin opuestos, a o 0.4 T (s) y T (s), donde convenimos que T (s) es el que tiene T (s) su componente horizontal positiva. Concretamente, T (s) 0.2 es la fuerza que la parte de la cuerda posterior a s ejerce 0.2 0.4 0.6 1 0.8 sobre la parte anterior y T (s) es la fuerza que la parte anterior de la cuerda ejerce sobre la parte posterior. Si, como en la gura, consideramos un punto donde la curva es creciente, podemos decir, ms descriptivamente, que T (s) es a la fuerza con la que la parte superior de la cuerda sostiene de la parte inferior, mientras que T (s) es la fuerza con la que la parte inferior de la cuerda estira de la parte superior. En los puntos donde la curva es decreciente se invierten los papeles. Que ambas tensiones tengan la misma direccin e intensidad, pero sentidos opuestos, es consecuencia o de la tercera ley de Newton: la fuerza que ejerce una parte de la cuerda sobre la otra ha de ser exactamente la opuesta de la que la otra ejerce sobre la primera. Es claro que su direccin debe ser la de la tangente a la curva1 , luego podemos descomponer T (s) como o

T (s) = (T (s) cos (s), T (s) sen (s)). Alguien podr pensar que sobre el punto (s) se ejerce una tercera fuerza, a saber, el a peso, pero debemos recordar que los puntos no tienen masa, por lo que tampoco tienen peso. Para tener en cuenta el peso hemos de considerar, no un punto, sino un arco de cuerda, digamos el correspondiente al intervalo de parmetros [s, s + s]. a Dicho arco est sometido a tres fuerzas: su peso 0.8 a P = (0, gs) y las tensiones con las que la cuerda tira de sus extremos, que son T (d + s), T (s). La condicin o 2 de equilibrio es que la suma total sea nula: T (s + s) T (s) + P = 0. Ms expl a citamente: T (s + s) cos (s + s) T (s) cos (s) = 0, T (s + s) sen (s + s) T (s) sen (s) = gs.
La tensin de una cuerda recta se ejerce en la direccin determinada por ella misma, y una curva o o diferenciable, vista al microscopio en un entorno de uno de sus puntos, se confunde con su recta tangente, lo que muestra que sa ha de ser la direccin de las tensiones en ese punto. e o 2 Observemos que las tensiones se aplican en puntos distintos y que el peso no se aplica en ningn u punto en particular. La condicin de suma nula ser obviamente necesaria si el arco fuera r o a gido, pero con mayor razn ha de ser necesaria si es exible, ya que una suma de fuerzas que mover un arco r o a gido, con mayor razn mover a un arco exible. o a
1

0.7 0.6 0.5 0.4 0.3 0.2 0.1 0.2

T (s + s) T (s)
0.4 0.6 0.8 1 1.2

Si hacemos tender s 0 vemos que d(T cos ) = 0, ds d(T sen ) = g. ds

Esto es cierto para todo punto s ]0, L[. La primera condicin equivale a que la o componente horizontal de la tensin es constante: o T (s) cos (s) = > 0. Sustituyendo T (s) en la segunda igualdad obtenemos que d tan (s) g = = . ds Equivalentemente: = d tan (s(x)) dx dy (x) = dx ds dx 1 1 + y (x)2 .

En resumen, hemos llegado a la ecuacin diferencial: o y (x) 1 + y (x)2 Integrando ambos miembros queda: arg senh y (x) = x + c1 y(x) = y (x) = senh(x + c1 ) = .

cosh(x + c1 ) + c2 .

Esta es la ecuacin general de la catenaria, que nos da una familia de curvas deo pendiente de tres parmetros , c1 y c2 . Estos pueden determinarse por las condiciones a iniciales del problema. Observemos para ello que la longitud de y(x) es
x1

L=
x0

1 + y (x)2 dx = = senh(x + c1 )

x1 x0 x1

1 + senh2 (x + c1 ) dx = =

x1 x0

cosh(x + c1 ) dx

x0

senh(x1 + c1 ) senh(x0 + c1 ) .

As pues, la relacin entre los parmetros y las condiciones iniciales es: o a cosh(x1 + c1 ) cosh(x0 + c1 ) + c2 = y0 , + c2 = y1 , senh(x1 + c1 ) senh(x0 + c1 ) = L. 3

Existencia y unicidad en el caso horizontal Vamos a probar que el sistema de ecuaciones anterior tiene solucin unica (, c1 , c2 ) para todos los valores posibles de (x0 , y0 ), o (x1 , y1 ) y L que cumplan la restriccin obvia o L > L0 = (x1 x0 )2 + (y1 y0 )2 ,

(cuya interpretacin es que la longitud de una catenaria que una dos puntos dados ha de o ser mayor que la distancia L0 entre ellos). Ms precisamente, jado un intervalo [x0 , x1 ], se trata de probar que la aplicacin a o (, c0 , c1 ) (y0 , y1 , L) determinada por las ecuaciones anteriores biyecta las ternas que cumplen > 0 con las ternas que cumplen L > L0 . En este apartado trataremos separadamente el caso en que los dos extremos de la catenaria se encuentran a la misma altura, pues es considerablemente ms simple que el caso a general. Eligiendo el sistema de referencia, no perdemos generalidad si nos restringimos a un intervalo [r, r] y suponemos que las condiciones iniciales son y(r) = y(r) = 0. Tenemos entonces que cosh(r + c1 ) + c2 = 0, cosh(r + c1 ) + c2 = 0.

Despejando c2 e igualando obtenemos cosh(r + c1 ) = cosh(r + c1 ), de donde se sigue que r + c1 = (r + c1 ) (la alternativa con signo positivo es contradictoria) y, por consiguiente, c1 = 0. Despejando ahora c2 y llevndolo a la expresin general de y(x), a o vemos que sta se reduce a e y (x) = La longitud de esta catenaria es
r

cosh x cosh r . 2 senh r senh r senh (r) = .

L =

cosh x dx =

Basta probar que L : ]0, +[ ]2r, +[, pues esto signica que existe una unica catenaria (correspondiente a un valor del parmetro > 0) para cada longitud posible a L > L0 = 2r. Por una parte observamos que dL 2r cosh r 2 senh r > 0. = d 2 En efecto, la funcin que aparece en el numerador toma el valor 0 cuando = 0 y o 2 su derivada es 2r senh r > 0 para > 0, lo que prueba que el numerador es positivo. Esto prueba a su vez que L es estrictamente creciente en ]0, +[, luego es inyectiva. La suprayectividad se sigue de que
0

l L = 2r, m

l L = +, m

como se comprueba inmediatamente aplicando la regla de LHpital. o 4

Existencia y unicidad en el caso general Nos ocupamos ahora del caso en el que los extremos de la catenaria no estn a la misma altura. Observemos que si y(x) es una a catenaria denida en el intervalo [x0 , x1 ], entonces y(x) = cosh(x c1 ) cosh(x + c1 ) + c2 = + c2

es una catenaria denida en [x1 , x0 ], luego, a la hora de probar la existencia y la unicidad, no perdemos generalidad si suponemos que y0 y1 . Similarmente, las traslaciones (tanto horizontales como verticales) de las catenarias son tambin catenarias, luego tame poco perdemos generalidad si suponemos que x0 = y0 = 0 (y, por lo tanto, y1 0). As podemos eliminar la constante c2 , ya que la condicin y(0) = 0 es o c2 = cosh c1 ,

y la expresin general de la catenaria pasa a ser: o y= cosh(x + c1 ) cosh c1 .

Por ultimo, podemos suponer que x1 = 1, ya que esto equivale a tomar como unidad de medida la distancia (horizontal) entre los extremos de la catenaria. As las ecuaciones , que determinan los parmetros y c1 se convierten en a cosh( + c1 ) cosh c1 = y1 , senh( + c1 ) senh(c1 ) = L.

(Ms detalladamente, si una catenaria cumple estas condiciones con x1 y1 en vez de y1 a y x1 L en lugar de L, entonces la catenaria de constantes /x1 , c1 cumple y(0) = 0, y(x1 ) = y1 con longitud L.) Vamos a probar que, jado > 0, existe un unico c1 tal que la catenaria correspon diente cumple cumple y(1) = y1 , es decir, cosh( + c1 ) cosh c1 = y1 . Esto equivale a probar que la funcin f : R R dada por o f (t) = cosh(t + ) cosh t es biyectiva. La comprobacin es elemental: su derivada es o f (t) = senh(t + ) senh t > 0, pues el seno hiperblico es creciente, luego f es inyectiva. Adems, o a f (t) = e 1 t 1 e t et+ + et et et = e e , 2 2 2 5

y es claro entonces que

t+

l f (t) = +, m

l f (t) = , m

luego f es biyectiva. Con esto hemos visto que existe una funcin c1 = c1 () de forma que las catenarias o que cumplen y(0) = 0, y(1) = y1 son las de la forma y (x) = Llamemos L = cosh(x + c1 ()) cosh c1 () . senh( + c1 ()) senh c1 ()

a la longitud de y en el intervalo [0, 1]. Hemos de ver que L : ]0, +[ ]L0 , +[ es 2 biyectiva, donde ahora L0 = 1 + y1 . Por el teorema del valor medio, existe un ]c1 (), c1 () + [ tal que y1 = cosh( + c1 ()) cosh c1 () = senh .

Ahora bien, este est un a vocamente determinado por y1 . De aqu se sigue la desigualdad3 y1 = senh < senh( + c1 ()) = y (1). Por la continuidad del seno hiperblico, dado > 0, existe un 0 > 0 tal que si o 0 < c1 < 0 , entonces | senh c1 senh | < . En particular, si 0 < < 0 , tenemos que 0 < c1 () < < 0 , luego | senh c1 () y1 | < . En denitiva:
0

l senh c1 () = y1 . m

A su vez, de aqu deducimos que

0

m l senh( + c1 ()) = l (senh cosh c1 () + cosh senh c1 ()) = 0 m

0

2 1 + y1 + y1 = y1 .

La funcin y es convexa, luego su derivada es creciente, luego, para todo x [0, 1], o senh c1 () = y (0) y (x) y (1) = senh( + c1 ()), y de aqu se sigue la existencia del l mite l y (x) = y1 uniformemente en [0, 1]. m
0

Esta desigualdad tiene una interpretacin geomtrica clara: la pendiente con la que la catenaria llega o e al extremo derecho ha de ser mayor que la pendiente de la recta que une los dos extremos. Tambin e puede deducirse del hecho de que la catenaria es convexa.

Por consiguiente,
0

l m

1 + y2 (x) =

2 1 + y1

uniformemente en [0, 1], luego tambin existe e

1 0

m l L = l m

0 0

1 + y2 (x) =

2 1 + y 1 = L0 .

Observemos a continuacin que y c1 () estn relacionados por la ecuacin o a o F (c1 , ) = cosh( + c1 ) cosh(c1 ) y1 = 0. El teorema de la funcin impl o cita nos asegura que la funcin c1 () es innitamente o derivable, y adems (recordando que hemos probado que y (1) > y1 ): a c1 () = F y1 y (1) y1 senh( + c1 ) = = < 0. Fc1 senh( + c1 ) senh c1 L

o As pues, la funcin c1 () es montona decreciente. Existe un > 0 tal que c1 () = 0, o 4 pues esto equivale a que cosh 1 = y1 , y la funcin de la izquierda biyecta ]0, +[ con ]0, +[. Como c1 () toma el valor 0 y o es decreciente, tambin toma valores negativos. Ms an, concluimos que c1 () < 0 para e a u todo sucientemente grande. Para tales valores de , tenemos que y (0) = senh c1 () < 0 y, como y (1) = y1 0, la funcin y tiene necesariamente un m o nimo en ]0, 1[, pero dicho m nimo ha de ser (derivando e igualando a 0) el punto = c1 ()/ ]0, 1[. Fijemos un M > 0 y sea K > y1 + M . Sea 0 > 1 tal que, para todo 0 se cumpla que c1 () < 0 y cosh(/2) > K. As por la monoton del coseno hiperblico, si |x| 1/2 se cumple tambin que , a o e cosh(x) > K. Dado 0 , o bien 1+c1 ()/ 1/2 o bien c1 ()/ 1/2, luego, por lo que acabamos de decir, cosh c1 () cosh( + c1 ()) > K o bien > K.
Aqu usamos que y1 > 0, ya que esto es falso para y1 = 0. Podemos excluir este caso porque ya lo hemos tratado en el apartado anterior o, alternativamente, es fcil ver que si y1 = 0 entonces a c1 () = /2, y as vemos que c2 toma valores negativos, que es lo unico que se usa a continuacin. o
4

Entonces, si fuera cosh c1 () M < K, tendr amos que y1 = y (1) = cosh( + c1 ()) cosh c1 () > K M > y1 , cosh c1 () > M, luego y () = 1 cosh c1 () 1 < M < 1 M.

contradiccin, luego ha de ser o

Es obvio que L > y () > M 1, luego hemos probado que

+

l L = +. m

En total tenemos que L : ]0, +[ ]L0 , +[ es suprayectiva, lo que termina la prueba de la existencia de catenarias con una longitud y unos extremos dados. Para probar la unicidad falta ver que la aplicacin es inyectiva. Ms en general, lo que queremos o a probar es que la aplicacin o (, c1 ) (y1 , L) = cosh( + c1 ) cosh c1 senh( + c1 ) senh c1 ,

biyecta el abierto > 0 con el abierto L > L0 . Ya sabemos que es suprayectiva y queremos ver que es inyectiva. El determinante jacobiano de esta aplicacin es o senh( + c1 ) cosh( + c1 ) + cosh c1 2 senh( + c1 ) senh c1 cosh( + c1 ) senh( + c1 ) + senh c1 2 cosh( + c1 ) cosh c1

J=

Operando y aplicando las frmulas del seno y el coseno hiperblico de una resta, o o llegamos a que 2 cosh senh 2 . J= 3 Vamos a probar que J = 0, para lo cual estudiamos el numerador f (). Se comprueba que f () = senh cosh , f () = senh . Vemos que f (0) = f (0) = f (0) y f () < 0 para > 0, luego f es decreciente en ]0, +[, luego f es negativa en dicho intervalo, luego f tambin es decreciente, luego e tambin es negativa, luego J < 0 para todo > 0. e 8

Este hecho nos permite asegurar que la aplicacin (, c1 ) = (y1 , L) es localmente o inyectiva, es decir, que cada par (, c1 ) tiene un entorno donde es inyectiva, pero no podemos asegurar todav la inyectividad global. a Ahora volvemos al problema de la inyectividad de L (que es lo que realmente necesitamos probar y que, de hecho, es equivalente a la inyectividad global de ). Si L no fuera inyectiva, tomar el mismo valor para dos valores distintos de , luego en el a intervalo comprendido entre dichos valores L tendr un mximo o un m a a nimo global. Pongamos que dicho extremo es y llamemos c = c1 ( ). Vamos a probar que no 1 es localmente inyectiva en ( , c ), con lo que tendremos una contradiccin y la prueba o 1 habr terminado. a Dado > 0, es claro que existen dos valores 0 < < 1 tales que |1 0 | < y L0 = L1 = L. (Esto le sucede a toda funcin continua en un extremo local.) Por la o continuidad de c1 (), podemos tomar 1 y 2 sucientemente prximos a para asegurar o que c1,0 = c1 (0 ) y c1,1 = c1 (1 ) cumplen |c1 c1,0 | < , |c1 c1,1 | < . En resumen, en un entorno arbitrario de ( , c ) hemos encontrado dos puntos (0 , c1,0 ) y (1 , c1,1 ) tales que 1 (0 , c1,0 ) = (1 , c1,1 ) = (y1 , L). (Notemos que la primera componente es y1 en ambos casos por denicin de la funcin c1 ().) Esto contradice la inyectividad local de . o o Consecuencias geomtricas Desde un punto de e vista geomtrico, observamos que la expresin gee o neral de la catenaria es la funcin o y (x) = cosh x

sometida a una traslacin horizontal x x c1 y o a una traslacin vertical y y + c2 , de modo que o toda catenaria de parmetro es un segmento de a la grca de la funcin y . La gura muestra las a o funciones y para = 1/0.5, 1, 1/1.5 y 1/2 (que cortan al eje y, respectivamente, en 0.5, 1, 1.5 y 2). Parecen parbolas porque el desarrollo en serie de Taylor de y en 0 es a y (x) = 1 + x2 + 4 x4 +
1 0.8 0.6 0.4 0.2 -1 -0.5 0.5 1

de modo que diere de una parbola en un a trmino de grado 4. La gura muestra la e parbola y = x2 junto con la catenaria de la a misma longitud entre 1 y 1. Del teorema siguiente deduciremos una propiedad elemental de las catenarias:

Teorema Sean y(x), y (x) dos catenarias en un intervalo [x0 , x1 ] tales que y(x0 ) = y (x0 ), y(x1 ) = y (x1 ). Entonces existe un ]x0 , x1 [ tal que y () = y (). 9

 Demostracion: Supongamos primero que y(x0 ) = y(x1 ). El teorema de Rolle nos da que existe un punto ]x0 , x1 [ tal que y () = sinh( + c1 ) = 0, luego = c1 /. Por otra parte, la condicin y(x0 ) = y(x1 ) implica que cosh(x0 + c1 ) = cosh(x1 + c1 ), o luego x0 + c1 = x1 c1 (el signo positivo es imposible). As pues, = c1 x0 + x1 = . 2

Vemos que es independiente de y, luego y () = y () = 0. Si y(x0 ) = y(x1 ) aplicamos el teorema de Cauchy, en virtud del cual existe un cierto ]x0 , x1 [ tal que y(x1 ) y(x0 ) y () 1= = , y (x1 ) y (x0 ) y () luego y () = y (). De aqu deducimos: Teorema Dos catenarias distintas no pueden tener ms de dos puntos en comn. a u

Demostracion: Supongamos que dos catenarias y(x) y y (x) coinciden en tres puntos x0 < x1 < x2 . Entonces el teorema anterior nos da puntos x0 < 1 < x1 < 2 < x2 tales que y (1 ) = y (1 ), y (2 ) = y (2 ). Expl citamente: sinh(1 + c1 ) = sinh(1 + c1 ), luego 1 + c1 = 1 + c1 , 2 + c1 = 2 + c2 . sinh(2 + c1 ) = sinh(2 + c1 ),
1

0.8

Las funciones x + c1 y x + c1 son dos rectas que coinciden en dos puntos, luego son iguales, luego = , c1 = c1 , luego las dos catenarias son idnticas. e

0.6

0.4

Por consiguiente, dos catenarias con extremos comunes en [x0 , x1 ] no pueden cortarse dentro del 0.2 intervalo, luego una permanecer siempre por dea bajo de la otra. (La diferencia entre ambas es una 0.2 0.4 0.6 1 0.8 funcin continua que no toma el valor 0 en ]x0 , x1 [, o luego es siempre positiva o siempre negativa.) La gura muestra catenarias de distintas longitudes entre los puntos (0, 1/2) y (1, 1). Consecuencias f sicas La unicidad de la solucin implica en particular que, tal y como o hab amos armado, la forma de la catenaria no depende ni de ni de g, aunque esto se deduce tambin de las condiciones e d(T cos ) = 0, ds 10 d(T sen ) = g. ds

En efecto, si una funcin (s) cumple estas condiciones cuando, por ejemplo, g = 1 o con una tensin T (s), entonces la misma funcin (s) con la tensin gT (s) cumple estas o o o mismas condiciones para valores arbitrarios de y g, luego la catenaria calculada con g arbitrarios es la misma que calculamos con g = 1, aunque las tensiones asociadas sean distintas. Notemos que es fcil calcular la funcin T (s). Para ello observamos que a o tan (x) = y (x) = senh(x + c1 ), y las relaciones trigonomtricas nos dan que e cos2 luego T (x) = cosh(x + c1 ) = g . cos (x) 1 = 1 + senh2 (x + c1 ) = cosh2 (x + c1 ), (x)

Cuando la longitud de la catenaria tiende a la longitud del segmento que une sus extremos, la catenaria converge a dicho segmento. Tal vez el lector se plantee si el segmento mismo es una catenaria, pero la respuesta es negativa. Esto es obvio desde el momento en que las ecuaciones de las catenarias que hemos obtenido no son rectas en ningn caso, u pero adems tiene su interpretacin f a o sica: Al menos en teor es imposible sujetar una a, cuerda por sus extremos y lograr que se mantenga recta, por mucho que se tense. (Otra cosa es que el abombamiento que sufra sea prcticamente inapreciable.) a Si pensamos, concretamente, en una cuerda horizontal, es claro que ninguna tensin o horizontal, por grande que sea, puede contrarrestar el peso (vertical) de la cuerda, luego sta se arquear un poco necesariamente (aun a costa de estirarse aumentando su longie a tud). En general, el hecho de que la componente horizontal de la tensin tenga que ser o constante implicar que tambin tendr que serlo la componente vertical, y esto a su vez a e a lleva a un absurdo, pues la tensin vertical deber ser mayor en los puntos ms altos. o a a Mencionaremos, por ultimo, que el problema de la catenaria puede abordarse desde un punto de vista completamente distinto, partiendo del hecho de que la catenaria debe ser la curva que une dos puntos con una longitud dada con la m nima energ potencial. a La energ potencial de una curva es a
L x1

E(y) =
0

gy(s)ds = g
x0

y(x) 1 + y (x)2 dx.

Este enfoque conduce al empleo de tcnicas de anlisis funcional. e a Clculo de las constantes Las constantes , c1 , c2 , para unas condiciones iniciales a dadas, no pueden calcularse ms que mediante tcnicas de anlisis numrico. Por ejemplo, a e a e para la catenaria representada en la introduccin, que pasa por los puntos (0, 1) y (1, 1) o con longitud L = 2, resultan ser = 4.35464 . . ., c1 = 2.17732 . . ., c2 = 0.02602 . . . 11

En la direccin o http://www.uv.es/ivorra/Libros/animacion.gif puede verse una animacin que parte de la catenaria que acabamos de mencionar, en o una primera fase, reduce su longitud de L = 2 hasta L = 1.5 y luego realiza diversos movimientos de su extremo derecho manteniendo constante la longitud. En cada imagen se indican los valores correspondientes de los parmetros (, c1 , c2 ). a La gura de la derecha muestra las funciones 10 (L), c1 (L) y c2 (L) para los catenarias de extremos (0, 0) y (1, 1). Notemos que las funciones estn dea 8 nidas unicamente a partir de L0 = 2. La funcin o (L) c2 (L) no es siempre negativa. La gura inferior mues tra la grca con ms detalle cerca de 2. a a 6
0.5 4 0.25 0.5 0.75 -0.5 -1 -1.5 -2 -2.5 -3 -2 2 4 6 8 10 1 1.25 1.5 1.75 2 2

c2 (L)

c1 (L) El cambio de signo tiene una interpretacin geo- -4 o mtrica clara: es fcil ver que (si x0 = 0, y1 > y0 ) e a el parmetro c1 es negativo si y slo si la catenaria alcanza su m a o nimo en el interior del intervalo, y no en el extremo izquierdo. La ultima gura muestra la funcin c1 (). Vemos que, tal y como hemos demostrado, o es decreciente, aunque, en contra de lo que la grca pueda dar a entender, no es una a recta.
1 2 -1 -2 -3 -4 -5 4 6 8 10

12