Commit 2026-03-10 12:02 8187a40e
View on Github →feat: add dist_center_midpoint_lt_radius for spheres (#35957) Adds two results about chords of spheres in Euclidean affine spaces:
Sphere.inner_vsub_center_midpoint_vsub: the vector from the center of a sphere to the midpoint of a chord is orthogonal to the chord.Sphere.dist_center_midpoint_lt_radius: the distance from the center to the midpoint of a chord with distinct endpoints is strictly less than the radius. This follows by applying the Pythagorean theorem to the right triangle formed by the center, the midpoint, and an endpoint, using the orthogonality result above.