实数x满足