abc都是实数且满足