Énoncé No 9 
Si deux droites sont perpendiculaires à une troisième, alors elles sont parallèles. 

Construire une droite passant par les points A et B ; 
Construire une droite perpendiculaire passant par le point A ; 
Construire une droite perpendiculaire passant par le point B ; 
En déplaçant le point A, que remarquez-vous par rapport aux droites b et c ? 
Comment pourriez-vous démontrer que votre affirmation est toujours vraie ? 

A = (0.12, -1.54)
B = (0.7000000000000001, -0.06)
a = Line(A, B)
b = OrthogonalLine(A, a)
c = OrthogonalLine(B, a)
C = Point(a)
D = Point(c)
E = Point(b)
α = Angle(D, B, C)
β = Angle(E, A, B)

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

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