WolframAlpha 計算知能 AI
cot(t/2)^2 = (1 + cos(t)) / (1 - cos(t))