Les solutions de cette équation
sont les triplets
,
on le constate directement sur la table de vérité.
L'utilisation de la table de vérité abouit à l'égalité :
En fait le
est un
.
Il en résulte alors que l'on peut prolonger la
fonction par continuité en 0 en lui donnant la valeur 1.
On démontre ensuite qu'elle est dérivable en 0
et que cette dérivée est nulle.
D'autre part,
En développant le logarithme à l'ordre 1, on aura un développement à l'ordre 2 :
La limite en 0 de cette expression est donc -1/6.
Le polynôme
a un discriminant
égal à -4, il ne s'annule donc pour aucune
valeur de t. Le rapport
est défini et continu
sur
, donc intégrable sur n'importe
quel intervalle borné. Donc
existe quel que
soit b dans
.
On en tire
Calculons
.
On intègre par rapport à y entre deux bornes opposées. L'intégrale du terme en y est donc nulle et il reste :
.
D'où
.