Известно, что t>1,z<8, тогда

Докажем вначале важное утверждение которым и воспользуемся.

Утверждение:

Пусть А - непустое и не конечное множество, так что . Предположим что существует так что . Если существует последовательность элементов из А выполняющая то .

Доказательство:

Допустим от противного, что , тогда существует так что .

Из-за того что , обязательно выполняется что противоречит тому что .

Следовательно .

Существует эквивалентное утверждение связанное с инфимумом, но доказывать его не буду (оно аналогично доказательству, но с некоторыми изменениями).

Теперь решим саму задачу:

Заметим что данное множество состоит из элементов последовательности , а также тот факт что для всех :

Т.е.:

Рассмотрим две подпоследовательности -

Так как:

Получаем:

Система  { x² +y² =1 ; x² +y =p  уравнений имеет одно решения . 

р - ?

Если система имеет решения (x₁ ; y₁) , то решения будет и (-x₁;y₁), поэтому для того чтобы система имела  одно решения НЕОБХОДИМО (но не достаточно )   x₁=0 .
Следовательно p =y = ± 1.  p =1 не удовлетворяет .

ответ :  p =-1. 
- - - - - - - - - - - - - -    2 вариант   - - - - - - - - - - - - - - 
Графический метод   { x² +y² =1 ; y = - x² +р .
График первого  уравнения окружность радиусом R=1 и с центром в точке O(0;0) _начало координат.
График второго  уравнения  парабола с вершиной  в точке В(0  ; р) , ветви
 направлены вниз ( ↓ по -у) .
Эти кривые имеют одно общую  точку, если  p = -1.