362 ACADÉMIE DES SCIENCES. 



Ces définitions étant posées, je vais énoncer le théorème suivant : 

 Pour que les courbes C,, C^, ..., (^^ soient algébriquement dépendantes, il 

 faut et il suffit que la matrice discriminante du groupement (C,, Co, . . ., C/,) 

 soit nulle (c'est-à-dire que ses déterminants d'ordre h soient nuls). 



J'appuie la démonstration de ce théorème sur la remarque que, si deux courbes 

 A, B de F ont le ujème degré, le même genre et le même ordre, les systèmes algé- 

 briques complets 



(4) (D). (D-t-A-B), [D + 2(A-B)]. ..., 



qui contiennent les systèmes linéaires |D|,|D-t-A — B|,|D-|-2(A — B)|. ... (pourvu 

 que ces systèmes existent, comme on peut le supposer lorsque la courbe D est choisie 

 dans un système régulier convenable), ont les caractères du premier d'entre euv. 

 Puisque sur une surface algébrique les courbes d'un ordre donné se distribuent en un 

 nombre fini de systèmes algébriques, on en conclut que la série (4) renferme un nombre 

 limité de termes distincts, c'est-à-dire que aA = aB, où a(=i) est un entier positif. 



2. On peut présenter sous une forme transcendante la condition pour 

 que les courbes C,, Cj, ..., C^ soient algébriquement dépendantes, en 

 ayant égard aux intégrales de différentielles totales (^intégrales de Picard) 

 attachées à la surface. 



Si, en effet, les courbes Cj, . . ., C/j sont liées par la relation (i) ou (a), il evislera 

 un système oo', algébrique et irréductible S, dont 



X,G,-i-...-t-X,C,(=:A) et |x,_^,G,+,-f-...-h [x/,G/,(=B) 



sont deux, courbes totales. Désignons par o une courbe plane dont les points représen- 

 tent les courbes de S, par a, b les points de tp homologues des courbes A, B, par ?,, 

 ^2, . . . , ^v les V points de (f qui représentent les courbes de S issues d'un point [xyz) 

 de F, et enfin par m une intégrale abélieiine de troisième espèce, avec les deux points 

 singuliers logarithmiques «, b. La somme nT(E,,) + 7n(|j) +. . .-|- w(|,,) est égale à 

 la valeur d'une certaine intégrale de Picard J„ au point {œyz), et comme elle demeure 

 finie lorsque le groupe (?i, ?2, ...,^v) ne contient aucun des points a, b, l'inté- 

 grale J deviendra infinie logarithmiquement aux seuls points des courbes Ci, Gj, ..., G^; 

 c'est-à-dire que J sera de troisième espèce, avec les seules courbes logarithmiques Gi, 

 C2, . . . , G/,. 



Réciproquement, si l'on peut former sur F une intégrale J de troisième espèce, ayant 

 les seules courbes logarithmiques Gj, ..., G/,, avec les périodes polaires respectives 

 c,, . . ., ci„ la somme des résidus de l'intégrale abélienne de troisième espèce, qu'on 

 obtient en regardant J comme une fonction d'un point variable sur une courbe irré- 

 ductible D de la surface, doit être nulle, et donc, en désignant par (G;D) le nombre 

 des points communs aux courbes G/ et D, on aura 



(5) c,(G,D)-t-c-,(G,D)-t-...-f-tv,(G;,D) = o. 



En prenant successivement, pour courbe D, chaque courbe d'un groupe convenable, 



