On a :
soit
avec
(1)
On introduit un angle auxiliaire i', tel que :
est minimum lorsque la dérivée de f est nulle
(2)
(3)