Sehnensatz
Author: Haftendorn
Date: Nov 05

Sehnen-Satz

EA \cdot EB=ED \cdot EC

Die Dreiecke sind ähnlich,

Beweis:

Wegen UWS für e sind

die Winkel bei D und B gleich.

Ebenso für f, (oder Sch.wi bei E)

\frac{EA}{ED}=\frac{EC}{EB}

q.e.d.

Ha 11/05

M = (1.1333333333333333, 2.0666666666666664)
H = (-4.6, -1.4666666666666666)
k = Circle(M, H)
A = Point(k)
B = Point(k)
C = Point(k)
D = Point(k)
a = Segment(A, B)
c = Segment(D, C)
E = Intersect(c, a)
b = Segment(D, A)
d = Segment(B, C)
e = Segment(A, C)
f = Segment(D, B)
P, d_1, a_1, e_1 = Polygon(A, E, D)
Q, c_1, b_1, e_2 = Polygon(B, E, C)