勾股定理在中国的早期证明研究

摘要：商高善于灵活用矩,使数与形紧密地结合起来,理论与实践紧密地结合起来,充分体现了我国古代数学偏向于算法的独特风格。从“商高论矩”的内容所揭示的操作指令出发,可以推知商高已经从一般意义上通过逻辑的途径证明了“商高定理”。由于中国古代数学的实用性特点,人们很早就发现了勾股定理,形成了勾股定理的各种应用,称之为“勾股术”,它的主要思想方法,就是作一个图形,然后割补,形成了“出入相补原理”。