c

a

b

a

b

c^2

a^2

b^2

A = (1, 1)
B = (2, 1)
poly1, f, g, h, i, C, D = Polygon(A, B, 4)
E = Point(f)
F: B + (0, Distance[A, E])
G: C - (Distance[A, E], 0)
H: D - (0, Distance[A, E])
I = (1, 2)
r = Distance(A, E)
c = Circle(I, r)
J = Point(c)
K = Rotate(I + (0, Distance[A, H]), Angle[J - I], I)
t1, k, i_1, j = Polygon(I, J, K)
L = (1, 1)
d = Circle(L, r)
M = Point(d)
N = Rotate(L + (0, Distance[A, H]), Angle[M - L], L)
t2, n, l, m = Polygon(L, M, N)
t3, f_1, e, b = Polygon(E, B, F)
t4, g_1, f_2, c_1 = Polygon(F, C, G)
O: E + (0, r)
P: F - (r, 0)
List1: {A, O, P, D}
Q = ClosestPoint(List1, I)
R = ClosestPoint(List1, L)
List2: {E, H, F}
S = ClosestPoint(List2, J)
T = ClosestPoint(List2, M)
t: 0.05
U = Midpoint(E, H)
p = OrthogonalLine(U, Line[H, E])
V = Point(p)
q = CircumcircleArc(E, V, H)
W = Midpoint(A, E)
s = OrthogonalLine(W, Line[A, E])
Z = Point(s)
d_1 = CircumcircleArc(A, Z, E)
A_1 = Midpoint(A, H)
a = OrthogonalLine(A_1, Line[A, H])
B_1 = Point(a)
e_1 = CircumcircleArc(H, B_1, A)
C_1: A + (0, r)
D_1 = Midpoint(A, C_1)
E_1 = Midpoint(D, C_1)
h_1 = OrthogonalLine(D_1, Line[A, D])
j_1 = OrthogonalLine(E_1, Line[A, D])
F_1 = Point(h_1)
G_1 = Point(j_1)
k_1 = CircumcircleArc(C_1, F_1, A)
p_1 = CircumcircleArc(D, G_1, C_1)
l_1 = Segment(O, C_1)
o: (I ≟ D ∨ A ≟ I) ∧ (L ≟ D ∨ L ≟ A)
u: (I ≟ O ∨ I ≟ P) ∧ (L ≟ O ∨ L ≟ P)

Tool: Tool1
Input: A
Output: h, g

B: (x(A), 0)
C: (0, y(A))
g = Segment(A, C)
h = Segment(A, B)