CIDEM

Centro de Investigacin y Desarrollo del Estado de Michoacn

LONGITUD DE UNA ELIPSE

En el presente artculo daremos justificacin a una frmula de aproximacin para la
longitud de una elipse de semiejes a y b. La frmula es: ( ) + A B , donde
, y es la longitud de la elipse A
a b
B
a b
=
+
=
+
2 2
2 2
.


Longitud de Arco.

DEFINICIN 1. Una funcin f es lisa en un intervalo si su derivada es continua en
todo el intervalo.
f

El significado intuitivo, en la definicin anterior, es el de que: variaciones pequeas de x
tienen como consecuencia variaciones pequeas en la pendiente de la recta
tangente a la grfica def. Lo que significa que en la grfica de una funcin lisa no hay
esquinas o picos.
( ) f x

Si f es una funcin lisa en [a ; b] , a los puntos ( ) ( ) ( ) ( )
A a f a B b f b , , y se les llama
extremos de la grfica.

Obtengamos la frmula para la longitud de un arco, de extremos A y B.
Para ello consideremos una particin P del intervalo [a ; b] , determinada por los
puntos, a x y sean x x b
n
= =
0 1
, , , ( ) ( )
Q x f x i n
i i i
, , , = 01 , ,
Q
i
)
, puntos de la curva
asociados a esta particin, tenemos entonces n +1 puntos Q
0
, Q
1
, ... , Q
n
sobre la
grfica. Al conectar cada mediante un segmento se obtiene una lnea
quebrada cuya longitud ser:
Q
i 1
con

