16/08/20 00:15:44.05 zEgGLRG5.net
407 １３２人目の素数さん sage 2016/08/15(月) 11:31:53.82 ID:tdVmeQVW
>>369
わざわざ、
tan(x) = 2*tan(x/2) / (1 - (tan(x/2))^2)
(cos(x))^2 = = 1 / (1 + (tan(x))^2)
を使って、 cos(x) を計算しているが、どういうセンスをしているのかと言いたい。
cos(x) = 2 * (cos(x/2))^2 - 1 = 2 / (1 + (tan(x/2))^2) - 1 = 2 / (1 + t^2) - 1 = (1 - t^2) / (1 + t^2)
と計算すればいいだけの話。