积分万能公式推导（积分公式怎么推导出来的）

x=tan(t/2)

令u = tan(x/2)

则dx = 2 du/(1 + u²)

sinx = 2u/(1 + u²)

cosx = (1 - u²)/(1 + u²)

tanx = 2u/(1 - u²)

对于一个函数f，如果在闭区间[a,b]上，无论怎样进行取样分割，只要它的子区间长度最大值足够小，函数f的黎曼和都会趋向于一个确定的值S，那么f在闭区间[a,b]上的黎曼积分存在，并且定义为黎曼和的极限S。这时候称函数f为黎曼可积的。