jeanflop/post-ocr-correction huggingface dataset:
étant tracée sur une sphère dont le rayon est la courbe parallèle, étant définie par l'angle constant de telle sorte que cette courbe \(KP_2\) est la courbe sphérique (v —; supplémentaire de l'indicatrice sphérique \(KP_1\) de la courbe \((O)\), conjuguée de \((O)\). De là résultent les conséquences suivantes : 1° La courbe de M. Bertrand la plus générale définie par la relation s'obtient en prenant une courbe \((K)\) arbitraire tracée sur une h sphère dont le rayon \(a\) est égal à —, et en cherchant la courbe qui satisfait à la double condition d'admettre \((K)\) pour indicatrice sphérique et d'avoir
la double condition d'admettre \((K)\) pour indicatrice sphérique et d'avoir son arc égal à celui de la courbe \((KP)\) parallèle à la première. 2° Si l'on désigne, dans un système d'axes rectangulaires quelconques, par \(x_0\), \(y_0\), \(z_0\) les coordonnées d'un point quelconque de \((K)\), lesquelles dépendent d'une seule fonction arbitraire d'une variable et sont liées par la relation les coordonnées \(x\), \(y\), \(z\) du point correspondant \(O\) de \((O)\) seront données visiblement par les formules que fournit immédiatement le théorème des projections, ou par celles-ci qu'on en déduit, en remarquant, d'après les formules du numéro précédent, que Dans ces formules,
d'après les formules du numéro précédent, que Dans ces formules, il n'intervient, en dehors des constantes \(a\) et \(h\), que les éléments de l'indicatrice sphérique \((K)\), puisque \(da\) est l'élément d'arc de cette indicatrice sphérique et \(\mu\) l'angle du rayon \(GK\) avec la caractéristique \(GL\) du plan normal de cette courbe. De plus, les équations \(6\) et \(17\) fourniront les valeurs des rayons de courbure et de torsion de la courbe cherchée. On trouve aisément les formules suivantes : pour exprimer \(ç\) et \(T\) en fonction des données de la question. Examinons maintenant les cas particuliers. Si la courbe est
question. Examinons maintenant les cas particuliers. Si la courbe est à courbure constante, \(ar^2\), et réciproquement. Donc, pour qu'une courbe soit à courbure constante, il faut et il suffit qu'elle soit égale en arc à son indicatrice sphérique. Dans ce cas, on a ; pour déterminer les éléments de cette courbe en fonction de ceux de son image sphérique. Si la courbe est à torsion constante, \(a=0\), et réciproquement. Donc, pour qu'une courbe soit à torsion constante, il faut et il suffit qu'elle soit égale en arc à la courbe supplémentaire de son indicatrice sphérique. Les formules générales donnent, dans
supplémentaire de son indicatrice sphérique. Les formules générales donnent, dans ce cas, en supposant que le rayon \(a\) de la sphère soit égal à la valeur constante de \(T\), Il importe de remarquer que les constantes introduites par les intégrations étant évidemment sans influence sur la forme et l'orientation de la courbe qu'on en déduit, à une courbe sphérique donnée choisie comme indicatrice correspondent une infinité de courbes de M. Bertrand, caractérisées par la valeur de la constante \(a\). La comparaison des formules avec celles qui sont relatives aux deux courbes, l'une à courbure constante, THÉORIE DES COURBES GAUCHES. 253
courbes, l'une à courbure constante, THÉORIE DES COURBES GAUCHES. 253 l'autre à torsion constante ayant pour indicatrice la courbe sphérique proposée, montre que Ces relations permettent, comme l'a établi M. Bioche, de construire très simplement la courbe la plus générale de M. Bertrand, ayant une indicatrice donnée, quand on connaît les courbes à courbure et à torsion constante qui font partie de la même famille. La démonstration de la réciproque n'offrirait pas plus de difficulté. 18. Reprenons la courbe (O) et la courbe sphérique K, parallèle à son image sphérique, dont l'élément d'arc est égal à l'élément d'arc de (O)
dont l'élément d'arc est égal à l'élément d'arc de (O) et perpendiculaire à celui-ci. Considérons la développable (D), dont (O) est l'arête de rebroussement, et la développable A enveloppe des plans menés par les tangentes de la courbe /K parallèlement aux plans osculateurs de (O). Cette développable A est visiblement circonscrite à une sphère concentrique à celle qui contient la courbe sphérique, la distance de l'un quelconque de ses plans tangents au centre G étant égale à a sin a - h, puisque tous ces plans coupent la sphère sous l'angle constant a. Soit, de plus, S l'arête de rebroussement
l'angle constant a. Soit, de plus, S l'arête de rebroussement de A. Appliquons sur un plan les deux développables D et A en conservant, ce qui est possible, le parallélisme des génératrices correspondantes. La développable D fournira une courbe (o) transformée de (O), avec le système de ses tangentes. La développable A fournira pareillement une courbe (c) transformée de 2, le système des tangentes de (a) parallèles aux tangentes de (o) aux points correspondants, et, enfin, une courbe (h) transformée de la courbe sphérique, laquelle courbe (h) coupera orthogonalement les tangentes de (a) et sera égale en arc à (o).
tangentes de (a) et sera égale en arc à (o). Donc, si l'on fait tourner (k) d'un angle droit autour d'un point quelconque de son plan, la courbe transformée deviendra égale et homothétique à (o), puisque cette nouvelle courbe sera encore égale en arc à (o), et aura de plus, aux points correspondants, ses tangentes parallèles à celles de (o). Il résulte de là le mode de génération suivante de la courbe la plus générale de M. Bertrand relative aux constantes a et h : 1° Prenons une courbe sphérique arbitraire. Considérons la développable A, enveloppe des plans menés par
arbitraire. Considérons la développable A, enveloppe des plans menés par les tangentes à cette courbe et coupant la sphère sous un angle constant a, le rayon de la sphère étant égal à a sin a. 2° Appliquons cette développable sur un plan et faisons tourner d'un angle droit, autour d'un point fixe de ce plan, la transformée de la courbe sphérique choisie. 3° La nouvelle position de cette transformée et le système de ses tangentes serviront à reconstituer à leur tour une nouvelle développable, ayant ses plans tangents parallèles à ceux de A. L'arête de rebroussement de cette développable sera
ceux de A. L'arête de rebroussement de cette développable sera la courbe de M. Bertrand demandée. Les courbes à courbure constante correspondant à la valeur a, il s'ensuit que, pour les engendrer, il faudra prendre pour développable A, le cône ayant pour sommet le centre de la sphère. Pour les courbes à torsion constante, on doit avoir <x /= 0, et, par suite, pour engendrer de pareilles courbes, il faudra prendre pour A la développable circonscrite à la sphère suivant la courbe choisie en premier lieu. 19. Nous allons faire maintenant l'application générale des formules à un cas particulier, qui
maintenant l'application générale des formules à un cas particulier, qui montrera le rôle important de l'angle que nous avons désigné par µ. Proposons-nous de trouver les équations générales des courbes de M. Bertrand ayant pour indicatrice la développante sphérique d'un petit cercle ou, ce qui revient au même, l'épicycloïde sphérique engendrée par le roulement d'un grand cercle sur le petit cercle donné. Nous prendrons pour axes trois diamètres rectangulaires de la sphère de rayon a, de façon que l'axe des z passe par le pôle P du petit cercle et que le plan des xy contienne l'origine A des arcs
que le plan des xy contienne l'origine A des arcs comptés sur le petit cercle. Si B est le point de contact du grand cercle mobile et M le point de la développante ou de l'épicycloïde, on a en sorte que l'angle BOM sera justement l'angle désigné par µ, en fonction duquel nous allons calculer toutes les quantités qui entrent dans les formules. Soit le rapport du rayon de la sphère au rayon du petit cercle. On trouve, sans grande difficulté, par la considération du triangle sphérique PBM, rectangle en B, les formules pour les coordonnées et l'élément d'arc de
B, les formules pour les coordonnées et l'élément d'arc de la développante (M) qui est l'indicatrice sphérique de la courbe cherchée. A cette indicatrice correspond une famille de courbes de M. Bertrand, caractérisées individuellement par la valeur de l'angle a et dont les équations générales déduites des formules sont, par suite, Lorsque k est un nombre commensurable, les valeurs des coordonnées x et y s'obtiennent sous forme finie et explicite. En particulier, si le nombre k est entier et impair, les valeurs de x et de y sont des fonctions entières de sin µ et cos µ, en sorte que
entières de sin µ et cos µ, en sorte que la projection de la courbe sur le plan des xy est algébrique, et, par suite, la courbe elle-même appartient à un cylindre algébrique. Mais la valeur de z est transcendante, à moins que le coefficient de µ, savoir cos a, ne soit nul, ce qui exige que l'on ait a zz £, ou que la courbe ait sa courbure constante. Nous trouvons ainsi une infinité de courbes algébriques à courbure constante déduite des formules, en donnant à a la valeur -£ et à h des valeurs entières mais impaires, et
-£ et à h des valeurs entières mais impaires, et une infinité de courbes de M. Bertrand appartenant à des cylindres algébriques dont les génératrices sont parallèles à l'axe oz. Si h est un nombre entier pair, les valeurs de x, y et z sont transcendantes comme celle de z et les courbes sont transcendantes, ainsi que leurs projections sur le plan de xy. Si le nombre h est fractionnaire et représenté par la fraction irréductible —, on pose ensuite, Alors, les polynômes qui entrent sous le signe f dans les expressions des coordonnées x et y seront homogènes et
les expressions des coordonnées x et y seront homogènes et de degré 2q + 1 par rapport à sin µ' et cos µ'. Dès lors, si p est impair, les deux premières intégrales seront des polynômes entiers et homogènes de degré 2q + 1 - 1 par rapport à sin µ' et cos µ', en sorte que les courbes correspondantes appartiendront à des cylindres algébriques, et seront elles-mêmes algébriques dans le cas où leur courbure est constante. Si le nombre p est pair, l'intégration peut encore s'effectuer, mais comme elle amène des termes contenant la variable µ' les courbes sont
amène des termes contenant la variable µ' les courbes sont transcendantes. Dans tous les cas, les rayons de courbure et de torsion seront donnés par les formules (22) qui sont générales. La construction du n° 28 permet de démontrer simplement un théorème que j'ai établi dans un travail antérieur, et que je me propose de développer ici plus complètement. Pour qu'une ligne asymptotique d'une surface minima soit une courbe de M. Bertrand, il faut et il suffit que la ligne correspondante de la surface adjointe soit une ligne de courbure sphérique de celle-ci. On sait, en effet, qu'une surface minima
sphérique de celle-ci. On sait, en effet, qu'une surface minima et son adjointe sont applicables l'une sur l'autre, que leurs points correspondants sont ceux où les plans tangentés sont parallèles et que les éléments correspondants sont orthogonaux. Il résulte de là qu'aux asymptotiques d'une surface minima correspondent les lignes de courbure de son adjointe. De plus, pour que deux courbes puissent se correspondre sur deux surfaces minima dont l'une serait l'adjointe de l'autre, il faut et il suffit que les points de ces deux courbes se correspondent deux à deux, de manière que les éléments d'arc correspondants soient égaux et
de manière que les éléments d'arc correspondants soient égaux et orthogonaux. Si ces conditions sont remplies, les développables passant par chacune de ces courbes et dont les plans tangentés sont parallèles à la fois aux tangentés aux deux courbes en leurs points correspondants, sont circonscrites aux surfaces minima, qu'elles déterminent d'ailleurs complètement. Ceci posé, d'après ce que nous avons dit au n° 18, une courbe (O) de M. Bertrand et la courbe sphérique K remplissent ces conditions. En outre, les développables dont nous venons de parler sont précisément D et A. Comme D est l'enveloppe des plans oscillateurs de (O),
A. Comme D est l'enveloppe des plans oscillateurs de (O), cette dernière courbe sera une asymptotique de la première surface minima, et, par suite, /K sera une ligne de courbure, d'ailleurs sphérique, de la seconde surface adjointe de la première. La proposition énoncée se trouve ainsi établie. On déduirait de là un nouveau procédé pour former les équations des courbes de M. Bertrand, en employant la méthode de M. Schwarz, qui permet de passer d'un contour tracé sur une surface minima au contour conjugué de la surface adjointe, quand on connaît, en outre, les plans tangentés à la surface le
connaît, en outre, les plans tangentés à la surface le long du contour donné. L'application des formules de M. Schwarz au cas particulier dont il s'agit conduit immédiatement aux équations (21) et (21') qui définissent la courbe la plus générale de l'espèce étudiée. Le théorème que je viens de rappeler conduit à se poser la question suivante : Construire la surface minima qui admet pour ligne asymptotique une courbe donnée de M. Bertrand. La considération de la surface minima adjointe permettra, lorsque ce problème aura été résolu, d'avoir la solution de celui-ci : Construire la surface minima admettant pour ligne
de celui-ci : Construire la surface minima admettant pour ligne de courbure une courbe sphérique donnée, connaissant, en outre, l'angle constant suivant lequel la surface cherchée doit couper, en tous les points de cette ligne, la sphère qui la contient. Ce second problème sera effectivement ramené au premier, après que l'on aura obtenu, au moyen des trois quadratures indiquées dans les équations (21) ou (21'), la courbe de M. Bertrand relative à la ligne sphérique et à l'angle donnés. Nous nous occuperons donc exclusivement du premier des deux problèmes ci-dessus énoncés. La solution que je vais exposer et qui terminera
énoncés. La solution que je vais exposer et qui terminera cette étude repose sur un résultat élégant, trouvé par M. Bioche, et qui consiste en ceci : Si l'on a une courbe de M. Bertrand, on obtient une surface applicable sur une surface gauche de révolution en menant par les différents points de cette courbe des parallèles aux bi-normales de la courbe conjuguée, de telle sorte que la courbe donnée correspond au cercle de gorge et que, dans les deux surfaces réglées, les génératrices sont également correspondantes. En conséquence, considérons une courbe (O) de M. Bertrand, relative aux constantes h
une courbe (O) de M. Bertrand, relative aux constantes h et a de l'équation (6). Par chaque point O de (O) menons la parallèle OF à la bi-normale de la courbe conjuguée (O1). Cette droite, perpendiculaire au plan osculateur de (O1) qui fait avec celui de (O) l'angle constant a, sera située dans le plan rectifiant de (O) et fera, avec la tangente OX, l'angle a + π. D'après le théorème de M. Bioche, la surface réglée engendrée par la droite OF est applicable sur l'hyperboloïde de révolution ayant h pour rayon du cercle de gorge et dont les génératrices
pour rayon du cercle de gorge et dont les génératrices rectilignes font l'angle a avec l'axe. Portons maintenant notre attention sur les parallèles imaginaires de rayons nuls de cet hyperboloïde, lesquelles ont pour centres les sommets imaginaires situés sur l'axe de révolution et interceptent sur les génératrices, à partir du cercle de gorge, des segments égaux à rh, c'est-à-dire à la distance du centre aux foyers de la méridienne situés sur l'axe non transverse. À ces parallèles correspondent, sur la surface réglée construite par le procédé de M. Bioche, deux lignes de longueur nulle, interceptant pareillement sur les génératrices de
lignes de longueur nulle, interceptant pareillement sur les génératrices de cette surface hi réglée, à partir de (O), des segments égaux à ± — En outre, les tangentes à ces lignes isotropes aux points w et w' où elles coupent la droite OF sont parallèles au plan osculateur de (O) en O, puisqu'il en est ainsi sur la surface gauche de révolution elle-même. Voici, d'ailleurs, comment on peut vérifier ces résultats. Prenons sur OF, à partir de O, deux segments Ou et Ow' égaux, l'un à —, l'autre à :—. Si nous considérons l'une des extrémités, w par exemple, ses
Si nous considérons l'une des extrémités, w par exemple, ses coordonnées instantanées sont de telle sorte que les formules (A) donneront, pour les déplacements du point o), en tenant compte de l'équation caractéristique (6). Par suite, le carré de l'élément linéaire de la courbe (w) est manifestement nul, ce qui prouve que cette ligne est isotrope, et, de plus, la tangente à cette courbe en u est parallèle au plan de xy du trièdre instantané, puisque la valeur de z est nulle. On peut donc énoncer la proposition suivante : Si, à partir des différents points d'une courbe (O) de
Si, à partir des différents points d'une courbe (O) de M. Bertrand, on porte sur les parallèles aux bi-normales de la courbe conjuguée des segments égaux à ± —, les extrémités w et w' de ces segments décrivent deux lignes de longueur nulle, dont les tangentes sont parallèles aux directions isotropes du plan osculateur correspondant. Ceci posé, concevons la surface minima S, lieu des milieux des droites qui joignent les points de (o)> à ceux de (w'). Je dis que 2 est la surface demandée. D'abord la courbe (O) est fait évidemment partie puisqu'elle est le lieu des milieux des
fait évidemment partie puisqu'elle est le lieu des milieux des segments ww'. En outre, d'après une propriété connue, le plan tangent à S en un point O de (O) est parallèle aux tangentes menées en u et u' aux lignes (u) et (w); il est donc confondu avec le plan osculateur de (O) qui est parallèle à ces deux tangentes, de directions différentes d'ailleurs. La courbe (O) est donc une asymptotique de S, puisqu'en tous ses points son plan osculateur est tangent à la surface. Enfin, il n'y a pas d'autre surface minima répondant à la question, car, d'après le
d'autre surface minima répondant à la question, car, d'après le célèbre théorème de Bjorling, il existe une surface minima et une seule admettant pour asymptotique une ligne donnée. En résumé : La surface minima admettant pour asymptotique une ligne donnée de M. Bertrand est le lieu des milieux des droites joignant les points des lignes de longueur nulle obtenues en prenant, à partir de la courbe, sur les parallèles aux bi-normales de la courbe conjuguée, des segments égaux Il résulte évidemment de cette construction purement géométrique que la surface minima ayant pour asymptotique une ligne de M. Bertrand est algébrique,
ayant pour asymptotique une ligne de M. Bertrand est algébrique, si cette ligne est elle-même algébrique. Lorsque la courbe donnée est à courbure constante, l'angle a est droit et la construction générale s'applique, sans difficulté, en remarquant que la longueur constante égale, dans ce cas, à ±hi doit être portée sur les tangentes de (O). Il n'en est pas de même lorsque la courbe donnée (O) est à torsion constante, auquel cas l'angle a est nul et les lignes (a>) et (a>') sont rejetées à l'infini. La construction indiquée devient alors illusoire. Nous allons montrer qu'on peut donner du problème
alors illusoire. Nous allons montrer qu'on peut donner du problème proposé une nouvelle solution qui convient à tous les cas. C'est la théorie des congruences isotropes, instituée par M. Ribaucour, qui va nous fournir cette solution générale. Par les différents points de la courbe (O1) conjuguée de (O), menons des parallèles aux bi-normales de cette dernière. Ces bi-normales formeront une surface réglée, analogue à celle de M. Bioche, et qui déterminera une congruence isotrope dont les focales seront les développables enveloppes des plans isotropes menées par chacune des droites 01F1 parallèles aux bi-normales de (O). L'enveloppée moyenne de cette congruence
parallèles aux bi-normales de (O). L'enveloppée moyenne de cette congruence isotrope, c'est-à-dire la surface ayant pour plans tangents les plans perpendiculaires à chacune des droites de la congruence en son point central est une surface minima S'. On sait, d'ailleurs, que pour une droite de la congruence, ce point central est fixe, c'est-à-dire indépendant de la surface réglée de la congruence qu'on fait passer par la droite, et que le lieu des points centraux de toutes ces droites est une surface très remarquable, appelée surface moyenne de la congruence. Je vais prouver que la surface S' se confond avec S,
vais prouver que la surface S' se confond avec S, et, à cet effet, il suffit de démontrer que les arêtes de rebroussement des développables enveloppes des plans isotropes conduits suivant les droites 0,F, se confondent avec les lignes de longueur nulle (u>) et (w'), génératrices de S. Or, la droite 01F1, située dans le plan des YZ du trièdre instantané, a pour équation, dans ce plan, en sorte que l'équation de l'ensemble des plans isotropes menés par 01F1 est Considérons l'un de ces plans, par exemple celui qui a pour équation et cherchons sa caractéristique. L'équation du plan isotrope
pour équation et cherchons sa caractéristique. L'équation du plan isotrope infiniment voisin est, dans le second trièdre, par suite, la caractéristique sera représentée, dans le premier trièdre, par le système d'équation ou par le nouveau système, que l'on obtient en remplaçant, dans le précédent, X' — X et Y' — Y par leurs valeurs déduites des formules (C). À l'aide des dernières équations, on constate aisément que la caractéristique passe par les points ayant pour coordonnées. Le premier de ces deux points est le point w', et la caractéristique est parallèle à la droite du plan des XY ayant pour
parallèle à la droite du plan des XY ayant pour coefficient angulaire i, de telle sorte qu'elle se confond avec la tangente à (w') en o)', comme nous l'avions annoncé. On vérifierait de même la proposition pour l'autre plan isotrope. On déduit de ce qui précède la nouvelle solution que voici : Étant donné deux courbes de M. Bertrand, conjuguées l'une de l'autre : 1° La surface réglée formée par les parallèles menées des points de l'une aux bi-normales de l'autre, définit une congruence isotrope dont l'enveloppée moyenne est la surface minima ayant pour asymptotique la seconde des courbes données
surface minima ayant pour asymptotique la seconde des courbes données ; 2° La première courbe est une asymptotique de la surface moyenne de cette congruence isotrope, c'est-à-dire de la surface lieu des points centraux des droites de la congruence ; 3° Dans le cas où la courbe de M. Bertrand est à torsion constante, les deux courbes conjuguées se confondent, mais la construction générale est encore applicable. La surface réglée est formée par les bi-normales de la courbe proposée, qui est une asymptotique commune à la surface moyenne et à la surface minima relatives à la congruence isotrope bien déterminée
la surface minima relatives à la congruence isotrope bien déterminée définie par la surface réglée considérée. Ces diverses conséquences paraissent à peu près évidentes à tout lecteur familiarisé avec les résultats dus à M. Ribaucour. C'est pourquoi je ne m'attarderai pas à en donner une démonstration détaillée, mon but étant seulement d'indiquer les relations qui existent entre les courbes de M. Bertrand et une classe intéressante de surfaces minima. CODE CIVIL DU JAPON. PAR M. PAGET. Au mois de janvier dernier, le doyen de la Faculté de droit de Toulouse recevait de Tokio le texte officiel du Code civil de
recevait de Tokio le texte officiel du Code civil de l'empire du Japon (1 vol. in-8°) et le Commentaire, de M. Boissonade (4 gros vol. in-8°), avec lettre d'envoi, en date du 31 octobre 1891. M. Boissonade, professeur honoraire à la Faculté de droit de Paris, est, depuis 1873, conseiller-légiste du Gouvernement japonais et directeur de l'École de droit de Tokio. — Déjà, en 1872, il s'était initié aux idées, aux mœurs et aux sentiments des meilleurs représentants du Japon en leur donnant, à Paris, des leçons de droit constitutionnel et de droit criminel. Il devint bientôt, avec ses jeunes