A Midpoint Identity for Four Collinear Equal-Product Points

For four collinear points with a common positive product of distances to two foci, the focal midpoint is equidistant from the midpoints of two complementary segments. Polynomial and Euclidean proofs are given, with an explicit four-intersection example and the classical Cassini-oval attribution.