C'est conclure un poil rapidement.
Simplement, comme f est holomorphe sur D(0,1) en tant qu'elle est définie par une série entière, elle y est continue. Or, par hypothèse, le disque possède une suite de points qui converge vers 0 et qui annule la fonction. Donc, par continuité,
.
Donc on a dégoté un zéro de f qui n'est pas isolé.
Tu vois que c'est très différent du cas ou f est définie sur D(0,1) et où la suite de zéro de f tend vers 1 dans
mais pas dans D(0,1) : une telle fonction n'est pas nécessairement nulle.
Comme holomorphe et analytique sont des notions équivalentes là où f est définie, la suite
car dans les fonctions holomorphes sur un ouvert connexe de
contenant 0, avoir tous ses coefficients de Taylor nuls est équivalent à être la fonction nulle (je rappelle que cette équivalence n'est pas vraie pour les fonctions réelles définies sur un voisinage ouvert de 0 et pour lesquelles les coeff de Taylor sont nuls)