Quant au ihéorème établissant la relation

du moment que le système |G| | est contenu partiellement dans | C|, il se démontre sans aucun cbangement.

Pour démontrer ensuite que le défaut o(/-C) lorsque r ougjnente atteint un maximum, il suffira de remarquer que, dans le cas où/)^= G. il n'existe pas de courbe du système adjoint pouvant contenir -^ — ^('"C) points d'une courbe /"G. La dimension du système j(/'C)«| est donc égale à

et l'on en déduit l'égalité

puis, en passant par les mêmes intermédiaires, la relation

A ) r: [( r , ) C ] — 0 ( /' G ) ^ OJ,;-i-r+l

et finalement

OÙ of/C) a sa valeur maxima invariante. Donc Le "enre numérique p,i a bien une valeur invariante dans le cas où pg^ o.

Faisons encore une dernière remarque. Nous n'avons établi l'identité qui doit exister entre les surfaces adjointes définies, soit par le procédé transcendant, soit par le procédé algébrique, que dans le cas où la surface n'a que des singularités ordinaires. Mais peu importe, puisque la valeur maxima deo(C) est un invariant, qui convient par conséquent à toutes les surfaces-images, et en particulier à la snrface-image qui n'a que des singularités ordinaires. On trouvera donc toujours la même valeur poury^,,.

l46 CHAPITRE VI.