Nach dem lul mit Geogebra vorgelegt hat, lege ich mt CAS mal nach
X:=(x,y,z);
Normalengleichung einer Ebene n (X - p) = 0, Ebene aus 3 Punkten Ao,Bo,Co
Eo(X,Ao,Bo,Co):=((Bo-Ao)⊗(Co-Ao))(X - Ao)
Eabd:=Eo(X,A,B,D)*2/3=0
\(Eabd: \, 8 \; x + 22 \; y + 13 \; z - 277 = 0\)
Gerade durch P, Q: g(t): X = P + t \(\vec{PQ}\)
g(t):=P+ t (Q-P)
g x Eabd (Gerade in Eabd einsetzen)
Eo(g(t),A,B,D)*2=0
\(804 \; t - 603 = 0 => \left\{ t = 0.75 \right\} \)
Q':=g(3/4)
\(Q':=(7, 6.5, 6)\)
Eacd x g(t) => P'
|\(\vec{P'Q'}\)| = Länge der im Tetraeder verlaufenden Strecke