Gegeben: Dreieck ABC

1. Konstruiere eine Winkelhalbierende (hier z.B. zu α)
    - vgl. Extra-Anleitung Winkelhalbierende 

2. Konstruiere mindestens eine weitere Winkelhalbierende

3. Der Schnittpunkt der Winkelhalbierenden ist der
    Inkreismittelpunkt M_i

5. F_a ist der Schnittpunkt des Lotes mit der Dreiecksseite
    (Lotfußpunkt)

6. Kreis k_i um M_i mit Radius = Abstand von M_i zu F_a

k_i ist der Inkreis

Winkelhalbierende im Dreieck / Inkreis(mittelpunkt)

v 1.0 (haj)

4. Fälle von M_i aus das Lot auf eine der Dreiecksseiten (hier z.B. auf a)
    - vgl. Extra-Anleitung: Lot fällen

Bei >Schritte< mit der Maus ziehen!

r = 1.5
A = (0, 0)
Schritte = 0 (slider from 0 to 7, step 1)
C = (4, 3.5)
B = (7, -2)
poly1, c, a, b = Polygon(A, B, C)
k_a = Circle(A, r)
S_{Ac} = Intersect(k_a, Ray[A, B])
S_{Ab} = Intersect(k_a, Ray[A, C])
k_{Ab} = Circle(S_{Ab}, r)
k_{Ac} = Circle(S_{Ac}, r)
D, W_A = Intersect(k_{Ac}, k_{Ab})
w_α = Line(A, W_A)
w_β = AngularBisector(C, B, A)
w_γ = AngularBisector(A, C, B)
M_i = Intersect(w_α, w_β)
k_o = Circle(M_i, 9 / 10 Min[Distance[M_i, C], Distance[M_i, B]])
S_1, S_2 = Intersect(k_o, Line[B, C])
k_1 = Circle(S_1, Distance[M_i, S_1])
k_2 = Circle(S_2, Distance[M_i, S_2])
T, F = Intersect(k_2, k_1)
l = Segment(M_i, T)
F_a = Intersect(l, a)
k_i = Circle(M_i, Distance[M_i, F_a])
α = Angle(C, F_a, M_i)