Date: 3 3 月 2014

1

$A$

$  S_1$

$ S_2 $

$E$

$S_3$

$S_4$

n = true
A = (-2.7630753372214376, 1.2566452102850245)
D: A + (0, 2)
B: A + (If[n ≟ true, 2.8284271247461903, 2], 0)
C: B + D - A
a = PolyLine(A, B, C, D, A)
A' = Rotate(D, 60*°, A)
B' = Rotate(C, 300*°, B)
b = Segment(A, A')
c = Segment(D, A')
d = Segment(B, B')
e = Segment(C, B')
f = Circle(A', A, D)
g = Circle(B, B', C)
h = Segment(Midpoint[A, D], Midpoint[B, C])
S_1 = Intersect(f, h, 1)
S_2 = Intersect(g, h)
i = Segment(S_1, A)
j = Segment(S_1, D)
k = Segment(S_2, B)
l = Segment(S_2, C)
m = Segment(S_2, S_1)
E = (5.7704112005907975, 1.074651421563911)
F: E + (2 * sqrt(2), 0)
H: E + (0, 2)
G: H + F - E
p = PolyLine(E, F, G, H, E)
H' = Rotate(G, 60*°, H)
E' = Rotate(F, 300*°, E)
q = Segment(H', H)
r = Segment(H', G)
s = Segment(E, E')
t = Segment(E', F)
c_1 = Circle(H, G, H')
d_1 = Circle(E, F, E')
a_1 = Segment(H', E')
S_3 = Intersect(c_1, a_1, 2)
S_4 = Intersect(d_1, a_1, 2)
b_1 = Segment(H, S_3)
e_1 = Segment(S_3, G)
f_1 = Segment(S_4, E)
g_1 = Segment(S_4, F)
h_1 = Segment(S_4, S_3)
triangle1, i_1, a_2, s_1 = Polygon(A, S_1, Midpoint[A, D])
triangle2, j_1, e_2, s_4 = Polygon(E, S_4, Midpoint[E, F])