Or, prenez la hauteur du pyramidion, multipliez-la par la hauteur de la pyramide enti?re, multipliez le tout par dix ? la puissance cinq et nous avons la hauteur de la circonf?rence ?quatoriale. Mais ce n'est pas Lorsque l'on aura ? trouver la d?monstration d'une proposition ?nonc?e, on cherchera d'abord si elle peut se d?duire comme cons?quence n?cessaire de propositions admises, auquel cas elle devra ?tre admise elle elle-m?me, et sera par cons?quent d?montr?e. Si l'on n'aper?oit pas de propositions connues elle pourrait ?tre d?duite, on cherchera de quelle proposition non admise elle pourrait 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 comme vraie, et par la suite la propos?e : sinon, on cherchera de quelle proposition non encore admise elle pourrait ?tre d?duite, et la question sera ramen?e ? d?montrer la v?rit? de cette derni?re. On continue ainsi jusqu'? ce que l'on parvienne ? une proposition reconnue comme vraie ; et alors la v?rit? de la propos?e sera d?montr?e. On voit donc 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 telles 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 telle. L'analyse n'est donc autre chose qu'une m?thode de r?duction.