- Costruire un triangolo
(poligono)

- Prolungare i lati AC e AB
 (semiretta per due punti)
gli angoli in C sono opposti
quindi congruenti

- Ribaltare i lati AC e BC  sulle semirette relative
(compasso)
per determinare due lati  CD e CE
rispettivamente congruenti a AC e BC

- Costruire il triangolo DEC
(poligono)

- Ruotare DEC di 180° 
(rotazione)

- I triangoli ABC e DEC risultano perfettamente
sovrapposti pertanto sono congruenti

A = (-0.12, 4.52)
B = (1.46, 3.26)
C = (-1.08, 2.2)
poli1, c, a, b = Polygon(A, B, C)
d = Ray(A, C)
e = Ray(B, C)
f = Circle(C, Segment[B, C])
D = Intersect(f, e, 2)
g = Circle(C, Segment[A, C])
h = Circle(C, Radius[g])
E = Point(d)
poli2, e_1, c_1, d_1 = Polygon(C, D, E)
C' = Rotate(C, 180*°, C)
D' = Rotate(D, 180*°, C)
E' = Rotate(E, 180*°, C)
poli2', e', c', d' = Polygon(C', D', E')

Tool: Strumento1
Input: A, B, C
Output: poli1

poli1, c, a, b = Polygon(A, B, C)