Démonstration de l’obtention de l’équation (signes à justifier plus rigoureusement).

x '2 + 1 dx
Temps de parcours T = ∫ dy ( x ' = ); longueur L = ∫ x '2 + 1dx
2 gy dy

 1 
Intégrale à extrémaliser : T 2 g − λ L = ∫ Fdx avec F = x '2 + 1  −λ.
 y 
 

d ∂F ∂F x '2 + 1  1 
Equation d’Euler Lagrange : = d’où après intégration : =C −λ.
dy ∂x ' ∂y x'  y 
 

x '2 + 1  1 
Si l’on pose x ' = tan t alors = sin t , et C  − λ  = sin t donne
x'  y 
 
sin 2 t
y=c
(1 + k sin t )
avec c = C 2 et k = λ C .
dx dy 2c sin t cos t 2c sin 2 t
Alors = x ' = tan t 3
= 3
, d’où
dt dt (1 + k sin t ) (1 + k sin t )
sin 2 t
x = 2c ∫ 3
dt
(1 + k sin t )