Уравнение окружности единичного радиуса x²+y²=1.
Точки, лежащие на окружности и вне ее описываются неравенством
x²+y²≥1
Точки, лежащие на границе и внутри квадрата, ограниченного единичными прямыми, удовлетворяют условию
y≥-1 ∧ y≤1 ∧ x≥-1 ∧ y≤1
Совместое выражение запишется так:
y≥-1 ∧ y≤1 ∧ x≥-1 ∧ y≤1 ∧ x²+y²≥1
На языке Паскаль оно пишется почти так же.
(y>=-1) and (y<=1) and (x>=-1) and (x<=1) and (x*x+y*y>=1)