((x+ix+t-it)/(1+(x-ix)(t-it))-(p-ip))*((x-ix+t+it)/(1+(x+ix)(t+it))-(p+ip)) = r^2 を t について解く