>>694

(1-t^2)/(1+t^2) =(1-tan^2(θ/2) )/(1+tan^2(θ/2) )
=(1-sin^2(θ/2)/cos^2(θ/2) )/(1+sin^2(θ/2)/cos^2(θ/2) )
=(cos^2(θ/2)-sin^2(θ/2)) / (cos^2(θ/2) + sin^2(θ/2) )
=( cos(θ/2+θ/2) ) / 1
= cosθ
(2),(3)も同様