Auxiliares

Jambas

Arco ojival

ju

vimposta: (0.75, 0, 0)
luz = 10 (slider from 0 to 10)
radio_{1}: luz / 2
A: (radio_{1}, 0, 0)
α = 0 rad (slider from 0 to β, step 0.017453292519943295)
radio = 6.0001 (slider from 0.0001 to 10)
O: (0, 0, 0)
C: (radio, 0, 0)
k = Circle(C, radio_{1} + radio, yAxis)
P: (((radio_{1} + radio) * cos(α)) - radio, 0, ((radio_{1} + radio) * sin(α)))
a = true
b = false
u: (0, 0, (-2 * radio_{1}))
e = Circle(C, A, space)
d = Circle(C, P, space)
v: (1, 0, 0)
j = Line(O, v)
w: (0, 0, 1)
g = Line(O, w)
C' = Mirror(C, zAxis)
h = Segment(C', P)
k' = Mirror(k, zAxis)
B, D = Intersect(k', k)
β = Angle(A, C', B)
f = CircleArc(C', A, P)
f' = Mirror(f, g)
P' = Mirror(P, g)
i = Segment(P', C)
A' = Mirror(A, g)
AA: A + u
AA': A' + u
l = Segment(A', AA')
n = Segment(AA, A)
c = If(α > β - 0.01, true, false)
AD: A + vimposta
AI: A - vimposta
p = Segment(AI, AD)
f'_{1} = Mirror(f, g)
AI' = Mirror(AI, g)
AD' = Mirror(AD, g)
p' = Segment(AI', AD')
q = OrthogonalPlane(AA', g)