Notions communes

Notions communes
Tout au long des démonstrations, nous ferons référence aux notions communes (NC) suivantes :[br][list][*]NC 1 : Deux choses égales à une troisième sont aussi égales entre elles.[/*][*]NC 2 : Si des grandeurs égales sont ajoutées à d'autres grandeurs également égales entre elles, leurs sommes sont égales.[/*][*]NC 3 : Si des grandeurs égales sont soustraites à d'autres grandeurs égales, leurs différences sont égales.[/*][*]NC 4 : Si des grandeurs qui coïncident, s'adaptent avec une autre, elles sont égales entre elles.[/*][*]NC 5 : Le tout est plus grand que la partie.[/*][/list]

Axiomes d'Euclide

Axiomes
Tout au long de ce livret, il sera fait référence aux axiomes suivants[br][list=1][*]Un segment peut être tracé en joignant deux points quelconques.[/*][*]Un segment peut être prolongé indéfiniment des deux côtés en une droite.[/*][*]Étant donné un segment de droite quelconque, un cercle peut être tracé en prenant ce segment comme rayon et l'une de ses extrémités comme centre.[/*][*]Tous les angles droits sont congruents.[/*][*]Si deux lignes droites sont sécantes avec une troisième de telle façon que la somme des angles intérieurs d'un côté est inférieure à deux angles droits, alors ces deux lignes sont forcément sécantes de ce côté.[/*][/list]

Proposition I : Triangle équilatéral

Proposition I
Etant donné un segment, construire un triangle équilatéral ayant ce segment pour côté

Information