Proprietà delle parallele tagliate da una trasversale

Muovi il punto E e osserva gli angoli

α e θ, β e ε, γ e ζ, δ e η sono 4 coppie di 
angoli corrispondenti.
Gli angoli corrispondenti sono uguali. 

γ e θ, δ e ε sono 2 coppie di 
angoli alterni interni.
Gli angoli alterni interni sono uguali. 

α e ζ, β e η sono 2 coppie di 
angoli alterni esterni.
Gli angoli alterni esterni sono uguali. 

A = (-2.04, -1.34)
B = (11.78, -1.34)
a = Line(A, B)
C = (-0.86, 1.66)
b = Line(C, a)
D = (0.58, 2.98)
E = (4.18, -3.42)
c = Line(D, E)
F = Intersect(b, c)
G = Intersect(a, c)
H = Point(b)
α = Angle(H, F, D)
β = Angle(D, F, C)
γ = Angle(C, F, G)
δ = Angle(G, F, H)
ε = Angle(F, G, A)
ζ = Angle(A, G, E)
η = Angle(E, G, B)
θ = Angle(B, G, F)