反三角函数求导公式的证明(2)

读者可以找到所有的基本数学函数(log, exp, log10, log2, sin, cos, tan, asin, acos, atan, abs, sqrt,. . . ), 专业函数(gamma,digamma, beta, besseli, . . . )，同样包括各种统计学中有用的函数。但是c语言也有static关键字, 但是c语言中的static并不只是静态分配的意思,如果用在静态局部变量(函数内部), 则是说明这个变量是静态的, 如果用在全局变量或函数, 则是防止函数或全程变量被其他c文件中的函数访问(通过include 头文件). 为什么java里的static 会跟c 语言里的有这种区别呢.。这里命名存储函数时使用了【fn_】作为开头，这样可以更容易区分与【sp_】开头的存储过程，从上述语句可以看出前面在存储过程分析的流程语句也是可以用于存储函数的，同样的，declare声明变量和set设置变量也可用于存储函数，当然包括定义异常处理语句也是适应的,请注意执行存储函数使用的是select关键字，可同时执行多个存储函数，嗯，存储函数就这样定义，是不是跟存储过程很相似。

１、算术函数 函数标识符 自变量类型 意义 结果类型 abs 整型、实型 绝对值 同自变量 arctan 整型、实型 反正切 实型 cos 整型、实型 余弦 实型 exp 整型、实型 指数 实型 frac 整型、实型 小数部分 实型 int 整型、实型 整数部分 实型 ln 整型、实型 自然对数 实型 pi 无自变量 圆周率 实型 sin 整型、实型 正弦 实型 sqr 整型、实型 平方 同自变量 sqrt 整型、实型 平方根 实型 例：abs=4、abs=7.49、arctan=0.0、sin=0.0 frac=-0.71、int=-3.0、sqr=16、sqrt=2。解：因故因 ，故5.2证明式（5.31），即证明：因 考虑到而=从而 即5.3试证自相关函数是偶函数，即证明：因 =，故对于平稳过程而言，相关函数仅仅是单变量时差的函数，即5.10证明式（5.51），证明： 因 ，故，且，故。 二、 填空题 1. 函数 ( )f x 对一切实数 x 都满足11()()22fxfx+=&minus。如何理解导数：求导法则，指数和算法(betterexplained.com)。