Modelagem do Problema

A origem dos eixos foi colocada no ponto inicial do percurso, para facilitar os
clculos.
Alm disso, o eixo y foi orientado no sentido do movimento da partcula, apenas
para eliminar a necessidade de utilizar sinal negativo nas expresses.
Princpio da Conservao da Energia Mecnica
A partcula parte do repouso, com:
Energia potencial gravitacional = mgy e
Energia cintica = 0
Quando a partcula atinge um ponto arbitrrio P = (x,y), a energia inicial transforma-se
em energia cintica:
Energia cintica =
2
1
2
mv
Portanto:
2
1
2
mv = mgy
1
2
1
2
mv mgy
2
1
2
v gy
2
2 v gy
2 v gy (i)
Comprimento da curva
Conforme a figura a seguir, um comprimento infinitesimal ( ds )da curva dada por:
(ds)
2
= (dx)
2
+ (dy)
2
(ds)
2
= (dx)
2
.
2
2
( )
1
( )
dy
dx
_
+

,
ds =
2
2
2
( )
( ) 1
( )
dy
dx
dx
_
+

,
2
ds =
2
2
( )
1
( )
dy
dx
+ . dx
ds =
2
1
dy
dx
_
+

,
. dx
ds =
2
1 [ '] y + . dx (ii)
Tempo do percurso
A velocidade a variao do espao pelo tempo. Portanto:
v =
ds
dt
dt =
ds
v
Para encontrar o tempo do percurso, para uma partcula partindo do ponto P
0
= (0,0) at
um ponto arbitrrio P
1
= (x
1
, y
1
), devemos integrar a expresso anterior:
Integrando no intervalo de 0 a x
1
:
1
0
x
ds
dt
v

T
1
0
x
ds
v

(iii)
Substitiundo (i) e (ii) em (iii)
T
2 1
0
1 [ '] .
2
x
y dx
gy
+

T
2 1
0
1 [ ']
2
x
y
dx
gy
+

3
T
1 2
0
1 [ ']
2
x
y
dx
gy
+

Esta a equao diferencial da Braquistcrona, cuja soluo veremos nas prximas

sees deste trabalho.
Soluo de Bernoulli para o Problema da Braquistcrona
Segundo SIMMMONS [XXX] e COURANT [XXX], John Bernoulli descobriu a
soluo para o problema da braquistcrona utilizando-se de conhecimentos da ptica,
da Mecnica e do Clculo.
Ele comeou com considerando um clssico problema da ptica, conhecida como Lei
da Refrao de Snell (tambm conhecida como Lei de Snell-Descartes):
A figura seguinte ilustra um raio de luz percorrendo o caminho que vai do ponto A ao
ponto B, passando pelo ponto P.
Com base na figura, temos as seguintes informaes:
De A at P, em um meio menos denso, a luz percorre o trajeto s
1
. O ngulo

1
o ngulo que o raio de luz forma com a perpendicular N (reta normal ao
plano da superfcie onde a luz incide).
Depois, a luz entra em um meio mais denso, e por isso desviada, formando
um novo ngulo
2
com a reta N.
A
P
B
a
c
b
c - x
x
s
1
s
2

1
v
2
(meio mais denso)
N
v
1
(meio menos denso)
4
A velocidade da luz no meio menos denso v
1
, e a velocidade da luz no
meio mais denso v
2
. Isto implica que o tempo que a luz demora para ir de
A at P diferente do tempo para ir de P at B.
Vamos chamar os tempos de cada percurso de t
1
(de A a P) e t
2
(de P a B)
A velocidade o espao dividido pelo tempo
s
v
t
. Portanto:
s
t
v

O tempo do percurso no meio menos denso :

1
1
1
s
t
v

O tempo do percurso no meio mais denso :

2
2
2
s
t
v

O tempo total do percurso : T = t

1
+ t
2
Ento:
T =
1 2
1 2
s s
v v
+
Podemos determinar s
1
e s
2
atravs do Teorema de Pitgoras:
2 2
1
s a x +
2 2
2
( ) s b c x +
Assim, o tempo total T para a luz fazer o percurso de A at B dado por:
T =
2 2 2 2
1 2
( ) b c x a x
v v
+ +
+
Snell (1591 1626) descobriu uma lei experimental para o fenmeno da refrao da luz,
que :
1 2
1 2
sen sen
v v

5
Pierre de Fermat demonstrou, atravs do Clculo, que essa lei descoberta
experimentalmente por Snell significa que a luz percorre sempre uma trajetria onde o
tempo do percurso mnimo, ou seja, menor que o tempo que a luz demoraria para
percorrer qualquer outra trajetria.
Fermat admitiu, por hiptese que a luz realmente seguiria esse caminho do tempo
mnimo. Neste caso, o tempo mnimo encontrado calculando-se a derivada da
equao do tempo T (deduzida por ns h pouco) e igualando-se essa derivada a zero.
T =
2 2 2 2
1 2
( ) b c x a x
v v
+ +
+
Reescrevendo em notao mais fcil para se calcular a derivada:
T =
( ) ( )
1 1
2 2 2 2
2 2
1 2
( ) a x b c x
v v
+ +
+
T = ( ) ( )
1 1
2 2 2 2
2 2
1 2
1 1
( ) a x b c x
v v
+ + +
Clculo da derivada:
T = ( ) ( ) ( ) ( )
1 1
2 2 2 2
2 2
1 2
1 1 1 1
0 2 ( ) 0 2( ).( 1)
2 2
a x x b c x c x
v v

+ + + + +
T = ( ) ( ) ( ) ( )
1 1
2 2 2 2
2 2
1 2
1 1 1 1
2 ( ) 2( ).( 1)
2 2
a x x b c x c x
v v

+ + +
T = ( ) ( ) ( ) ( )
1 1
2 2 2 2
2 2
1 2
1 1
( ) ( ).( 1) a x x b c x c x
v v

+ + +
T =
( )
( )
( )
( )
1 1
2 2 2 2 1 2
2 2
1 1 1 1
( )
( )
x c x
v v
a x b c x

+
+ +
T =
2 2 2 2
1 2
1 1 ( )
( )
x c x
v v
a x b c x

+ +
6
Examinando novamente a figura, podemos encontrar uma relao trigonomtrica que
simplifica muito a expresso anterior.
Como:
seno de um ngulo =
catetooposto
hipotenusa
Ento, pela figura:
1
2 2
x
sen
a x

+
2
2 2
( )
c x
sen
b c x

+
Fazendo estas substituies na derivada:
T = 1 2
1 2
1 1
sen sen
v v

T =
1 2
1 2
sen sen
v v

Igualando a derivada a zero:

1 2
1 2
sen sen
v v

= 0
Logo:
1 2
1 2
sen sen
v v

Lei de Snell, comprovada matematicamente por Fermat

7
Princpio do Menor Tempo de Fermat
A hiptese de que a luz segue a trajetria do menor tempo conhecida como
Princpio do Menor Tempo de Fermat. No caso que acabamos de estudar, a luz saa de
um meio menos denso e entrava em um meio mais denso. As dedues anteriores so
vlidas tambm quando a luz sai de um meio mais denso e entra em um meio menos
denso.
No nosso estudo anterior, implicitamente admitimos que ambos os meios tinham
densidade constante. Mas esse princpio tambm pode ser aplicado para determinar a
trajetria de um raio de luz que atravessa um meio com densidade varivel. Foi isso o
que John Bernoulli fez, para chegar soluo do Problema da Braquistcrona.
Observe a figura seguinte:
A figura anterior ilustra o caso de um meio com quatro camadas, cada uma com
densidade maior que a anterior. Em cada camada, a velocidade da luz constante, mas
a velocidade decresce em cada camada ou seja: v
4
< v
3
< v
2
< v
1
.
Ao passar de uma camada a outra, o raio de luz cada vez mais refratado em direo
vertical. Podemos aplicar a lei de Snell na passagem de uma camada a outra,
obtendo:
3 1 2 4
1 2 3 4
sen sen sen sen
v v v v


Bernoulli imaginou que o nmero de camadas tornava-se cada vez maior (ou seja,
cada camada tornava-se cada vez mais fina, tendendo a zero). Assim, Bernoulli
concluiu que a linha poligonal com inmeros segmentos de reta (tendendo ao infinito)
tenderia para uma curva, que seria a curva da trajetria percorrida pela luz. Nesta
situao, a velocidade da luz decresce cada vez mais, atingindo um mesmo valor, em
qualquer ponto da trajetria, como mostra a figura seguinte:
v
1

4
v
2
v
3
v
4
8
sen
v

= constante
(em qualquer ponto da trajetria)
_________________________________
Observao: Essa situao o que acontece, aproximadamente, quando a luz do Sol
atravessa a atmosfera terrestre, onde cada camada tem densidade crescente [SIMMONS
XXX].
_________________________________
Aplicao do Princpio do Menor Tempo de Fermat ao problema da Braquistcrona
Bernoulli aplicou o Princpio do Menor Tempo ao problema da Braquistcrona,
considerando o seguinte esquema geomtrico:
v

9
Bernoulli intuiu que a curva que leva um corpo de um ponto a outro no menor tempo,
sob a ao da gravidade, tambm obedeceria a mesma lei da curva descrita pela luz ao
atravessar um meio com camadas (muito finas) de densidades cada vez maiores. Ou
seja, a curva-soluo da ciclide tambm seria aquela em que, em todos os seus pontos,
vale a relao
sen
v

= constante.
Ampliando os ngulos que aparecem na figura anterior, vemos que:
cos sen

sen
cos
10
E a que leva essa constatao ? Vejamos:
cos sen
1
sec
sen

2
1
1
sen
tg

+
Como a tangente do ngulo a derivada de y:
tg = y:
Ficamos com
2
1
1 ( ')
sen
y

+
Pelo princpio do menor tempo:
sen
v

= constante
Ento:
2
1
1 ( ') y
v
+
= constante
Chamando a constante de c:
2
1
1 ( ') y
v
+
= c
11
2
1
1 ( ') y +
= cv
2
1
1 ( ') v y
c
+
Porm, da modelagem do problema da braquistcrona, na seo [XXX], sabemos
que:
2 v gy
Substituindo na expresso anterior:
2
1
2 1 ( ') gy y
c
+
2
1
2 [1 ( ') ] gy y
c
+
2
2
2
1
2 [1 ( ') ] gy y
c
_
1
+

]
,
2
2
1
2 [1 ( ') ] gy y
c
+
2
2
1
[1 ( ') ]
2
y y
gc
+
2
2
1
[1 ( ') ]
2
y y
gc
+
Tirando os colchetes, para simplificar a notao:
2
2
1
.(1 ' )
2
y y
gc
+
12
O termo
2
1
2gc
uma constante, pois c e g (acelerao da gravidade) so constantes.
Assim, podemos substituir por uma letra qualquer, para facilitar a notao. Por
exemplo:
2
1
2gc
= a
No entanto, vamos usar
2
1
2gc
= 2a, em vez de simplesmente
2
1
2gc
= a, pois com
esta escolha o trabalho de calcular a equao diferencial que aparecer mais adiante
ficar muito mais fcil.
Ento, ficamos com:
( )
2
. 1 ' 2 y y a +
Isolando y:
2
2
(1 ' )
a
y
y
+
2
2
' 1
a
y
y

2
2
'
a y
y
y

2
'
a y
y
y

Como y =
dy
dx
:
13
2 dy a y
dx y

2a y
dy dx
y

1
2
dy dx
a y
y

2
y
dy dx
a y

2
y
dy dx
a y

2
y
dx dy
a y

2
y
dx dy
a y

2
y
x dy
a y

Para integrar a expresso anterior, usamos a seguinte substituio de variveis [XXX e

XXX]:
(1 cos ) y a
Onde o termo a uma constante escolhida arbitrariamente.
_________________________________
Observao: O leitor pode estar se perguntando de onde veio a idia de realizar tal
substituio, uma vez que ela no parece ser uma substituio do tipo tradicional,
encontrada em livros de Clculo. Talvez possamos pensar, como hiptese, que
Bernoulli tinha uma intuio de que a ciclide seria a soluo da equao diferencial em
14
questo, e isso o levou a experimentar algumas substituies, na tentativa de chegar
soluo intuda. Algumas das obras utilizadas como referncia, neste trabalho, fazem
algumas substituies um pouco diferentes, mas que da mesma forma talvez no
pudessem ser antevistas se no lanarmos mo da hiptese de que j se conhece a
soluo desejada, ou seja, a curva ciclide. Obviamente, em problemas cuja soluo
no seja previamente conhecida, encontrar a substituio de variveis adequada ser
bem mais difcil. No restante desta resoluo, o leitor ver que tambm foram usadas
algumas relaes trigonomtricas, que foram aplicadas tendo em mente a soluo a que
queramos chegar a equao da ciclide.
_________________________________
Uma vez explicitada a observao anterior, podemos continuar com a resoluo.
A derivada de y em relao a dada por:
(0 )
dy
a sen
d

+
dy
a sen
d

dy a sen d
Fazendo a substituio na integral:
2
y
x dy
a y

(1 cos )
2 (1 cos )
a
x a sen d
a a

(1 cos )
2 (1 cos )
a
x a sen d
a a

1 cos
2 (1 cos )
x a sen d

15
1 cos
1 cos
x a sen d

O termo a uma constante, e por isso pode ser colocado fora da integral:
1 cos
1 cos
x a sen d

Agora, faremos uso das seguintes relaes trigonomtricas:

2
1 cos
2 2
sen

2
1 cos
cos
2 2
+

Para podermos utilizar estas relaes, precisamos dividir por 2 o numerador e o

denominador da frao, dentro da integral:
1 cos
2
1 cos
2
x a sen d

Agora, fazendo as substituies trigonomtricas anteriores:

2
2
2
cos
2
sen
x a sen d

2
2
cos
2
sen
x a sen d

16
2
cos
2
sen
x a sen d

Neste momento, precisamos de outra relao trigonomtrica, para simplificar o

integrando. A relao seguinte ser til:
2 . cos
2 2
sen sen


Substituindo na integral:
2
2 . cos
2 2
cos
2
sen
x a sen d

Colocando a constante 2 fora da integral e simplificando os termos cos

2

:
2 .
2 2
x a sen sen d

2
2
2
x a sen d

Usando novamente a relao

2
1 cos
2 2
sen

ficamos com:
1 cos
2
2
x a d

1
2 1 cos
2
x a d

1 cos x a d

Depois de todas estas simplificaes, a integrao imediata:

( ) x a sen
17
Assim, chegamos seguinte soluo:
( ) x a sen
(1 cos ) y a
Equao paramtrica da ciclide
O termo a corresponde ao raio do crculo que descreve a ciclide (ver seo [XXX])
Esta resoluo foi baseada principalmente na referncia [XXX]. Uma resoluo um
pouco diferente (mas que utiliza princpios semelhantes) pode ser vista em [XXX].
Comentrios a Respeito da Soluo de Bernoulli
1) Sobre o Problema da Tautcrona
Segundo SIMMONS[XXX], a ciclide era bem conhecida por todos os fsico-
matemticos da poca de Bernoulli, pois o holands Christiaan Huygens (1629-1695)
tempos antes j havia publicado um trabalho envolvendo essa curva. Huygens
descobriu que a ciclide era a soluo do Problema da Tautcrona, ou seja, a curva que
faz com que uma partcula deslize de um ponto qualquer at o ponto mais baixo da
curva, gastando sempre o mesmo tempo. Bernoulli escreveu (ver SIMMONS [XXX]):
Admiramos Huygens com justia, porque foi ele o primeiro a descobrir que uma
partcula pesada desliza at a parte mais baixa de uma ciclide gastando um mesmo
tempo, no importando de onde comece. Mas vocs [seus leitores] ficaro
petrificados de surpresa com a afirmao de que essa ciclide, a tautcrona de
Huygens, tamb~em a braquistcrona que estamos procurando
O problema da Tautcrona ser visto na seo [XXX].
2) Sobre o carter intuitivo da soluo de Bernoulli
Segundo COURANT, Bernoulli demonstrou um raciocnio fsico-matemtico
bastante engenhoso, para encontrar a curva-soluo do problema da braquistcrona. No
entanto, diz COURANT, esse raciocnio no pode ser encarado como rigoroso, uma vez
que deixou implcitas diversas consideraes. Por exemplo, Bernoulli admitiu a
existncia de uma soluo para o problema, mas em nenhum momento argumentou
sobre o fato de essa soluo realmente existir. Ele simplesmente partiu do princpio de
que haveria soluo para o problema, e engendrou um mtodo para encontrar a resposta.
As questes que envolvem a existncia ou no de solues tais como a do problema ora
estudado um assunto que exige uma argumentao bastante rigorosa e detalhada, em
18
livros de Matemtica especficos sobre o assunto (por exemplo, ver COURANT
[XXX]).
3) Sobre o carter particular da soluo de Bernoulli
Sobre o raciocnio empregado por Bernoulli, convm ressaltar que seu mtodo
particular ao problema da braquistcrona. Mas existem outros problemas na Fsica e
Matemtica que em sua natureza se assemelham a este. Para tais problemas, os fsico-
matemticos desenvolveram uma nova rea da Matemtica chamada Clculo
Variacional. Na prxima seo, veremos como resolver o Problema da Braquistcrona
atravs do Clculo Variacional..
Soluo do Problema da Braquistcrona atravs do Clculo Variacional
Na resoluo que segue, utilizaremos uma rea da Matemtica conhecida como
Clculo Variacional. Uma introduo aos conceitos aqui aplicados podem ser vistos
na seo XXX deste trabalho.
A expresso T
1 2
0
1 [ ']
2
x
y
dx
gy
+

um funcional que no depende explicitamente de x

(depende de y e y). Assim, como mostramos na seo XXX, podemos usar a seguinte
condio de otimizao:
'
'
f
y f
y

= constante
(condio de otimizao decorrente da aplicao da Equao de Euler-Lagrange para os funcionais onde
x no aparece explicitamente).
No funcional do problema da braquistcrona, vamos chamar de f o seguinte termo:
f =
2
1 [ ']
2
y
gy
+
Precisamos calcular
'
f
y

(a derivada parcial de f em relao y) para usar na condio de

otimizao mostrada anteriormente (ou seja, para usar em:
'
'
f
y f
y

= constante).
Reescrevendo f em uma notao mais simples de se operar:

19
f =
2
1 [ ']
2
y
gy
+
f =
( )
1
2
2
1 [ ']
2
y
gy
+
f = ( )
1
2
2
1
1 [ ']
2
y
gy
+
Agora, vamos calcular
'
f
y

. Do Clculo Diferencial e Integral bsico, lembremos-nos

que, ao calcular esta derivada parcial, a varivel apenas y (os demais termos,
inclusive y, so constantes). Para maior clareza, vamos deixar a parte que envolve y
(que ser derivada) entre colchetes:

f = ( )
1
2
2
1
1 [ ']
2
y
gy
1
+
1
]
( )
1
2
2
1 1
1 [ '] . (0 2 ')
' 2
2
f
y y
y
gy
1
+ +
1

]
(Note que (0 + 2y) a derivada interna, ou seja, a derivada de 1 + [y]
2
).
( )
1
2
2
1 1
1 [ '] . ( 2 ')
' 2
2
f
y y
y
gy
1
+
1

]
( )
1
2
2
1
1 [ '] . ( ')
'
2
f
y y
y
gy
1
+
1

]
1
2
2
1 1
. '
' 1 [ ']
2
f
y
y y
gy
1
_
1

1
+
,
1
]
2
1 1
. '
'
2
1 [ ']
f
y
y
gy
y
1

1 +
]
20
2
1 '
'
2
1 [ ']
f y
y
gy
y
1

1 +
]
2
'
'
2 1 [ ']
f y
y
gy y

+
(derivada parcial de f, em relao a y)
Agora que temos a derivada parcial de f, em relao a y, podemos substituir na
condio de otimizao:
'
'
f
y f
y

= constante
Vamos chamar o termo constante de c:
'
'
f
y f
y

= c
Fazendo a substituio:

2
2
1 [ '] '
' .
2
2 1 [ ']
y y
y
gy
gy y
+

+
= c
2 2
2
1 [ '] '
2
2 1 [ ']
y y
gy
gy y
+

+
= c
Reunindo as fraes em um mesmo denominador:
( ) ( )
2 2 2
2
' 1 [ '] 1 [ ']
2 1 [ ']
y y y
gy y
+ +
+
= c
( )
2
2 2
2
' 1 [ ']
2 1 [ ']
y y
gy y
+
+
= c
21
( )
2 2
2
' 1 [ ']
2 1 [ ']
y y
gy y
+
+
= c
( )
2 2
2
' 1 '
2 1 '
y y
gy y
+
+
= c
2 2
2
' 1 '
2 1 '
y y
gy y

+
= c
2
1
2 1 ' gy y

+
= c
2
2
1
2 1 ' gy y
_

+
,
= c
2

2
1
2 .(1 ' ) gy y +
= c
2
2
1
.(1 ' ) y y +
= 2gc
2
1
2
1
.(1 ' ) y y

_

+
,
= (2gc
2
)
-1
2
2
1
.(1 ' )
2
y y
gc
+
Deste ponto em diante, tudo se repete tal como foi calculado na seo [XXX], ou seja,
substitumos
2
1
2gc
= 2a, isolamos y, fazemos as substituies de variveis conforme
j descrito, e trabalhamos algebricamente at chegar equao paramtrica da ciclide:
( ) x a sen
(1 cos ) y a
22
A Ciclide e o Problema da Tautcrona
Christiaan Huygens foi o inventor do relgio de pndulo. Estudou profundamente
questes sobre pndulos, porque o perodo dos pndulos no dependia apenas da
amplitude. Podemos entender tal problema atravs de uma situao similar, como
mostra a figura seguinte:
Partcula percorrendo uma trajetria circular
A curva na figura anterior um trecho de um crculo (no necessariamente um semi-
crculo). O tempo que uma partcula demora para chegar at o ponto mais baixo dessa
curva depende da altura do ponto de partida. Por exemplo, suponhamos que soltemos
uma partcula do ponto A, at B e meamos tempo. Depois, soltemos a partcula a
partir do ponto C, tambm para medir o tempo do percurso. Em uma curva circular,
teremos T
AB
T
CB
.
Huygens fez a notvel descoberta de que, se a curva for uma ciclide (ou um trecho
de uma ciclide), a partcula partindo de A, partindo de C, ou de qualquer outro ponto,
demoraria exatamente o mesmo tempo para chegar at B.
23
Assim, Huygens descobriu que a ciclide a curva tautcrona (tempo igual), ou
seja, de qualquer ponto que a partcula seja solta, demorar exatamente o mesmo tempo
at chegar ao ponto mais baixo.
A seguir, vamos provar que a ciclide a curva tautcrona.
Na seo [XXX], ao deduzirmos a expresso que determina o comprimento de uma
curva, passamos pela seguinte relao:
(ds)
2
= (dx)
2
+ (dy)
2
Ou seja:
ds =
2 2
dx dy +
Onde ds representa o comprimento de um trecho infinitesimal da curva.
Tambm na seo [XXX], vimos que:
2 v gy
Como: velocidade =
espaco
tempo
Ento:
v =
ds
dt
E o tempo :
dt =
ds
v
Fazendo as substituies:
dt =
2 2
2
dx dy
gy
+
dt =
2 2
2
dx dy
gy
+
24
Como j vimos, a equao paramtrica da ciclide dada por:
( ) x a sen
(1 cos ) y a
Ento:
(1 cos )
dx
a
d

dx =
(1 cos ) a d
(0 )
dy
a sen
d

+ dy = a sen d
Substituindo y, dx e dy na expresso de dt, ficamos com:
dt =
2 2
[ (1 cos ) ] [ ]
2 (1 cos )
a d a sen d
ga

dt =
2 2 2 2 2 2
[ (1 cos )
2 (1 cos )
a d a sen d
ga

dt =
2 2 2 2
[(1 cos ) ]
2 (1 cos )
a d sen
ga

dt =
2 2
[(1 cos ) ]
2 (1 cos )
a sen
d
g

dt =
2 2
[(1 cos ) ]
2 (1 cos )
a sen
d
g

dt =
2 2 2 2
[1 2cos cos ]
2 (1 cos )
a sen
d
g

+ +

Como: sen
2
+ cos
2
:= 1
dt =
[1 2cos 1]
2 (1 cos )
a
d
g

25
dt =
([2 2cos ]
2 (1 cos )
a
d
g

dt =
2 (1 cos )
2 (1 cos )
a
d
g

dt =
a
d
g

Para descobrir o tempo da partcula deslizar em um fio cicloidal partindo do ponto =
(0,0) at o ponto mais baixo, integramos a expresso anterior de 0 at , pois em =
que a partcula atinge o ponto mais baixo da curva. Alm disso, vamos chamar de T
0
o
tempo que a partcula demora para percorrer o trajeto, partindo do ponto (0,0). Ento,
ficamos com:
0
0 0
T
a
dt d
g

Como a e g so constantes, podemos tir-las da inetgral:
0
0 0
T
a
dt d
g

0
0 0
T
a
t
g


T
0
a
g

Agora, vamos supor que a partcula parta de um ponto qualquer. Vamos chamar as
coordenadas desse ponto genrico de (x
0
, y
0
), apenas para representar que o ponto de
incio do movimento (note que as coordenadas desse ponto genrico no so
necessariamente (0,0), e sim coordenadas quaisquer).
26
Para fazer essa generalizao, no lugar de 2 v gy , vamos usar
0
2 ( ) v g y y ,
pois agora devemos levar em conta que a partcula iniciou seu movimento em uma
altura y
0
qualquer:
v =
ds
dt
dt =
ds
v
dt =
2 2
0
2 ( )
dx dy
g y y
+

dt =
dt =
2 2
0
2 ( )
dx dy
g y y
+

Vamos chamar simplesmente de T o tempo total que a partcula demora para ir at o

ponto mais baixo da curva. Calculando a integral:
T =
2 2
0
2 ( )
dx dy
g y y
+

Tomando novamente as equaes paramtricas da ciclide e as respectivas derivadas:

( ) x a sen
(1 cos ) y a
(1 cos )
dx
a
d

dx =
(1 cos ) a d
(0 )
dy
a sen
d

+ dy = a sen d
Fazendo as substituies:
T =
0
2 2
0
[ (1 cos ) ] ( )
2 [ (1 cos ) (1 cos )]
a d a sen d
g a a

+


27
T =
0
2 2 2 2 2 2
0
(1 cos )
2 [ (1 cos ) (1 cos )]
a d a sen d
g a a

T =
0
2 2 2 2 2
0
[(1 2.1.cos cos ) ]
2 [(1 cos ) (1 cos )]
a d sen
ga

+ +

T =
0
2 2 2
0
[(1 2cos cos ) ]
2 [(1 cos ) (1 cos )]
a sen
d
ga

+ +

T =
0
2 2 2 2
0
[(1 2.1.cos cos ) ]
2 [(1 cos 1 cos )]
a sen
d
ga

+ +
+

T =
0
2 2
0
[(1 2cos cos ) (1 cos )]
2 (cos cos )
a
d
g

+ +

T =
0
2 2
0
[(1 2cos cos 1 cos )]
2 (cos cos )
a
d
g

+ +

T =
0
0
(2 2cos )
2 (cos cos )
a
d
g

T =
0
0
2 (1 cos )
2 (cos cos )
a
d
g

T =
0
0
(1 cos )
(cos cos )
a
d
g

T =
0
0
1 cos
cos cos
a
d
g

T =
0
0
1 cos
os cos
a
d
g c

T =
0
0
1 cos
cos cos
a
d
g

Vamos usar as seguintes identidades trigonomtricas:

28
a) 2sen
2
( )= 1 cos2( )
Se usarmos
1
2
no lugar de , ficaremos com:
2
2 1 cos
1
2
2
1
2
sen
_ _


, ,
ou seja:
2
1
2
2 1 cos sen
_


,
b) cos2 = cos
2
-sen
2

cos2 = 2cos
2
- 1
Se usarmos
1
2
no lugar de , ficaremos com:
cos
2
1
2

_

,
= 2cos
2
1
2

_

,
- 1
ou seja:
cos = 2cos
2
1
2

_

,
- 1
Substituindo na integral as duas relaes destacadas nos retngulos anteriores:
T =
0
0
1 cos
cos cos
a
d
g

T =
0
0
2
2 2
1
2
1 1
2
2
[2cos 1] [2co ]
2
s 1
sen
a
d
g

_

,
_ _


, ,

29
T =
0
0
2
2 2
1
2
1 1
2
2
[ 2 cos 1] [ 2 co ]
2
s 1
sen
a
d
g

_

,
_ _


, ,

T =
0
2
2
0
2
1
2
1
[cos 1] [cos 1]
1
2 2
sen
a
d
g

_

,
_ _


, ,

T =
0
2
2
0
2
1
2
1
cos 1 c 1
2
os
1
2
sen
a
d
g

_

,
_ _
+

, ,

T =
0
0
2
2 2
1
2
1
cos
1
2 2
cos
sen
a
d
g

_

,
_ _

, ,

T =
0
0
2
2 2
1
2
1
cos
1
2 2
cos
sen
a
d
g

_

,
_ _

, ,

Multiplicando e dividindo o denominador por

0
2
c s
1
2
o
_

,
:
T =
0
2
2 2
2
2
0
0
0
cos cos
. co
1
2
1 1
1 2 2
1 2
2
s
cos
sen
a
d
g

_

,
_ _

_ , ,

_ ,

,

30
T =
0
0
0
0
2
2 2
2
co
1
2
1 1
1 2
s co
2
1
s
cos
cos
2
2
sen
a
d
g

_

,
_ _

_ , ,

_ ,

,

T =
0
2
2 2
2
0
2
0
0
0
1
2
1 1
1 2 2
1 1 2
2
cos cos
cos
2
cos cos
sen
a
d
g

_

,
_ _

_ , ,

_ _ ,

, ,

T =
0
0
2
2
2
0
cos
cos 1
c
1
2
1
1
os
2
1 2
2
sen d
a
g

_

,
_

_ ,

_ ,

,

T =
0
2
2
0
0
1
2
1
1 2
1 2
cos
cos 1
cos
2
sen d
a
g

_

,
1
_
1
_ ,
1

_ 1 ,

1
, ]

Agora, utilizaremos a substituio

u =
0
1
cos
2
1
cos
2

Ento, a derivada em relao a (lembrando que :
0
uma constante e, por isso,
0
1
cos
2
uma constante) resulta em:
31
du
d
=
0
1 1
2 2
1
cos
2
sen

_ _

, ,
du
d
=
0
1 1
2 2
1
cos
2
sen

du
d
=
0
1
1
2
1
2
cos
2
sen

du =
0
1
1
2
1
2
cos
2
sen
d

O intervalo de integrao torna-se:

Para =
0
u =
0
0
1
cos
2
1
cos
2

= 1
Para = u =
0
1
cos
2
1
cos
2

=
0
0
1
cos
2

= 0
Tnhamos a seguinte integral:
T =
0
2
2
0
0
1
2
1
cos
1 2
cos 1
1 2
cos
2
sen d
a
g

_

,
1
_
1
_ ,
1

_ 1 ,

1
, ]

32
Abaixo, note que o termo destacado em azul corresponde ao valor de du, conforme
calculamos anteriormente, com exceo de que falta o fator
1
2

:
T =
0
0
2
2
0
1
cos
2
1
1
cos
2
1
2
1
cos
2
sen d
a
g

1
_
1
,
1

_ 1

1
, ]
_

,
_

,

Para obtermos du, vamos multiplicar e dividir o integrando por -2:

T =
0
2
2
0
0
1
1
2
2
1
2cos
cos
2
1
1
cos
2
2
sen d
a
g

1
_
1
,
1

_ 1

1
,
_

,
_

,
]

Retirando o -2 do numerador para fora da integral:

T =
0
2
0
2
0
2
1
1
2
1
2cos
2
cos
2
1
1
cos
2
sen d
a
g

1
_
1
,
1

_ 1

1
, ]
_

,
_

Os termos destacados em azul correspondem a du:

T =
0
2
0
2
0
2
1
cos
2
1
1
cos
1
1 2
2
1
cos
2
2
sen d
a
g

1
_
1

_

,

,
1

_ 1

1

, ]

33
Agora, substituindo o valor de u proposto anteriormente, e mudando o intervalo de
integrao:
T =
0
2
1
2
1
u a
g
u
d

T =
1
2
0
2
1
a du
g
u
+

Essa uma integral do seguinte tipo:

2 2
du u
arcsen
a
a u

(onde a = 1)
Ento:
T =
1
2
0
2
1
a du
g
u

T =
1
0
2
1
a u
arcsen
g
_


,
T =
1
0
2
a
arcsen u
g
_


,
T = ( ) 2 1 0
a
arcsen arcsen
g
_

,
T =
2 0
2
a
g

_
_

,
,
T =
2
2
a
g

_
_



,
,
34
T =
a
g

Assim, T =
a
g
o valor do tempo para a partcula atingir o ponto mais baixo da
curva, partindo de um ponto QUALQUER. Mas j havamos calculado que o valor
de T quando a partcula parte do repouso tambm T =
a
g
. Isto prova que, na
ciclide, o tempo T para a partcula chegar at o ponto mais baixo independente do
ponto inicial.
O Pndulo Cicloidal
Huygens conseguiu mostrar que a ciclide a curva tautcrona. No entanto, um
pndulo comum descreve movimentos circulares, e no cicloidais:
A figura seguinte mostra um pndulo comum, que descreve movimentos na forma de
um arco circular:
Trajetria em forma de arco circular
Mas o que se poderia fazer para que um pndulo de relgio se movesse em uma
trajetria de um arco cicloidal ? Huygens mostrou que ao construir dois semi-arcos
cicloidais invertidos, e fazer um pndulo de mesmo comprimento dos semi-arcos
balanar entre eles, o pndulo se moveria em uma trajetria que constitui um outro arco-
cicloidal invertido.
35
Trajetria em forma de arco cicloidal
O enunciado matemtico para o fato mostrado na figura este:
A curva evoluta de uma ciclide uma outra ciclide.
Uma prova desse enunciado pode ser visto em SIMMONS [XXX], apndice 13
Evolutas e Involutas.
36