La démonstration précédente suppose que la fonction

ne soit pas infinie pour a = et et que par conséquent la dérivée 9' v. ne devienne pas infinie. Cette condition sera toujours satisfaite, et quand une fonction est bien définie, finie et continue, la valeur de la dérivée est toujours finie.

La série (6j est démontrée en effet pour les valeurs de * qui ne rendent pas 9' % infini. Mais les deux membres de l’équation (6 , sont (I. 207 . des fonctions continues de a et ne peuvent être égaux pour les valeurs de st infiniment voisines de celles pour lesquelles l’exception est à craindre sans l'étrc aussi pour celles-là. Le développement est donc applicable à tous les eus, et l’on en conclut que la dérivée 9'faj ne peut pas devenir infinie.

Théorème (le Laurent.

534. Lorsqu’une fonction devient infinie pour la valeur 2=0 de la variable, elle ne peut pas évidemment être développée en série ordonnée suivant les puissances entières de z, mais on peut quelquefois remplacer ce développement devenu impossible par un autre dans lequel figurent les puissances positives et négatives de a.

Soit 9 '») une fonction continue, définie sans ambiguïté pour chaque valeur de z et restant finie ainsi que sa dérivée lorsque le module de : est compris entre deux limites R' et R”. Soit v. une constante dont le inodtde soit compris entre les mêmes