On peut remarquer que la méthode analytique qui est une méthode rigoureuse par réduction, en réalité identique à la méthode synthétique par déduction, n'est pas la même que l'analyse des Anciens, qui était déductive et était une sorte d'expérimentation sur la vérité à démontrer.
Aujourd'hui nous ne faisons plus de synthèse, parce qu'il est de règle de ne procéder en analyse que par conclusions immédiatement réversibles. «Si A est vrai, B est vrai» n'est employé que si l'on peut dire: «B est vrai, donc A est vrai.» Il est rare que les Anciens aient été assez assurés de la pratique de leurs procédés pour se croire dispensés de la contre-épreuve, la synthèse après l'analyse.
P. Tannery.
Si vous substituez à une proposition ou à une question, une proposition ou une question plus générale, vous pouvez trouver des solutions en plus, des solutions étrangères.
Par contre, si la nouvelle proposition ou la nouvelle question est moins générale, vous pouvez perdre des solutions.
Voici, d'après la Logique de Port-Royal, quelques défauts qui se rencontrent dans la méthode des géomètres:
1o Avoir plus de soin de la certitude que de l'évidence, et de convaincre l'esprit que de l'éclairer.
2o Démonstration par l'impossible.
3o Démonstrations tirées par des voies trop longues.
4o N'avoir aucun soin du vrai ordre de la nature.
5o Ne point se servir de divisions et de partitions.
Il serait à désirer qu'on ne laissât pas autant dans l'oubli certains résultats des travaux des géomètres des siècles passés, et qu'on revînt un peu sur les principes presque toujours faciles et souvent ingénieux à l'aide desquels les grands hommes de ces temps-là y étaient parvenus; car ce ne sont pas tant les vérités particulières que les méthodes qu'il ne faut pas laisser périr.
Poncelet.
Pour bien faire sentir la différence entre les résultats de la méthode expérimentale et inductive et les résultats de la méthode mathématique, supposons qu'un malin génie..... se plaise à nous embrouiller dans nos opérations, à créer ou à annihiler un objet entre nos doigts, au moment où nous comptons quel nombre d'objets font deux groupes de cinq objets, à faire varier les angles du triangle que nous mesurons, ou les angles du rapporteur qui nous sert d'unité de mesure; nous n'aurons aucun moyen de découvrir la supercherie, nous enregistrerons ingénument les divers résultats obtenus, et nous conclurons en toute sécurité de conscience, que les angles d'un triangle valent tantôt deux droits, tantôt plus, tantôt moins; et que cinq et cinq font, suivant le cas, dix, douze ou tout autre nombre.
Mais si nous avons une fois démontré rationnellement que cinq et cinq font dix, que les angles d'un triangle valent deux angles droits, alors, quand même un malin génie, intervenant lorsque nous voulons vérifier expérimentalement ces vérités, brouillerait nos comptes et nos mesures, nous n'en maintiendrions pas moins la vérité absolue de notre démonstration faite dans l'abstrait, et nous en conclurions seulement que, pour des raisons à nous inconnues, ces vérités se trouvent modifiées dans le concret par l'association, dans les objets réels, de propriétés de divers genres aux propriétés mathématiques.
Rabier.
Les questions aisées doivent être traitées par des moyens également faciles; il faut réserver l'analyse savante pour les questions qui exigent les grands moyens et il ne faut pas ressembler à ce personnage de la Fable, qui, pour se délivrer d'une puce, voulait emprunter à Jupiter sa foudre ou à Hercule sa massue.
Delambre.
C'est une remarque que nous pouvons faire dans toutes nos recherches mathématiques: ces quantités auxiliaires, ces calculs longs et difficiles où l'on se trouve entraîné, y sont presque toujours la preuve que notre esprit n'a point, dès le commencement, considéré les choses en elles-mêmes et d'une vue assez directe, puisqu'il nous faut tant d'artifices et de détours pour y arriver; tandis que tout s'abrège et se simplifie, sitôt que l'on se place au vrai point de vue.
Poinsot.
Les définitions géométriques ne précèdent jamais l'apparition des figures qu'il s'agit d'étudier; elles les suivent, au contraire, et les fixent. Ce n'est qu'après avoir démontré qu'une figure est possible et unique, qu'il est permis de résumer par un mot, le résultat de cette démonstration, et de regarder conventionnellement ce mot comme l'équivalent ou comme la définition de la figure.
J. F. Bonnel.
Il semble que dans l'état actuel des sciences mathématiques, le seul moyen d'empêcher que leur domaine devienne trop vaste pour notre intelligence, c'est de généraliser de plus en plus les théories que ces sciences embrassent, afin qu'un petit nombre de vérités générales et fécondes soit, dans la tête des hommes, l'expression abrégée de la plus grande variété de faits particuliers.
Charles Dupin.
L'étendue et les progrès de la géométrie sont tels que, plutôt que de se refuser à toute étude des nouvelles méthodes, il faudra peut-être avant peu tenir compte seulement des méthodes générales, afin d'avoir en sa possession un plus grand nombre de moyens pour arriver à la connaissance des vérités dont on a besoin. Il est effectivement impossible désormais d'avoir présentes à l'esprit toutes les vérités qui sont découvertes.
Bellavitis.
Voulant résoudre quelque problème, on doit d'abord le considérer comme déjà fait, et donner des noms à toutes les lignes qui semblent nécessaires pour le construire, aussi bien à celles qui sont inconnues qu'aux autres. Puis, sans considérer aucune différence entre ces lignes connues et inconnues..... on cherche à exprimer une même quantité en deux façons, ce qui se nomme une équation..... On doit trouver autant de telles équations qu'on a supposé de lignes qui étaient inconnues.
Descartes.
Certaines parties d'une figure, considérées dans un état général de construction, peuvent être indifféremment réelles ou imaginaires. Or il arrive souvent que ces parties servent utilement, dans le cas de la réalité, à la démonstration d'un théorème, et que cette démonstration n'a plus lieu quand ces mêmes parties deviennent imaginaires. Alors on dit qu'en vertu du principe de continuité le théorème démontré