a

12.09.2007

x =  \frac{ 1 }{16 }( -1+\sqrt{17 }+ \sqrt{ 34-2 \sqrt{ 17 }  } +2 \sqrt{ 17+3 \sqrt{ 17- \sqrt{ 34-2 \sqrt{ 17 }  }  }  -2 \sqrt{ 34+2 \sqrt{ 17 }  } } )  

A = Intersect(xAxis, yAxis)
B = Point(yAxis)
c = Circle(A, B)
C = Midpoint(A, B)
D = Midpoint(A, C)
E = Intersect(c, xAxis, 2)
a = Segment(D, E)
b = AngularBisector(E, D, A)
F = Intersect(b, xAxis)
d = AngularBisector(F, D, A)
G = Intersect(d, xAxis)
e = OrthogonalLine(D, d)
H = Intersect(e, xAxis)
f = AngularBisector(G, D, H)
I = Intersect(f, xAxis)
J = Midpoint(E, I)
g = Circle(J, E)
K = Intersect(g, yAxis, 1)
h = Circle(G, K)
L, M = Intersect(h, xAxis)
i = OrthogonalLine(M, xAxis)
N = Intersect(c, i, 2)
k = Circle(N, E)
O = Intersect(c, k, 2)
p = Circle(O, N)
P = Intersect(c, p, 2)
q = Circle(P, O)
Q = Intersect(c, q, 2)
r = Circle(Q, P)
R = Intersect(c, r, 2)
s = Circle(R, Q)
S = Intersect(c, s, 2)
t = Circle(S, R)
T = Intersect(c, t, 2)
c1 = Circle(T, S)
U = Intersect(c, c1, 2)
d1 = Circle(U, T)
V = Intersect(c, d1, 2)
e1 = Circle(V, U)
W = Intersect(c, e1, 2)
f1 = Circle(W, V)
Z = Intersect(c, f1, 2)
g1 = Circle(Z, W)
A1 = Intersect(c, g1, 2)
h1 = Circle(A1, Z)
B1 = Intersect(c, h1, 2)
k1 = Circle(B1, A1)
C1 = Intersect(c, k1, 2)
p1 = Circle(C1, B1)
D1 = Intersect(c, p1, 2)
q1 = Circle(D1, C1)
j = Segment(E, S)
l = Segment(S, A1)
m = Segment(A1, N)
n = Segment(N, T)
a1 = Segment(T, B1)
b1 = Segment(B1, O)
i1 = Segment(O, U)
j1 = Segment(U, C1)
l1 = Segment(C1, P)
m1 = Segment(P, V)
n1 = Segment(V, D1)
s1 = Segment(D1, Q)
F1, G1 = Intersect(c, q1)
r1 = Segment(Q, W)
t1 = Segment(W, G1)
a2 = Segment(G1, R)
b2 = Segment(R, Z)
c2 = Segment(Z, E)