Énoncé:
ABC est un triangle équilatéral, D un point de [AB], tel que [CD) soit bissectrice de BCA. Alors AD = DB

Prérequis:

1. Définition du triangle équilatéral
2. Définition de la bissectrice
3. Cas d'égalité (isométrie) des triangles

→ Démonstration par étapes

→ Démonstration entière