Primo criterio di uguaglianza dei triangoli

Se due triangoli hanno due lati e l'angolo compreso 
ordinatamente uguali allora sono uguali

b

a

c

L'angolo α deve essere inferiore a un angolo piatto

A = (6.64, 0.58)
B = (9.3, 2.06)
a = Segment(A, B)
C = (6.9, -1.04)
D = (10.8, -0.28)
b = Segment(C, D)
α = 1.6929693744344996 rad (slider from 0 to 180*°, step 0.0174532925199433)
E = (-0.18, -1.92)
c = Circle(E, b)
F = Point(c)
d = Segment(E, F)
F' = Rotate(F, α, E)
β = Angle(F, E, F')
e = Ray(E, F')
f = Circle(E, a)
G = Intersect(f, e, 1)
g = Segment(E, G)
h = Segment(F, G)