Mathématiques et Mathématiciens: Pensées et Curiosités. Alphonse Rebière

      L'étendue n'existe qu'avec trois dimensions; mais, pour la considérer suivant la méthode analytique, on commence par la dépouiller de deux de ses dimensions et en la réduisant ainsi à une seule, on a l'idée de la ligne. Si, dans cette idée, on écarte tout rapport avec deux dimensions, on a l'idée de la ligne droite; car, quoiqu'une ligne courbe n'ait qu'une dimension, cependant l'idée de courbure suppose nécessairement la considération de deux dimensions. L'extrémité de la ligne forme le point, qui est la dernière abstraction de l'entendement dans la considération de l'étendue. La surface est l'étendue envisagée avec deux dimensions et si, dans cette idée, on fait entièrement abstraction de la troisième, on a l'idée du plan. Enfin l'étendue avec ses trois dimensions forme le solide.

      Laplace.

      L'espace étant nécessairement homogène, il suit qu'on peut le concevoir divisé en deux parties telles qu'on ne puisse rien dire de l'une qui ne puisse se dire également de l'autre; telles, de plus, que leur limite commune ait à chacune d'elles les mêmes rapports, soit qu'on la considère en son entier, soit qu'on n'en considère qu'une partie. C'est cette limite qu'on appelle plan, et le plan, comme l'espace, peut être conçu divisé en deux parties telles, qu'on ne puisse rien dire de l'une qui ne puisse se dire également de l'autre; telles, de plus, que leur limite commune ait à chacune d'elles les mêmes rapports, soit qu'on la considère en son entier, soit qu'on n'en considère qu'une partie...

      Bertrand, de Genève.

      La série des axiomes géométriques habituellement adoptée est à la fois insuffisante et surabondante. Elle est insuffisante parce que, en réalité, on suppose plusieurs faits non énoncés; mais elle est en même temps surabondante, parce qu'on y admet des faits qui peuvent être rigoureusement démontrés au moyen de ceux qu'il faut admettre comme axiomes....

      Les axiomes de la géométrie peuvent se réduire à trois, savoir: celui de la distance et de ses propriétés essentielles, celui de l'augmentation indéfinie de la distance et celui de la parallèle unique.

      de Tilly.

      L'étude de la mécanique, succédant à la géométrie, peut être considérée comme le développement de trois idées fondamentales, qui existent dans l'esprit humain antérieurement à tout enseignement scientifique: ce sont les idées de force, de temps et de masse. Ces idées sont irréductibles et on ne peut pas plus définir la force, le temps ou la masse qu'on ne peut définir l'étendue.

      Ch. Simon.

      Quelque objet que les mathématiques considèrent, elles le dépouillent de toutes ses qualités sensibles, de toutes ses propriétés individuelles; bientôt il n'est plus qu'un rapport abstrait de nombre ou de grandeur: on désigne ce rapport par une lettre ou une ligne; l'objet lui-même est alors oublié, il cesse d'exister pour les mathématiques. Ces signes, arbitraires en apparence, sont l'unique objet de leurs méditations; c'est sur eux seuls qu'elles opèrent, et ce n'est qu'après être parvenu au dernier résultat que revenant sur leurs premières opérations, elles appliquent ce résultat à l'objet réel dont elles avaient cessé de s'occuper. Les vérités certaines, trouvées par cette méthode, paraissent au premier coup d'œil n'être que des vérités intellectuelles et abstraites: on a pu les prendre pour des propositions identiques, en oubliant que les combinaisons diverses des mêmes éléments ne sont pas une même chose. On serait encore plus tenté de croire qu'elles n'appartiennent point à la nature réelle. Mais ce serait une erreur: car elles sont des vérités réelles, si l'objet auquel vous les avez appliquées existe dans la nature tel que vous l'avez supposé.

      Condorcet.

MÉTHODES

       Table des matières

      1^o N'entreprendre de définir aucune des choses tellement connues d'elles-mêmes, qu'on n'ait point de termes plus clairs pour les exprimer.

      2^o N'admettre aucun des termes un peu obscurs ou équivoques, sans définition.

      3^o N'employer dans les définitions que des termes parfaitement connus ou déjà expliqués.

      4^o N'omettre aucun des principes nécessaires, sans avoir demandé si on l'accorde, quelque clair et évident qu'il puisse être.

      5^o Ne demander en axiomes que des choses parfaitement évidentes d'elles-mêmes.

      6^o N'entreprendre de démontrer aucune des choses qui sont tellement évidentes d'elles-mêmes, qu'on n'ait rien de plus clair pour les prouver.

      7^o Prouver toutes les propositions un peu obscures, en n'employant à leur preuve que des axiomes très évidents d'eux-mêmes ou des propositions déjà démontrées ou accordées.

      8^o N'abuser jamais de l'équivoque des termes, en manquant de substituer mentalement les définitions qui les restreignent et les expliquent.

      Pascal.

      Lorsque l'on aura à trouver la démonstration d'une proposition énoncée, on cherchera d'abord si elle peut se déduire comme une conséquence nécessaire de propositions admises, auquel cas, elle devra être admise elle-même, et sera par conséquent démontrée. Si l'on n'aperçoit pas de quelles propositions connues elle pourrait être déduite, on cherchera de quelle proposition non admise elle pourra l'être, et alors la question sera ramenée à démontrer la vérité de cette dernière. Si celle-ci peut se déduire de propositions admises, elle sera reconnue vraie, et par suite la proposée; sinon, on cherchera de quelle proposition non encore admise elle pourrait être déduite, et la question serait ramenée à démontrer la vérité de cette dernière. On continuera ainsi jusqu'à ce que l'on parvienne à une proposition reconnue vraie: et alors la vérité de la proposée sera démontrée.

      On voit que cette méthode, que l'on appelle analyse, consiste à établir une chaîne de propositions commençant à celle qu'on veut démontrer, finissant à une proposition connue et telle qu'en partant de la première, chacune soit une conséquence nécessaire de celle qui la suit; d'où il résulte que la première est une conséquence de la dernière, et, par conséquent, vraie comme elle.

      ...........................

       La méthode synthétique consiste à partir de propositions reconnues vraies, à en déduire d'autres comme conséquences nécessaires, de celles-ci de nouvelles, jusqu'à ce qu'on parvienne à la proposée, qui se trouve alors reconnue elle-même comme vraie. Elle n'est donc qu'une méthode de déduction. D'où l'on voit que, si l'on connaissait la démonstration analytique d'un théorème, on en obtiendrait immédiatement la démonstration synthétique en renversant l'ordre des propositions.

      Duhamel.

      Il est en mathématiques une méthode pour la recherche de la vérité, que Platon passe pour avoir inventée, que Théon a nommée analyse et qu'il a définie ainsi: Regarder la chose cherchée, comme si elle était donnée, et marcher de conséquences en conséquences, jusqu'à ce que l'on reconnaisse comme vraie