>>187
√の中を平方完成してa^2-t^2の形に帰着させる