حل متباينات كثيرات الحدود