Geonext, Uni Bayreuth

Énoncé:
Les bissectrices d'angles opposés par le sommet sont en ligne droite.

Prérequis

Conventions

Démonstration par étapes

Démonstration entière