Rédaction formelle d’une démonstration

Les leçons du chapitre

1. La forme d’une démonstration
2. Ce qui compte comme justification
3. La banque de théorèmes
4. Trouver le chemin
5. Entraînement

Ce qu'on apprend dans ce chapitre

• טענה וטענה הפוכה
• הוכחה באמצעות טענה ונימוק
• כלל המעבר
• מאגר המשפטים
• נימוקים שכיחים
• איך מוצאים את דרך ההוכחה

Au programme du ministère de l'Éducation

• חפיפת משולשים — חפיפת משולשים
• משולש שווה שוקיים — משפטים הפוכים למשולש שווה שוקיים