长方形面积公式的由来

先说大家都知道的：假定长方形的边长分别为实数$a$，$b$，则面积可以表示为：

$$S=ab.\text{\hspace{1em}(1)}$$

但是长方形的面积为何如此定义呢？这是人为定义？还是纯天然的？哪来的？
首先从历史角度来说，这是人通过实践的经验得来的。我们可以考虑这样的场景：把很多物体按照行和列排列，则最终物体的总数就是行数乘上列数，如下图的南瓜：

对于离散的数量来说，这种定义确实是足以示性这种排列的规律。但问题是：这种离散的计数是否能够适用于连续的实数中去呢？当然我们可以继续把连续的图形划分成小格子，然后数格子的数量，但是前提是格子的边长必须是单位长度，而总的边长能够被这个单位长度整除，那么不整除的情况呢？其实这个思考过程就是一个把面积的定义从有理数域推向实数域的过程。这就不得不涉及到现代数学的很多概念。
下面我们从现代数学的角度再来看这个问题。
首先我们来梳理一下在我们传统的印象中，我们所需要的面积应该满足哪些约束条件，或者说它应该具备哪些我们想要的基本特点：

1. 全等的图形面积应该都相等（平面平移对称性），而长和宽对应相等的长方形是全等的，所以面积是两个边长的函数$f(a,b)$；
2. 由于两条边具有交换对称性，也就有：
   $$f(a,b)=f(b,a)\text{\hspace{1em}(2)}$$
3. 规定面积是恒正的函数，不存在面积为负的情况，边长不为0时面积不为0；
4. 面积应该具有可加性，两个图形拼起来的面积是两者之和。假设两个长方形的某一边相等（此处为$b$），则两者可以重新拼接成一个长方形，即：

$$f(a_1+a_2,b)=f(a_1,b)+f(a_2,b)\text{\hspace{1em}(3)}$$
由此可以看出$f$关于$a$单调递增；

5. 假设存在正整数$q_1$，$q_2$，则由$(3)$式有：
   $$\begin{array}{rl}f(a,b)& =q_{1}f(\frac{1}{q_1}a,b)\\ \Rightarrow \frac{1}{q_1}f(a,b)& =f(\frac{1}{q_1}a,b)\end{array}\text{\hspace{1em}(4)}$$
   当有$q_2$个上式相加时，则上式变为：
   $$\frac{q_2}{q_1}f(a,b)=f(\frac{q_2}{q_1}a,b)\text{\hspace{1em}(5)}$$
   此时令$q=\frac{q_2}{q_1}$，则$(3)$中的公式可以写为有理数的形式：
   $$qf(a,b)=f(qa,b)\text{\hspace{1em}(6)}$$
6. $f(a,b)$在$a$趋向于某个实数$a_1$时极限为$f(a_1,b)$，即$f(a,b)$可以任意接近于$f(a_1,b)$，所以$f$关于$a$连续，于是可以把$(6)$式中的$q$推广到任意实数$u$：
   $$uf(a,b)=f(ua,b)\text{\hspace{1em}(7)}$$
7. 将上式$u=a$，$a=1$，得到
   $$f(a,b)=af(1,b)\text{\hspace{1em}(8)}$$
   同理，根据$(2)$式：
   $$f(a,b)=bf(a,1)\text{\hspace{1em}(9)}$$
8. 因此：
   $$f(a,b)=abf(1,1)\text{\hspace{1em}(10)}$$
   由上可以看出面积必须是$ab$的常数倍，为了使用方便可以规定$f(1,1)=1$，当然也可以规定为其他数字。因此得到最终长方形的面积公式：
   $$S=f(a,b)=ab.\text{\hspace{1em}(11)}$$

由上述推导可以知道，传统意义上的长方形的面积公式可以根据几个基本原理（约束）推论得到。
值得注意的是，我们也可以用同样的方法得到体积公式，此时需要注意体积公式和面积公式的常数项要一致才行，所以从面积推广到$n$维体积的定义需要前后一致，否则会出现矛盾。
在上述推导中主要运用的是面积的测度性质。此处并未讨论上述坐标得到的长度是在什么基向量下表示的（只是用到了平面的平移对称性），也就还没有涉及到空间的基向量的变换。如果推广到欧式空间，则还需要内积空间的性质。面积恒正可加是测度性质，面积在正交变换下保持不变是欧式空间的内积空间性质。