$\Gamma$

$\Gamma ''$

$\Gamma '$

B

B

sol

hide

O = Intersect(xAxis, yAxis)
Γ = Circle(O, 4)
A = Point(Γ)
E = Mirror(A, yAxis)
Γ'' = Rotate(Γ, 90°, A)
O' = Rotate(O, 90°, A)
B = Point(Γ'')
D = Rotate(B, (-(90°)), A)
C = Rotate(A, 90°, B)
f = Segment(A, E)
g = Segment(A, B)
h_{1} = Segment(B, C)
i = Segment(C, D)
j = Segment(D, A)
eq1: x = 0
Γ' = Rotate(Γ, (-(90°)), E)
B' = Point(Γ')
F = Rotate(B', 90°, E)
G = Rotate(E, 90°, F)
k = Segment(B', E)
l = Segment(E, F)
m = Segment(F, G)
n = Segment(G, B')
O'' = Rotate(O, (-(90°)), E)
B_0 = Intersect(Γ'', eq1, 2)
q = Segment(B_0, E)
r = AngularBisector(B_0, A, E)
I = Intersect(eq1, r)
H = Intersect(eq1, f)
T = Intersect(Γ, eq1, 1)
d = Circle(I, H)
ra = AffineRatio(B_0, H, T)
M = Dilate(I, ra, B_0)
e = Circle(M, T)
h = false
p = CircleArc(A, D, B')