勾股定理是初等几何的著名定理之一. 它的内容为“直角三角形两直角边上正方形面积之和等于斜边上正方形的面积”. 即“如果直角三角形两直角边长度分别为a 和 b, 斜边长度为 c, 那么 a²+ b²= c²”.
这个定理的内容简洁优美, 证明方法也是五花八门, 各式各样. 从古到今,无数数学家和数学爱好者都研究过这个定理的证明, 得到了很多有趣的证法.于是就有了一个问题:
勾股定理到底有多少种不同的证明方法?
这个问题的答案在作者看来是无穷多种, 比如从本书中介绍的十字分块法就可以得到任意数目的分块方案, 每个分块方案都可以产生一个证法. 所以这个问题可以转化成:勾股定理到底有多少种不同的有代表性的证明方法? 下面是笔者在撰写本书前查找到的一些资料, 它们的回答如下:
1. 美国数学月刊杂志于 1896—1899 年连载了一篇名为《New and Old Proofs of the Pythagorean Theorem》的论文, 作者为 B. F. Yanney 和J. A.Calderhead, 里面介绍了 104 种勾股定理的不同证法.
2. E. S. Loomis 撰写的 《Pythagorean Proposition》一书中共提到 367 种证明方法. 不过据笔者仔细阅读和研究, 该书的一些证法其本质上是相同的, 个别证法甚至存在错误, 有些证法仅是证明了等腰直角三角形的情形, 因此不算完整的证明. 即便如此, 该书中有效的证明方法也接近 300 个.
3. 由王岳庭、 程其坚编著, 内蒙古人民出版社于 1985 年出版的 《定理的多种证明公式的多种推导》 一书中介绍了勾股定理的 48 种证法.
4. 进入 21 世纪以后, 国外的数学爱好者建立了一个和勾股定理证法相关的网站 (参见文献 [3]). 到本书定稿时,该网站已收录了 118 种不同的证法.
本书在前人工作的基础上, 对已有的勾股定理的证法进行整理和改编, 去粗取精, 并加入了 56 种作者自己发现的证法.最终本书给出了 365 种不同证法.