Énoncé d'Euclide # 27

Les angles homologues des figures planes ou des solides semblables sont isométriques et les mesures des côtés homologues sont proportionnelles.

Énoncé 27
Les angles homologues des figures planes ou des solides semblables sont isométriques et les mesures des côtés homologues sont proportionnelles. 

Tracer deux points A et B ; 
Tracer une droite passant par les points A et B ; 
Tracer une perpendiculaire à la droite AB passant par A ; 
Tracer une perpendiculaire à la droite AB passant par B ; 
Placer un point C sur la perpendiculaire passant par le point A ; 
Tracer une parallèle à la droite AB passant par C ; 
Placer un point passant par l’intersection de la perpendiculaire passant par B et coupant la droite parallèle passant par C ; 
Compléter votre forme afin de construire un solide ;

CA sur CD

A = (-0.914244481193199, -3.821412251503166)
B = (5.839742085921257, -3.8115632007308515)
a = Line(A, B)
b = OrthogonalLine(A, a)
c = OrthogonalLine(B, a)
C = Point(b)
d = Line(C, a)
D = Intersect(c, d)
poly1, a_1, b_1, d_1, c_1 = Polygon(A, B, D, C)
α = Angle(A, C, D)
β = Angle(D, B, A)
w: c_1 / d_1
texte3: "\frac{" + (LaTeX[c_1]) + "}{" + (LaTeX[d_1]) + "}=" + (LaTeX[w]) + ""

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

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