Énoncé 16 
Des angles adjacents dont les côtés extérieurs sont en ligne droite sont supplémentaires.

Tracer une droite AB ; 
Ajouter un point C sur cette même droite, entre A et B; 
Tracer une demi-droite passant pas le point C. 
Mesurer chacun des angles. 
Faire la somme des angles pour vérifier l'énoncé (champ de saisie)
Donner un titre à la construction.
Indiquer, de façon dynamique, la somme des 2 angles: d'abord algébriquement (texte statique), ensuite avec les valeurs d'angles (dynamique).
En utilisant un point D sur la demi-droite CD, vérifier si l’énoncé est vrai en déplaçant D.

Angles supplémmentaires

α + β = 180°

A = (2.1496711575255105, -0.759664337089002)
B = (8.249671157525515, -0.7796643370890026)
a = Line(A, B)
C = Point(a)
D = (3.8395306984062545, -4.222308214478974)
b = Ray(C, D)
α = Angle(A, C, D)
β = Angle(D, C, B)
Somme: α + β
texte4: α + " + " + β + "=" + Somme

Tool: Outil1
Input: E, F, H
Output: γ

a = Segment(E, F)
G = Point(a)
α = Angle(E, G, H)
β = Angle(H, G, F)
γ: α + β