Выполните логическое доказательство

Логическое доказательство отсутствия корней основано на проверке значений sin(2/(1+x)) в указанном промежутке. Поскольку значения функции синуса в пределах [9;11] не достигают -1, корней на указанном промежутке нет.