>>763
ありがとうございます

私の手計算では、2回微分のとき、
d^2y/dx^2 = dt/dx d/dt(dy/dx)
= 1/(1-cost) ・ (cost (1- cost) - sint sint)/(1-cost)^2
= (cost - cos^2 t - sin^2 t)/(1-cost)^3
= (cost - 1)/(1-cost)^3
= -1/(1-cost)^2

という感じになるんですが、
mathematicaにsimplifyさせると
-1/4 (Csc(t/2))^4
になっちゃうんですよね・・・

この両者をTrueQで比較してもうまく行かないんですが、
どうしたらいいでしょうか？