Derivation (with x-axis parallel to β)

`and`(l[beta] = sqrt(`+`(`*`(`^`(x[beta], 2)), `*`(`^`(y[beta], 2)), `*`(`^`(z[beta], 2)))), `and`(sqrt(`+`(`*`(`^`(x[beta], 2)), `*`(`^`(y[beta], 2)), `*`(`^`(z[beta], 2)))) = sqrt(`+`(`^`(`/`(`*`(x[...
`and`(l[beta] = sqrt(`+`(`*`(`^`(x[beta], 2)), `*`(`^`(y[beta], 2)), `*`(`^`(z[beta], 2)))), `and`(sqrt(`+`(`*`(`^`(x[beta], 2)), `*`(`^`(y[beta], 2)), `*`(`^`(z[beta], 2)))) = sqrt(`+`(`^`(`/`(`*`(x[...
`and`(l[beta] = sqrt(`+`(`*`(`^`(x[beta], 2)), `*`(`^`(y[beta], 2)), `*`(`^`(z[beta], 2)))), `and`(sqrt(`+`(`*`(`^`(x[beta], 2)), `*`(`^`(y[beta], 2)), `*`(`^`(z[beta], 2)))) = sqrt(`+`(`^`(`/`(`*`(x[...

`and`(s[0] = sqrt(`+`(`*`(`^`(x[0], 2)), `*`(`^`(y[0], 2)), `*`(`^`(z[0], 2)))), `and`(sqrt(`+`(`*`(`^`(x[0], 2)), `*`(`^`(y[0], 2)), `*`(`^`(z[0], 2)))) = sqrt(`+`(`*`(`^`(x[beta], 2), `*`(`^`(`+`(1,...
`and`(s[0] = sqrt(`+`(`*`(`^`(x[0], 2)), `*`(`^`(y[0], 2)), `*`(`^`(z[0], 2)))), `and`(sqrt(`+`(`*`(`^`(x[0], 2)), `*`(`^`(y[0], 2)), `*`(`^`(z[0], 2)))) = sqrt(`+`(`*`(`^`(x[beta], 2), `*`(`^`(`+`(1,...
`and`(s[0] = sqrt(`+`(`*`(`^`(x[0], 2)), `*`(`^`(y[0], 2)), `*`(`^`(z[0], 2)))), `and`(sqrt(`+`(`*`(`^`(x[0], 2)), `*`(`^`(y[0], 2)), `*`(`^`(z[0], 2)))) = sqrt(`+`(`*`(`^`(x[beta], 2), `*`(`^`(`+`(1,...

Table of Contents