|ZB'|

|ZA|

|ZB|

|ZA'|

|ZB'|

|ZA|

|ZA'|

|AB|

|A'B'|

AbstandSchwarzeLinie

|AB|

Zweiter Strahlensatz

Erster Strahlensatz

|ZA|

|ZA|

|ZB|

|ZB|

|ZA'|

|ZA'|

|ZB'|

|ZB'|

|ZA|

|ZA|

|AB|

|AB|

|ZA'|

|ZA'|

|A'B'|

|A'B'|

Z = (-20, -34)
A = (-19, -34)
B = (-19.5, -34.5)
f = Line(Z, A)
g_1 = Line(Z, B)
A' = Point(f)
g = Line(A, B)
g' = Line(A', g)
B' = Intersect(g', g_1)
h = Segment(Z, A)
i = Segment(Z, B)
j = Segment(Z, A')
l = Segment(Z, B')
v: h / j
Text1: "|ZA| : |ZA'| = |ZB| : |ZB'| ≅ " + v + ""
k = Segment(Z, A)
m = Segment(Z, A')
n = Segment(B, A)
p = Segment(B', A')
s: n / p
Text2: "|ZA| : |ZA'| ≅ |AB| : |A'B'| ≅ " + v + ""
r = 0.04 (slider from 0 to 0.1, step 0.005)
d = Circle(A, r)
e = Circle(Z, r)
E, F = Intersect(e, g_1)
q = Circle(B, r)
I, J = Intersect(e, f)
t, f_1 = Tangent(I, q)
h_1, i_1 = Tangent(E, d)
C = Intersect(q, t)
D = Intersect(d, i_1)
G, H = Intersect(d, g)
K, L = Intersect(q, g)
m_1 = Segment(K, H)
b = false
a = false
c = OrthogonalLine(Z, h)
M, N = Intersect(e, c)
k_1 = Segment(N, D)
l_1 = Segment(N, D)
n_1 = OrthogonalLine(Z, i)
O, P = Intersect(e, n_1)
j_1 = Segment(O, C)
h_{anz} = Segment(Z, A)
o = false
i_{anz} = Segment(Z, B)
u = false
j_{anz} = Segment(Z, A')
w = false
l_{anz} = Segment(Z, B')
a_1 = false
k_{anz} = Segment(Z, A)
b_1 = false
n_{anz} = Segment(B, A)
c_1 = false
m_{anz} = Segment(Z, A')
d_1 = false
p_{anz} = Segment(B', A')
e_1 = false