Sehnensatz 3D

Dreieck ABC

Dreieck A'B'C

Thaleskreis 1

Thaleskreis 2

Start

IMP9 geo

Höhe h_c

Kugel

M = (-0.03292351885801541, 0.27640934139607454)
r = 1.8 (slider from -5 to 5)
c = Circle(M, r, z = 0)
a = Sphere(M, r)
A = Point(c)
B' = Point(c)
B = Point(c)
A' = Point(c)
f = Segment(A, B)
g = Segment(B', A')
P = Intersect(g, f)
h = OrthogonalLine(P, xOyPlane)
C', C = Intersect(h, a)
i = Segment(P, C)
j = Segment(P, C')
k = Segment(A, C)
l = Segment(C, B)
m = Segment(B', C)
n = Segment(A', C)
p = Segment(A, P)
q = Segment(P, B)
p' = Segment(A', P)
q' = Segment(P, B')
d = CircumcircleArc(B, C, A)
e = CircumcircleArc(A', C, B')
b = false
o = false
s = true
t = true
α = Angle(A, C, B)
β = Angle(A', C, B')
f_1: z = 0
rot = false
u = true
v = true