PIEPER条件证明了三轴相交的机器人一定存在解析解，但没有给出解析解的具体求取方法