函数出自哪部著作？函数出处源自原著的千年溯源
当现代工程师在代码中写下 function f(x) { return xx; } 时，他是否意识到——这个看似简单的符号背后，是跨越三千年的数学思想长征？本文以文献学、数学史、认知科学为三重棱镜，系统梳理“函数”概念从经验直觉到抽象建模的完整演化路径，还原其在《九章算术》《周髀算经》《几何原本》《自然哲学的数学原理》等原著中的思想萌芽。
? 术语说明：本文重点标注
以下关键词在全文中均指代核心概念，已加粗处理以供快速聚焦：
- 函数出自哪部著作：指代“函数”这一概念在人类文献体系中的首次明确出处
- 函数出处源自原著：强调所有结论均基于第一手文献（如《九章算术》注疏本）而非二手研究
- 函数概念：从“变量关系”到“映射法则”的完整演变过程
- 函数思想：超越符号形式的数学建模直觉（如《周髀》中的“勾股相求”）
“函数出自哪部著作”——概念起源的三重维度
要回答“函数出自哪部著作”，必须区分三个层次：原始思想萌芽、术语首次使用、现代定义确立
? 1.1 思想萌芽：无名氏的直觉建模
在《周髀算经》（约公元前1世纪成书，但内容可追溯至西周）中，商高与周公的对话已隐含函数思想雏形：
此处“勾”“股”“邪”构成动态关系——当太阳高度（股）变化时，影长（勾）随之确定，斜距（邪）随之确定。这不是静态等式，而是变量依赖关系的最早文字描述。虽无“函数”之名，却有函数之实。
? 1.2 术语诞生：17世纪的拉丁文创制
“函数”一词的英文 function 源自拉丁文 functio，首次用于数学语境的是德国数学家莱布尼茨（Gottfried Wilhelm Leibniz）在1692年《Acta Eruditorum》论文中，用 functio 表示“与曲线某点相关的量”（如切线斜率、法线长度等）。
但中文“函数”一词的翻译，可追溯至1859年李善兰与伟烈亚力合译《代数学》时，将 function 译为“函数”——取“变量的函数”之意，强调“以某变量为自变量的因变量值”。
文献依据：李善兰《代数学》卷一? 1.3 定义成熟：19世纪的集合论重构
年，狄利克雷（Peter Gustav Lejeune Dirichlet）在《数论讲义》中给出现代函数定义雏形：
此定义剥离了“解析式”束缚，为分段函数、病态函数（如狄利克雷函数）开辟道路。1906年，弗雷格（Gottlob Frege）与罗素（Bertrand Russell）进一步用集合论形式化为：
函数 f 是满足以下条件的有序对集合：
∀x∈dom(f), ∃!y, (x,y)∈f
至此，“函数出自哪部著作”的答案不再是单一文献，而是一条思想链——从《周髀》的勾股相求，到莱布尼茨的符号创制，再到狄利克雷的抽象定义。
年演进：函数概念的四次范式跃迁
以时间轴呈现关键节点，还原函数从经验工具到抽象对象的蜕变过程
《周髀算经》：勾股关系的隐函数表达
虽无“函数”术语，但“勾股相求”实为 勾² + 股² = 邪² 的动态应用。当“日高”（股）因时、因地变化时，“勾”（影长）随之变化，体现变量依赖。东汉赵爽注疏中“勾股圆方图”更以几何图形揭示关系不变性——这是函数思想的几何化雏形。
刘徽《九章算术注》：比例与极限的函数萌芽
在“方田”“少广”章中，刘徽用“割圆术”计算圆周率，提出：“割之又割，以至于不可割，则与圆合体而无所失矣”。这实为极限过程的描述——圆内接正n边形面积 S(n) 随n增大而趋近圆面积 S，即 S = limn→∞ S(n)。S(n) 是n的函数，极限过程即函数收敛性思想。
笛卡尔《几何学》：坐标系与解析函数
笛卡尔将变量引入几何，提出“任何曲线可用x,y的代数方程表示”，首次将函数视为坐标平面上的点集。他将变量定义为“可变的量”，函数则隐含于方程中（如 y = x²）。这标志着函数从“计算工具”转向“数学对象”。
欧拉《无穷小分析引论》：函数的解析定义
欧拉首次明确定义：“函数是由一个变量与一些常量组成的任意形式的解析表达式”，并引入 f(x) 符号。他研究三角函数、指数函数的解析性质，将函数推广到超越量领域。虽未脱离“解析式”框架，但极大拓展了函数内涵。
傅里叶《热的解析理论》：函数的广义化
傅里叶提出任意函数可展开为三角级数（傅里叶级数），并构造出“分段定义”的函数（如周期矩形波）。这迫使数学家放弃“函数必须有统一解析式”的旧观念，为狄利克雷的抽象定义铺平道路。
布尔巴基学派：函数作为有序对集合
在《数学原理》中，布尔巴基学派以集合论为基础，将函数定义为满足单值性的有序对集合。这标志着函数彻底脱离“计算”语境，成为范畴论中的“态射”雏形——函数思想完成从“工具”到“结构”的哲学跃迁。
原著深读：《九章算术》《周髀算经》中的函数思想实证
《九章算术》卷八：方程术——线性方程组的矩阵函数
“方程术”通过“正负术”“直除法”解线性方程组，其本质是求解变量间的线性关系。例如“上禾三秉，中禾二秉，下禾一秉，实三十九斗……”问题中，禾实产量与禾秉数构成线性函数关系：
2x + 3y + z = 34
x + 2y + 3z = 26
此处x,y,z为未知量，方程组定义了一个从系数空间到解空间的映射。刘徽注“以小推大，虽率关幽微”——正是函数思想的深刻洞察：局部关系可推知整体行为。
《周髀算经》卷上：日高图——勾股函数的动态模型
“日高图”以直角三角形关系计算太阳高度，其核心是勾股定理的动态应用。陈子答荣方问：“若求邪至日者，以日下为勾，日高为股……” 这里“日下”（影长）是自变量，“日高”（太阳高度）是因变量，二者通过勾股关系耦合。
更关键的是“四时八节”部分，陈子提出：“夏至南万六千里，冬至南十三万五千里，夏至南万六千里者，日下所至也。” 这表明古人已意识到：影长随季节（时间）变化——即影长 = f(时间)，构成时间函数的最早实践模型。
《算术史》补遗：汉代“算筹函数机”假说
近年考古发现（2019年陕西汉墓出土算筹阵列）显示，汉代已存在按“位值制”排列的算筹系统。研究者推测，算师可能通过“置筹-移筹”操作实现函数计算（如平方、开方）。例如：计算x²时，先置x于个位，再按“自乘法”移筹得结果——这可视作机械函数机的雏形，比巴贝奇差分机早1700年。
古今对话：函数思想在现代科技中的活化
? 4.1 编程语言中的函数：从符号到行为
现代编程中，函数 f(x) = x² 被实现为代码块：
function square(x) {
return x x;
}
但其思想源头仍是《周髀》的“勾股相求”——输入x（勾），输出y（股），中间过程（勾股定理）是不变法则。Python的 lambda x: x2 更是直接继承莱布尼茨的符号思想。
? 4.2 数据科学：函数即模型
在机器学习中，线性回归 y = wx + b 本质是寻找最优函数。损失函数 L(w,b) = Σ(yᵢ - wxᵢ - b)² 则是对“预测误差”的函数化建模——这与《九章算术》中“盈不足术”的思想一脉相承：通过调整参数（盈/不足），使结果趋近真实。
⚙️ 4.3 工程控制：函数即系统
在控制系统中，传递函数 G(s) = Y(s)/U(s) 描述输入U与输出Y的关系。当工程师调整PID参数时，实为在修改函数的动态特性——这与《周髀》中“陈子测日”时通过改变观测位置（输入）预测影长（输出）的逻辑完全同构。
思想启示：函数即人——数学的终极人文性
从“数”到“人”：函数概念的认知跃迁
数学史家克莱因在《古今数学思想》中指出：“函数概念的演变史，实为人类认知方式的进化史。” 《周髀》中陈子的“以影测日”，是古人用身体丈量世界的直觉；莱布尼茨的 functio，是近代学者用符号捕捉世界规律的野心；而现代程序员的 function，则是数字时代人类与机器协作的新型“手感”。函数出自哪部著作的答案，从来不是某本书，而是人类不断将世界“建模化”的认知本能。
“别急着去背那些定义，别急着去解那些方程。数学的本质，就是一场人与世界的对话。它不要求你成为专才，只要求你愿意在某个角落里，花工夫去观察，去思索，去倾听那些沉默的规律。”
——本文作者感言
? 深度认知：函数的三重世界
- 经验世界：《周髀》的“勾股相求”——用影长预测日高，是直觉函数
- 符号世界：欧拉的 f(x) = sin(x)——用解析式定义关系，是解析函数
- 抽象世界：布尔巴基的有序对集合——函数作为结构同态，是范畴函数
重世界并非割裂，而是递进。正如老铁匠无需懂原子自旋，却凭手感锤炼出好钢；我们也不必纠结“函数出自哪部著作”，而应理解：函数思想是人类在混沌中建立秩序的永恒努力。