SÉANCE DU 8 DÉCEMBRE 1902. lO/jS 



le plan esL une surface doublement convexe et, en outre, est une surface 

 double; 



M 2° Deux lignes droites qui ont un point commun en ont toujours un 

 second, et alors le plan est une siu-face à simple convexité. 



1) Mais il est évident que ces propriétés sont projectives et par suite 

 indépendantes de toute idée de dislance. On doit donc les rencontrer 

 également, par exemple, dans la conception euclidienne. 



» En effet, dans ce cas, si nous faisons mouvoir un point P sur une 

 droite D, dans un même sens, lorsque ce point franchit le point à l'infini 

 sur la droite, la droite OP, joignant ce point à un point fixe O extérieur à la 

 droite, coïncide avec la parallèle MN mené à la droite D parle point O. 



» La continuité exige que le segment 01', qui était compris entre le 

 point O et la droite D, passe de l'autre côté de la parallèle MN, de sorte 

 que ce segment reste infini, lorsque le point P continue son mouvement 

 vers sa position verticale. 



» Un point de OP passe ainsi d'un côté à l'autre de la droite D sans fran- 

 chir celte droite, et, comme l'on peut supposer que ce point reste aussi 

 voisin que l'on voudra de la droite, on doit conclure de là que le plan est 

 une surface double et à plus juste raison doublement convexe. 



» Comme l'idée de l'infini, tout comme l'idée parente de l'infiniment 

 petit, ne constitue qu'un procédé d'analyse ne correspondant direclement 

 à aucune réalité géométrique, la conclusion doit être simplement que les 

 deux conceptions envisagées s'accordent également avec les propriétés 

 géométriques à distance finie. 



)) Dans la seconde de ces conceptions, les points à l'infini de l'espace, 

 c'est-à-dire les points inaccessibles au moyen d'un déplacement euclidien, 

 forment non plus un plan, mais une région à trois dimensions, dans 

 laquelle tout point à distance finie a son correspondant par lequel passent 

 toutes les droites passant par le premier. Les deux régions sont séparées 

 par le plan de l'infini euclidien. » 



ANALYSE MATHÉMATIQUE. — Sur une formule sommaloire dans la théorie des 

 fonctions à deux variables. Note de M. 31arti.\ Kkausk, présentée par 

 M. Appel! . 



« L Soit /(^, y) une fonction entière algébrique 



(1) /(o;, v) = ii«,,a7'y% r-^s<m. 



