a

h

D

c

Hilfslinie und Winkel

Konstruktion Mittellinie

Mittellinie

Hilfslinien

Winkel

A = (-20, 0)
B_1 = (-5, 0)
f = Line(A, B_1)
a_1 = 4.8 (slider from 1 to 5)
c_1 = Circle(A, a_1)
C_1, B = Intersect(c_1, f)
E_1 = Midpoint(A, B)
g = OrthogonalLine(E_1, f)
h_1 = 2.7 (slider from 1 to 5)
d_1 = Circle(E_1, h_1)
F_1, G_1 = Intersect(d_1, g)
i = OrthogonalLine(G_1, g)
a = Segment(A, B)
D_1 = 1.4 (slider from 0 to 5)
e = Circle(G_1, D_1)
H_1, D = Intersect(e, i)
c_2 = 2.2 (slider from 1 to 5)
k = Circle(D, c_2)
C, J_1 = Intersect(k, i)
c = Segment(D, C)
b = Segment(C, B)
d = Segment(D, A)
α_1 = Angle(B, A, D)
δ = Angle(A, D, C)
γ = Angle(D, C, B)
β_1 = Angle(C, B, A)
j = OrthogonalLine(D, c)
K = Intersect(j, a)
h = Segment(D, K)
δ_1 = Angle(A, D, K)
ζ = Angle(D, K, A)
δ_2 = Angle(K, D, C)
l = false
p = Circle(A, 1.7)
q = Circle(D, 1.7)
r = Circle(C, 1.7)
s = Circle(B, 1.7)
E_2, F_2 = Intersect(p, q)
I_1, L = Intersect(r, s)
m_1 = Line(E_2, F_2)
n = Line(I_1, L)
E = Intersect(d, m_1)
F = Intersect(b, n)
m = Segment(E, F)
o = false
t = true
f_1 = Line(D, C)
g_1 = Line(A, B)
i_1 = OrthogonalLine(E, f_1)
j_1 = OrthogonalLine(F, f_1)
G = Intersect(f_1, i_1)
H = Intersect(j_1, f_1)
J = Intersect(g_1, i_1)
I = Intersect(j_1, g_1)
u = true
β = Angle(F, C, H)
α = Angle(F, B, I)
ε = Angle(C, H, F)
η = Angle(B, I, F)
v = true
k_1 = Segment(C, B)