(1) 半径>0
(2) t>0なる解をもつ(x.y)