求一道勾股定理的难题和反比例函数的难题。 要求有图

我现在想用maple来算一些几何中的问题，需要定义抽象的向量值函数
具体来说，我要定义这种函数：
x(s)=(x1(s),x2(s),x3(s))
但是我要求x的定义式抽象的，而不是具体写出来的这种三维向量的形式
也就是说我想只简单的把这个向量函数表示成x(s)

******************
实际上我就是想按微分几何中常做的那样表示一条曲线上的任意一点，其中s就是弧长参数。

然后需要做关于s的求导运算。所以最好能连f-s坐标系的运算也实现了！

*********************
好了，我现在总结一下，我想问的问题有两个：
1。maple能否定义那种抽象的向量值函数？如何定义？

2.进一步，如果可以，那么如何实现f-s坐标系下的运算？
（也就是dx/ds算出来maple要自动显示成T ,T是曲线的单位切向量）