Implicitization for the spherical trochoid

If you didn’t read or if you don’t remember my post
Using implicitization to split a ball, take a look at it before reading this one. To sum up, I took a
spherical curve, namely a satellite curve, and I derived a…