4 →

1

2

3

0 →

C: (0, 0)
I = Point(xAxis)
k = Ray(C, I)
B = Point(k)
d = Line(C, B)
K = Point(yAxis)
s = Ray(C, K)
A = Point(s)
poly2, f, g, h, i, E, F = Polygon(A, C, 4)
A' = Rotate(A, -90°, B)
j = OrthogonalLine(A', h)
e = OrthogonalLine(A', d)
D = Intersect(d, e)
poly1, d_1, b_1, a'_5 = Polygon(B, A', D)
r = OrthogonalLine(E, a'_5)
seg = Segment(C, B)
perp = OrthogonalLine(C, seg)
tri, b, c, a = Polygon(C, B, A)
G = Intersect(j, r)
poly3, d_2, a'_1, g_1, e_1 = Polygon(D, A', G, E)
poly4, a_1, b_2, a'_2, g_2, f_1 = Polygon(A, B, A', G, F)
slider = 0 (slider from 0 to 1, step 0.01)
A'' = Dilate(A', slider, B)
A'_1 = Dilate(A, slider, B)
u = Vector(B, A'')
v = Vector(B, A'_1)
C' = Translate(C, u)
B' = Translate(B, u)
A'_2 = Translate(A, u)
tri', a'_3, c', b' = Polygon(C', B', A'_2)
B'_1 = Translate(B, v)
A''_1 = Translate(A', v)
D' = Translate(D, v)
poly1', d', b'_1, a''_1 = Polygon(B'_1, A''_1, D')
l = false
m = false
n = false
p = LineBisector(c)
q = LineBisector(C, D)
H = Intersect(p, q)
α = 0 rad (slider from 0 to 1.5707963267948966, step °)
C'_1 = Rotate(C, α, H)
B'_2 = Rotate(B, α, H)
A'_3 = Rotate(A, α, H)
tri'_1, a'_4, c'_1, b'_2 = Polygon(C'_1, B'_2, A'_3)