У меня затруднение следующего характера. В книге Тихомирова "Выпуклые множества и их приложения" 2001, на 8 стр. написано следующее:
Множество
A и тодчка
b строго отделимы, если можно найти такие числа

и

, что для любой точки

из
A выполнено неравенство

, в то время как

, где

координаты точки b.
Поэтому говорят, что множество
A от точки
b строго отделяет прямая

.
Но вот если рассмотреть пример:
Окружность:

.
Прямая:

или

.
Точка:

.
Если нарисовать это графически, то на плоскости прямая из примера будет строго отделять точку
b.
Но условия не будут выполняться:
в нашем случае

.
Возьмем точку из области
А 
и получим

- противоречие. И так же для точки
b 
- противоречие. Или я что то не так делаю?