>>740
dt↑/dtはあっとるよ、でもn↑の計算に必要なのはdt↑ds=(dt↑/dt)/(ds/dt)だ
それからもう少し形を考えよう
dt↑/dt=(√2/((1+t^2)^2))*(0, 1-t^2, -2t)となるから
dt↑/ds=(1/((1+t^2)^3))*(0, 1-t^2, -2t)
そうしたら
｜dt↑/ds｜=(1/((1+t^2)^3))*√((1-t^2)^2+(-2t)^2)
でしょ、面倒じゃないでしょ