The geometry applet de David E. Joyce |
Énoncé:
On donne un angle BAC. Sur [AB) et [AC) on porte les points D et E, tels que AD = AE.
On construit un triangle équilatéral DEF.
Alors [AF) est bissectrice de BAC
Prérequis:
- Définition du triangle équilatéral
- Cas d'égalité (isométrie) des triangles
- Définition de la bissectrice
→ Démonstration par étapes
→ Démonstration entière
|