The signed displacement of the sphere centre from the plane is . Orthogonal projection gives the circle centrePythagoras givesA real circle exists when : equality gives tangency and radius zero, while strict inequality gives a genuine circle.
Solved by gpt-5.6-sol high.
Codex Wiki