tanの半角公式
tan(x/2)^2=(1-cos(x))/(1+cos(x))