G:=k Λ wh

Ha 09

Kreis, Lot(O,sehne) und wh haben
stets den gemeinsamen Punkt G.

ehemals: 
winkelhalbierende-im-umkreis.ggb
nun
suedpolsatz.ggb
Dazu:
Suedpolsatz.docx und pdf

O = (-0.9074778932133494, 1.4456873181616685)
K = (2.79665199537391, 1.5216694697224329)
k = Circle(O, K)
A = Point(k)
B = Point(k)
C = Point(k)
Vieleck1, d, c_1, e = Polygon(A, C, B)
wh = AngularBisector(A, C, B)
a = Segment(C, O)
b = Segment(O, A)
F, G = Intersect(k, wh)
c = Segment(O, G)
α = Angle(A, C, O)
α' = Angle(O, A, C)
β = Angle(O, C, G)
β' = Angle(C, G, O)
f = Line(C, O)
H = Point(f)
zwei_α = Angle(A, O, H)
zwei_β = Angle(H, O, G)
g = Segment(B, O)
zwei_η = Angle(G, O, B)
η = Angle(G, C, B)