>Isn't this mind-numbingly obvious?
Yeah, I think so.
>Collapse the shape into a function describing the area of the left side if you were to cut the shape at that X coordinate in that orientation. On one end the function has value zero and on the other its value is the area of the shape. Is there any reason why this function might not be continuous?
Not for this reason, though...