Математические методы доказательства отсутствия корней уравнения