Suorakulmainen särmiö

13

9

6

f = Ray((0, 0, 0), (1, 0, 0))
g = Ray((0, 0, 0), (0, 1, 0))
h = Ray((0, 0, 0), (0, 0, 1))
A = Point(f)
B = Point(g)
C = Point(h)
D: (0, 0, 0)
E: (x(A), y(B), 0)
kuvio1, e, b, d, a = Polygon(E, B, D, A)
i: z(C)
j, J, K, L, M, tahkoBEJK, tahkoBDLK, tahkoADLM, tahkoAEJM, tahkoJKLM, särmäEJ, särmäBK, särmäDL, särmäAM, särmäJK, särmäKL, särmäLM, särmäJM = Prism(kuvio1, i)
k = Segment(J, K)
l = Segment(M, L)
F = Intersect(a, d)
m = Line(A, K)
α = Angle(B, A, K)