为什么叫“算术平均值”、“几何平均值”？

原来，它们的来源，并不只是名字的巧合，而是与古希腊数学中“在算术（加法）结构中居中”，以及“在几何（乘法、比例）结构中居中”的理解方式密切相关。

古希腊数学家非常喜欢从“几何”角度解释数：

比如，一个边长为 2 和 8 的长方形（面积 16），它对应的正方形边长是√16=4，这个 4 就是几何平均。这就是为什么它被叫作“geometric”——几何式的平均，意在强调它来自“几何比例”的构造，而不是代数运算。

我开始意识到，我问的已经不只是“平均值”的名字，而是一个更底层的问题：为什么加法和乘法，会被放进两个完全不同的世界里？

原来在古希腊的数学体系中，“算术（arithmetic）”和“几何（geometry）”代表的是两种不同的数量世界。这并不是随便起名字，而是与他们理解“数”与“形”的方式紧密相关。

对古希腊人来说：

“算术”代表量的相加，对应“平移”、“线性增长”。所以加法属于算术，因为它在同一维度上叠加数量。

这时，乘法就从“一维”进入了“二维”，它成了一个几何上的面积问题。所以“乘法”在他们看来，正是把一条线段扩展成一个面积（或体积）的过程。

“几何”代表量的相乘，对应“比例”、“相似”、“扩张”。所以乘法属于几何，因为它跨越维度，用比例创造新的量。

在线性关系里也存在比例，在数轴上也能实现比例扩张，为什么古希腊人觉得这是几何的事？

原来在古希腊数学的语境里，事情不太一样，他们的“比例”概念，带着更“空间化”的含义。因为在他们的世界里，“数”是离散单位的集合，只能加、减；“量”是连续的、可度量的，可以“放大、缩小”。

而“放大”与“缩小”——正是几何变换的过程。也就是说，比例不只是“比大小”，更是一种“形的相似”关系。而“相似”——是几何学的核心。

所以，我所理解的“比例”，其实是一个现代的、代数化的概念，而在古希腊的语境里，它更像是一种空间变换。

当这个疑惑冒出来时，我意识到，我的问题已经牵扯到什么才算“数”的根本分歧了。

在古希腊语中，arithmos（数）一词指的就是“可数的、有限的整数集合”。它不是我们今天理解的“number（包含有理数、无理数、实数）”，而是一组单位的和。也就是说，1 是单位，2 是两个单位的和，3 是三个单位的和……

这意味着：“数”只能通过加法与减法产生；“数”之间的比（如 2:3）可以说，但“数乘”概念还未抽象成运算；“分数”甚至都不是“数”，而是“两个整数的比”。

所以在他们看来：数是离散的，不能连续。

而“量”是另一类对象：长度、面积、体积、角度……这些是连续的几何量。它们的关系可以用“比例”（ratio）描述：a:b=c:d。

但这种比例并不是数字的除法结果，而是两个几何量之间的可比关系，因为“连续”无法用“单位加和”来完全刻画。

这也就是为什么，无理数（如√2）是在几何中被发现的，而不是算术中。它暴露了“数”的离散性无法囊括“连续”的问题。

古希腊人拥有了对“连续”的感知，但还没有抽象出“实数”这个概念。因此他们只能用几何形象来“承载”连续，这其实是实数概念尚未诞生前的一种表征方式。这也是一段“从离散到连续，从整数到实数”的历史缩影。

这是我沿着“名字来源”做的一点小探索。你有没有对哪个数学名词产生过类似的“误解”或“好奇”？欢迎在社群里分享你的发现。