可运行实验：梯度方向导数核验

编写程序完成“梯度方向导数核验”。算法契约：计算 f=x²+y² 在点(a,b)的梯度长度。 本实验直接反查课堂任务：在圆 x²+y²=1 的上半支点附近解出 y(x)，并计算切线。 程序必须依据关系 F(x,y)=0,\ F_y\ne0\Rightarrow dy/dx=-F_x/F_y，并在说明中处理边界：F_y=0时不能由该变量局部解出，但可能换另一个变量；全局多值也不由局部定理排除。 输入三个浮点数 a b n，使用题定离散过程输出保留8位小数；禁止第三方包。