Sehnensatz:  f*e=g*k

Ha  05

O = Intersect(xAxis, yAxis)
R = Point(xAxis)
c = Circle(O, R)
P = Point(yAxis)
a = OrthogonalLine(P, yAxis)
B = Point(c)
E = Point(c)
b = Line(B, P)
d = Line(E, P)
F, G = Intersect(c, d)
H, A = Intersect(c, b)
J, K = Intersect(c, a)
e = Segment(B, P)
f = Segment(P, A)
g = Segment(E, P)
h = Segment(P, F)
i = Segment(J, P)
j = Segment(P, K)
T1: "f*e=" + (f e)
T2: "g*h=" + (g h)
T3: "i*j=" + (j i)
p = Segment(P, O)
r = Segment(J, O)