A fixed sum is possible only above the focal separation
The definition lets us reject impossible data before manipulating two square roots.
For foci (±c,0), a nondegenerate ellipse has distance sum 2a>2c. Its transverse semiaxis satisfies b²=a²−c².
At a major vertex the focal distances add to 2a.
At a minor vertex each focal distance is a.
When it applies
- Use a for the larger semiaxis when naming focal quantities.
- Equal semiaxes give a circle; focal sum equal to separation gives a segment.
Counterexample: For foci separated by 6, a distance sum of 5 is impossible and a sum of 6 gives a segment, not a nondegenerate ellipse.
- Distance-sum definition ↔ standard equation ↔ scaled unit circle.