Geonext, Uni Bayreuth

Énoncé:
On donne un angle et sa bissectrice. L'angle formé par une demi-droite extérieure de même sommet avec la bissectrice vaut la demi-somme des angles formés avec les deux côtés.

Prérequis

Conventions

Démonstration par étapes

Démonstration entière