Längen im Tangentenviereck

Bewege einen der Berührpunkte A,B,C,D. 
Beobachte die Seitenlängen des Tangenten-
vierecks EFGH, notiere deine Vermutungen 
und versuche sie zu begründen. 

IMP9 geo

Winkel einblenden

Sehnenviereck einblenden

M = (-0.0018190861006871755, -0.3414719508653808)
r = 1.4 (slider from -5 to 5)
c = Circle(M, r)
A = Point(c)
B = Point(c)
C = Point(c)
D = Point(c)
v1, a, b, c_1, d = Polygon(A, B, C, D)
α = Angle(B, A, D)
β = Angle(C, B, A)
γ = Angle(D, C, B)
δ = Angle(A, D, C)
e = false
f = true
g = Tangent(A, c)
h = Tangent(B, c)
i = Tangent(C, c)
j = Tangent(D, c)
P = Intersect(g, h)
Q = Intersect(h, i)
R = Intersect(i, j)
S = Intersect(j, g)
v2, e_1, f_1, g_1, h_1 = Polygon(P, Q, R, S)
k: e_1 + g_1
l: f_1 + h_1