Ipotesi: α≅γ; β≅δ

Tesi: BD≅AD; AC≅CD

Dimostrazione
I triangoli ABC e BCD sono congruenti per il secondo criterio
in quanto hanno 2 angoli congruenti (per ipotesi)
ed il lato compreso in comune.
Quindi avranno tutti i lati congruenti, fra cui
quelli indicati nella tesi
CVD

Si possono modificare in punti in rosso

A = (0.44, -2.68)
B = (-0.14, 2.06)
C = (8.28, -2.68)
poli1, c, a, b = Polygon(A, B, C)
α = Angle(A, B, C)
β = Angle(B, C, A)
C' = Rotate(C, α, B)
γ = Angle(C, B, C')
B' = Rotate(B, -β, C)
δ = Angle(B', C, B)
d = Ray(B, C')
e = Ray(C, B')
D = Intersect(d, e)
poli2, d_1, b_1, a_1 = Polygon(B, A, D)
poli3, d_2, c_1, a_2 = Polygon(C, A, D)
poli4, c_2, a_3, b_2 = Polygon(A, B, C)
poli5, c_3, b_3, d_3 = Polygon(B, D, C)