用Mathematica研究曲线论(二)
1、求双曲螺旋r[t_]:={Cosh[t],Sinh[t],t}从t=0起计算的弧长。r[t_]:={Cosh[t],Sinh[t],t}ParametricPlot3D[r[t],{t,0,2 Pi}]ArcLength[r[t],{t,0,t}]

3、求证:圆柱螺旋r[t_]:={Cos[t],Sin[t],t}的切线和z轴夹角成定值。r[t_]:={Cos[t],Sin[t],t/3}ParametricPlot3D[r[t],{t,0,2 Pi}]Assuming[t>0,VectorAngle[r'[t],{0,0,1}]]//FullSimplify

5、求抛物线y=x^2在区间[-a,a]之间的弧长。r[t_]:={t,b t^2}ParametricPlot[r[t]/.b->1,{t,-2,2}]Assuming[{a>0,b>0},ArcLength[r[t],{t,-a,a}]]//TraditionalForm

7、求旋轮线r[t_]:={t-Sin[t觥终柯计],1-Cos[t]}在区间【0,2π】之间的弧长。r[t_]:={t-Sin[t],1-Cos[t]}ParametricPlot[r[t],{t,0,6 Pi}]ArcLength[r[t],{t,0,t}]//TraditionalFormArcLength[r[t],{t,0,2 Pi}]//TraditionalForm

9、把圆柱螺旋r[t_]:={a Cos[t],a Sin职邗珩垃[t],b t} 化为自然参数方程的形式。r[t_]:={a Cos[t],a Sin[t],b t}ArcLength[r[t]荑樊综鲶,{t,0,t}]//TraditionalForm然后,{a Cos[t],a Sin[t],b t} /.t->s/Sqrt[a^2+b^2]检测一下:r[s_]:={a Cos[t],a Sin[t],b t} /.t->s/Sqrt[a^2+b^2]r[s]r'[s]r'[s].r'[s]r'[s].r'[s]//FullSimplify
