Цитата(2brabus @ 25.12.2010, 14:06) *

= корень из (x^2+((y-2)i)^2)

Пактически: sqrt(x^2+(y-2)^2).
Теперь подставляйте все полученные выражения в исходное неравенство.