\text{V hľadanom štvorci }A'B'C'D: \overleftrightarrow{A'C'}⟂ \; \overleftrightarrow{B'D'}

1

2

1. \; \overleftrightarrow{AC}∩o=1;\overleftrightarrow{DB}∩o=2

S_{12}

2. \; \text{Tálesova }k_1=(S_1_2,r=1S_1_2)

S_{AD}

S_{AB}

\text{V hľadanom štvorci }A'B'C'D: \overleftrightarrow{S'S'_A_B}⟂ \; \overleftrightarrow{S'S'_B_C}

3

4

3. \; \text{Samodružné } 3,4

S_{34}

4. \; \text{Tálesova }k_2=(S_3_4,r=3S_3_4)

5. \; S'=k_1∩k_2

6.  \; \text{Smer OA: }s=\overrightarrow{SS'}

7.  \; \text{Obrazy }A',B'  \; ... \;  C',D'

8. \; \text{Štvorec }A'B'C'D'

Q = (12, 2)
P = (-4, 2)
f = Line(P, Q)
A = (3.52, 7.84)
B = (3.06, 2.96)
c = Circle(B, A)
d = Circle(A, B)
C = Point(c)
g = Line(B, C)
h = Line(A, g)
D = Intersect(d, h, 2)
q1, a, b, c_1, d_1 = Polygon(A, B, C, D)
v = Line(D, B)
u = Line(A, C)
S = Intersect(v, u)
L = Intersect(f, u)
K = Intersect(f, v)
S12 = Midpoint(K, L)
k_1 = Circle(K, S, L)
S2 = Midpoint(A, D)
S1 = Midpoint(B, A)
s1 = Line(S1, g)
s2 = Line(S2, a)
R = Intersect(f, s1)
T = Intersect(f, s2)
S34 = Midpoint(R, T)
p = Circle(S34, R)
S' = Intersect(k_1, p, 1)
s_o = Vector(S, S')
l = Line(K, S')
m = Line(S', L)
n = Line(B, s_o)
q = Line(C, s_o)
B' = Intersect(l, n)
C' = Intersect(m, q)
r = Circle(S', C')
s = Line(A, s_o)
t = Line(D, s_o)
A' = Intersect(r, m, 2)
D' = Intersect(r, l, 2)
q2, h_1, m_1, n_1, p_1 = Polygon(B', A', D', C')