Bélidor, Bernard Forest de, Nouveau cours de mathématique à l' usage de l' artillerie et du génie : où l' on applique les parties les plus utiles de cette science à la théorie & à la pratique des différens sujets qui peuvent avoir rapport à la guerre

Page concordance

< >
Scan Original
11 v
12 vj
13 vij
14 viij
15 ix
16 x
17 xj
18 xij
19 xiij
20 xiv
21 xv
22 xvj
23 xvij
24 xviij
25 xix
26 xx
27 xxj
28 xxij
29 xxiij
30 xxiv
31 xxv
32 xxvj
33 xxvij
34 xxviij
35 xxix
36 xxx
37 xxxj
38 xxxij
39
40 2
< >
page |< < (2) of 805 > >|
402NOUVEAU COURS tion. Il y en a de différentes ſortes, & elles changent de nom
ſuivant leur objet.
Par exemple,
III.
3. Axiome eſt une propoſition ſi claire, qu’elle n’a pas
beſoin de démonſtration pour qu’on en voie la vérité.
De
ces propoſitions ſont les ſuivantes.
Le tout eſt plus grand qu’une
de ſes parties;
deux choſes égales à une même troiſieme, ſont égales
entr’elles;
ſi à des quantités égales on ajoute des quantités égales,
les quantités qui en réſulteront ſeront encore égales, &
c. On fait
un grand uſage de ces propoſitions dans la Géométrie, ſi ſim-
ples qu’elles paroiſſent.
IV.
4. Théorême eſt une propoſition dont il faut démontrer
la vérité.
V.
5. Problême eſt une propoſition dans laquelle il s’agit d’exé-
cuter quelqu’opération, ſuivant certaines conditions, &
de
prouver enſuite que l’on a réellement fait ce qui étoit en
queſtion.
VI.
6. Lemme eſt une propoſition qui en précéde une autre,
pour en faciliter l’intelligence &
la démonſtration.
VII.
7. Corollaire eſt une propoſition qui n’eſt qu’une ſuite ou
une conſéquence de la propoſition précédente.
Comme toutes
ces propoſitions ont pour objet la grandeur;
voici l’idée qu’il
faut s’en former.
VIII.
8. On appelle grandeur tout ce qui eſt ſuſceptible d’aug-
mentation ou de diminution.
On conſidére en Géométrie
trois ſortes de grandeurs ou dimenſions;
longueur, largeur, &
profondeur.
IX.
9. La longueur conſidérée ſans largeur & ſans profondeur,
ſe nomme ligne.

Text layer

  • Dictionary

Text normalization

  • Original
  • Regularized
  • Normalized

Search


  • Exact
  • All forms
  • Fulltext index
  • Morphological index