( ) ( ) ( ) (
[ ]
L d Q Q x x f x f x
P i i
i
n
i i i i
i
n
= = +

=

=
1
1
1
2
1
2
1
,

Sea
( {
P
i
=

max x
i 1
)}
x , la norma de la particin. Si P es pequea, entonces Q
i - 1

est cerca de Q
i
, para cada i , y L
P
ser una buena aproximacin de la longitud de arco
entre A y B.
Lo anterior nos permite definir adecuadamente el concepto de longitud de arco,
diciendo:
La longitud de arco entre A y B, escrito , es el lmite L
a
b
lim L
P
P
0

Ahora bien como
( ) ( ) ( ) ( )
[ ]
L d Q Q x x f x f x
P i i
i
n
i i i i
i
n
= = +

=

=
1
1
1
2
1
2
1
,
al aplicar el teorema del valor medio a la funcin f sobre el intervalo
[ ]
x x
i i 1
, se tiene
( ) ( ) ( )( ) ( ) ( )
f x f x f w x x f w x w x x x x x
i i i i i i i i i i i i
= =
1 1 1
= donde y ;
i

1
de modo que L
P
se puede escribir

Leonardo Senz 1
CIDEM
Centro de Investigacin y Desarrollo del Estado de Michoacn


( ) ( )
[ ]
( )
[ ]
L x f w x f w
P i i i i
i
n
i
n
= + = +
= =


2 2 2
1 1
1 x
i


y al tomar lmite cuando P 0 obtenemos la integral:

( )
[ ]
( )
[ ]
L lim L lim f w x f x dx
a
b
P
P
P
i i
i
n
a
b
= = + = +

=

0 0
2
1
2
1 1
Pongamos esto como una definicin.

DEFINICIN 2. Sea f una funcin lisa en un intervalo [ a ; b ]. La longitud de arco
de la grfica de y = f(x), entre A y B, esta dada por ( )
[ ]
L f x
a
b
a
b
= +

1
2
dx

Ejemplo. Apliquemos la frmula anterior para obtener la longitud de una elipse de
semiejes a y b.
Consideremos la elipse
x
a
y
b
2
2
2
2
1 + = . Al despejar la variable y se tiene

y
b
a
a x =
2 2


y considerando nicamente el arco de ( ) ( ) A b B a 0, a 0 , , que se encuentra en el primer
cuadrante, tendremos
y
b
a
a x x =
2 2
0 con a

La longitud de este arco nos dar la cuarta parte de la longitud de la elipse, que, de
acuerdo a la frmula de la Definicin 2., sera: ( )

4
1
0
2
0
= = +

L y x
a
a
dx
y como


( )
( )
( )
( )
=

y x
b
a
x
a x
y x
b x
a a x
2 2
2
2 2
2 2 2

entonces

( )

4
1
2 2
2 2 2
0
= +

b x
a a x
dx
a



( )
=
+

4
4 2 2 2 2
2 2 2
0
a a x b x
a a x
dx
a

haciendo x asin = , se tiene;
( )
dx a d a x a a = cos cos y - = 1- sin =
2 2 2 2 2 2

se tiene


Leonardo Senz 2
CIDEM
Centro de Investigacin y Desarrollo del Estado de Michoacn


( )
( )
( )
=
+

= +
= +

4
4
4 1
4 2 2 2 2
2 2 2
0
2
2 2 2 2
0
2
2 2
2
2
0
2
a b a a sin
a a
a d
a b a sin d
a
b a
a
sin d

cos
cos


En una elipse los parmetros a, b y c satisfacen la relacin a
2
=b
2
+c
2
b
2
- a
2
=- c
2

empleando esto tendramos

=

4 1
2
2
2
0
2
a
c
a
sin d

y puesto que la excentricidad de la elipse se define como =
c
a
, podemos escribir

=

4 1
2 2
0
2
a sin

d (1)

La integral que figura en la expresin anterior, es una de las llamadas integrales
elpticas, la cual no se puede expresar en trminos de funciones elementales, pero,
obviamente, se puede calcular con tcnicas numricas o consultando directamente tablas
de integrales elpticas.

Una expresin para determinar la longitud de una elipse se puede obtener, haciendo lo
siguiente:
Para la integral elptica que figura en (1), al aplicar la serie binomial

1 1
1
2
1
2 4
1 3
2 4 6
1 3 5
2 4 6 8
1
2 3 4
=

< u u u u u u donde
(2)

, el radical 1
2 2
sin quedara

1 1
1
2
1
2 4
1 3
2 4 6
1 3 5
2 4 6 8
2 2 2 2 4 4 6 6 8 8
=

sin sin sin sin sin
de manera que (1) se puede escribir

4 1
1
2
1
2 4
1 3
2 4 6
1 3 5
2 4 6 8
4
1
2
1
2 4
1 3
2 4 6
2 2 4 4 6 6 8 8
0
2
2 2
0
2
0
2
4 4 6 6
0
2
0
2
a sin sin sin sin d
a d sin d sin d sin d

Leonardo Senz 3
CIDEM
Centro de Investigacin y Desarrollo del Estado de Michoacn

y, ahora, empleando la frmula de Wallis para las integrales de potencias del seno; que
establece:

( )( )
( )( )
( )( )
( )( )
sin xdx
n n
n n n
n
n n
n n n
n
=

1 3 4 2
2 4 5 3
1 3 5 3
2 4 4 2
0
2

, si es impar
2
, si n es par

, la expresin para la longitud de la elipse quedara



=

4
2
1
2 2
1
2
1
2 4 2
3 1
4 2
1 3
2 4 6 2
5 3 1
6 4 2
2 1
1
2
1 3
2 4 3
1 3 5
2 4 6 5
1 3 5 7
2 4 6 8 7
2 4 6
2
2
2
4
2
6
2
8
a
a








(2 )


con la cual podemos aproximar la longitud de la elipse, siendo mejor la aproximacin,
entre ms trminos se tomen de la serie.

LA APROXIMACIN : ( ) + A B
Veamos como, en efecto, la cantidad ( ) + A B es una buena aproximacin para la
longitud de una elipse.
Aqu, A
a b
=
+
2
, es la media aritmtica de los semiejes a y b , y
B
a b
=
+
2 2
2
, es la media cuadrtica.

Puesto que =
c
a
, entonces

1 1
1 1
2
2
2
2 2
2
2
2
2 2
= =

= =

c
a
a c
a
b
a
b
a
b a
= , y
;

y por lo tanto
( )
( )
2 1 1
2
A a b a
b
a
a = + = +

= + 1
y si desarrollamos 1
2
con la serie binomial (2), se tiene

1 1
1
2
1
2 4
1 3
2 4 6
1 3 5
2 4 6 8
2 2 4 6 8
=

y por lo tanto


Leonardo Senz 4
CIDEM
Centro de Investigacin y Desarrollo del Estado de Michoacn


Leonardo Senz 5
2 2
1
2
1
2 4
1 3
2 4 6
1 3 5
2 4 6 8
2 1
1
2 2
1
2 2 4
1 3
2 2 4 6
1 3 5
2 2 4 6 8
2 4 6 8
2 4 6 8
A a
a


=

A a 1
1
2 2
1
2 2 4
1 3
2 2 4 6
1 3 5
2 2 4 6 8
2 4 6 8
(3)

De manera anloga, y teniendo en cuenta que
( )
b a
2 2 2
1 = , podemos escribir

( )


=
+
=
+
= B
a b
a a
a
2 2
2 2 2
1
2
2
2
1
2
1

y aplicando la serie binomial (2) al radical 1
1
2
2
, se obtiene

=

B a 1
1
2 2
1
2 4
1
2
1 3
2 4 6
1
2
1 3 5
2 4 6 8
1
2
2
2
4
3
6
4
8
(4)

sumando (3) y (4) se tiene

( ) ( ) ( ) ( )

+


+


+

= +

8
6
2
4
2
2
2
8 6 4 2
8
8
1
6
4
1
4
2
1
2
8 8 6 4 2 2 2
9 5 3 1
5 6 4 2
5 3 1
3 4 2
3 1
2
1
1 2
8
9
8 6 4 2 2
5 3 1
4
5
6 4 2 2
3 1
2
3
4 2 2
1
2
1
2
1
8 6 4 2 2
5 3 1
1
6 4 2 2
3 1
1
4 2 2
1
2
1
2

a
a
a B A

comparando este resultado con el de la longitud dada en (2), vemos que coincide en
los cuatro primeros trminos de la serie y por lo tanto

( ) A B + .

Ntese que el quinto trmino, el que contiene a
8
, en ( ) A B + tiene como
coeficiente a
1 3 5 9
2 2 2 4 6 8 8
45
4096
001098633


= = . y el trmino similar en el desarrollo de ,
tiene como coeficiente a

1 3 5 7
2 4 6 8
1
7
175
16384
000152588
2

= = . , los cuales ya no
coinciden
EJ EMPLO
Para una elipse de semiejes a = 10 y b = 8 , tendramos

2
2
2
2 2
2
36
100
036 = =

= =
c
a
a b
a
.
CIDEM
Centro de Investigacin y Desarrollo del Estado de Michoacn


y de acuerdo a (1) , la integral elptica sera

( )
( )
2
2
0
40 1 0.36 sin
consultando el valor de la integral en tablas de integrales elipticas, se tiene
40 1.418083394 56.72333576
d

=
=

Si empleamos la aproximacin ( ) A B + tendremos

A
a b
B
a b
=
+
= =
+
=
2
9
2
82
2 2
y

( )
+ 9 82 56722665 56723 . .
la aproximacin ( ) A B + da , como puede verse, tres decimales correctos.






Leonardo Senz Baez

Leonardo Senz 6