Annales de mathématiques pures et appliquées/Tome 04/Philosophie mathématique, article 5
# Annales de mathématiques pures et appliquées/Tome 04/Philosophie mathématique, article 5

## PHILOSOPHIE MATHÉMATIQUE.

En attendant que le mémoire de M. Argand, que vous me faites l’honneur de m’annoncer me soit parvenu, je prends, Monsieur, la liberté de vous indiquer brièvement les résultats auxquels j’ai été conduit par mes réflexions sur la manière d’étendre la nouvelle théorie des imaginaires à la géométrie à trois dimensions.

D’après ma définition 4.ᵉ (Page 64), les angles, tant positifs que négatifs, sont censés situés dans un même plan que, pour abréger, j’appellerai plan des xy. Il serait donc naturel de supposer que les angles imaginaires sont situés dans des plans perpendiculaires à celui des xy; et l’analogie seule justifierait cette supposition ; mais on peut en démontrer la légitimité comme il suit : l’angle ±b√(−1) est moyen proportionnel de grandeur et de position entre +β et −β ; donc il est situé par rapport à l’angle +β comme l’angle −β est situé par rapport à lui ; ce qui ne peut avoir lieu qu’autant que le plan qui contient l’angle ±β√(−1) partage en deux parties égales l’angle formé par les plans des angles +β et −β; or, ces deux plans se confondent en un seul ; donc le plan qui contient l’angle ±β√(−1) est perpendiculaire au plan des xy. Réciproquement, tout plan perpendiculaire à celui des xy, partageant en deux parties égales l’angle formé par les plans des angles positifs et des angles négatifs ; tout angle β, situé dans un plan perpendiculaire à celui des xy peut être considéré comme moyen proportionnel de grandeur et de position entre les deux angles +β et −β ; donc sa valeur de grandeur et de position est ±β√(−1).

Il suit de là, et de mes théorèmes 2.ᵉ et 3.ᵉ (pag. 66 et 68) qu’on a

1_{β√(−1)}=e^{(β√(−1))√(−1)}=e⁻ᵝ=1^{β√(−1)/2ϖ}=Cos.(β√(−1))+√(−1)Sin.(β√(−1)).

Voilà donc aussi les sinus et cosinus hyperboliques de Lambert rattachés à la même théorie que les arcs de cercles, les logarithmes naturels et les racines de l’unité.

Il suit encore de là qu’on a

1_{α}.1ᵦ√(−1)=e^{α√(−1)}.e^{(β√(−1))√(−1)}=e^{(α+β√(−1))√(−1)}=1_{α+ϵ√(−1)}

=e^{α√(−1)}{Cos.(β√(−1))+√(−1).Sin.(β√(−1))}

=Cos.αCos.(β√(−1))+√(−1)Sin.αCos.(β√(−1))+√(−1).e^{α√(−1)}.Sin.(β√(−1)).

Donc

a_{α+β√(−1)}=aCos.αCos.(β√(−1))+√(−1)aSin.αCos.(β√(−1))+√(−1).ae^{α√(−1)}.Sin.(β√(−1)).

Les projections de a sur les trois axes des coordonnées, ou plutôt ses trois composantes seront donc

aCos.αCos.(√(−1)), √(−1).aSin.αCos.(β√(−1)), √(−1).a_{α}.Sin.(β√(−1)).

Voilà, Monsieur, le résultat auquel je suis parvenu ; mais je vous avoue que je n’en suis pas encore satisfait. Je voudrais élaguer entièrement la notation imaginaire, comme je l’ai fait pour la géométrie à deux dimensions. Je m’explique : pour la géométrie à deux dimensions, j’ai réduit les droites obliques de la forme A+B√(−1) à celle a_{α}, où a représente la grandeur absolue de la droite, et α l’angle qu’elle fait avec l’axe des abscisses. Dans la géométrie à trois dimensions, je voudrais exprimer la position d’une droite quelconque par a_{αA}, où a exprimerait la grandeur absolue de la droite, α l’angle qu’elle fait avec l’axe des abscisses, et A celui que le plan de l’angle α fait avec le plan des xy; mais toutes mes tentatives à cet égard ont été jusqu’ici infructueuses. Je désire que quelqu’un plus habile que moi vienne à bout de completter cette lacune. Quoi qu’il en soit, je suis persuadé que le vrai moyen d’étendre notre théorie des imaginaires à la géométrie à trois dimensions réside dans la considération des angles imaginaires.

