Page:Œuvres de Descartes, éd. Cousin, tome V.djvu/405

Cette page n’a pas encore été corrigée
401
Livre Troisième.

(em-)pêcheraient que la division ne s'y pût faire. Et notez, que je ne compte ici les dimensions de y6, que pour trois, à cause qu'il n’y a point de y5, ni de y3, ni de y en toute la somme. Or en examinant le binôme y2 - a2 - c2 = 0, on trouve que la division se peut faire par lui en cette sorte[1].

+ y6 + a2} y4 - a4} y2  - a6 }
  -2c2} + c4}  -2a4c2} = 0
      - a2c4 }
- y6 -2a2} y4 - a4} y2  - a6 }
  + c2} - a2c2}  -'a2y4}
_______ _________ _________ ___________
0 ÷ - a2- c2 ÷ - a2- c2 ÷ - a2- c2
_______ _________ _________ ___________
  + y4 +2a2} y2 + a4 } = 0
    - c2} +a2c2}

ce qui montre que la racine cherchée est a2 + c2. Et la preuve en est aisée à faire par la multiplication.


Quels problèmes sont solides lorsque l'équation est cubique.

Mais lorsqu’on ne trouve aucun binôme, qui puisse ainsi diviser toute la somme de l'équation proposée, il est certain que le Problème qui en dépend est solide. Et ce n'est pas une moindre faute après cela, de tâcher à le construire sans y employer que des cercles et des lignes droites, que ce serait d'employer des sections coniques à construire ceux auxquels on n'a besoin que de cercles : car enfin tout ce qui témoigne quelque ignorance s'appelle faute.


La réduction des équations qui ont quatre dimensions lorsque le problème est plan ; et quels sont ceux qui sont solides.

Que si on a une Équation dont la quantité inconnue ait quatre dimensions, il faut en même façon, après en avoir ôté les nombres sourds[2] et rompus[3],


  1. Le résultat de la division est alors
    y4 + (2a2 - c2)y2 + a4 + a2c2 = 0
  2. Irrationnels
  3. Fractions.