-0.5

z_1

z_2

z_3

z_4

z_3 \cdot z_3

\frac{z_2}{
z_4}

z_2 \cdot z_4

z_1-z_2

z_1+z_2

A = (0, 0)
c = Circle(A, 1)
B = Intersect(c, xAxis, 1)
C = Point(xAxis)
a = OrthogonalLine(C, xAxis)
D = (1, 1)
u = Vector(A, D)
E = Intersect(c, a, 2)
v = Vector(A, E)
F = Point(yAxis)
w = Vector(A, F)
G = Point(xAxis)
b = Vector(A, G)
H = Point(u)
I = Intersect(c, a, 2)
J = Point(c)
K = Intersect(c, yAxis, 2)