>>591
tanの半角の公式かcos(a/2)を出して計算するか