In[]:=
xa:=InfiniteLine[{{0,0,0},{1,0,0}}];​​ya:=InfiniteLine[{{0,0,0},{0,1,0}}];​​za:=InfiniteLine[{{0,0,0},{0,0,1}}];​​​​planef[z_]=InfinitePlane[{0,0,z},{{1,0,0},{0,1,0}}];​​plane=planef[9];​​sphereRadius:=10;​​sphereOrigin:={0,0,0};​​sphere:=Sphere[sphereOrigin,sphereRadius];​​convolutionCircleStep[z_]=RegionIntersection[planef[z],sphere];​​cut[z_]=DiscretizeRegion[convolutionCircleStep[z]];​​​​AnimationVideo[Graphics3D[​​{​​{Thick,xa},​​{Thick,ya},​​{Thick,za},​​{Opacity[0.15],planef[z]},​​{Opacity[0.15],sphere},​​{PointSize[Large],Red,cut[z],Point[sphereOrigin]}​​},BoxedFalse],​​   {z,-9,9,1}​​]
AnimationVideo
:video track 1 does not yield frames of consistent dimensions.
AnimationVideo
:video track 1 does not yield frames of consistent dimensions.
AnimationVideo
:video track 1 does not yield frames of consistent dimensions.
General
:Further output of AnimationVideo::badvfuncdim will be suppressed during this calculation.
In[]:=
AnimationVideo[Graphics3D[​​{​​{Thick,xa},​​{Thick,ya},​​{Thick,za},​​{Opacity[0.15],plane},​​{Opacity[0.15],sphere},​​{PointSize[Large],Red,cut[z],Point[sphereOrigin]}​​},BoxedFalse],​​   {z,-9,9,1}​​]
Out[]=
​
​
In[]:=
Quit[]