|y|<√(x²+(y-1)²) を満たす(x,y)の領域を図示する問題で、解答にはいきなり、
上の式の両辺を平方して、y²<x²+y²-2y+1
と式変形してるんですが、これって同値性が保たれるんでしょうか？