Geonext, Uni Bayreuth

Énoncé:
Les bissectrices de deux angles adjacents supplémentaires forment entre elles un angle droit.

→ Prérequis

→ Conventions

→ Démonstration par étapes

→ Démonstration entière