是数还是数列？——递归 、逼近和傅里叶变换

        之前，我们尝试分析例子中橘子的重量(y)和甜度(x)的关系，也得到了一个粗略的结论，即：ｙ＝ｎｘ。现在我们来试着能否更精确的描述橘子的重量(y)和甜度(x)的关系。

       为了获得橘子的重量(y)和甜度(x)之间更加精确的比例关系，我们假设重量(y)除了按某个固定比例ａ随甜度(x)变化的部分，还有一部分ｂ是不按固定比例变化的，即ｎ＝ａ＋ｄ₁。为简单起见，我们可以假设ｄ₁也是按某个比例ｍ随甜度(x)变化的，即ｄ₁＝ｍｘ。由此，我们有y＝(ａ＋ｄ₁)ｘ＝（ａ＋ｍｘ）ｘ=ａｘ＋ｍｘ²。

　　在上述过程中，我们对ｄ₁的估计也是很粗糙的。就像对ｎ的估计一样，我们可以采用更加精确的估计：假设它也是由固定比例ｂ和不按固定比例变化的部分ｄ₂，即ｍ＝ｂ＋ｄ₂。同样的，可以简单的假定ｄ₂＝ｃｘ，这样我们就有：y=ａｘ＋ｍｘ²＝ａｘ＋（ｂ＋ｄ₂）ｘ²=ａｘ＋（ｂ＋ｃｘ）ｘ²=ａｘ＋ｂｘ²＋ｃｘ³。

　　我们可以采用同样的办法对ｃ进行更精确的估计，并且这个过程可以不断进行下去。于是我们最终会得到这样的结果：

　　ｙ＝ａｘ＋ｂｘ²＋ｃｘ³＋．．．＋ｏｘⁿ

　　没错，这就是我们熟悉的级数分解。用于逐步逼近精确值的辅助量ｄ₁／ｘ＝（ｎ－ａ）／ｘ＝ｍ，ｄ₂／ｘ＝（ｍ－ｂ）／ｘ＝ｃ的计算过程就是差分（微分）。在这个级数分解中，ｘ各项的系数ａ，ｂ，ｃ，．．．可以对应为一组数列的第1个数、第2个数、第3个数,......。这个数列可以用递归公式ａ（ｎ）＝ｄ（ｎ－１）／ｘ－ｄ（ｎ）表示，其中ａ（ｎ）表示数列中的第ｎ个数。如果把ｘº，ｘ¹，ｘ²，ｘ³，．．．，ｘⁿ看作函数空间中的各个维度（在线性代数中，也称为基底），这组数列就是函数空间的一个向量。这是后话，此处暂不展开。

　　用递归进行逐渐逼近的方法还经常用于数值的计算，比如计算1/3,√2 的值。

以，甚至我们还可以更进一步继续对n作同样的假设：只要我们觉得对n的估计不够精确，就可以不把n当作是固定的数，而继续把它当作按照x的某个比例变化的变量。y-n0*x,n1=n0/x,这个不断逼近的过程将会产生一系列不同的n值，我们把这一系列的数叫做数列。

无理数，数列，差分，级数，傅里叶变换　₃∆㎡m³﹣∑∏×·∩∪∈∞½