《九章算术》中没有明确的勾股定理证明过程,但系统记载了勾股定理的应用及相关问题。
《九章算术》的 “勾股” 章主要收录了利用勾股定理解决的实际问题,例如已知直角三角形的两边求第三边、测量高度、距离等,其核心是运用 “勾股各自乘,并而开方除之,即弦”(即c=a2+b2)这一结论,但并未对这一结论的正确性进行逻辑证明。
首次对勾股定理进行完整证明的是三国时期的数学家赵爽,他在为《周髀算经》作注时,提出了 “弦图”(即 “勾股圆方图”),通过对图形的分割、拼接,直观且严谨地证明了勾股定理,这是中国古代数学中对勾股定理最经典的证明。