tetragonismos_trigonou

πολύγ.1, c, a, b = Polygon(A, B, C)
d = OrthogonalLine(A, a)
D = Intersect(d, a)
e = Segment(A, D)
f = Line(C, a)
g = Circle(C, e / 2.0)
E, F = Intersect(g, f)
h = Segment(B, F)
G = Midpoint(B, F)
k = Circle(G, h / 2.0)
i = OrthogonalLine(C, f)
H, I = Intersect(k, i)
j = Segment(C, H)