数学恒等式 \((1 + 2 + \dots + n)^2 = 1^3 + 2^3 + \dots + n^3\) 的发现通常归功于古代数学家 **尼科马库斯(Nicomachus of Gerasa)**,他在公元1世纪左右在其著作《算术导论》(*Introduction to Arithmetic*)中提到了这一关系。
### 更详细的历史背景:
1. **尼科马库斯的贡献**
- 尼科马库斯是古希腊数学家,以研究数论和算术著称。他在《算术导论》中描述了这一恒等式,并给出了几个低阶数的例子(如 \(n=1,2,3,4\)),但没有给出一般性的证明。
- 他的工作对后来的数学家(如博伊修斯)产生了深远影响,并在中世纪被广泛传播。
2. **更早的可能发现者**
- 虽然尼科马库斯是最早明确记录这一恒等式的数学家之一,但类似的数学关系可能已被更早的巴比伦或印度数学家所知晓,只是缺乏确切的文献记载。
3. **现代数学中的证明**
- 该恒等式可以通过数学归纳法或组合数学的方法证明。例如,狄拉克在量子力学的研究中也涉及类似的数学结构,但并未直接关联