Quand on trouve la primitive d'une fonction sur un intervalle, comme on fait pour montrer que cette primitive est aussi valable sur le reste de l'ensemble de definition de la fonction ?
Par exemple, j'ai trouvé la primitive de sin^2(x)/((a^2)*cos^2(x) + (b^2)*sin^2(x))
A un moment j'utilise le changement de variable u=tant
En remplaçant dans l'intégrale on aura t=arctanu, formule uniquement valable pour t dans ]-Pi/2;Pi/2[.
Mon prof nous sortis quelque chose du genre "Quand on dérive l'intervalle n'est pas pris en compte, donc ça reste valable sur les intervalles du type ]-Pi/2+kPi;Pi/2+kPi[. En +/- Pi/2 on prolonge F par continuité et on montre qu'elle est dérivable".
Enfin ça me parait un peu bizarre comme démonstration le "la dérivée est valable partout" 