leon1789 a écrit:
Timothé Lefebvre a écrit:Il faut préciser
+ sin^2 (x) = 1)
, question de rigueur !
Alors là, tu mets le doigt dans un truc qui est important.
Les deux écritures sont rigoureusement correctes, quoique dans la tienne manque le quantificateur

.
Explication : ta formule porte sur des nombres réels : x, cos(x) , sin(x) , 1
La mienne porte sur des fonctions réelles : cosinus, sinus, et fonction constante 1.
Par exemple

ne pose pas de problème, et signifie
))
.
On peut prendre la formulation que l'on veut, mais des fois, quand on écrit avec des "x" en oubliant le quantificateur, on se trouve coincé...
Et puis, il y a des exemples où travailler avec des "

" (et non des trucs plus abstraits comme les fonctions) complique la situation...
Donc, attention, ne pas négliger l'un pour l'autre.

:id: